Google
Google Scholar
Semantic Scholar
MS Academic
CiteSeerX
ORCIDMichel Sintzoff
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2010
[c17]Roland Glück
, Bernhard Möller, Michel Sintzoff:
Model Refinement Using Bisimulation Quotients. AMAST 2010: 76-91
2000 – 2009
- 2009
- [c16]Roland Glück, Bernhard Möller, Michel Sintzoff:
A Semiring Approach to Equivalences, Bisimulations and Control. RelMiCS 2009: 134-149 - 2008
- [c15]Michel Sintzoff:
Synthesis of Optimal Control Policies for Some Infinite-State Transition Systems. MPC 2008: 336-359 - 2004
- [c14]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
- [j6]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
- [c13]Martin Simons, Michel Sintzoff:
Algebraic Composition and Refinement of Proofs. AMAST 1997: 494-508 - 1996
- [j5]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
- [c12]Michel Sintzoff:
Abstract Verification of Structured Dynamical Systems. Hybrid Systems 1995: 126-137 - 1993
- [c11]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 - [c10]Michel Sintzoff:
Endomorphic Typing. Formal Program Development 1993: 305-323 - 1991
- [c9]Michel Sintzoff:
Invariance and Contraction by Infinite Iterations of Relations. Research Directions in High-Level Parallel Programming Languages 1991: 349-373
1980 – 1989
- 1989
- [c8]Michel Sintzoff:
The Scientific Engineering of Software. ICSE 1989: 258 - 1984
- [c7]Michel Sintzoff:
Bounded-Horizon Success-Complete Restriction of Inference Programs. ICLP 1984: 139-150 - 1981
- [j4]Michel Sintzoff:
Editorial. Sci. Comput. Program. 1(1-2): 1-2 (1981) - [c6]Michel Sintzoff:
Proof-oriented and applicative valuations in definitions of algorithms. FPCA 1981: 155-162 - [c5]N. Frances, Michael Rodeh, Michel Sintzoff:
Distributed Termination with Interval Assertions. ICFPC 1981: 280-291 - 1980
- [c4]Michel Sintzoff:
Suggestions for Composing and Specifying Program Design Decisions. Symposium on Programming 1980: 311-326
1970 – 1979
- 1979
- [j3]Axel van Lamsweerde, Michel Sintzoff:
Formal Derivation of Strongly Correct Concurrent Programs. Acta Informatica 12: 1-31 (1979) - [c3]Michel Sintzoff:
Principles for Distributing Programs. Semantics of Concurrent Computation 1979: 337-347 - 1978
- [c2]Michel Sintzoff:
Ensuring Correctness by Arbitrary Postfixed-Points. MFCS 1978: 484-492 - 1976
- [b1]Adriaan van Wijngaarden, B. J. Mailloux, John Edward Lancelot Peck, Cornelis H. A. Koster, Michel Sintzoff, C. 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 - [c1]Michel Sintzoff:
Eliminating Blind Alleys from Backtrack Programs. ICALP 1976: 531-557 - 1975
- [j2]Adriaan van Wijngaarden, B. J. Mailloux, J. E. L. Peck, Cornelis H. A. Koster, Michel Sintzoff, C. H. Lindsey, Lambert G. L. T. Meertens, R. G. Fisker:
Revised Report on the Algorithmic Language ALGOL 68. Acta Informatica 5: 1-236 (1975) - 1971
- [j1]Paul Branquart, Johan Lewi, Michel Sintzoff, Pierre Wodon:
The Composition of Semantics in Algol 68. Commun. ACM 14(11): 697-708 (1971)
Coauthor Index
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).
load content from web.archive.org
Privacy notice: By enabling the option above, your browser will contact the API of web.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.
Tweets on dblp homepage
Show tweets from 
on the dblp homepage.
Privacy notice: By enabling the option above, your browser will contact twitter.com and twimg.com to load tweets curated by our Twitter account. At the same time, Twitter will persistently store several cookies with your web browser. While we did signal Twitter to not track our users by setting the "dnt" flag, we do not have any control over how Twitter uses your data. So please proceed with care and consider checking the Twitter privacy policy.
last updated on 2020-06-22 23:51 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
the dblp computer science bibliography is funded by:
