Oded Maler

No bio available. Add one in Open Library.

Books by Oded Maler (50 max)

+ shelf+ list

Hybrid Systems Biology Second International Workshop, HSB 2013, Taormina, Italy, September 2, 2013 and Third International Workshop, HSB 2014, Vienna, Austria, July 23-24, 2014, Revised Selected Papers

2015

Oded Maler, Ádám Halász, Thao Dang, Carla Piazza

+ shelf+ list

Hybrid and Real-Time Systems: International Workshop, HART'97, Grenoble, France, March 26-28, 1997, Proceedings (Lecture Notes in Computer Science)

1997

Oded Maler

+ shelf+ list

Hybrid Systems: Computation and Control: 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings (Lecture Notes in Computer Science)

2003

Oded Maler, Amir Pnueli, Freek Wiedijk

+ shelf+ list

Hybrid Systems : Computation and Control 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings

2003

Freek Wiedijk, Oded Maler, Amir Pnueli

+ shelf+ list

Verification and Synthesis of Hybrid Systems (Control Engineering)

2006

Eugine Asarin, Thao Dang, Oded Maler

+ shelf+ list

Computer Aided Verification 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings

2009

Ahmed Bouajjani, Oded Maler

+ shelf+ list

Computer Aided Verification 21st International Conference Cav 2009 Grenoble France June 26 July 2 2009 Proceedings

2009

Oded Maler