Fakultät für Informatik - Technische Universität München Lehrstuhl für Effiziente Algorithmen

Die bibliographische Datenbank LEABib

Suchen • Liste der Journale • Liste der Serien • Liste der Konferenzen • Ausgewählte Publikationen	Hilfe

Suche: Series=LNCS AND Volume=3407

• A proof of weak termination providing the right way to terminate
  Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner
  Lecture Notes in Computer Science 3407, 2005, pp. 356-371
• Nelson-Oppen, Shostak and the extended canonizer: A family picture with a newborn
  Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran
  Lecture Notes in Computer Science 3407, 2005, pp. 372-386
• Real time reactive programming in lucid enriched with contexts
  Kaiyu Wan, Vasu Alagar, Joey Paquet
  Lecture Notes in Computer Science 3407, 2005, pp. 387-402
• Revision programs with explicit negation
  Yisong Wang, Mingyi Zhang
  Lecture Notes in Computer Science 3407, 2005, pp. 403-414
• An algebraic approach for codesign
  Marc Aiguier, Stefan Béroff, Pierre-Yves Schobbens
  Lecture Notes in Computer Science 3407, 2005, pp. 415-430
• Duration calculus: A real-time semantic for B
  Samuel Colin, Georges Mariano, Vincent Poirriez
  Lecture Notes in Computer Science 3407, 2005, pp. 431-446
• An algebra of Petri nets with arc-based time restrictions
  Apostolos Niaouris
  Lecture Notes in Computer Science 3407, 2005, pp. 447-462
• A calculus for shapes in time and space
  Andreas Schäfer
  Lecture Notes in Computer Science 3407, 2005, pp. 463-477
• A framework for specification and validation of real-time systems using circus actions
  Adnan Sherif, He Jifeng, Ana Cavalcanti, Augusto Sampaio
  Lecture Notes in Computer Science 3407, 2005, pp. 478-493
• Switched probabilistic I/0 automata
  Ling Cheung, Nancy Lynch, Roberto Segala, Frits Vaandrager
  Lecture Notes in Computer Science 3407, 2005, pp. 494-510
• Decomposing controllers into non-conflicting distributed controllers
  Padmanabhan Krishnan
  Lecture Notes in Computer Science 3407, 2005, pp. 511-526
• Reasoning about co-Büchi tree automata
  Salvatore La Torre, Aniello Murano
  Lecture Notes in Computer Science 3407, 2005, pp. 527-542
• Foundations for the run-time monitoring of reactive systems - Fundamentals of the MaC language
  Mahesh Viswanathan, Moonzoo Kim
  Lecture Notes in Computer Science 3407, 2005, pp. 543-556
• A summary of the tutorials at ITAC 2004
  Zhiming Liu
  Lecture Notes in Computer Science 3407, 2005, pp. 557-560