• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 34 matches

• 2023
• 
  Michael Bartsch, Malte Grützmacher, Niko Härting, Sven-Erik Heun, Thomas Heymann, Fabian Schuster, Indra Spiecker genannt Döhmann, Ulrich Gasper:
  Ad multos annos, lieber Jochen Schneider! Comput. und Recht 39(11): 705 (2023)
• 2013
• 
  Michael Heymann, Asaf Degani:
  Automated driving aids: modeling, analysis, and interface design considerations. AutomotiveUI 2013: 142-149
• 2012
• 
  Heidi L. Schnackenberg, Michael J. Heymann:
  Interactive Whiteboards: Worth the Investment? J. Cases Inf. Technol. 14(1): 15-25 (2012)
• 
  Francisco Azuaje, Michaël Heymann, Anne-Marie Ternes, Anke Wienecke-Baldacchino, Daniel Struck, Danièle Moes, Reinhard Schneider:
  Bioinformatics as a driver, not a passenger, of translational biomedical research: Perspectives from the 6^th Benelux bioinformatics conference. J. Clin. Bioinform. 2: 7 (2012)
• 2011
• 
  Sven-Erik Heun, Thomas Heymann, Jochen Schneider, Fabian Schuster, Gerald Spindler:
  Michael Bartsch zum 65. Geburtstag. Computer und Recht 27(10): 625 (2011)
• 
  Michael J. Heymann, Heidi L. Schnackenberg:
  Cyberbullying: A Case Study at Robert J. Mitchell Junior/Senior High School. J. Cases Inf. Technol. 13(4): 1-8 (2011)
• 
  Asaf Degani, Andrew Gellatly, Michael Heymann:
  HMI aspects of automotive climate control systems. SMC 2011: 1795-1800
• 2010
• 
  Michael Heymann, Kyle Ira Harrington, Jordan B. Pollack, Seth Fraden:
  En Route to Signal Inversion in Chemical Computing. ALIFE 2010: 166-167
• 
  Nicolas Bard, Raphael Bolze, Eddy Caron, Frédéric Desprez, Michaël Heymann, Anne Friedrich, Luc Moulinier, Ngoc-Hoan Nguyen, Olivier Poch, Thierry Toursel:
  Décrypthon Grid - Grid Resources Dedicated to Neuromuscular Disorders. HealthGrid 2010: 124-133
• 2008
• 
  Michaël Heymann, David Paramelle, Gilles Subra, Eric Forest, Jean Martinez, Christophe Geourjon, Gilbert Deléage:
  MSX-3D: a tool to validate 3D protein models using mass spectrometry. Bioinform. 24(23): 2782-2783 (2008)
• 2007
• 
  Michael Heymann, Asaf Degani:
  Formal Analysis and Automatic Generation of User Interfaces: Approach, Methodology, and an Algorithm. Hum. Factors 49(2): 311-330 (2007)
• 
  Asaf Degani, Michael Heymann:
  Toward automatic generation of user interfaces: Abstraction of internal states and transitions. IFAC HMS 2007: 483-489
• 2005
• 
  Michael Heymann, Feng Lin, George Meyer, Stefan Resmerita:
  Analysis of Zeno behaviors in a class of hybrid systems. IEEE Trans. Autom. Control. 50(3): 376-383 (2005)
• 
  Jorge A. T. Gomes, Mário David, J. Martins, Luís Bernardo, Ariel García, Markus Hardt, Harald Kornmayer, J. Marco, R. Marco, D. Rodríguez, Iván Díaz, D. Cano, José Salt, S. Gonzalez, Javier Sánchez, Farida Fassi, V. Lara, P. Nyczyk, Patryk Lason, Andrzej Ozieblo, Pawel Wolniewicz, Michal Bluj, Krzysztof Nawrocki, Adam Padee, Wojciech Wislicki, C. Fernández, J. Fontán, Yannis Cotronis, Evangelos Floros, George Tsouloupas, Wei Xing, Marios D. Dikaiakos, Ján Astalos, Brian A. Coghlan, Elisa Heymann, Miquel A. Senar, C. Kanellopoulos, A. Ramos, Derek Groen:
  Experience with the International Testbed in the CrossGrid Project. EGC 2005: 98-110
• 2004
• 
  Michael Hiller, Rolf Backofen, Stephan Heymann, Anke Busch, Timo Mika Gläßer, Johann Christoph Freytag:
  Efficient prediction of alternative splice forms using protein domain homology. Silico Biol. 4(2): 195-208 (2004)
• 2003
• 
  Stefan Resmerita, Michael Heymann:
  Conflict resolution in multi-agent systems. CDC 2003: 2537-2542
• 
  Stefan Resmerita, Michael Heymann, George Meyer:
  A framework for conflict resolution in air traffic management. CDC 2003: 2035-2040
• 
  Jorge A. T. Gomes, Mário David, J. Martins, Luís Bernardo, J. Marco, R. Marco, D. Rodríguez, José Salt, S. Gonzalez, Javier Sánchez, A. Fuentes, Markus Hardt, Ariel García, P. Nyczyk, Andrzej Ozieblo, Pawel Wolniewicz, Michal Bluj, Krzysztof Nawrocki, Adam Padee, Wojciech Wislicki, C. Fernández, J. Fontán, A. Gómez, I. López, Yannis Cotronis, Evangelos Floros, George Tsouloupas, Wei Xing, Marios D. Dikaiakos, Ján Astalos, Brian A. Coghlan, Elisa Heymann, Miquel A. Senar, Gonzalo Merino, C. Kanellopoulos, G. Dick van Albada:
  First Prototype of the CrossGrid Testbed. European Across Grids Conference 2003: 67-77
• 2002
• 
  Asaf Degani, Michael Heymann:
  Formal Verification of Human-Automation Interaction. Hum. Factors 44(1): 28-43 (2002)
• 
  Michael Heymann, Feng Lin, George Meyer:
  Multiuser discrete-event control with active events. IEEE Trans. Autom. Control. 47(2): 314-318 (2002)
• 
  Santosh Devasia, Michael Heymann, George Meyer:
  Automation procedures for air traffic management: a token-based approach. ACC 2002: 736-741
• 
  Michael Heymann, Feng Lin, George Meyer, Stefan Resmerita:
  Analysis of Zeno behaviors in hybrid systems. CDC 2002: 2379-2384
• 
  Michael Heymann, Asaf Degani:
  On the Construction of Human-Automation Interfaces by Formal Abstraction. SARA 2002: 99-115
• 2000
• 
  Ratnesh Kumar, Michael Heymann:
  Masked prioritized synchronization for interaction and control of discrete event systems. IEEE Trans. Autom. Control. 45(11): 1970-1982 (2000)
• 1999
• 
  Michael Heymann, Feng Lin, George Meyer, Satya Ranjan Mohanty, Vigyan Chandra, Ratnesh Kumar:
  Discrete Event Control with Active Events. ICRA 1999: 131-136
• 1998
• 
  Michael Heymann, Feng Lin, George Meyer:
  Synthesis and Viability of Minimally Interventive Legal Controllers for Hybrid Systems. Discret. Event Dyn. Syst. 8(2): 105-135 (1998)
• 
  Michael Heymann, Feng Lin:
  Discrete-event control of nondeterministic systems. IEEE Trans. Autom. Control. 43(1): 3-17 (1998)
• 1997
• 
  Michael Heymann, Feng Lin, George Meyer:
  Control Synthesis for a Class of Hybrid Systems Subject to Configuration-Based Safety Constraints. HART 1997: 376-390
• 1996
• 
  Michael Heymann, Feng Lin, George Meyer:
  Synthesis of Minimally Restrictive Legal Controllers for a Class of Hybrid Systems. Hybrid Systems 1996: 134-159
• 1995
• 
  Yosef M. Willner, Michael Heymann:
  Language convergence in controlled discrete-event systems. IEEE Trans. Autom. Control. 40(4): 616-627 (1995)

skipping 4 more matches