![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Stéphane Lafortune
Person information
- affiliation: University of Michigan, Ann Arbor, USA
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [j122]Rômulo Meira-Góes, Hervé Marchand, Stéphane Lafortune
:
Dealing with sensor and actuator deception attacks in supervisory control. Autom. 147: 110736 (2023) - [j121]Andrew Wintenberg
, Stéphane Lafortune
, Necmiye Ozay
:
Opacity From Observers With a Bounded Memory. IEEE Control. Syst. Lett. 7: 2359-2364 (2023) - [j120]Rômulo Meira-Góes
, Eunsuk Kang, Stéphane Lafortune
, Stavros Tripakis:
On tolerance of discrete systems with respect to transition perturbations. Discret. Event Dyn. Syst. 33(4): 395-424 (2023) - [c85]Rômulo Meira-Góes, Ian Dardik, Eunsuk Kang, Stéphane Lafortune
, Stavros Tripakis:
Safe Environmental Envelopes of Discrete Systems. CAV (1) 2023: 326-350 - [i11]Rômulo Meira-Góes, Ian Dardik, Eunsuk Kang, Stéphane Lafortune, Stavros Tripakis:
Safe Environmental Envelopes of Discrete Systems. CoRR abs/2306.01025 (2023) - 2022
- [j119]Christoforos N. Hadjicostis, Stéphane Lafortune
, Carla Seatzu
:
Guest Editorial to the Special Section of L-CSS on Fragility and Resiliency in Cyber-Physical Discrete-Event Systems. IEEE Control. Syst. Lett. 6: 2929 (2022) - [j118]Andrew Wintenberg
, Matthew Blischke, Stéphane Lafortune
, Necmiye Ozay
:
A general language-based framework for specifying and verifying notions of opacity. Discret. Event Dyn. Syst. 32(2): 253-289 (2022) - [j117]Shoma Matsui
, Stéphane Lafortune
:
Synthesis of winning attacks on communication protocols using supervisory control theory: two case studies. Discret. Event Dyn. Syst. 32(4): 573-610 (2022) - [j116]Yiding Ji
, Xiang Yin
, Stéphane Lafortune
:
Local Mean Payoff Supervisory Control for Discrete Event Systems. IEEE Trans. Autom. Control. 67(5): 2282-2297 (2022) - [j115]Rômulo Meira-Góes
, Raymond H. Kwong
, Stéphane Lafortune
:
Synthesis of Optimal Multiobjective Attack Strategies for Controlled Systems Modeled by Probabilistic Automata. IEEE Trans. Autom. Control. 67(6): 2873-2888 (2022) - [j114]Rômulo Meira-Góes
, Jack Weitze
, Stéphane Lafortune
:
A Compact and Uniform Approach for Synthesizing State-Based Property-Enforcing Supervisors for Discrete-Event Systems. IEEE Trans. Autom. Control. 67(7): 3567-3573 (2022) - [c84]Andrew Wintenberg, Stéphane Lafortune
, Necmiye Ozay:
Communication Obfuscation for Privacy and Utility against Obfuscation-Aware Eavesdroppers. ACC 2022: 3363 - [c83]Christoforos N. Hadjicostis, Stéphane Lafortune
, Feng Lin, Rong Su:
Cybersecurity and Supervisory Control: A Tutorial on Robust State Estimation, Attack Synthesis, and Resilient Control. CDC 2022: 3020-3040 - [c82]Andrew Wintenberg, Matthew Blischke, Stéphane Lafortune
, Necmiye Ozay:
A Dynamic Obfuscation Framework for Security and Utility. ICCPS 2022: 236-246 - 2021
- [b3]Christos G. Cassandras, Stéphane Lafortune
:
Introduction to Discrete Event Systems, Third Edition. Springer 2021, ISBN 978-3-030-72272-2, pp. 1-804 - [j113]Yiding Ji, Xiang Yin, Stéphane Lafortune
:
Optimal supervisory control with mean payoff objectives and under partial observation. Autom. 123: 109359 (2021) - [j112]Xiang Yin, Stéphane Lafortune
:
Authors' Reply to "Comments on "A new approach for the verification of infinite-step and K-step opacity using two-way observers" [Automatica, 2017(80)162-171]". Autom. 124: 109273 (2021) - [j111]Sahar Mohajerani, Robi Malik, Andrew Wintenberg, Stéphane Lafortune
, Necmiye Ozay
:
Divergent stutter bisimulation abstraction for controller synthesis with linear temporal logic specifications. Autom. 130: 109723 (2021) - [j110]Christoforos N. Hadjicostis, Stéphane Lafortune
:
Editorial - Thirty years of J-DEDS: moving on with new leadership. Discret. Event Dyn. Syst. 31(1): 1-3 (2021) - [j109]Christoforos Keroglou
, Stéphane Lafortune
:
Embedded Insertion Functions for Opacity Enforcement. IEEE Trans. Autom. Control. 66(9): 4184-4191 (2021) - [j108]Rômulo Meira-Góes
, Stéphane Lafortune
, Hervé Marchand
:
Synthesis of Supervisors Robust Against Sensor Deception Attacks. IEEE Trans. Autom. Control. 66(10): 4990-4997 (2021) - [c81]Andrew Wintenberg, Matthew Blischke, Stéphane Lafortune
, Necmiye Ozay
:
Enforcement of K-Step Opacity with Edit Functions. CDC 2021: 331-338 - [i10]Shoma Matsui, Stéphane Lafortune:
Synthesis of Winning Attacks on Communication Protocols using Supervisory Control Theory. CoRR abs/2102.06028 (2021) - [i9]Andrew Wintenberg, Matthew Blischke, Stéphane Lafortune
, Necmiye Ozay:
A General Language-Based Framework for Specifying and Verifying Notions of Opacity. CoRR abs/2103.10501 (2021) - [i8]Rômulo Meira-Góes, Eunsuk Kang, Stéphane Lafortune, Stavros Tripakis:
On tolerance of discrete systems with respect to transition perturbations. CoRR abs/2110.04200 (2021) - 2020
- [j107]Rômulo Meira-Góes, Eunsuk Kang, Raymond H. Kwong, Stéphane Lafortune
:
Synthesis of sensor deception attacks at the supervisory layer of Cyber-Physical Systems. Autom. 121: 109172 (2020) - [j106]Anna Ghazaryan
, Stéphane Lafortune, Vahagn Manukian:
Spectral Analysis of Fronts in a Marangoni-Driven Thin Liquid Film Flow Down a Slope. SIAM J. Appl. Math. 80(1): 95-118 (2020) - [j105]Sahar Mohajerani
, Stéphane Lafortune
:
Transforming Opacity Verification to Nonblocking Verification in Modular Systems. IEEE Trans. Autom. Control. 65(4): 1739-1746 (2020) - [j104]Alessandro Giua
, Stéphane Lafortune
, Carla Seatzu
:
Divergence Properties of Labeled Petri Nets and Their Relevance for Diagnosability Analysis. IEEE Trans. Autom. Control. 65(7): 3092-3097 (2020) - [j103]Sahar Mohajerani
, Yiding Ji
, Stéphane Lafortune
:
Compositional and Abstraction-Based Approach for Synthesis of Edit Functions for Opacity Enforcement. IEEE Trans. Autom. Control. 65(8): 3349-3364 (2020) - [j102]Blake C. Rawlings
, Stéphane Lafortune
, B. Erik Ydstie:
Supervisory Control of Labeled Transition Systems Subject to Multiple Reachability Requirements via Symbolic Model Checking. IEEE Trans. Control. Syst. Technol. 28(2): 644-652 (2020) - [i7]Romulo Meira Goes, Eunsuk Kang, Raymond H. Kwong, Stéphane Lafortune:
Synthesis of Sensor Deception Attacks at the Supervisory Layer of Cyber-Physical Systems. CoRR abs/2008.01497 (2020) - [i6]Rômulo Meira-Góes, Stéphane Lafortune, Hervé Marchand:
Synthesis of Supervisors Robust Against Sensor Deception Attacks. CoRR abs/2012.12932 (2020)
2010 – 2019
- 2019
- [j101]Stéphane Lafortune
:
Discrete Event Systems: Modeling, Observation, and Control. Annu. Rev. Control. Robotics Auton. Syst. 2: 141-159 (2019) - [j100]Xiang Yin, Stéphane Lafortune
:
A general approach for optimizing dynamic sensor activation for discrete event systems. Autom. 105: 376-383 (2019) - [j99]Yiding Ji, Xiang Yin, Stéphane Lafortune
:
Enforcing opacity by insertion functions under multiple energy constraints. Autom. 108 (2019) - [j98]Blake C. Rawlings
, Venkatachalam Avadiappan, Stéphane Lafortune
, Christos T. Maravelias
, John M. Wassick:
Incorporating automation logic in online chemical production scheduling. Comput. Chem. Eng. 128: 201-215 (2019) - [j97]Xiang Yin
, Stéphane Lafortune
:
Corrections to "On the Decidability and Complexity of Diagnosability for Labeled Petri Nets". IEEE Trans. Autom. Control. 64(4): 1768 (2019) - [j96]Yiding Ji
, Xiang Yin
, Stéphane Lafortune
:
Opacity Enforcement Using Nondeterministic Publicly Known Edit Functions. IEEE Trans. Autom. Control. 64(10): 4369-4376 (2019) - [c80]Romulo Meira Goes, Raymond H. Kwong, Stéphane Lafortune
:
Synthesis of Sensor Deception Attacks for Systems Modeled as Probabilistic Automata. ACC 2019: 5620-5626 - [c79]Eunsuk Kang, Stéphane Lafortune
, Stavros Tripakis:
Automated Synthesis of Secure Platform Mappings. CAV (1) 2019: 219-237 - [c78]Yiding Ji, Xiang Yin, Stéphane Lafortune
:
Supervisory Control under Local Mean Payoff Constraints. CDC 2019: 1043-1049 - [c77]Rômulo Meira-Góes, Hervé Marchand, Stéphane Lafortune
:
Towards resilient supervisors against sensor deception attacks. CDC 2019: 5144-5149 - [i5]Sahar Mohajerani, Stéphane Lafortune:
Transforming opacity verification to nonblocking verification in modular systems. CoRR abs/1904.06242 (2019) - [i4]Sahar Mohajerani, Yiding Ji, Stéphane Lafortune:
Compositional and Abstraction-Based Approach for Synthesis of Edit Functions for Opacity Enforcement. CoRR abs/1910.00417 (2019) - 2018
- [j95]Stéphane Lafortune
, Feng Lin, Christoforos N. Hadjicostis
:
On the history of diagnosability and opacity in discrete event systems. Annu. Rev. Control. 45: 257-266 (2018) - [j94]Yiding Ji, Yi-Chin Wu, Stéphane Lafortune
:
Enforcement of opacity by public and private insertion functions. Autom. 93: 369-378 (2018) - [j93]Lilian Kawakami Carvalho
, Yi-Chin Wu, Raymond H. Kwong, Stéphane Lafortune
:
Detection and mitigation of classes of attacks in supervisory control systems. Autom. 97: 121-133 (2018) - [j92]Yi-Chin Wu, Vasumathi Raman, Blake C. Rawlings
, Stéphane Lafortune
, Sanjit A. Seshia:
Synthesis of Obfuscation Policies to Ensure Privacy and Utility. J. Autom. Reason. 60(1): 107-131 (2018) - [j91]Xiang Yin
, Stéphane Lafortune
:
Minimization of Sensor Activation in Decentralized Discrete-Event Systems. IEEE Trans. Autom. Control. 63(11): 3705-3718 (2018) - [j90]Xiang Yin
, Stéphane Lafortune
:
Synthesis of Maximally Permissive Nonblocking Supervisors for the Lower Bound Containment Problem. IEEE Trans. Autom. Control. 63(12): 4435-4441 (2018) - [c76]Yiding Ji, Xiang Yin, Stéphane Lafortune
:
Mean Payoff Supervisory Control Under Partial Observation. CDC 2018: 3981-3987 - [c75]Sahar Mohajerani
, Yiding Ji, Stéphane Lafortune
:
Efficient Synthesis of Edit Functions for Opacity Enforcement Using Bisimulation-Based Abstractions. CDC 2018: 4849-4854 - [i3]Lilian Kawakami Carvalho, Yi-Chin Wu, Raymond H. Kwong, Stéphane Lafortune:
Detection and Mitigation of Classes of Attacks in Supervisory Control Systems. CoRR abs/1807.04889 (2018) - 2017
- [j89]Xiang Yin, Stéphane Lafortune
:
A new approach for the verification of infinite-step and K-step opacity using two-way observers. Autom. 80: 162-171 (2017) - [j88]Xiang Yin, Stéphane Lafortune
:
Verification complexity of a class of observational properties for modular discrete events systems. Autom. 83: 199-205 (2017) - [j87]Eric Dallal, Alessandro Colombo
, Domitilla Del Vecchio, Stéphane Lafortune
:
Supervisory control for collision avoidance in vehicular networks using discrete event abstractions. Discret. Event Dyn. Syst. 27(1): 1-44 (2017) - [j86]Rüdiger Ehlers
, Stéphane Lafortune
, Stavros Tripakis
, Moshe Y. Vardi:
Supervisory control and reactive synthesis: a comparative introduction. Discret. Event Dyn. Syst. 27(2): 209-260 (2017) - [j85]Xiang Yin, Stéphane Lafortune
:
Synthesis of Maximally-Permissive Supervisors for the Range Control Problem. IEEE Trans. Autom. Control. 62(8): 3914-3929 (2017) - [j84]Xiang Yin
, Stéphane Lafortune
:
On the Decidability and Complexity of Diagnosability for Labeled Petri Nets. IEEE Trans. Autom. Control. 62(11): 5931-5938 (2017) - [c74]Richard C. Hill
, Stéphane Lafortune
:
Scaling the formal synthesis of supervisory control software for multiple robot systems. ACC 2017: 3840-3847 - [c73]Christoforos Keroglou
, Stéphane Lafortune
:
Verification and synthesis of embedded insertion functions for opacity enforcement. CDC 2017: 4217-4223 - [c72]Romulo Meira Goes, Eunsuk Kang, Raymond H. Kwong, Stéphane Lafortune
:
Stealthy deception attacks for cyber-physical systems. CDC 2017: 4224-4230 - [c71]Yiding Ji, Stéphane Lafortune
:
Enforcing opacity by publicly known edit functions. CDC 2017: 4866-4871 - [i2]Eunsuk Kang, Stéphane Lafortune, Stavros Tripakis:
Synthesis of Property-Preserving Mappings. CoRR abs/1705.03618 (2017) - 2016
- [j83]Yi-Chin Wu, Stéphane Lafortune
:
Synthesis of Optimal Insertion Functions for Opacity Enforcement. IEEE Trans. Autom. Control. 61(3): 571-584 (2016) - [j82]Xiang Yin, Stéphane Lafortune
:
Synthesis of Maximally Permissive Supervisors for Partially-Observed Discrete-Event Systems. IEEE Trans. Autom. Control. 61(5): 1239-1254 (2016) - [j81]Xiang Yin, Stéphane Lafortune
:
A Uniform Approach for Synthesizing Property-Enforcing Supervisors for Partially-Observed Discrete-Event Systems. IEEE Trans. Autom. Control. 61(8): 2140-2154 (2016) - [j80]Xiang Yin
, Stéphane Lafortune
:
Decentralized Supervisory Control With Intersection-Based Architecture. IEEE Trans. Autom. Control. 61(11): 3644-3650 (2016) - [c70]Yi-Chin Wu, Gil Lederman, Stéphane Lafortune
:
Enhancing opacity of stochastic discrete event systems using insertion functions. ACC 2016: 2053-2060 - [c69]Xiang Yin, Stéphane Lafortune
:
On the maximally-permissive range control problem in partially-observed discrete event systems. CDC 2016: 3923-3928 - [c68]Richard C. Hill
, Stéphane Lafortune
:
Planning under abstraction within a supervisory control context. CDC 2016: 4770-4777 - [c67]Yi-Chin Wu, Vasumathi Raman, Stéphane Lafortune
, Sanjit A. Seshia:
Obfuscator Synthesis for Privacy and Utility. NFM 2016: 133-149 - [c66]Xiang Yin, Stéphane Lafortune
:
On maximal permissiveness in partially-observed discrete event systems: Verification and synthesis. WODES 2016: 1-7 - [c65]Lilian Kawakami Carvalho
, Yi-Chin Wu, Raymond H. Kwong, Stéphane Lafortune
:
Detection and prevention of actuator enablement attacks in supervisory control systems. WODES 2016: 298-305 - [c64]Xiang Yin, Stéphane Lafortune
:
On two-way observer and its application to the verification of infinite-step and K-step opacity. WODES 2016: 361-366 - 2015
- [j79]Xiang Yin, Stéphane Lafortune
:
Codiagnosability and coobservability under dynamic observations: Transformation and verification. Autom. 61: 241-252 (2015) - [j78]Xi-Ren Cao, Stéphane Lafortune
:
Editorial: changes at J-DEDS. Discret. Event Dyn. Syst. 25(1-2): 1-2 (2015) - [j77]Antonio Ramírez-Treviño
, Manuel Silva Suárez
, Stéphane Lafortune
:
Special issue on recent advances in control of discrete event systems. Discret. Event Dyn. Syst. 25(1-2): 3-5 (2015) - [j76]Yin Wang, Tae-Sic Yoo
, Stéphane Lafortune
:
Erratum to: Diagnosis of discrete event systems using decentralized architectures. Discret. Event Dyn. Syst. 25(4): 601-603 (2015) - [j75]Anna Ghazaryan, Stéphane Lafortune
, P. McLarnan:
Stability Analysis for Combustion Fronts Traveling in Hydraulically Resistant Porous Media. SIAM J. Appl. Math. 75(3): 1225-1244 (2015) - [j74]Jason Stanley, Hongwei Liao, Stéphane Lafortune
:
SAT-Based Control of Concurrent Software for Deadlock Avoidance. IEEE Trans. Autom. Control. 60(12): 3269-3274 (2015) - [c63]Xiang Yin, Stéphane Lafortune
:
A new approach for synthesizing opacity-enforcing supervisors for partially-observed discrete-event systems. ACC 2015: 377-383 - [c62]Xiang Yin, Stéphane Lafortune
:
On the relationship between codiagnosability and coobservability under dynamic observations. ACC 2015: 390-395 - [c61]Xiang Yin, Stéphane Lafortune
:
Minimization of sensor activation in decentralized fault diagnosis of discrete event systems. CDC 2015: 1014-1019 - [c60]Yi-Chin Wu, Stéphane Lafortune
:
Synthesis of opacity-enforcing insertion functions that can be publicly known. CDC 2015: 3506-3513 - [c59]Xiang Yin, Stéphane Lafortune
:
A general approach for solving dynamic sensor activation problems for a class of properties. CDC 2015: 3610-3615 - [r1]Stéphane Lafortune
:
Diagnosis of Discrete Event Systems. Encyclopedia of Systems and Control 2015 - [i1]Krishnendu Chatterjee, Stéphane Lafortune, Nicolas Markey, Wolfgang Thomas:
Non-Zero-Sum-Games and Control (Dagstuhl Seminar 15061). Dagstuhl Reports 5(2): 1-25 (2015) - 2014
- [j73]Yi-Chin Wu, Stéphane Lafortune
:
Synthesis of insertion functions for enforcement of opacity security properties. Autom. 50(5): 1336-1348 (2014) - [j72]Eric Dallal, Stéphane Lafortune
:
On Most Permissive Observers in Dynamic Sensor Activation Problems. IEEE Trans. Autom. Control. 59(4): 966-981 (2014) - [j71]Patrícia N. Pena, Hugo J. Bravo, Antonio Eduardo Carrilho da Cunha, Robi Malik, Stéphane Lafortune
, José E. R. Cury:
Verification of the Observer Property in Discrete Event Systems. IEEE Trans. Autom. Control. 59(8): 2176-2181 (2014) - [c58]Xiang Yin, Stéphane Lafortune
:
Synthesis of maximally permissive non-blocking supervisors for partially observed discrete event systems. CDC 2014: 5156-5162 - [c57]Yi-Chin Wu, Karthik Abinav Sankararaman, Stéphane Lafortune
:
Ensuring Privacy in Location-Based Services: An Approach Based on Opacity Enforcement. WODES 2014: 33-38 - [c56]Rüdiger Ehlers
, Stéphane Lafortune
, Stavros Tripakis
, Moshe Y. Vardi:
Bridging the Gap between Supervisory Control and Reactive Synthesis: Case of Full Observation and Centralized Control. WODES 2014: 222-227 - 2013
- [j70]Janan Zaytoon, Stéphane Lafortune
:
Overview of fault diagnosis methods for Discrete Event Systems. Annu. Rev. Control. 37(2): 308-320 (2013) - [j69]Lilian K. Carvalho
, Marcos Vicente Moreira
, João Carlos Basilio
, Stéphane Lafortune
:
Robust diagnosis of discrete-event systems against permanent loss of observations. Autom. 49(1): 223-231 (2013) - [j68]Maria Paola Cabasino, Stéphane Lafortune
, Carla Seatzu:
Optimal sensor selection for ensuring diagnosability in labeled Petri nets. Autom. 49(8): 2373-2383 (2013) - [j67]Hongwei Liao, Yin Wang, Hyoun Kyu Cho, Jason Stanley, Terence Kelly, Stéphane Lafortune
, Scott A. Mahlke, Spyros A. Reveliotis:
Concurrency bugs in multithreaded software: modeling and analysis using Petri nets. Discret. Event Dyn. Syst. 23(2): 157-195 (2013) - [j66]Yi-Chin Wu, Stéphane Lafortune
:
Comparative analysis of related notions of opacity in centralized and coordinated architectures. Discret. Event Dyn. Syst. 23(3): 307-339 (2013) - [j65]Hongwei Liao, Stéphane Lafortune
, Spyros A. Reveliotis, Yin Wang, Scott A. Mahlke:
Optimal Liveness-Enforcing Control for a Class of Petri Nets Arising in Multithreaded Software. IEEE Trans. Autom. Control. 58(5): 1123-1138 (2013) - [j64]Hongwei Liao, Yin Wang, Jason Stanley, Stéphane Lafortune
, Spyros A. Reveliotis, Terence Kelly, Scott A. Mahlke:
Eliminating Concurrency Bugs in Multithreaded Software: A New Approach Based on Discrete-Event Control. IEEE Trans. Control. Syst. Technol. 21(6): 2067-2082 (2013) - [c55]Eric Dallal, Alessandro Colombo, Domitilla Del Vecchio, Stéphane Lafortune
:
Supervisory control for collision avoidance in vehicular networks using discrete event abstractions. ACC 2013: 4380-4386 - [c54]Stéphane Lafortune
, Yin Wang, Spyros A. Reveliotis:
Eliminating Concurrency Bugs in Multithreaded Software: An Approach Based on Control of Petri Nets. Petri Nets 2013: 21-28 - [c53]Eric Dallal, Alessandro Colombo
, Domitilla Del Vecchio, Stéphane Lafortune
:
Supervisory control for collision avoidance in vehicular networks with imperfect measurements. CDC 2013: 6298-6303 - [c52]Hyoun Kyu Cho, Terence Kelly, Yin Wang, Stéphane Lafortune
, Hongwei Liao, Scott A. Mahlke:
Practical lock/unlock pairing for concurrent programs. CGO 2013: 6:1-6:12 - 2012
- [j63]João Carlos Basilio
, Saulo Telles Souza Lima, Stéphane Lafortune
, Marcos Vicente Moreira
:
Computation of minimal event bases that ensure diagnosability. Discret. Event Dyn. Syst. 22(3): 249-292 (2012) - [j62]Jörg Raisch, Alessandro Giua
, Thomas Moor, Stéphane Lafortune
:
Special issue on recent trends in discrete event systems. Discret. Event Dyn. Syst. 22(4): 381-382 (2012) - [j61]Maria Paola Cabasino, Alessandro Giua
, Stéphane Lafortune
, Carla Seatzu:
A New Approach for Diagnosability Analysis of Petri Nets Using Verifier Nets. IEEE Trans. Autom. Control. 57(12): 3104-3117 (2012) - [c51]Yi-Chin Wu, Stéphane Lafortune
:
Enforcement of opacity properties using insertion functions. CDC 2012: 6722-6728 - [c50]Yin Wang, Peng Liu, Terence Kelly, Stéphane Lafortune
, Spyros A. Reveliotis, Charles Zhang:
On atomicity enforcement in concurrent software via Discrete Event Systems theory. CDC 2012: 7230-7237 - [c49]Thomas Moor, Christine Baier, Tae-Sic Yoo
, Feng Lin, Stéphane Lafortune
:
On the computation of supremal sublanguages relevant to supervisory control. WODES 2012: 175-180 - [c48]Maria Paola Cabasino, Stéphane Lafortune
, Carla Seatzu:
Optimal sensor selection for ensuring diagnosability in labeled bounded Petri nets. WODES 2012: 208-213 - [c47]Yin Wang, Jason Stanley, Stéphane Lafortune
:
Explicit storage and analysis of billions of states using commodity computers. WODES 2012: 364-371 - 2011
- [j60]Andrea Paoli
, Matteo Sartini, Stéphane Lafortune
:
Active fault tolerant control of discrete event systems using online diagnostics. Autom. 47(4): 639-649 (2011) - [j59]Stéphane Lafortune
, Joceline Lega
, S. Madrid:
Instability of Local Deformations of an Elastic Rod: Numerical Evaluation of the Evans Function. SIAM J. Appl. Math. 71(5): 1653-1672 (2011) - [j58]Weilin Wang, Anouck R. Girard, Stéphane Lafortune
, Feng Lin:
On Codiagnosability and Coobservability With Dynamic Observations. IEEE Trans. Autom. Control. 56(7): 1551-1566 (2011) - [j57]Ahmed Nazeem, Spyros A. Reveliotis, Yin Wang, Stéphane Lafortune
:
Designing Compact and Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems Through Classification Theory: The Linear Case. IEEE Trans. Autom. Control. 56(8): 1818-1833 (2011) - [c46]Hongwei Liao, Jason Stanley, Yin Wang, Stéphane Lafortune
, Spyros A. Reveliotis, Scott A. Mahlke:
Deadlock-avoidance control of multithreaded software: An efficient siphon-based algorithm for Gadara petri nets. CDC/ECC 2011: 1142-1148 - [c45]Eric Dallal, Stéphane Lafortune
:
A framework for optimization of sensor activation using most permissive observers. CDC/ECC 2011: 2711-2717 - [c44]Hongwei Liao, Hao Zhou, Stéphane Lafortune
:
Simulation analysis of multithreaded programs under deadlock-avoidance control. WSC 2011: 703-715 - 2010
- [j56]Richard C. Hill, José Eduardo Ribeiro Cury, Max Hering de Queiroz
, Dawn M. Tilbury, Stéphane Lafortune
:
Multi-level hierarchical interface-based supervisory control. Autom. 46(7): 1152-1164 (2010) - [j55]Weilin Wang, Stéphane Lafortune
, Anouck R. Girard, Feng Lin:
Optimal sensor activation for diagnosing discrete event systems. Autom. 46(7): 1165-1175 (2010) - [j54]Richard C. Hill, Dawn M. Tilbury, Stéphane Lafortune
:
Modular Supervisory Control with Equivalence-Based Abstraction and Covering-Based Conflict Resolution. Discret. Event Dyn. Syst. 20(1): 139-185 (2010) - [j53]Weilin Wang, Stéphane Lafortune
, Feng Lin, Anouck R. Girard:
Minimization of Dynamic Sensor Activation in Discrete Event Systems for the Purpose of Control. IEEE Trans. Autom. Control. 55(11): 2447-2461 (2010) - [c43]Eric Dallal, Stéphane Lafortune
:
On most permissive observers in dynamic sensor optimization problems for discrete event systems. Allerton 2010: 318-324 - [c42]Hongwei Liao, Stéphane Lafortune
, Spyros A. Reveliotis, Yin Wang, Scott A. Mahlke:
Synthesis of maximally-permissive liveness-enforcing control policies for Gadara petri nets. CDC 2010: 2797-2804 - [c41]Matteo Sartini, Andrea Paoli
, Richard C. Hill, Stéphane Lafortune
:
A methodology for modular model-building in discrete automation. ETFA 2010: 1-8 - [c40]Saulo Telles Souza Lima, João Carlos Basilio
, Stéphane Lafortune
, Marcos Vicente Moreira
:
Robust diagnosis of discrete-event systems subject to permanent sensor failures. WODES 2010: 90-97 - [c39]Yin Wang, Hyoun Kyu Cho, Hongwei Liao, Ahmed Nazeem, Terence Kelly, Stéphane Lafortune
, Scott A. Mahlke, Spyros A. Reveliotis:
Supervisory control of software execution for failure avoidance: Experience from the Gadara project. WODES 2010: 259-266 - [c38]Ahmed Nazeem, Spyros A. Reveliotis, Yin Wang, Stéphane Lafortune
:
Optimal deadlock avoidance for complex resource allocation systems through classification theory. WODES 2010: 267-274 - [c37]Patrícia N. Pena, José E. R. Cury, Robi Malik, Stéphane Lafortune
:
Efficient computation of observer projections using OP-verifiers. WODES 2010: 406-411 - [e1]Jörg Raisch, Alessandro Giua, Stéphane Lafortune, Thomas Moor:
10th International Workshop on Discrete Event Systems, WODES 2010, Berlin, Germany, August 30 - September 01, 2010. International Federation of Automatic Control 2010, ISBN 978-3-902661-79-1 [contents]
2000 – 2009
- 2009
- [j52]Sahika Genc, Stéphane Lafortune
:
Predictability of event occurrences in partially-observed discrete-event systems. Autom. 45(2): 301-311 (2009) - [j51]Terence Kelly, Yin Wang, Stéphane Lafortune
, Scott A. Mahlke:
Eliminating Concurrency Bugs with Control Engineering. Computer 42(11): 52-60 (2009) - [j50]Patrícia N. Pena
, José E. R. Cury, Stéphane Lafortune
:
Verification of Nonconflict of Supervisors Using Abstractions. IEEE Trans. Autom. Control. 54(12): 2803-2815 (2009) - [c36]João Carlos Basilio
, Stéphane Lafortune
:
Robust codiagnosability of discrete event systems. ACC 2009: 2202-2209 - [c35]Weilin Wang, Stéphane Lafortune
, Anouck R. Girard, Feng Lin:
Dynamic sensor activation for event diagnosis. ACC 2009: 4753-4758 - [c34]Yin Wang, Hongwei Liao, Ahmed Nazeem, Spyros A. Reveliotis, Terence Kelly, Scott A. Mahlke, Stéphane Lafortune
:
Maximally permissive deadlock avoidance for multithreaded computer programs (Extended abstract). CASE 2009: 37-41 - [c33]Maria Paola Cabasino, Alessandro Giua
, Stéphane Lafortune
, Carla Seatzu:
Diagnosability analysis of unbounded Petri nets. CDC 2009: 1267-1272 - [c32]Weilin Wang, Stéphane Lafortune
, Feng Lin, Anouck R. Girard:
An online algorithm for minimal sensor activation in discrete event systems. CDC 2009: 2242-2247 - [c31]Yin Wang, Hongwei Liao, Spyros A. Reveliotis, Terence Kelly, Scott A. Mahlke, Stéphane Lafortune
:
Gadara nets: Modeling and analyzing lock allocation for deadlock avoidance in multithreaded software. CDC 2009: 4971-4976 - [c30]Weilin Wang, Anouck R. Girard, Stéphane Lafortune
, Feng Lin:
The verification of codiagnosability in the case of dynamic observations. ECC 2009: 2578-2583 - [c29]Yin Wang, Stéphane Lafortune
, Terence Kelly, Manjunath Kudlur, Scott A. Mahlke:
The theory of deadlock avoidance via discrete control. POPL 2009: 252-263 - 2008
- [b2]Christos G. Cassandras
, Stéphane Lafortune
:
Introduction to Discrete Event Systems, Second Edition. Springer 2008, ISBN 978-0-387-33332-8, pp. I-XXIII, 1-769 - [j49]Andrea Paoli
, Stéphane Lafortune
:
Diagnosability Analysis of a Class of Hierarchical State Machines. Discret. Event Dyn. Syst. 18(3): 385-413 (2008) - [j48]Weilin Wang, Stéphane Lafortune
, Feng Lin:
On the Minimization of Communication in Networked Systems with a Central Station. Discret. Event Dyn. Syst. 18(3): 415-443 (2008) - [j47]Weilin Wang, Stéphane Lafortune
:
An algorithm for maximising covered area. Int. J. Control 81(9): 1493-1505 (2008) - [j46]Weilin Wang, Stéphane Lafortune
, Feng Lin:
Minimization of Communication of Event Occurrences in Acyclic Discrete Event Systems. IEEE Trans. Autom. Control. 53(9): 2197-2202 (2008) - [c28]Patrícia N. Pena
, José E. R. Cury, Stéphane Lafortune
:
Polynomial-time verification of the observer property in abstractions. ACC 2008: 465-470 - [c27]Richard C. Hill, Dawn M. Tilbury, Stéphane Lafortune
:
Modular supervisory control with equivalence-based conflict resolution. ACC 2008: 491-498 - [c26]Weilin Wang, Stéphane Lafortune
, Feng Lin:
Optimal sensor activation in controlled discrete event systems. CDC 2008: 877-882 - [c25]Yin Wang, Terence Kelly, Manjunath Kudlur, Stéphane Lafortune, Scott A. Mahlke:
Gadara: Dynamic Deadlock Avoidance for Multithreaded Programs. OSDI 2008: 281-294 - [p1]Stéphane Lafortune
:
Discrete Event Systems: Untimed Models and their Analysis. Wiley Encyclopedia of Computer Science and Engineering 2008 - 2007
- [j45]Yin Wang, Tae-Sic Yoo
, Stéphane Lafortune
:
Diagnosis of Discrete Event Systems Using Decentralized Architectures. Discret. Event Dyn. Syst. 17(2): 233-263 (2007) - [j44]Stéphane Lafortune
, Feng Lin, Dawn M. Tilbury:
Special Issue on WODES'06. Discret. Event Dyn. Syst. 17(4): 423-424 (2007) - [j43]Weilin Wang, Stéphane Lafortune
, Feng Lin:
An algorithm for calculating indistinguishable states and clusters in finite-state automata with partially observable transitions. Syst. Control. Lett. 56(9-10): 656-661 (2007) - [j42]Sanjeeva Balasuriya, Georg A. Gottwald
, John Hornibrook, Stéphane Lafortune
:
High Lewis Number Combustion Wavefronts: A Perturbative Melnikov Analysis. SIAM J. Appl. Math. 67(2): 464-486 (2007) - [j41]Feng Lin, Karen Rudie
, Stéphane Lafortune
:
Minimal Communication for Essential Transitions in a Distributed Discrete-Event System. IEEE Trans. Autom. Control. 52(8): 1495-1502 (2007) - [j40]Sahika Genc, Stéphane Lafortune
:
Distributed Diagnosis of Place-Bordered Petri Nets. IEEE Trans Autom. Sci. Eng. 4(2): 206-219 (2007) - [c24]Yin Wang, Terence Kelly, Stéphane Lafortune
:
Discrete control for safe execution of IT automation workflows. EuroSys 2007: 305-314 - 2006
- [j39]Olivier Contant, Stéphane Lafortune
, Demosthenis Teneketzis:
Diagnosability of Discrete Event Systems with Modular Structure. Discret. Event Dyn. Syst. 16(1): 9-37 (2006) - [j38]Tae-Sic Yoo
, Stéphane Lafortune
:
Solvability of Centralized Supervisory Control Under Partial Observation. Discret. Event Dyn. Syst. 16(4): 527-553 (2006) - [j37]Kurt Rohloff
, Stéphane Lafortune
:
The Verification and Control of Interacting Similar Discrete-Event Systems. SIAM J. Control. Optim. 45(2): 634-667 (2006) - [c23]Sahika Genc, Stéphane Lafortune
:
Diagnosis of Patterns in Partially-Observed Discrete-Event Systems. CDC 2006: 422-427 - [c22]Weilin Wang, Stéphane Lafortune
, Feng Lin:
A Polynomial Algorithm for Minimizing Communication in a Distributed Discrete Event System with a Central Station. CDC 2006: 6034-6040 - [c21]Patrícia N. Pena, José E. R. Cury, Stéphane Lafortune
:
New Results on Testing Modularity of Local Supervisors using Abstractions. ETFA 2006: 950-956 - [c20]Yin Wang, Terence Kelly, Stéphane Lafortune:
Discrete Control for Dependable IT Automation. HotDep 2006 - 2005
- [j36]Andrea Paoli
, Stéphane Lafortune
:
Safe diagnosability for fault-tolerant supervision of discrete-event systems. Autom. 41(8): 1335-1347 (2005) - [j35]Kurt Rohloff
, Stéphane Lafortune
:
PSPACE-completeness of Modular Supervisory Control Problems*. Discret. Event Dyn. Syst. 15(2): 145-167 (2005) - [j34]Yiping Cheng, Da-Zhong Zheng, Kurt Rohloff
, Stéphane Lafortune
, Xi-Ren Cao:
Contributing Authors. Discret. Event Dyn. Syst. 15(2): 199-200 (2005) - [j33]Stéphane Lafortune
, Joceline Lega
:
Spectral Stability of Local Deformations of an Elastic Rod: Hamiltonian Formalism. SIAM J. Math. Anal. 36(6): 1726-1741 (2005) - [j32]Tae-Sic Yoo
, Stéphane Lafortune
:
Decentralized Supervisory Control With Conditional Decisions: Supervisor Realization. IEEE Trans. Autom. Control. 50(8): 1205-1211 (2005) - [c19]Yin Wang, Tae-Sic Yoo
, Stéphane Lafortune
:
Decentralized Diagnosis of Discrete Event Systems using Unconditional and Conditional Decisions. CDC/ECC 2005: 6298-6304 - 2004
- [j31]Olivier Contant, Stéphane Lafortune
, Demosthenis Teneketzis:
Diagnosis of Intermittent Faults. Discret. Event Dyn. Syst. 14(2): 171-202 (2004) - [j30]Tae-Sic Yoo
, Stéphane Lafortune
:
Decentralized supervisory control with conditional decisions: supervisor existence. IEEE Trans. Autom. Control. 49(11): 1886-1904 (2004) - [c18]Kurt Rohloff, Stéphane Lafortune
:
Symmetry reductions for a class of discrete-event systems. CDC 2004: 38-44 - 2003
- [j29]Rami Debouk, Stéphane Lafortune
, Demosthenis Teneketzis:
On the Effect of Communication Delays in Failure Diagnosis of Decentralized Discrete Event Systems. Discret. Event Dyn. Syst. 13(3): 263-289 (2003) - [j28]Karen Rudie
, Stéphane Lafortune
, Feng Lin:
Minimal communication in a distributed discrete-event system. IEEE Trans. Autom. Control. 48(6): 957-975 (2003) - [j27]Kurt Rohloff
, Stéphane Lafortune
:
On the synthesis of safe control policies in decentralized control of discrete-event systems. IEEE Trans. Autom. Control. 48(6): 1064-1068 (2003) - [j26]Kurt Rohloff
, Tae-Sic Yoo
, Stéphane Lafortune
:
Deciding co-observability is PSPACE-complete. IEEE Trans. Autom. Control. 48(11): 1995-1999 (2003) - [c17]Sahika Genc, Stéphane Lafortune
:
Distributed Diagnosis of Discrete-Event Systems Using Petri Nets. ICATPN 2003: 316-336 - [c16]Andrea Paoli, Stéphane Lafortune
:
Safe diagnosability of discrete event systems. CDC 2003: 2658-2664 - [c15]Kurt Rohloff, Stéphane Lafortune
:
The control and verification of similar agents operating in a broadcast network environment. CDC 2003: 2673-2679 - 2002
- [j25]Hervé Marchand, Olivier Boivineau, Stéphane Lafortune
:
On optimal control of a class of partially observed discrete event systems. Autom. 38(11): 1935-1943 (2002) - [j24]Tae-Sic Yoo
, Stéphane Lafortune
:
A General Architecture for Decentralized Supervisory Control of Discrete-Event Systems. Discret. Event Dyn. Syst. 12(3): 335-377 (2002) - [j23]Rami Debouk, Stéphane Lafortune
, Demosthenis Teneketzis:
On an Optimization Problem in Sensor Selection*. Discret. Event Dyn. Syst. 12(4): 417-445 (2002) - [j22]Tae-Sic Yoo
, Stéphane Lafortune
:
Polynomial-time verification of diagnosability of partially observed discrete-event systems. IEEE Trans. Autom. Control. 47(9): 1491-1495 (2002) - [j21]Tae-Sic Yoo
, Stéphane Lafortune
:
NP-completeness of sensor selection problems arising in partially observed discrete-event systems. IEEE Trans. Autom. Control. 47(9): 1495-1499 (2002) - [j20]Wayne E. Stark, Hua Wang, Andrew P. Worthen, Stéphane Lafortune
, Demosthenis Teneketzis:
Low-energy wireless communication network design. IEEE Wirel. Commun. 9(4): 60-72 (2002) - [c14]Kurt Rohloff
, Stéphane Lafortune
:
On the computational complexity of the verification of modular discrete-event systems. CDC 2002: 16-21 - [c13]Olivier Contant, Stéphane Lafortune
, Demosthenis Teneketzis:
Failure diagnosis of discrete event systems: the case of intermittent faults. CDC 2002: 4006-4011 - 2001
- [c12]Tae-Sic Yoo
, Stéphane Lafortune
:
On the computational complexity of some problems arising in partially-observed discrete-event systems. ACC 2001: 307-312 - [c11]Stéphane Lafortune
, Demosthenis Teneketzis, Meera Sampath, Raja Sengupta, Kasim Sinnamohideen:
Failure diagnosis of dynamic systems: an approach based on discrete event systems. ACC 2001: 2058-2071 - [c10]Hervé Marchand, Olivier Boivineau, Stéphane Lafortune:
Optimal control of discrete event systems under partial observation. CDC 2001: 2335-2340 - 2000
- [j19]Yi-Liang Chen, Stéphane Lafortune
, Feng Lin:
Incremental model evolution and reusability of supervisors for discrete event systems. Autom. 36(2): 243-259 (2000) - [j18]Rami Debouk, Stéphane Lafortune
, Demosthenis Teneketzis:
Coordinated Decentralized Protocols for Failure Diagnosis of Discrete Event Systems. Discret. Event Dyn. Syst. 10(1-2): 33-86 (2000) - [j17]Hervé Marchand, Olivier Boivineau, Stéphane Lafortune
:
On the Synthesis of Optimal Schedulers in Discrete Event Control Problems with Multiple Goals. SIAM J. Control. Optim. 39(2): 512-532 (2000) - [j16]Yi-Liang Chen, Stéphane Lafortune
, Feng Lin:
Design of nonblocking modular supervisors using event priority functions. IEEE Trans. Autom. Control. 45(3): 432-452 (2000) - [j15]George Barrett, Stéphane Lafortune
:
Decentralized supervisory control with communicating controllers. IEEE Trans. Autom. Control. 45(9): 1620-1638 (2000) - [c9]Tae-Sic Yoo
, Stéphane Lafortune
:
New results on decentralized supervisory control of discrete-event systems. CDC 2000: 1-6 - [c8]Rami Debouk, Stéphane Lafortune
, Demosthenis Teneketzis:
On the effect of communication delays in failure diagnosis of decentralized discrete event systems. CDC 2000: 2245-2251 - [c7]George Barrett, Stéphane Lafortune
:
On the separation of estimation and control in discrete-event systems. CDC 2000: 2258-2259
1990 – 1999
- 1999
- [b1]Christos G. Cassandras, Stéphane Lafortune
:
Introduction to Discrete Event Systems. The Kluwer International Series on Discrete Event Dynamic Systems 11, Springer 1999, ISBN 978-1-4757-4072-1, pp. 1-823 - [j14]Isaac Porche, Stéphane Lafortune
:
Adaptive Look-ahead Optimization of Traffic Signals. J. Intell. Transp. Syst. 4(3-4): 209-254 (1999) - 1998
- [j13]George Barrett, Stéphane Lafortune
:
Bisimulation, the Supervisory Control Problem and Strong Model Matching for Finite State Machines. Discret. Event Dyn. Syst. 8(4): 377-429 (1998) - [j12]Meera Sampath, Stéphane Lafortune
, Demosthenis Teneketzis:
Active diagnosis of discrete-event systems. IEEE Trans. Autom. Control. 43(7): 908-929 (1998) - [c6]George Barrett, Stéphane Lafortune
:
A novel framework for decentralized supervisory control with communication. SMC 1998: 617-620 - [c5]Hervé Marchand, Olivier Boivineau, Stéphane Lafortune
:
On the synthesis of optimal schedulers in discrete event control problems with multiple goals. SMC 1998: 770-775 - [c4]Rami Debouk, Stéphane Lafortune
, Demosthenis Teneketzis:
Coordinated decentralized protocols for failure diagnosis of discrete event systems. SMC 1998: 3010-3011 - 1997
- [c3]John G. Thistle, Roland P. Malhamé, Hai Hoc Hoang, Stéphane Lafortune:
Feature Interaction Modelling, Detection and Resolution: A Supervisory Control Approach. FIW 1997: 93-107 - [c2]Yi-Liang Chen, Stéphane Lafortune, Feng Lin:
Resolving Feature Interactions Using Modular Supervisory Control with Priorities. FIW 1997: 108-122 - 1996
- [j11]Nejib Ben Hadj-Alouane
, Stéphane Lafortune
, Feng Lin:
Centralized and distributed algorithms for on-line synthesis of maximal control policies under partial observation. Discret. Event Dyn. Syst. 6(4): 379-427 (1996) - [j10]Meera Sampath, Raja Sengupta, Stéphane Lafortune
, Kasim Sinnamohideen, Demosthenis Teneketzis:
Failure diagnosis using discrete-event models. IEEE Trans. Control. Syst. Technol. 4(2): 105-124 (1996) - 1995
- [j9]Meera Sampath, Raja Sengupta, Stéphane Lafortune
, Kasim Sinnamohideen, Demosthenis Teneketzis:
Diagnosability of discrete-event systems. IEEE Trans. Autom. Control. 40(9): 1555-1575 (1995) - 1994
- [j8]Sheng-Luen Chung, Stéphane Lafortune
, Feng Lin:
Supervisory control using variable lookahead policies. Discret. Event Dyn. Syst. 4(3): 237-268 (1994) - [j7]Nejib Ben Hadj-Alouane
, Stéphane Lafortune
, Feng Lin:
Variable lookahead supervisory control with state information. IEEE Trans. Autom. Control. 39(12): 2398-2410 (1994) - 1993
- [j6]Sheng-Luen Chung, Stéphane Lafortune
, Feng Lin:
Recursive computation of limited lookahead supervisory controls for discrete event systems. Discret. Event Dyn. Syst. 3(1): 71-100 (1993) - [c1]Amy J. Lee, Elke A. Rundensteiner, Spencer Thomas, Stéphane Lafortune
:
An Information Model for Human Genome Map Representation and Assembly. CIKM 1993: 75-84 - 1992
- [j5]Raja Sengupta, Stéphane Lafortune
:
A graph-theoretic optimal control problem for terminating discrete event processes. Discret. Event Dyn. Syst. 2(2): 139-172 (1992) - 1991
- [j4]Stéphane Lafortune
, Feng Lin:
On tolerable and desirable behaviors in supervisory control of discrete event systems. Discret. Event Dyn. Syst. 1(1): 61-92 (1991)
1980 – 1989
- 1989
- [j3]Jong Tae Park, Toby J. Teorey, Stéphane Lafortune
:
A Knowledge-Based Approach to Multiple Query Processing. Data Knowl. Eng. 3(4): 261-284 (1989) - [j2]Hyuck Yoo, Stéphane Lafortune
:
An Intelligent Search Method for Query Optimization by Semijoins. IEEE Trans. Knowl. Data Eng. 1(2): 226-237 (1989) - 1986
- [j1]Stéphane Lafortune
, Eugene Wong:
A State Transition Model for Distributed Query Processing. ACM Trans. Database Syst. 11(3): 294-322 (1986)
Coauthor Index
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 20:22 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint