OMOded Maler
Oded Maler
*This is an algorithmically generated author record based on publicly available information.
Research Subjects
Research Interests
Oded Maler has a total of 29 co-authors. Here are the top co-authors by number of shared publications:
- Eugene Asarin
Université Paris Cité, CNRS, IRIF
5 shared publications Olivier Lebeltel
VERIMAG, CNRS, University of Grenoble-Alpes
2 shared publicationsOuri Maler
West Virginia University
2 shared publications- Paul Caspi
Verimag-CNRS
2 shared publications - Adam M. Halasz
West Virginia University
1 shared publication Alain Kerbrat
VERIMAG, Centre Equation
1 shared publication
Latest Publications
- 28 November 2015
- Published by Springer Nature
- p. 276-291
On Switching Aware Synthesis for Combinational Circuits
- 28 November 2015
- Published by Springer Nature
- p. 276-291
On Switching Aware Synthesis for Combinational Circuits
- 22 November 2015
- Published by Springer Nature
- p. 500-517
Stochastic Local Search for Falsification of Hybrid Systems
- 22 November 2015
- Published by Springer Nature
- p. 500-517
Stochastic Local Search for Falsification of Hybrid Systems
- Open Access
- 27 August 2013
- Published by Open Publishing Association in Electronic Proceedings in Theoretical Computer Science
- Vol. 125 (125) , 84-91
Exploring the Dynamics of Mass Action Systems
We present the Populus toolkit for exploring the dynamics of mass action systems under different assumptions.Comment: In Proceedings HSB 2013, arXiv:1308.572
- 27 August 2013
- Published by Open Publishing Association in Electronic Proceedings in Theoretical Computer Science
- Vol. 125 (125) , 84-91
Open AccessExploring the Dynamics of Mass Action Systems
We present the Populus toolkit for exploring the dynamics of mass action systems under different assumptions.Comment: In Proceedings HSB 2013, arXiv:1308.572
- 1 January 2004
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 204-218
On Timing Analysis of Combinational Circuits
- 1 January 2004
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 204-218
On Timing Analysis of Combinational Circuits
- 1 July 2001
- Published by Elsevier in IFAC Proceedings Volumes
- Vol. 34 (6) , 741-746
d/dt: A Tool for Reachability Analysis of Continuous and Hybrid Systems
- 1 July 2001
- Published by Elsevier in IFAC Proceedings Volumes
- Vol. 34 (6) , 741-746
d/dt: A Tool for Reachability Analysis of Continuous and Hybrid Systems
- 21 March 2001
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 5-6
Hybrid Systems Applications: An Oxymoron?
- 21 March 2001
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 5-6
Hybrid Systems Applications: An Oxymoron?