Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Oded Maler
Map detail
Oded Maler6 visible / 6 total nodes / 5 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipOded MalerAOded MalerResearcherOn Zone-Based Analysis of Duration Probabilistic AutomataWOn Zone-Based Analysis ...preprint / 2010Exploring the Dynamics of Mass Action SystemsWExploring the Dynamics ...preprint / 2013Algorithmic Verification of Continuous and Hybrid SystemsWAlgorithmic Verificatio...preprint / 2014A Framework for Control Strategies in Uncertain Inference NetworksWA Framework for Control...preprint / 2013Formal and Informal Methods for Multi-Core Design Space ExplorationWFormal and Informal Met...preprint / 2014
Person5 links

Oded Maler

Researcher