Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/hybrid/hybrid95.bht:"
download as .bib file
@proceedings{DBLP:conf/hybrid/1995,
editor = {Rajeev Alur and
Thomas A. Henzinger and
Eduardo D. Sontag},
title = {Hybrid Systems {III:} Verification and Control, Proceedings of the
{DIMACS/SYCON} Workshop on Verification and Control of Hybrid Systems,
October 22-25, 1995, Ruttgers University, New Brunswick, NJ, {USA}},
series = {Lecture Notes in Computer Science},
volume = {1066},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0020931},
doi = {10.1007/BFB0020931},
isbn = {3-540-61155-X},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/1995.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/AlurK95,
author = {Rajeev Alur and
Robert P. Kurshan},
editor = {Rajeev Alur and
Thomas A. Henzinger and
Eduardo D. Sontag},
title = {Timing Analysis in {COSPAN}},
booktitle = {Hybrid Systems {III:} Verification and Control, Proceedings of the
{DIMACS/SYCON} Workshop on Verification and Control of Hybrid Systems,
October 22-25, 1995, Ruttgers University, New Brunswick, NJ, {USA}},
series = {Lecture Notes in Computer Science},
volume = {1066},
pages = {220--231},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0020948},
doi = {10.1007/BFB0020948},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/AlurK95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/Artstein95,
author = {Zvi Artstein},
editor = {Rajeev Alur and
Thomas A. Henzinger and
Eduardo D. Sontag},
title = {Examples of Stabilization with Hybrid Feedback},
booktitle = {Hybrid Systems {III:} Verification and Control, Proceedings of the
{DIMACS/SYCON} Workshop on Verification and Control of Hybrid Systems,
October 22-25, 1995, Ruttgers University, New Brunswick, NJ, {USA}},
series = {Lecture Notes in Computer Science},
volume = {1066},
pages = {173--185},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0020944},
doi = {10.1007/BFB0020944},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/Artstein95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/BaileyGGH95,
author = {Stuart Bailey and
Robert L. Grossman and
L. Gu and
David Hanley},
editor = {Rajeev Alur and
Thomas A. Henzinger and
Eduardo D. Sontag},
title = {A Data Intensive Computing Approach to Path Planning and Mode Management
for Hybrid Systems},
booktitle = {Hybrid Systems {III:} Verification and Control, Proceedings of the
{DIMACS/SYCON} Workshop on Verification and Control of Hybrid Systems,
October 22-25, 1995, Ruttgers University, New Brunswick, NJ, {USA}},
series = {Lecture Notes in Computer Science},
volume = {1066},
pages = {485--495},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0020970},
doi = {10.1007/BFB0020970},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/BaileyGGH95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/BengtssonLLPY95,
author = {Johan Bengtsson and
Kim Guldstrand Larsen and
Fredrik Larsson and
Paul Pettersson and
Wang Yi},
editor = {Rajeev Alur and
Thomas A. Henzinger and
Eduardo D. Sontag},
title = {{UPPAAL} - a Tool Suite for Automatic Verification of Real-Time Systems},
booktitle = {Hybrid Systems {III:} Verification and Control, Proceedings of the
{DIMACS/SYCON} Workshop on Verification and Control of Hybrid Systems,
October 22-25, 1995, Ruttgers University, New Brunswick, NJ, {USA}},
series = {Lecture Notes in Computer Science},
volume = {1066},
pages = {232--243},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0020949},
doi = {10.1007/BFB0020949},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/BengtssonLLPY95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/Benveniste95,
author = {Albert Benveniste},
editor = {Rajeev Alur and
Thomas A. Henzinger and
Eduardo D. Sontag},
title = {Compositional and Uniform Modelling of Hybrid Systems},
booktitle = {Hybrid Systems {III:} Verification and Control, Proceedings of the
{DIMACS/SYCON} Workshop on Verification and Control of Hybrid Systems,
October 22-25, 1995, Ruttgers University, New Brunswick, NJ, {USA}},
series = {Lecture Notes in Computer Science},
volume = {1066},
pages = {41--51},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0020934},
doi = {10.1007/BFB0020934},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/Benveniste95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/BettL95,
author = {Christopher J. Bett and
Michael D. Lemmon},
editor = {Rajeev Alur and
Thomas A. Henzinger and
Eduardo D. Sontag},
title = {H\({}_{\mbox{infinity}}\) Gain Schedule Synthesis of Supervisory Hybrid
Control Systems},
booktitle = {Hybrid Systems {III:} Verification and Control, Proceedings of the
{DIMACS/SYCON} Workshop on Verification and Control of Hybrid Systems,
October 22-25, 1995, Ruttgers University, New Brunswick, NJ, {USA}},
series = {Lecture Notes in Computer Science},
volume = {1066},
pages = {543--552},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0020974},
doi = {10.1007/BFB0020974},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/BettL95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/BouajjaniL95,
author = {Ahmed Bouajjani and
Yassine Lakhnech},
editor = {Rajeev Alur and
Thomas A. Henzinger and
Eduardo D. Sontag},
title = {Logics vs. Automata: The Hybrid Case},
booktitle = {Hybrid Systems {III:} Verification and Control, Proceedings of the
{DIMACS/SYCON} Workshop on Verification and Control of Hybrid Systems,
October 22-25, 1995, Ruttgers University, New Brunswick, NJ, {USA}},
series = {Lecture Notes in Computer Science},
volume = {1066},
pages = {531--542},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0020973},
doi = {10.1007/BFB0020973},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/BouajjaniL95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/Branicky95,
author = {Michael S. Branicky},
editor = {Rajeev Alur and
Thomas A. Henzinger and
Eduardo D. Sontag},
title = {General Hybrid Dynamical Systems: Modeling, Analysis, and Control},
booktitle = {Hybrid Systems {III:} Verification and Control, Proceedings of the
{DIMACS/SYCON} Workshop on Verification and Control of Hybrid Systems,
October 22-25, 1995, Ruttgers University, New Brunswick, NJ, {USA}},
series = {Lecture Notes in Computer Science},
volume = {1066},
pages = {186--200},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0020945},
doi = {10.1007/BFB0020945},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/Branicky95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/CeransV95,
author = {Karlis Cerans and
Juris Viksna},
editor = {Rajeev Alur and
Thomas A. Henzinger and
Eduardo D. Sontag},
title = {Deciding Reachability for Planar Multi-polynomial Systems},
booktitle = {Hybrid Systems {III:} Verification and Control, Proceedings of the
{DIMACS/SYCON} Workshop on Verification and Control of Hybrid Systems,
October 22-25, 1995, Ruttgers University, New Brunswick, NJ, {USA}},
series = {Lecture Notes in Computer Science},
volume = {1066},
pages = {389--400},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0020962},
doi = {10.1007/BFB0020962},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/CeransV95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/ChaochenJR95,
author = {Chaochen Zhou and
Ji Wang and
Anders P. Ravn},
editor = {Rajeev Alur and
Thomas A. Henzinger and
Eduardo D. Sontag},
title = {A Formal Description of Hybrid Systems},
booktitle = {Hybrid Systems {III:} Verification and Control, Proceedings of the
{DIMACS/SYCON} Workshop on Verification and Control of Hybrid Systems,
October 22-25, 1995, Ruttgers University, New Brunswick, NJ, {USA}},
series = {Lecture Notes in Computer Science},
volume = {1066},
pages = {511--530},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0020972},
doi = {10.1007/BFB0020972},
timestamp = {Tue, 21 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/ChaochenJR95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/CoferG95,
author = {Darren D. Cofer and
Vijay K. Garg},
editor = {Rajeev Alur and
Thomas A. Henzinger and
Eduardo D. Sontag},
title = {On Controlling Timed Discrete Event Systems},
booktitle = {Hybrid Systems {III:} Verification and Control, Proceedings of the
{DIMACS/SYCON} Workshop on Verification and Control of Hybrid Systems,
October 22-25, 1995, Ruttgers University, New Brunswick, NJ, {USA}},
series = {Lecture Notes in Computer Science},
volume = {1066},
pages = {340--349},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0020958},
doi = {10.1007/BFB0020958},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/CoferG95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/DawsOTY95,
author = {Conrado Daws and
Alfredo Olivero and
Stavros Tripakis and
Sergio Yovine},
editor = {Rajeev Alur and
Thomas A. Henzinger and
Eduardo D. Sontag},
title = {The Tool {KRONOS}},
booktitle = {Hybrid Systems {III:} Verification and Control, Proceedings of the
{DIMACS/SYCON} Workshop on Verification and Control of Hybrid Systems,
October 22-25, 1995, Ruttgers University, New Brunswick, NJ, {USA}},
series = {Lecture Notes in Computer Science},
volume = {1066},
pages = {208--219},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0020947},
doi = {10.1007/BFB0020947},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/DawsOTY95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/DeshpandeGGV95,
author = {Akash Deshpande and
Datta N. Godbole and
Aleks G{\"{o}}ll{\"{u}} and
Pravin Varaiya},
editor = {Rajeev Alur and
Thomas A. Henzinger and
Eduardo D. Sontag},
title = {Design and Evaluation Tools for Automated Highway Systems},
booktitle = {Hybrid Systems {III:} Verification and Control, Proceedings of the
{DIMACS/SYCON} Workshop on Verification and Control of Hybrid Systems,
October 22-25, 1995, Ruttgers University, New Brunswick, NJ, {USA}},
series = {Lecture Notes in Computer Science},
volume = {1066},
pages = {138--148},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0020941},
doi = {10.1007/BFB0020941},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/DeshpandeGGV95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/DimitriadisSP95,
author = {V. D. Dimitriadis and
Nilay Shah and
Costas C. Pantelides},
editor = {Rajeev Alur and
Thomas A. Henzinger and
Eduardo D. Sontag},
title = {Optimal Design of Hybrid Controllers for Hybrid Process Systems},
booktitle = {Hybrid Systems {III:} Verification and Control, Proceedings of the
{DIMACS/SYCON} Workshop on Verification and Control of Hybrid Systems,
October 22-25, 1995, Ruttgers University, New Brunswick, NJ, {USA}},
series = {Lecture Notes in Computer Science},
volume = {1066},
pages = {244--257},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0020950},
doi = {10.1007/BFB0020950},
timestamp = {Mon, 26 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/DimitriadisSP95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/GeKNR95,
author = {Xiaolin Ge and
Wolf Kohn and
Anil Nerode and
Jeffrey B. Remmel},
editor = {Rajeev Alur and
Thomas A. Henzinger and
Eduardo D. Sontag},
title = {Hybrid Systems: Chattering Approximation to Relaxed Controls},
booktitle = {Hybrid Systems {III:} Verification and Control, Proceedings of the
{DIMACS/SYCON} Workshop on Verification and Control of Hybrid Systems,
October 22-25, 1995, Ruttgers University, New Brunswick, NJ, {USA}},
series = {Lecture Notes in Computer Science},
volume = {1066},
pages = {76--100},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0020937},
doi = {10.1007/BFB0020937},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/GeKNR95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/GhoshMA95,
author = {Mrinal K. Ghosh and
Steven I. Marcus and
Aristotle Arapostathis},
editor = {Rajeev Alur and
Thomas A. Henzinger and
Eduardo D. Sontag},
title = {Controlled Switching Diffusions as Hybrid Processes},
booktitle = {Hybrid Systems {III:} Verification and Control, Proceedings of the
{DIMACS/SYCON} Workshop on Verification and Control of Hybrid Systems,
October 22-25, 1995, Ruttgers University, New Brunswick, NJ, {USA}},
series = {Lecture Notes in Computer Science},
volume = {1066},
pages = {64--75},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0020936},
doi = {10.1007/BFB0020936},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/GhoshMA95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/GodhavnLE95,
author = {John{-}Morten Godhavn and
Trygve Lauvdal and
Olav Egeland},
editor = {Rajeev Alur and
Thomas A. Henzinger and
Eduardo D. Sontag},
title = {Hybrid Control in Sea Traffic Management Systems},
booktitle = {Hybrid Systems {III:} Verification and Control, Proceedings of the
{DIMACS/SYCON} Workshop on Verification and Control of Hybrid Systems,
October 22-25, 1995, Ruttgers University, New Brunswick, NJ, {USA}},
series = {Lecture Notes in Computer Science},
volume = {1066},
pages = {149--160},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0020942},
doi = {10.1007/BFB0020942},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/GodhavnLE95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/GuptaJS95,
author = {Vineet Gupta and
Radha Jagadeesan and
Vijay A. Saraswat},
editor = {Rajeev Alur and
Thomas A. Henzinger and
Eduardo D. Sontag},
title = {Hybrid cc, Hybrid Automata and Program Verification},
booktitle = {Hybrid Systems {III:} Verification and Control, Proceedings of the
{DIMACS/SYCON} Workshop on Verification and Control of Hybrid Systems,
October 22-25, 1995, Ruttgers University, New Brunswick, NJ, {USA}},
series = {Lecture Notes in Computer Science},
volume = {1066},
pages = {52--63},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0020935},
doi = {10.1007/BFB0020935},
timestamp = {Fri, 15 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/GuptaJS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/HaddonGDL95,
author = {John A. Haddon and
Datta N. Godbole and
Akash Deshpande and
John Lygeros},
editor = {Rajeev Alur and
Thomas A. Henzinger and
Eduardo D. Sontag},
title = {Verification of Hybrid Systems: Monotonicity in the {AHS} Control
System},
booktitle = {Hybrid Systems {III:} Verification and Control, Proceedings of the
{DIMACS/SYCON} Workshop on Verification and Control of Hybrid Systems,
October 22-25, 1995, Ruttgers University, New Brunswick, NJ, {USA}},
series = {Lecture Notes in Computer Science},
volume = {1066},
pages = {161--172},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0020943},
doi = {10.1007/BFB0020943},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/HaddonGDL95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/Halloway95,
author = {Lawrence E. Halloway},
editor = {Rajeev Alur and
Thomas A. Henzinger and
Eduardo D. Sontag},
title = {On-line Fault Monitoring of a Class of Hybrid Systems Using Templates
with Dynamic Time Scaling},
booktitle = {Hybrid Systems {III:} Verification and Control, Proceedings of the
{DIMACS/SYCON} Workshop on Verification and Control of Hybrid Systems,
October 22-25, 1995, Ruttgers University, New Brunswick, NJ, {USA}},
series = {Lecture Notes in Computer Science},
volume = {1066},
pages = {258--269},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0020951},
doi = {10.1007/BFB0020951},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/Halloway95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/Heitmeyer95,
author = {Constance L. Heitmeyer},
editor = {Rajeev Alur and
Thomas A. Henzinger and
Eduardo D. Sontag},
title = {Requirements Specifications for Hybrid Systems},
booktitle = {Hybrid Systems {III:} Verification and Control, Proceedings of the
{DIMACS/SYCON} Workshop on Verification and Control of Hybrid Systems,
October 22-25, 1995, Ruttgers University, New Brunswick, NJ, {USA}},
series = {Lecture Notes in Computer Science},
volume = {1066},
pages = {304--314},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0020955},
doi = {10.1007/BFB0020955},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/Heitmeyer95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/HenzingerW95,
author = {Thomas A. Henzinger and
Howard Wong{-}Toi},
editor = {Rajeev Alur and
Thomas A. Henzinger and
Eduardo D. Sontag},
title = {Linear Phase-Portrait Approximations for Nonlinear Hybrid Systems},
booktitle = {Hybrid Systems {III:} Verification and Control, Proceedings of the
{DIMACS/SYCON} Workshop on Verification and Control of Hybrid Systems,
October 22-25, 1995, Ruttgers University, New Brunswick, NJ, {USA}},
series = {Lecture Notes in Computer Science},
volume = {1066},
pages = {377--388},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0020961},
doi = {10.1007/BFB0020961},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/HenzingerW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/HoffmannK95,
author = {Ingo Hoffmann and
Karsten{-}Ulrich Klatt},
editor = {Rajeev Alur and
Thomas A. Henzinger and
Eduardo D. Sontag},
title = {Modeling Hybrid Dynamical Systems},
booktitle = {Hybrid Systems {III:} Verification and Control, Proceedings of the
{DIMACS/SYCON} Workshop on Verification and Control of Hybrid Systems,
October 22-25, 1995, Ruttgers University, New Brunswick, NJ, {USA}},
series = {Lecture Notes in Computer Science},
volume = {1066},
pages = {401--412},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0020963},
doi = {10.1007/BFB0020963},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/HoffmannK95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/JiW95,
author = {Ji Wang and
Weidong He},
editor = {Rajeev Alur and
Thomas A. Henzinger and
Eduardo D. Sontag},
title = {Formal Specification of Stability in Hybrid Control Systems},
booktitle = {Hybrid Systems {III:} Verification and Control, Proceedings of the
{DIMACS/SYCON} Workshop on Verification and Control of Hybrid Systems,
October 22-25, 1995, Ruttgers University, New Brunswick, NJ, {USA}},
series = {Lecture Notes in Computer Science},
volume = {1066},
pages = {294--303},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0020954},
doi = {10.1007/BFB0020954},
timestamp = {Tue, 28 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/JiW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/KestenMP95,
author = {Yonit Kesten and
Zohar Manna and
Amir Pnueli},
editor = {Rajeev Alur and
Thomas A. Henzinger and
Eduardo D. Sontag},
title = {Verifying Clocked Transition Systems},
booktitle = {Hybrid Systems {III:} Verification and Control, Proceedings of the
{DIMACS/SYCON} Workshop on Verification and Control of Hybrid Systems,
October 22-25, 1995, Ruttgers University, New Brunswick, NJ, {USA}},
series = {Lecture Notes in Computer Science},
volume = {1066},
pages = {13--40},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0020933},
doi = {10.1007/BFB0020933},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/KestenMP95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/KourjanskiV95,
author = {Mikhail Kourjanski and
Pravin Varaiya},
editor = {Rajeev Alur and
Thomas A. Henzinger and
Eduardo D. Sontag},
title = {Stability of Hybrid Systems},
booktitle = {Hybrid Systems {III:} Verification and Control, Proceedings of the
{DIMACS/SYCON} Workshop on Verification and Control of Hybrid Systems,
October 22-25, 1995, Ruttgers University, New Brunswick, NJ, {USA}},
series = {Lecture Notes in Computer Science},
volume = {1066},
pages = {413--423},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0020964},
doi = {10.1007/BFB0020964},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/KourjanskiV95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/KumarS95,
author = {Ratnesh Kumar and
Mark A. Shayman},
editor = {Rajeev Alur and
Thomas A. Henzinger and
Eduardo D. Sontag},
title = {Supervisory Control of Real-Time Systems Using Prioritized Synchronization},
booktitle = {Hybrid Systems {III:} Verification and Control, Proceedings of the
{DIMACS/SYCON} Workshop on Verification and Control of Hybrid Systems,
October 22-25, 1995, Ruttgers University, New Brunswick, NJ, {USA}},
series = {Lecture Notes in Computer Science},
volume = {1066},
pages = {351--361},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0020959},
doi = {10.1007/BFB0020959},
timestamp = {Sat, 02 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/KumarS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/LarsenPY95,
author = {Kim Guldstrand Larsen and
Paul Pettersson and
Wang Yi},
editor = {Rajeev Alur and
Thomas A. Henzinger and
Eduardo D. Sontag},
title = {Diagnostic Model-Checking for Real-Time Systems},
booktitle = {Hybrid Systems {III:} Verification and Control, Proceedings of the
{DIMACS/SYCON} Workshop on Verification and Control of Hybrid Systems,
October 22-25, 1995, Ruttgers University, New Brunswick, NJ, {USA}},
series = {Lecture Notes in Computer Science},
volume = {1066},
pages = {575--586},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0020977},
doi = {10.1007/BFB0020977},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/LarsenPY95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/LarsenSW95,
author = {Kim Guldstrand Larsen and
Bernhard Steffen and
Carsten Weise},
editor = {Rajeev Alur and
Thomas A. Henzinger and
Eduardo D. Sontag},
title = {Fischer's Protocol Revisited: {A} Simple Proof Using Modal Constraints},
booktitle = {Hybrid Systems {III:} Verification and Control, Proceedings of the
{DIMACS/SYCON} Workshop on Verification and Control of Hybrid Systems,
October 22-25, 1995, Ruttgers University, New Brunswick, NJ, {USA}},
series = {Lecture Notes in Computer Science},
volume = {1066},
pages = {604--615},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0020979},
doi = {10.1007/BFB0020979},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/LarsenSW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/LemosH95,
author = {Rog{\'{e}}rio de Lemos and
Jon G. Hall},
editor = {Rajeev Alur and
Thomas A. Henzinger and
Eduardo D. Sontag},
title = {Extended {RTL} in the Specification and Verification of an Industrial
Press},
booktitle = {Hybrid Systems {III:} Verification and Control, Proceedings of the
{DIMACS/SYCON} Workshop on Verification and Control of Hybrid Systems,
October 22-25, 1995, Ruttgers University, New Brunswick, NJ, {USA}},
series = {Lecture Notes in Computer Science},
volume = {1066},
pages = {114--125},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0020939},
doi = {10.1007/BFB0020939},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/LemosH95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/LygerosGS95,
author = {John Lygeros and
Datta N. Godbole and
Shankar Sastry},
editor = {Rajeev Alur and
Thomas A. Henzinger and
Eduardo D. Sontag},
title = {A Game-Theoretic Approach to Hybrid System Design},
booktitle = {Hybrid Systems {III:} Verification and Control, Proceedings of the
{DIMACS/SYCON} Workshop on Verification and Control of Hybrid Systems,
October 22-25, 1995, Ruttgers University, New Brunswick, NJ, {USA}},
series = {Lecture Notes in Computer Science},
volume = {1066},
pages = {1--12},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0020932},
doi = {10.1007/BFB0020932},
timestamp = {Mon, 25 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/LygerosGS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/Lynch95,
author = {Nancy A. Lynch},
editor = {Rajeev Alur and
Thomas A. Henzinger and
Eduardo D. Sontag},
title = {Modelling and Verification of Automated Transit Systems, Using Timed
Automata, Invariants and Simulations},
booktitle = {Hybrid Systems {III:} Verification and Control, Proceedings of the
{DIMACS/SYCON} Workshop on Verification and Control of Hybrid Systems,
October 22-25, 1995, Ruttgers University, New Brunswick, NJ, {USA}},
series = {Lecture Notes in Computer Science},
volume = {1066},
pages = {449--463},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0020967},
doi = {10.1007/BFB0020967},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/Lynch95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/LynchSVW95,
author = {Nancy A. Lynch and
Roberto Segala and
Frits W. Vaandrager and
Henri B. Weinberg},
editor = {Rajeev Alur and
Thomas A. Henzinger and
Eduardo D. Sontag},
title = {Hybrid {I/O} Automata},
booktitle = {Hybrid Systems {III:} Verification and Control, Proceedings of the
{DIMACS/SYCON} Workshop on Verification and Control of Hybrid Systems,
October 22-25, 1995, Ruttgers University, New Brunswick, NJ, {USA}},
series = {Lecture Notes in Computer Science},
volume = {1066},
pages = {496--510},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0020971},
doi = {10.1007/BFB0020971},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/LynchSVW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/Narain95,
author = {Sanjai Narain},
editor = {Rajeev Alur and
Thomas A. Henzinger and
Eduardo D. Sontag},
title = {Proofs from Temporal Hypotheses by Symbolic Simulation},
booktitle = {Hybrid Systems {III:} Verification and Control, Proceedings of the
{DIMACS/SYCON} Workshop on Verification and Control of Hybrid Systems,
October 22-25, 1995, Ruttgers University, New Brunswick, NJ, {USA}},
series = {Lecture Notes in Computer Science},
volume = {1066},
pages = {327--339},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0020957},
doi = {10.1007/BFB0020957},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/Narain95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/NiinomiKC95,
author = {Toshihiko Niinomi and
Bruce H. Krogh and
Jos{\'{e}} E. R. Cury},
editor = {Rajeev Alur and
Thomas A. Henzinger and
Eduardo D. Sontag},
title = {Refinements of Approximating Automata for Synthesis of Supervisory
Controllers for Hybrid Systems},
booktitle = {Hybrid Systems {III:} Verification and Control, Proceedings of the
{DIMACS/SYCON} Workshop on Verification and Control of Hybrid Systems,
October 22-25, 1995, Ruttgers University, New Brunswick, NJ, {USA}},
series = {Lecture Notes in Computer Science},
volume = {1066},
pages = {475--484},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0020969},
doi = {10.1007/BFB0020969},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/NiinomiKC95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/ParkKKL95,
author = {Hong Seong Park and
Young Sin Kim and
Wook Hyun Kwon and
Sang Jeong Lee},
editor = {Rajeev Alur and
Thomas A. Henzinger and
Eduardo D. Sontag},
title = {Model and Stability of Hybrid Linear System},
booktitle = {Hybrid Systems {III:} Verification and Control, Proceedings of the
{DIMACS/SYCON} Workshop on Verification and Control of Hybrid Systems,
October 22-25, 1995, Ruttgers University, New Brunswick, NJ, {USA}},
series = {Lecture Notes in Computer Science},
volume = {1066},
pages = {424--435},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0020965},
doi = {10.1007/BFB0020965},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/ParkKKL95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/PuriBV95,
author = {Anuj Puri and
Vivek S. Borkar and
Pravin Varaiya},
editor = {Rajeev Alur and
Thomas A. Henzinger and
Eduardo D. Sontag},
title = {Epsilon-Approximation of Differential Inclusions},
booktitle = {Hybrid Systems {III:} Verification and Control, Proceedings of the
{DIMACS/SYCON} Workshop on Verification and Control of Hybrid Systems,
October 22-25, 1995, Ruttgers University, New Brunswick, NJ, {USA}},
series = {Lecture Notes in Computer Science},
volume = {1066},
pages = {362--376},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0020960},
doi = {10.1007/BFB0020960},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/PuriBV95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/QiwenW95,
author = {Qiwen Xu and
Weidong He},
editor = {Rajeev Alur and
Thomas A. Henzinger and
Eduardo D. Sontag},
title = {Hierarchical Design of a Chemical Concentration Control System},
booktitle = {Hybrid Systems {III:} Verification and Control, Proceedings of the
{DIMACS/SYCON} Workshop on Verification and Control of Hybrid Systems,
October 22-25, 1995, Ruttgers University, New Brunswick, NJ, {USA}},
series = {Lecture Notes in Computer Science},
volume = {1066},
pages = {270--281},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0020952},
doi = {10.1007/BFB0020952},
timestamp = {Tue, 28 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/QiwenW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/RaischO95,
author = {J{\"{o}}rg Raisch and
Siu O'Young},
editor = {Rajeev Alur and
Thomas A. Henzinger and
Eduardo D. Sontag},
title = {A {DES} Approach to Control of Hybrid Dynamical Systems},
booktitle = {Hybrid Systems {III:} Verification and Control, Proceedings of the
{DIMACS/SYCON} Workshop on Verification and Control of Hybrid Systems,
October 22-25, 1995, Ruttgers University, New Brunswick, NJ, {USA}},
series = {Lecture Notes in Computer Science},
volume = {1066},
pages = {563--574},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0020976},
doi = {10.1007/BFB0020976},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/RaischO95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/SavkinEP95,
author = {Andrey V. Savkin and
Robin J. Evans and
Ian R. Petersen},
editor = {Rajeev Alur and
Thomas A. Henzinger and
Eduardo D. Sontag},
title = {A New Approach to Robust Control of Hybrid Systems},
booktitle = {Hybrid Systems {III:} Verification and Control, Proceedings of the
{DIMACS/SYCON} Workshop on Verification and Control of Hybrid Systems,
October 22-25, 1995, Ruttgers University, New Brunswick, NJ, {USA}},
series = {Lecture Notes in Computer Science},
volume = {1066},
pages = {553--562},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0020975},
doi = {10.1007/BFB0020975},
timestamp = {Mon, 03 Dec 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/SavkinEP95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/Seidman95,
author = {Thomas I. Seidman},
editor = {Rajeev Alur and
Thomas A. Henzinger and
Eduardo D. Sontag},
title = {The Residue of Model Reduction},
booktitle = {Hybrid Systems {III:} Verification and Control, Proceedings of the
{DIMACS/SYCON} Workshop on Verification and Control of Hybrid Systems,
October 22-25, 1995, Ruttgers University, New Brunswick, NJ, {USA}},
series = {Lecture Notes in Computer Science},
volume = {1066},
pages = {201--208},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0020946},
doi = {10.1007/BFB0020946},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/Seidman95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/SinclairHWW95,
author = {David Sinclair and
Eckhardt Holz and
Dorota Witaszek and
Maciej Wasowski},
editor = {Rajeev Alur and
Thomas A. Henzinger and
Eduardo D. Sontag},
title = {Validation of Hybrid Systems by Co-simulation},
booktitle = {Hybrid Systems {III:} Verification and Control, Proceedings of the
{DIMACS/SYCON} Workshop on Verification and Control of Hybrid Systems,
October 22-25, 1995, Ruttgers University, New Brunswick, NJ, {USA}},
series = {Lecture Notes in Computer Science},
volume = {1066},
pages = {315--326},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0020956},
doi = {10.1007/BFB0020956},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/SinclairHWW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/Sintzoff95,
author = {Michel Sintzoff},
editor = {Rajeev Alur and
Thomas A. Henzinger and
Eduardo D. Sontag},
title = {Abstract Verification of Structured Dynamical Systems},
booktitle = {Hybrid Systems {III:} Verification and Control, Proceedings of the
{DIMACS/SYCON} Workshop on Verification and Control of Hybrid Systems,
October 22-25, 1995, Ruttgers University, New Brunswick, NJ, {USA}},
series = {Lecture Notes in Computer Science},
volume = {1066},
pages = {126--137},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0020940},
doi = {10.1007/BFB0020940},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/Sintzoff95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/Sontag95,
author = {Eduardo D. Sontag},
editor = {Rajeev Alur and
Thomas A. Henzinger and
Eduardo D. Sontag},
title = {Interconnected Automata and Linear Systems: {A} Theoretical Framework
in Discrete-Time},
booktitle = {Hybrid Systems {III:} Verification and Control, Proceedings of the
{DIMACS/SYCON} Workshop on Verification and Control of Hybrid Systems,
October 22-25, 1995, Ruttgers University, New Brunswick, NJ, {USA}},
series = {Lecture Notes in Computer Science},
volume = {1066},
pages = {436--448},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0020966},
doi = {10.1007/BFB0020966},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/Sontag95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/StiverAL95,
author = {James A. Stiver and
Panos J. Antsaklis and
Michael D. Lemmon},
editor = {Rajeev Alur and
Thomas A. Henzinger and
Eduardo D. Sontag},
title = {An Invariant Based Approach to the Design of Hybrid Control Systems
Containing Clocks},
booktitle = {Hybrid Systems {III:} Verification and Control, Proceedings of the
{DIMACS/SYCON} Workshop on Verification and Control of Hybrid Systems,
October 22-25, 1995, Ruttgers University, New Brunswick, NJ, {USA}},
series = {Lecture Notes in Computer Science},
volume = {1066},
pages = {464--474},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0020968},
doi = {10.1007/BFB0020968},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/StiverAL95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/StrombergNT95,
author = {Jan{-}Erik Str{\"{o}}mberg and
Simin Nadjm{-}Tehrani and
Jan L. Top},
editor = {Rajeev Alur and
Thomas A. Henzinger and
Eduardo D. Sontag},
title = {Switched Bond Graphs as Front-End to Formal Verification of Hybrid
Systems},
booktitle = {Hybrid Systems {III:} Verification and Control, Proceedings of the
{DIMACS/SYCON} Workshop on Verification and Control of Hybrid Systems,
October 22-25, 1995, Ruttgers University, New Brunswick, NJ, {USA}},
series = {Lecture Notes in Computer Science},
volume = {1066},
pages = {282--293},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0020953},
doi = {10.1007/BFB0020953},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/StrombergNT95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/WeinbergLD95,
author = {Henri B. Weinberg and
Nancy A. Lynch and
Norman M. Delisle},
editor = {Rajeev Alur and
Thomas A. Henzinger and
Eduardo D. Sontag},
title = {Verification of Automated Vehicle Protection Systems},
booktitle = {Hybrid Systems {III:} Verification and Control, Proceedings of the
{DIMACS/SYCON} Workshop on Verification and Control of Hybrid Systems,
October 22-25, 1995, Ruttgers University, New Brunswick, NJ, {USA}},
series = {Lecture Notes in Computer Science},
volume = {1066},
pages = {101--113},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0020938},
doi = {10.1007/BFB0020938},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/WeinbergLD95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/ZhangM95,
author = {Ying Zhang and
Alan K. Mackworth},
editor = {Rajeev Alur and
Thomas A. Henzinger and
Eduardo D. Sontag},
title = {Specification and Verification of Hybrid Dynamic Systems with Timed
forall-Automata},
booktitle = {Hybrid Systems {III:} Verification and Control, Proceedings of the
{DIMACS/SYCON} Workshop on Verification and Control of Hybrid Systems,
October 22-25, 1995, Ruttgers University, New Brunswick, NJ, {USA}},
series = {Lecture Notes in Computer Science},
volume = {1066},
pages = {587--603},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0020978},
doi = {10.1007/BFB0020978},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/ZhangM95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-05-23 05:23 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
