!!Michel Sintzoff - Partial list of publications
\\
Roland Glück, Bernhard Möller, Michel Sintzoff: A Semiring Approach to Equivalences, Bisimulations and Control. ''RelMiCS'' 2009: 134-149 2008 20
\\ \\
Michel Sintzoff: Synthesis of Optimal Control Policies for Some Infinite-State Transition Systems. ''MPC'' 2008: 336-359 2004 19
\\ \\
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 18
\\ \\
Michel Sintzoff: On the design of correct and optimal dynamical systems and games. ''Inf. Process. Lett.'' 88(1-2): 59-65 (2003) 1997 17
\\ \\
Martin Simons, Michel Sintzoff: Algebraic Composition and Refinement of Proofs. ''AMAST'' 1997: 494-508 1996 16
\\ \\
Sintzoff Michel, "Abstract verification of structured dynamical systems In ''Proc. Hybrid Systems'' III, Springer Verlag, 1996,pp.126-137, LNCS 1066", 1996
\\ \\
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 15
\\ \\
Michel Sintzoff: Abstract Verification of Structured Dynamical Systems. ''Hybrid Systems'' 1995: 126-137 1993 14
\\ \\
Sintzoff Michel, "Foreword Mural - A Formal Development Support System C.B. Jones, al.,London, 1991, Springer-Verlag pp. v-vi", 1993
\\ \\
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 13
\\ \\
Michel Sintzoff: Endomorphic Typing. ''Formal Program Development'' 1993: 305-323 1991 12
\\ \\
Michel Sintzoff: Invariance and Contraction by Infinite Iterations of Relations. ''Research Directions in High-Level Parallel Programming Languages'' 1991: 349-373 1989 11
\\ \\
Michel Sintzoff: The Scientific Engineering of Software. ''ICSE'' 1989: 258 1984 10
\\ \\
Michel Sintzoff: Bounded-Horizon Success-Complete Restriction of Inference Programs. ''ICLP'' 1984: 139-150 1981 9
\\ \\
N. Frances, Michael Rodeh, Michel Sintzoff: Distributed Termination with Interval Assertions. ''ICFPC'' 1981: 280-291 8
\\ \\
Michel Sintzoff: Editorial. ''Sci. Comput. Program''. 1(1-2): 1-2 (1981) 1980 7
\\ \\
Michel Sintzoff: Suggestions for Composing and Specifying Program Design Decisions. ''Symposium on Programming'' 1980: 311-326 1979 6
\\ \\
Michel Sintzoff: Principles for Distributing Programs. ''Semantics of Concurrent Computation'' 1979: 337-347 5
\\ \\
Axel van Lamsweerde, Michel Sintzoff: Formal Derivation of Strongly Correct Concurrent Programs. ''Acta Inf''. 12: 1-31 (1979) 1978 4
\\ \\
Michel Sintzoff: Ensuring Correctness by Arbitrary Postfixed-Points. ''MFCS'' 1978: 484-492 1976 3
\\ \\
Michel Sintzoff: Eliminating Blind Alleys from Backtrack Programs. ''ICALP'' 1976: 531-557 1975 2
\\ \\
Michel Sintzoff, Axel Van Lamsweerde: Constructing correct and efficient concurrent programsl, Proceedings of the international conference on Reliable software, 1975 
doi: 10.1145/800027.808454
\\ \\
Michel Sintzoff: Calculating properties of programs by valuations on specific models, Proceedings of ACM conference on Proving assertions about programs, 1972 doi:10.1145/800235.807086
\\ \\
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 Inf''. 5: 1-236 (1975) 1971 1
\\ \\
Paul Branquart, Johan Lewi, Michel Sintzoff, Pierre Wodon: The Composition of Semantics in Algol 68. Commun. ''ACM'' 14(11): 697-708 (1971)