Marianne Simonot

Publication Activity (10 Years)

Years Active: 1992-2012
Publications (10 Years): 0

Top Topics

Collaborative Learning Environment

Curriculum Design

Intelligent Tutoring

Mathematics And Computer Science

Top Venues

Publications

Marianne Simonot, M. Homps, Philippe Bonnot
Teaching Abstraction in Mathematics and Computer Science - A Computer-supported Approach with Alloy. CSEDU (2) (2012)
Marianne Simonot, M. Aponte
Une approche formelle de la reconfiguration dynamique. Obj. Logiciel Base données Réseaux 14 (4) (2008)
Nestor Lopez, Marianne Simonot, Véronique Donzeau-Gouge
A methodological process for the design of a large system: two industrial case-studies. Electron. Notes Theor. Comput. Sci. 66 (2) (2002)
François Monin, Marianne Simonot
An ordinal measure based procedure for termination of functions. Theor. Comput. Sci. 254 (1-2) (2001)
Nestor Lopez, Marianne Simonot, Véronique Donzeau-Gouge
Deriving Software Specifications from Event Based Models. ZB (2000)
Pascal Manoury, Marianne Simonot
Automatizing Termination Proofs of Recursively Defined Functions. Theor. Comput. Sci. 135 (2) (1994)
Pascal Manoury, Michel Parigot, Marianne Simonot
ProPre A Programming Language with Proofs. LPAR (1992)