![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Michel Sintzoff
Person information
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2010
- [c19]Roland Glück
, Bernhard Möller, Michel Sintzoff:
Model Refinement Using Bisimulation Quotients. AMAST 2010: 76-91
2000 – 2009
- 2009
- [c18]Roland Glück
, Bernhard Möller, Michel Sintzoff:
A Semiring Approach to Equivalences, Bisimulations and Control. RelMiCS 2009: 134-149 - 2008
- [c17]Michel Sintzoff:
Synthesis of Optimal Control Policies for Some Infinite-State Transition Systems. MPC 2008: 336-359 - 2004
- [c16]Michel Sintzoff:
Iterative Synthesis of Control Guards Ensuring Invariance and Inevitability in Discrete-Decision Games. Essays in Memory of Ole-Johan Dahl 2004: 272-301 - 2003
- [j8]Michel Sintzoff:
On the design of correct and optimal dynamical systems and games. Inf. Process. Lett. 88(1-2): 59-65 (2003)
1990 – 1999
- 1997
- [c15]Martin Simons, Michel Sintzoff:
Algebraic Composition and Refinement of Proofs. AMAST 1997: 494-508 - 1996
- [j7]Michel Sintzoff:
Editorial (Selected Papers from the Third International Conference on the Mathematics of Program Construction). Sci. Comput. Program. 26(1-3): 1-2 (1996) - 1995
- [c14]Michel Sintzoff:
Abstract Verification of Structured Dynamical Systems. Hybrid Systems 1995: 126-137 - 1993
- [c13]Michel Sintzoff, Frédéric Geurts:
Analysis of Dynamical Systems Using Predicate Transformers - Attraction and Composition. Analysis of Dynamical and Cognitive Systems 1993: 227-260 - [c12]Michel Sintzoff:
Endomorphic Typing. Formal Program Development 1993: 305-323 - 1991
- [c11]Michel Sintzoff:
Invariance and Contraction by Infinite Iterations of Relations. Research Directions in High-Level Parallel Programming Languages 1991: 349-373
1980 – 1989
- 1989
- [c10]Michel Sintzoff:
The Scientific Engineering of Software. ICSE 1989: 258 - 1984
- [c9]Michel Sintzoff:
Bounded-Horizon Success-Complete Restriction of Inference Programs. ICLP 1984: 139-150 - 1981
- [j6]Michel Sintzoff:
Editorial. Sci. Comput. Program. 1(1-2): 1-2 (1981) - [c8]Michel Sintzoff:
Proof-oriented and applicative valuations in definitions of algorithms. FPCA 1981: 155-162 - [c7]N. Frances, Michael Rodeh, Michel Sintzoff:
Distributed Termination with Interval Assertions. ICFPC 1981: 280-291 - 1980
- [c6]Michel Sintzoff:
Suggestions for Composing and Specifying Program Design Decisions. Symposium on Programming 1980: 311-326
1970 – 1979
- 1979
- [j5]Axel van Lamsweerde, Michel Sintzoff:
Formal Derivation of Strongly Correct Concurrent Programs. Acta Informatica 12: 1-31 (1979) - [c5]Michel Sintzoff:
Principles for Distributing Programs. Semantics of Concurrent Computation 1979: 337-347 - 1978
- [c4]Michel Sintzoff:
Ensuring Correctness by Arbitrary Postfixed-Points. MFCS 1978: 484-492 - 1977
- [j4]A. van Wijngaarcien, Barry J. Mailloux, John E. L. Peck, C. H. A. Kostcr, Michel Sintzoff, Charles H. Lindsey, Lambert G. L. T. Meertens, R. G. Fisker:
Revised Report on the Algorithmic Language ALGOL 68. ACM SIGPLAN Notices 12(5): 1-70 (1977) - 1976
- [b1]Adriaan van Wijngaarden, Barry J. Mailloux, John Edward Lancelot Peck, Cornelis H. A. Koster, Michel Sintzoff, Charles H. Lindsey, Lambert G. L. T. Meertens, R. G. Fisker:
Revised Report on the Algorithmic Language Algol 68. Springer 1976, ISBN 978-3-540-07592-9 - [c3]Michel Sintzoff:
Eliminating Blind Alleys from Backtrack Programs. ICALP 1976: 531-557 - 1975
- [j3]Adriaan van Wijngaarden, Barry J. Mailloux, John E. L. Peck, Cornelis H. A. Koster, Michel Sintzoff, Charles H. Lindsey, Lambert G. L. T. Meertens, R. G. Fisker:
Revised Report on the Algorithmic Language ALGOL 68. Acta Informatica 5: 1-236 (1975) - [c2]Michel Sintzoff, Axel van Lamsweerde:
Constructing correct and efficient concurrent programs. Reliable Software 1975: 319-326 - 1974
- [j2]John E. L. Peck, J. M. Watt, Michel Sintzoff:
Revised ALGOL 68 syntax chart. ACM SIGPLAN Notices 9(7): 39 (1974) - 1972
- [c1]Michel Sintzoff:
Calculating properties of programs by valuations on specific models. Proving Assertions About Programs 1972: 203-207 - 1971
- [j1]Paul Branquart, Johan Lewi, Michel Sintzoff, Pierre L. Wodon:
The Composition of Semantics in Algol 68. Commun. ACM 14(11): 697-708 (1971)
Coauthor Index
![](https://dblp.org/img/cog.dark.24x24.png)
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-07-29 21:30 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint