The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Michel Sintzoff: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. Michel Sintzoff
    Suggestions for Composing and Specifying Program Design Decisions. [Citation Graph (1, 0)][DBLP]
    Symposium on Programming, 1980, pp:311-326 [Conf]
  3. 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]
  4. Martin Simons, Michel Sintzoff
    Algebraic Composition and Refinement of Proofs. [Citation Graph (0, 0)][DBLP]
    AMAST, 1997, pp:494-508 [Conf]
  5. 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]
  6. 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]
  7. Michel Sintzoff
    Abstract Verification of Structured Dynamical Systems. [Citation Graph (0, 0)][DBLP]
    Hybrid Systems, 1995, pp:126-137 [Conf]
  8. Michel Sintzoff
    Eliminating Blind Alleys from Backtrack Programs. [Citation Graph (0, 0)][DBLP]
    ICALP, 1976, pp:531-557 [Conf]
  9. N. Frances, Michael Rodeh, Michel Sintzoff
    Distributed Termination with Interval Assertions. [Citation Graph (0, 0)][DBLP]
    ICFPC, 1981, pp:280-291 [Conf]
  10. Michel Sintzoff
    Bounded-Horizon Success-Complete Restriction of Inference Programs. [Citation Graph (0, 0)][DBLP]
    ICLP, 1984, pp:139-150 [Conf]
  11. Michel Sintzoff
    The Scientific Engineering of Software. [Citation Graph (0, 0)][DBLP]
    ICSE, 1989, pp:258- [Conf]
  12. Michel Sintzoff
    Endomorphic Typing. [Citation Graph (0, 0)][DBLP]
    Formal Program Development, 1993, pp:305-323 [Conf]
  13. Michel Sintzoff
    Ensuring Correctness by Arbitrary Postfixed-Points. [Citation Graph (0, 0)][DBLP]
    MFCS, 1978, pp:484-492 [Conf]
  14. Michel Sintzoff
    Principles for Distributing Programs. [Citation Graph (0, 0)][DBLP]
    Semantics of Concurrent Computation, 1979, pp:337-347 [Conf]
  15. 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]
  16. 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]
  17. 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]
  18. Michel Sintzoff
    Editorial. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1981, v:1, n:1-2, pp:1-2 [Journal]
  19. 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]

  20. A Semiring Approach to Equivalences, Bisimulations and Control. [Citation Graph (, )][DBLP]


  21. Synthesis of Optimal Control Policies for Some Infinite-State Transition Systems. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.003secs
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
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002