Hybrid Systems
12. HSCC 2009: San Francisco, CA, USA
Rupak Majumdar, Paulo Tabuada (Eds.):
Hybrid Systems: Computation and Control, 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings.
Lecture Notes in Computer Science 5469 Springer 2009, ISBN 978-3-642-00601-2
Contents BibTeX
11. HSCC 2008: St. Louis, MO, USA
Magnus Egerstedt, Bud Mishra (Eds.):
Hybrid Systems: Computation and Control, 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings.
Lecture Notes in Computer Science 4981 Springer 2008, ISBN 978-3-540-78928-4
Contents BibTeX
10. HSCC 2007: Pisa, Italy
Alberto Bemporad, Antonio Bicchi, Giorgio C. Buttazzo (Eds.):
Hybrid Systems: Computation and Control, 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007, Proceedings.
Lecture Notes in Computer Science 4416 Springer 2007, ISBN 978-3-540-71492-7
Contents BibTeX
9. HSCC 2006: Santa Barbara, CA, USA
João P. Hespanha, Ashish Tiwari (Eds.):
Hybrid Systems: Computation and Control, 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006, Proceedings.
Lecture Notes in Computer Science 3927 Springer 2006, ISBN 3-540-33170-0
Contents BibTeX
8. HSCC 2005: Zurich, Switzerland
Manfred Morari, Lothar Thiele (Eds.):
Hybrid Systems: Computation and Control, 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings.
Lecture Notes in Computer Science 3414 Springer 2005, ISBN 3-540-25108-1
Contents BibTeX
7. HSCC 2004: Philadelphia, PA, USA
Rajeev Alur, George J. Pappas (Eds.):
Hybrid Systems: Computation and Control, 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings.
Lecture Notes in Computer Science 2993 Springer 2004, ISBN 3-540-21259-0
Contents BibTeX
6. HSCC 2003: Prague, Czech Republic
Oded Maler, Amir Pnueli (Eds.):
Hybrid Systems: Computation and Control, 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings.
Lecture Notes in Computer Science 2623 Springer 2003, ISBN 3-540-00913-2
Contents BibTeX
5. HSCC 2002: Stanford, CA, USA
Claire Tomlin, Mark R. Greenstreet (Eds.):
Hybrid Systems: Computation and Control, 5th International Workshop, HSCC 2002, Stanford, CA, USA, March 25-27, 2002, Proceedings.
Lecture Notes in Computer Science 2289 Springer 2002, ISBN 3-540-43321-X
Contents BibTeX
4. HSCC 2001: Rome, Italy
Maria Domenica Di Benedetto, Alberto L. Sangiovanni-Vincentelli (Eds.):
Hybrid Systems: Computation and Control, 4th International Workshop, HSCC 2001, Rome, Italy, March 28-30, 2001, Proceedings.
Lecture Notes in Computer Science 2034 Springer 2001, ISBN 3-540-41866-0
Contents BibTeX
3. HSCC 2000: Pittsburgh, PA, USA
Nancy A. Lynch, Bruce H. Krogh (Eds.):
Hybrid Systems: Computation and Control, Third International Workshop, HSCC 2000, Pittsburgh, PA, USA, March 23-25, 2000, Proceedings.
Lecture Notes in Computer Science 1790 Springer 2000, ISBN 3-540-67259-1
Contents BibTeX
2. HSCC 1999: Berg en Dal, The Netherlands
Frits W. Vaandrager, Jan H. van Schuppen (Eds.):
Hybrid Systems: Computation and Control, Second International Workshop, HSCC'99, Berg en Dal, The Netherlands, March 29-31, 1999, Proceedings.
Lecture Notes in Computer Science 1569 Springer 1999, ISBN 3-540-65734-7
Contents BibTeX
1. HSCC 1998: Berkeley, California, USA
Thomas A. Henzinger, Shankar Sastry (Eds.):
Hybrid Systems: Computation and Control, First International Workshop, HSCC'98, Berkeley, California, USA, April 13-15, 1998, Proceedings.
Lecture Notes in Computer Science 1386 Springer 1998, ISBN 3-540-64358-3
Contents BibTeX
Hybrid Neural Systems 1998
Stefan Wermter, Ron Sun (Eds.):
Hybrid Neural Systems, revised papers from a workshop held December 4-5, 1998, Denver, USA.
Lecture Notes in Computer Science 1778 Springer 2000, ISBN 3-540-67305-9
Contents BibTeX
HART 1997: Grenoble, France
Oded Maler (Ed.):
Hybrid and Real-Time Systems, International Workshop. HART'97, Grenoble, France, March 26-28, 1997, Proceedings.
Lecture Notes in Computer Science 1201 Springer 1997, ISBN 3-540-62600-X
Contents BibTeX
Hybrid Systems 1997
Panos J. Antsaklis, Wolf Kohn, Michael D. Lemmon, Anil Nerode, Shankar Sastry (Eds.):
Hybrid Systems V.
Lecture Notes in Computer Science 1567 Springer 1999, ISBN 3-540-65643-X
Contents BibTeX
Hybrid Systems 1996
Panos J. Antsaklis, Wolf Kohn, Anil Nerode, Shankar Sastry (Eds.):
Hybrid Systems IV.
Lecture Notes in Computer Science 1273 Springer 1997, ISBN 3-540-63358-8
Contents BibTeX
Hybrid Systems 1995
Rajeev Alur, Thomas A. Henzinger, Eduardo D. Sontag (Eds.):
Hybrid Systems III: Verification and Control, Proceedings of the DIMACS/SYCON Workshop, October 22-25, 1995, Ruttgers University, New Brunswick, NJ, USA.
Lecture Notes in Computer Science 1066 Springer 1996, ISBN 3-540-61155-X
Contents BibTeX
Hybrid Systems 1994
Panos J. Antsaklis, Wolf Kohn, Anil Nerode, Shankar Sastry (Eds.):
Hybrid Systems II.
Lecture Notes in Computer Science 999 Springer 1995, ISBN 3-540-60472-3
Contents BibTeX
Hybrid Systems 1991 and 1992
Robert L. Grossman, Anil Nerode, Anders P. Ravn, Hans Rischel (Eds.):
Hybrid Systems.
Lecture Notes in Computer Science 736 Springer 1993, ISBN 3-540-57318-6
Contents BibTeX
Copyright © Sat May 16 23:15:34 2009
by Michael Ley (ley@uni-trier.de)
