Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "Heymann Michael"
download as .bib file
@article{DBLP:journals/cr/BartschGHHHSDG23,
author = {Michael Bartsch and
Malte Gr{\"{u}}tzmacher and
Niko H{\"{a}}rting and
Sven{-}Erik Heun and
Thomas Heymann and
Fabian Schuster and
Indra Spiecker genannt D{\"{o}}hmann and
Ulrich Gasper},
title = {Ad multos annos, lieber Jochen Schneider!},
journal = {Comput. und Recht},
volume = {39},
number = {11},
pages = {705},
year = {2023},
url = {https://doi.org/10.9785/cr-2023-391105},
doi = {10.9785/CR-2023-391105},
timestamp = {Fri, 09 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cr/BartschGHHHSDG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/automotiveUI/HeymannD13,
author = {Michael Heymann and
Asaf Degani},
editor = {Jacques M. B. Terken},
title = {Automated driving aids: modeling, analysis, and interface design considerations},
booktitle = {Automotive User Interfaces and Interactive Vehicular Applications,
AutomotiveUI '13, Eindhoven, The Netherlands, October 28-30, 2013},
pages = {142--149},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2516540.2516549},
doi = {10.1145/2516540.2516549},
timestamp = {Thu, 11 Mar 2021 17:04:51 +0100},
biburl = {https://dblp.org/rec/conf/automotiveUI/HeymannD13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcit-igi/SchnackenbergH12,
author = {Heidi L. Schnackenberg and
Michael J. Heymann},
title = {Interactive Whiteboards: Worth the Investment?},
journal = {J. Cases Inf. Technol.},
volume = {14},
number = {1},
pages = {15--25},
year = {2012},
url = {https://doi.org/10.4018/jcit.2012010102},
doi = {10.4018/JCIT.2012010102},
timestamp = {Fri, 07 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcit-igi/SchnackenbergH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jclinbioinf/AzuajeHTWSMS12,
author = {Francisco Azuaje and
Micha{\"{e}}l Heymann and
Anne{-}Marie Ternes and
Anke Wienecke{-}Baldacchino and
Daniel Struck and
Dani{\`{e}}le Moes and
Reinhard Schneider},
title = {Bioinformatics as a driver, not a passenger, of translational biomedical
research: Perspectives from the 6\({}^{\mbox{th }}\)Benelux bioinformatics
conference},
journal = {J. Clin. Bioinform.},
volume = {2},
pages = {7},
year = {2012},
url = {https://doi.org/10.1186/2043-9113-2-7},
doi = {10.1186/2043-9113-2-7},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jclinbioinf/AzuajeHTWSMS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cr/HeunHSSS11,
author = {Sven{-}Erik Heun and
Thomas Heymann and
Jochen Schneider and
Fabian Schuster and
Gerald Spindler},
title = {Michael Bartsch zum 65. Geburtstag},
journal = {Computer und Recht},
volume = {27},
number = {10},
pages = {625},
year = {2011},
url = {https://doi.org/10.9785/ovs-cr-2011-625},
doi = {10.9785/OVS-CR-2011-625},
timestamp = {Tue, 25 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cr/HeunHSSS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcit-igi/HeymannS11,
author = {Michael J. Heymann and
Heidi L. Schnackenberg},
title = {Cyberbullying: {A} Case Study at Robert J. Mitchell Junior/Senior
High School},
journal = {J. Cases Inf. Technol.},
volume = {13},
number = {4},
pages = {1--8},
year = {2011},
url = {https://doi.org/10.4018/JCIT.2011100101},
doi = {10.4018/JCIT.2011100101},
timestamp = {Fri, 07 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcit-igi/HeymannS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smc/DeganiGH11,
author = {Asaf Degani and
Andrew Gellatly and
Michael Heymann},
title = {{HMI} aspects of automotive climate control systems},
booktitle = {Proceedings of the {IEEE} International Conference on Systems, Man
and Cybernetics, Anchorage, Alaska, USA, October 9-12, 2011},
pages = {1795--1800},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/ICSMC.2011.6083932},
doi = {10.1109/ICSMC.2011.6083932},
timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
biburl = {https://dblp.org/rec/conf/smc/DeganiGH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alife/HeymannHPF10,
author = {Michael Heymann and
Kyle Ira Harrington and
Jordan B. Pollack and
Seth Fraden},
editor = {Harold Fellermann and
Mark D{\"{o}}rr and
Martin M. Hanczyc and
Lone Ladegaard Laursen and
Sarah Elizabeth Maurer and
Daniel Merkle and
Pierre{-}Alain Monnard and
Kasper St{\o}y and
Steen Rasmussen},
title = {En Route to Signal Inversion in Chemical Computing},
booktitle = {Proceedings of the Twelfth International Conference on the Synthesis
and Simulation of Living Systems, {ALIFE} 2010, Odense, Denmark, August
19-23, 2010},
pages = {166--167},
publisher = {{MIT} Press},
year = {2010},
url = {http://mitpress2.mit.edu/books/chapters/0262290758chap35.pdf},
timestamp = {Sun, 03 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/alife/HeymannHPF10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/healthgrid/BardBBBCDHFMNPT10,
author = {Nicolas Bard and
Raphael Bolze and
Eddy Caron and
Fr{\'{e}}d{\'{e}}ric Desprez and
Micha{\"{e}}l Heymann and
Anne Friedrich and
Luc Moulinier and
Ngoc{-}Hoan Nguyen and
Olivier Poch and
Thierry Toursel},
editor = {Tony Solomonides and
Ignacio Blanquer and
Vincent Breton and
Tristan Glatard and
Yannick Legr{\'{e}}},
title = {D{\'{e}}crypthon Grid - Grid Resources Dedicated to Neuromuscular
Disorders},
booktitle = {Healthgrid Applications and Core Technologies - Proceedings of HealthGrid
2010, University Paris XI, Orsay, Paris, France, June 28-30, 2010},
series = {Studies in Health Technology and Informatics},
volume = {159},
pages = {124--133},
publisher = {{IOS} Press},
year = {2010},
url = {https://doi.org/10.3233/978-1-60750-583-9-124},
doi = {10.3233/978-1-60750-583-9-124},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/healthgrid/BardBBBCDHFMNPT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bioinformatics/HeymannPSFMGD08,
author = {Micha{\"{e}}l Heymann and
David Paramelle and
Gilles Subra and
Eric Forest and
Jean Martinez and
Christophe Geourjon and
Gilbert Del{\'{e}}age},
title = {{MSX-3D:} a tool to validate 3D protein models using mass spectrometry},
journal = {Bioinform.},
volume = {24},
number = {23},
pages = {2782--2783},
year = {2008},
url = {https://doi.org/10.1093/bioinformatics/btn510},
doi = {10.1093/BIOINFORMATICS/BTN510},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bioinformatics/HeymannPSFMGD08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/hf/HeymannD07,
author = {Michael Heymann and
Asaf Degani},
title = {Formal Analysis and Automatic Generation of User Interfaces: Approach,
Methodology, and an Algorithm},
journal = {Hum. Factors},
volume = {49},
number = {2},
pages = {311--330},
year = {2007},
url = {https://doi.org/10.1518/001872007X312522},
doi = {10.1518/001872007X312522},
timestamp = {Thu, 04 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/hf/HeymannD07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifachms/DeganiH07,
author = {Asaf Degani and
Michael Heymann},
editor = {Daihwan Min},
title = {Toward automatic generation of user interfaces: Abstraction of internal
states and transitions},
booktitle = {10th {IFAC/IFIP/IFORS/IEA} Symposium on Analysis, Design, and Evaluation
of Human-Machine Systems, Seoul, Korea, September 4-6, 2007},
pages = {483--489},
publisher = {International Federation of Automatic Control},
year = {2007},
url = {https://doi.org/10.3182/20070904-3-KR-2922.00086},
doi = {10.3182/20070904-3-KR-2922.00086},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifachms/DeganiH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/HeymannLMR05,
author = {Michael Heymann and
Feng Lin and
George Meyer and
Stefan Resmerita},
title = {Analysis of Zeno behaviors in a class of hybrid systems},
journal = {{IEEE} Trans. Autom. Control.},
volume = {50},
number = {3},
pages = {376--383},
year = {2005},
url = {https://doi.org/10.1109/TAC.2005.843874},
doi = {10.1109/TAC.2005.843874},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tac/HeymannLMR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/egc/GomesDMBGHKMMRDCSGSFLNLOWBNPWFFCFTXDACHSKRG05,
author = {Jorge A. T. Gomes and
M{\'{a}}rio David and
J. Martins and
Lu{\'{\i}}s Bernardo and
Ariel Garc{\'{\i}}a and
Markus Hardt and
Harald Kornmayer and
J. Marco and
R. Marco and
D. Rodr{\'{\i}}guez and
Iv{\'{a}}n D{\'{\i}}az and
D. Cano and
Jos{\'{e}} Salt and
S. Gonzalez and
Javier S{\'{a}}nchez and
Farida Fassi and
V. Lara and
P. Nyczyk and
Patryk Lason and
Andrzej Ozieblo and
Pawel Wolniewicz and
Michal Bluj and
Krzysztof Nawrocki and
Adam Padee and
Wojciech Wislicki and
C. Fern{\'{a}}ndez and
J. Font{\'{a}}n and
Yannis Cotronis and
Evangelos Floros and
George Tsouloupas and
Wei Xing and
Marios D. Dikaiakos and
J{\'{a}}n Astalos and
Brian A. Coghlan and
Elisa Heymann and
Miquel A. Senar and
C. Kanellopoulos and
A. Ramos and
Derek Groen},
editor = {Peter M. A. Sloot and
Alfons G. Hoekstra and
Thierry Priol and
Alexander Reinefeld and
Marian Bubak},
title = {Experience with the International Testbed in the CrossGrid Project},
booktitle = {Advances in Grid Computing - {EGC} 2005, European Grid Conference,
Amsterdam, The Netherlands, February 14-16, 2005, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {3470},
pages = {98--110},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11508380\_12},
doi = {10.1007/11508380\_12},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/egc/GomesDMBGHKMMRDCSGSFLNLOWBNPWFFCFTXDACHSKRG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isb/HillerBHBGF04,
author = {Michael Hiller and
Rolf Backofen and
Stephan Heymann and
Anke Busch and
Timo Mika Gl{\"{a}}{\ss}er and
Johann Christoph Freytag},
title = {Efficient prediction of alternative splice forms using protein domain
homology},
journal = {Silico Biol.},
volume = {4},
number = {2},
pages = {195--208},
year = {2004},
url = {http://content.iospress.com/articles/in-silico-biology/isb00127},
timestamp = {Thu, 20 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isb/HillerBHBGF04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/ResmeritaH03,
author = {Stefan Resmerita and
Michael Heymann},
title = {Conflict resolution in multi-agent systems},
booktitle = {42nd {IEEE} Conference on Decision and Control, {CDC} 2003, Maui,
Hawaii, USA, December 9-12, 2003},
pages = {2537--2542},
publisher = {{IEEE}},
year = {2003},
url = {https://doi.org/10.1109/CDC.2003.1273003},
doi = {10.1109/CDC.2003.1273003},
timestamp = {Mon, 07 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cdc/ResmeritaH03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/ResmeritaHM03,
author = {Stefan Resmerita and
Michael Heymann and
George Meyer},
title = {A framework for conflict resolution in air traffic management},
booktitle = {42nd {IEEE} Conference on Decision and Control, {CDC} 2003, Maui,
Hawaii, USA, December 9-12, 2003},
pages = {2035--2040},
publisher = {{IEEE}},
year = {2003},
url = {https://doi.org/10.1109/CDC.2003.1272914},
doi = {10.1109/CDC.2003.1272914},
timestamp = {Mon, 07 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cdc/ResmeritaHM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eagc/GomesDMBMMRSGSFHGNOWBNPWFFGLCFTXDACHSMKA03,
author = {Jorge A. T. Gomes and
M{\'{a}}rio David and
J. Martins and
Lu{\'{\i}}s Bernardo and
J. Marco and
R. Marco and
D. Rodr{\'{\i}}guez and
Jos{\'{e}} Salt and
S. Gonzalez and
Javier S{\'{a}}nchez and
A. Fuentes and
Markus Hardt and
Ariel Garc{\'{\i}}a and
P. Nyczyk and
Andrzej Ozieblo and
Pawel Wolniewicz and
Michal Bluj and
Krzysztof Nawrocki and
Adam Padee and
Wojciech Wislicki and
C. Fern{\'{a}}ndez and
J. Font{\'{a}}n and
A. G{\'{o}}mez and
I. L{\'{o}}pez and
Yannis Cotronis and
Evangelos Floros and
George Tsouloupas and
Wei Xing and
Marios D. Dikaiakos and
J{\'{a}}n Astalos and
Brian A. Coghlan and
Elisa Heymann and
Miquel A. Senar and
Gonzalo Merino and
C. Kanellopoulos and
G. Dick van Albada},
editor = {Francisco Fernandez Rivera and
Marian Bubak and
Andr{\'{e}}s G{\'{o}}mez{-}Tato and
Ramon Doallo},
title = {First Prototype of the CrossGrid Testbed},
booktitle = {Grid Computing, First European Across Grids Conference, Santiago de
Compostela, Spain, February 13-14, 2003, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2970},
pages = {67--77},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24689-3\_9},
doi = {10.1007/978-3-540-24689-3\_9},
timestamp = {Sun, 12 Nov 2023 02:12:58 +0100},
biburl = {https://dblp.org/rec/conf/eagc/GomesDMBMMRSGSFHGNOWBNPWFFGLCFTXDACHSMKA03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/hf/DeganiH02,
author = {Asaf Degani and
Michael Heymann},
title = {Formal Verification of Human-Automation Interaction},
journal = {Hum. Factors},
volume = {44},
number = {1},
pages = {28--43},
year = {2002},
url = {https://doi.org/10.1518/0018720024494838},
doi = {10.1518/0018720024494838},
timestamp = {Thu, 04 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/hf/DeganiH02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/HeymannLM02,
author = {Michael Heymann and
Feng Lin and
George Meyer},
title = {Multiuser discrete-event control with active events},
journal = {{IEEE} Trans. Autom. Control.},
volume = {47},
number = {2},
pages = {314--318},
year = {2002},
url = {https://doi.org/10.1109/9.983368},
doi = {10.1109/9.983368},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tac/HeymannLM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/DevasiaHM02,
author = {Santosh Devasia and
Michael Heymann and
George Meyer},
title = {Automation procedures for air traffic management: a token-based approach},
booktitle = {American Control Conference, {ACC} 2002, Anchorage, Alaska, USA, May
8-10 2002},
pages = {736--741},
publisher = {{IEEE}},
year = {2002},
url = {https://doi.org/10.1109/ACC.2002.1024901},
doi = {10.1109/ACC.2002.1024901},
timestamp = {Wed, 27 Jul 2022 14:28:37 +0200},
biburl = {https://dblp.org/rec/conf/amcc/DevasiaHM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/HeymannLMR02,
author = {Michael Heymann and
Feng Lin and
George Meyer and
Stefan Resmerita},
title = {Analysis of Zeno behaviors in hybrid systems},
booktitle = {41st {IEEE} Conference on Decision and Control, {CDC} 2002, Las Vegas,
NV, USA, December 10-13, 2002},
pages = {2379--2384},
publisher = {{IEEE}},
year = {2002},
url = {https://doi.org/10.1109/CDC.2002.1184191},
doi = {10.1109/CDC.2002.1184191},
timestamp = {Tue, 08 Mar 2022 11:46:48 +0100},
biburl = {https://dblp.org/rec/conf/cdc/HeymannLMR02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/HeymannD02,
author = {Michael Heymann and
Asaf Degani},
editor = {Sven Koenig and
Robert C. Holte},
title = {On the Construction of Human-Automation Interfaces by Formal Abstraction},
booktitle = {Abstraction, Reformulation and Approximation, 5th International Symposium,
{SARA} 2002, Kananaskis, Alberta, Canada, August 2-4, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2371},
pages = {99--115},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45622-8\_8},
doi = {10.1007/3-540-45622-8\_8},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/sara/HeymannD02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/KumarH00,
author = {Ratnesh Kumar and
Michael Heymann},
title = {Masked prioritized synchronization for interaction and control of
discrete event systems},
journal = {{IEEE} Trans. Autom. Control.},
volume = {45},
number = {11},
pages = {1970--1982},
year = {2000},
url = {https://doi.org/10.1109/9.887621},
doi = {10.1109/9.887621},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tac/KumarH00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icra/HeymannLMMCK99,
author = {Michael Heymann and
Feng Lin and
George Meyer and
Satya Ranjan Mohanty and
Vigyan Chandra and
Ratnesh Kumar},
title = {Discrete Event Control with Active Events},
booktitle = {1999 {IEEE} International Conference on Robotics and Automation, Marriott
Hotel, Renaissance Center, Detroit, Michigan, USA, May 10-15, 1999,
Proceedings},
pages = {131--136},
publisher = {{IEEE} Robotics and Automation Society},
year = {1999},
url = {https://doi.org/10.1109/ROBOT.1999.769943},
doi = {10.1109/ROBOT.1999.769943},
timestamp = {Wed, 20 Jun 2018 17:51:11 +0200},
biburl = {https://dblp.org/rec/conf/icra/HeymannLMMCK99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/deds/HeymannLM98,
author = {Michael Heymann and
Feng Lin and
George Meyer},
title = {Synthesis and Viability of Minimally Interventive Legal Controllers
for Hybrid Systems},
journal = {Discret. Event Dyn. Syst.},
volume = {8},
number = {2},
pages = {105--135},
year = {1998},
url = {https://doi.org/10.1023/A:1008285600895},
doi = {10.1023/A:1008285600895},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/deds/HeymannLM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/HeymannL98,
author = {Michael Heymann and
Feng Lin},
title = {Discrete-event control of nondeterministic systems},
journal = {{IEEE} Trans. Autom. Control.},
volume = {43},
number = {1},
pages = {3--17},
year = {1998},
url = {https://doi.org/10.1109/9.654883},
doi = {10.1109/9.654883},
timestamp = {Mon, 03 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tac/HeymannL98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/HeymannLM97,
author = {Michael Heymann and
Feng Lin and
George Meyer},
editor = {Oded Maler},
title = {Control Synthesis for a Class of Hybrid Systems Subject to Configuration-Based
Safety Constraints},
booktitle = {Hybrid and Real-Time Systems, International Workshop. HART'97, Grenoble,
France, March 26-28, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1201},
pages = {376--390},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0014739},
doi = {10.1007/BFB0014739},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/HeymannLM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/HeymannLM96,
author = {Michael Heymann and
Feng Lin and
George Meyer},
editor = {Panos J. Antsaklis and
Wolf Kohn and
Anil Nerode and
Shankar Sastry},
title = {Synthesis of Minimally Restrictive Legal Controllers for a Class of
Hybrid Systems},
booktitle = {Hybrid Systems IV, Proceedings of the Fourth International Workshop
on Hybrid Systems, Ithaca, NY, USA, October 1996},
series = {Lecture Notes in Computer Science},
volume = {1273},
pages = {134--159},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0031559},
doi = {10.1007/BFB0031559},
timestamp = {Fri, 29 Apr 2022 09:17:30 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/HeymannLM96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/WillnerH95,
author = {Yosef M. Willner and
Michael Heymann},
title = {Language convergence in controlled discrete-event systems},
journal = {{IEEE} Trans. Autom. Control.},
volume = {40},
number = {4},
pages = {616--627},
year = {1995},
url = {https://doi.org/10.1109/9.376114},
doi = {10.1109/9.376114},
timestamp = {Thu, 30 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tac/WillnerH95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/deds/HeymannL94,
author = {Michael Heymann and
Feng Lin},
title = {On-line control of partially observed discrete event systems},
journal = {Discret. Event Dyn. Syst.},
volume = {4},
number = {3},
pages = {221--236},
year = {1994},
url = {https://doi.org/10.1007/BF01438708},
doi = {10.1007/BF01438708},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/deds/HeymannL94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isci/BraveH93,
author = {Yitzhak Brave and
Michael Heymann},
title = {On optimal attraction in discrete-event processes},
journal = {Inf. Sci.},
volume = {67},
number = {3},
pages = {245--276},
year = {1993},
url = {https://doi.org/10.1016/0020-0255(93)90075-W},
doi = {10.1016/0020-0255(93)90075-W},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isci/BraveH93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/trob/FouxHB93,
author = {Guy Foux and
Michael Heymann and
Alfred M. Bruckstein},
title = {Two-dimensional robot navigation among unknown stationary polygonal
obstacles},
journal = {{IEEE} Trans. Robotics Autom.},
volume = {9},
number = {1},
pages = {96--102},
year = {1993},
url = {https://doi.org/10.1109/70.210800},
doi = {10.1109/70.210800},
timestamp = {Tue, 19 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/trob/FouxHB93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ior/Heymann68,
author = {Michael Heymann},
title = {Optimal Simultaneous Search for the Maximum by the Principle of Statistical
Information},
journal = {Oper. Res.},
volume = {16},
number = {6},
pages = {1194--1205},
year = {1968},
url = {https://doi.org/10.1287/opre.16.6.1194},
doi = {10.1287/OPRE.16.6.1194},
timestamp = {Tue, 31 Mar 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ior/Heymann68.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-04-25 15:25 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:
