Search the dblp DataBase
Michel Sintzoff: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- 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 [Citation Graph (4, 0)][DBLP]
Acta Inf., 1975, v:5, n:, pp:1-236 [Journal] - Michel Sintzoff
Suggestions for Composing and Specifying Program Design Decisions. [Citation Graph (1, 0)][DBLP]
Symposium on Programming, 1980, pp:311-326 [Conf] - Michel Sintzoff, Frédéric Geurts
Analysis of Dynamical Systems Using Predicate Transformers - Attraction and Composition. [Citation Graph (0, 0)][DBLP]
Analysis of Dynamical and Cognitive Systems, 1993, pp:227-260 [Conf] - Martin Simons, Michel Sintzoff
Algebraic Composition and Refinement of Proofs. [Citation Graph (0, 0)][DBLP]
AMAST, 1997, pp:494-508 [Conf] - Michel Sintzoff
Iterative Synthesis of Control Guards Ensuring Invariance and Inevitability in Discrete-Decision Games. [Citation Graph (0, 0)][DBLP]
Essays in Memory of Ole-Johan Dahl, 2004, pp:272-301 [Conf] - Michel Sintzoff
Invariance and Contraction by Infinite Iterations of Relations. [Citation Graph (0, 0)][DBLP]
Research Directions in High-Level Parallel Programming Languages, 1991, pp:349-373 [Conf] - Michel Sintzoff
Abstract Verification of Structured Dynamical Systems. [Citation Graph (0, 0)][DBLP]
Hybrid Systems, 1995, pp:126-137 [Conf] - Michel Sintzoff
Eliminating Blind Alleys from Backtrack Programs. [Citation Graph (0, 0)][DBLP]
ICALP, 1976, pp:531-557 [Conf] - N. Frances, Michael Rodeh, Michel Sintzoff
Distributed Termination with Interval Assertions. [Citation Graph (0, 0)][DBLP]
ICFPC, 1981, pp:280-291 [Conf] - Michel Sintzoff
Bounded-Horizon Success-Complete Restriction of Inference Programs. [Citation Graph (0, 0)][DBLP]
ICLP, 1984, pp:139-150 [Conf] - Michel Sintzoff
The Scientific Engineering of Software. [Citation Graph (0, 0)][DBLP]
ICSE, 1989, pp:258- [Conf] - Michel Sintzoff
Endomorphic Typing. [Citation Graph (0, 0)][DBLP]
Formal Program Development, 1993, pp:305-323 [Conf] - Michel Sintzoff
Ensuring Correctness by Arbitrary Postfixed-Points. [Citation Graph (0, 0)][DBLP]
MFCS, 1978, pp:484-492 [Conf] - Michel Sintzoff
Principles for Distributing Programs. [Citation Graph (0, 0)][DBLP]
Semantics of Concurrent Computation, 1979, pp:337-347 [Conf] - Axel van Lamsweerde, Michel Sintzoff
Formal Derivation of Strongly Correct Concurrent Programs. [Citation Graph (0, 0)][DBLP]
Acta Inf., 1979, v:12, n:, pp:1-31 [Journal] - Paul Branquart, Johan Lewi, Michel Sintzoff, Pierre Wodon
The Composition of Semantics in Algol 68. [Citation Graph (0, 0)][DBLP]
Commun. ACM, 1971, v:14, n:11, pp:697-708 [Journal] - Michel Sintzoff
On the design of correct and optimal dynamical systems and games. [Citation Graph (0, 0)][DBLP]
Inf. Process. Lett., 2003, v:88, n:1-2, pp:59-65 [Journal] - Michel Sintzoff
Editorial. [Citation Graph (0, 0)][DBLP]
Sci. Comput. Program., 1981, v:1, n:1-2, pp:1-2 [Journal] - Michel Sintzoff
Editorial (Selected Papers from the Third International Conference on the Mathematics of Program Construction). [Citation Graph (0, 0)][DBLP]
Sci. Comput. Program., 1996, v:26, n:1-3, pp:1-2 [Journal]
A Semiring Approach to Equivalences, Bisimulations and Control. [Citation Graph (, )][DBLP]
Synthesis of Optimal Control Policies for Some Infinite-State Transition Systems. [Citation Graph (, )][DBLP]
Search in 0.079secs, Finished in 0.081secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002