default search action

combined dblp search
author search
venue search
publication search

ask others

Marianne Simonot

> Home > Persons

Person information

affiliation: CNAM-Laboratoire Cédric, Paris, France

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2012
[c4]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/csedu/SimonotHB12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csedu/SimonotHB12
Marianne Simonot, M. Homps, Philippe Bonnot:
Teaching Abstraction in Mathematics and Computer Science - A Computer-supported Approach with Alloy. CSEDU (2) 2012: 239-245

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2008
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/Lobjet/SimonotA08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/Lobjet/SimonotA08
Marianne Simonot, Maria-Virginia Aponte:
Une approche formelle de la reconfiguration dynamique. Obj. Logiciel Base données Réseaux 14(4): 73-102 (2008)
2002
[c3]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/LopezSD02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/LopezSD02
Nestor Lopez, Marianne Simonot, Véronique Donzeau-Gouge:
A methodological process for the design of a large system: two industrial case-studies. FMICS 2002: 84-103
2001
[j2]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/MoninS01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/MoninS01
François Monin, Marianne Simonot:
An ordinal measure based procedure for termination of functions. Theor. Comput. Sci. 254(1-2): 63-94 (2001)
2000
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/zum/LopezSD00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/zum/LopezSD00
Nestor Lopez, Marianne Simonot, Véronique Donzeau-Gouge:
Deriving Software Specifications from Event Based Models. ZB 2000: 209-229

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1994
[j1]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/ManouryS94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/ManouryS94
Pascal Manoury, Marianne Simonot:
Automatizing Termination Proofs of Recursively Defined Functions. Theor. Comput. Sci. 135(2): 319-343 (1994)
1992
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/lpar/ManouryPS92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/ManouryPS92
Pascal Manoury, Michel Parigot, Marianne Simonot:
ProPre A Programming Language with Proofs. LPAR 1992: 484-486

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.