Michel Sintzoff | Academic Influence

Michel Sintzoff's AcademicInfluence.com Rankings

Michel Sintzoff

Mathematics

#8524

World Rank

#11582

Historical Rank

Measure Theory

#4675

World Rank

#5473

Historical Rank

mathematics Degrees

Download Badge

Mathematics

Michel Sintzoff's Degrees

PhD Mathematics Université catholique de Louvain
Masters Mathematics Université catholique de Louvain
Bachelors Mathematics Université catholique de Louvain

Similar Degrees You Can Earn

Best Online Bachelor's in Math 2025

Why Is Michel Sintzoff Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Michel Sintzoff was a Belgian mathematician and computer scientist. He was one of the editors of the Revised Report on the Algorithmic Language Algol 68. He was a member of the International Federation for Information Processing IFIP Working Group 2.1 on Algorithmic Languages and Calculi, which specified, maintains, and supports the programming languages ALGOL 60 and ALGOL 68.

(See a Problem?)

Michel Sintzoff's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Revised report on the algorithmic language ALGOL 68 (1976) (547)
Revised report on the algorithmic languageAlgol 60 (1962) (454)
Calculating properties of programs by valuations on specific models (1972) (53)
Distributed Termination with Interval Assertions (1981) (35)
The composition of semantics in Algol 68 (1971) (24)
Formal derivation of strongly correct concurrent programs (1979) (21)
Suggestions for Composing and Specifying Program Design Decisions (1980) (19)
Analysis of Dynamical Systems Using Predicate Transformers - Attraction and Composition (1993) (19)
Expressing program developments in a design calculus (1987) (18)
Eliminating Blind Alleys from Backtrack Programs (1976) (16)
Constructing correct and efficient concurrent programs (1975) (14)
Understanding and Expressing Software Construction (1984) (13)
Invariance and Contraction by Infinite Iterations of Relations (1991) (13)
Iterative Synthesis of Control Guards Ensuring Invariance and Inevitability in Discrete-Decision Games (2004) (8)
Algebraic Composition and Refinement of Proofs (1997) (6)
A Semiring Approach to Equivalences, Bisimulations and Control (2009) (6)
Abstract Verification of Structured Dynamical Systems (1996) (6)
Model Refinement Using Bisimulation Quotients (2010) (5)
Ensuring Correctness by Arbitrary Postfixed-Points (1978) (5)
Synthesis of Optimal Control Policies for Some Infinite-State Transition Systems (2008) (5)
Proof-oriented and applicative valuations in definitions of algorithms (1981) (5)
Principles for Distributing Programs (1979) (5)
On Language Design for Program Construction (1978) (4)
A brief review of ALGOL 68 (1974) (4)
ALGOL 68 Syntax Chart (1974) (3)
Selected papers of the colloquium on Formal approaches of software engineering (1994) (3)
Language and metalanguage (1969) (3)
Bounded-Horizon Success-Complete Restriction of Inference Programs (1984) (2)
On the design of correct and optimal dynamical systems and games (2003) (2)
Endomorphic Typing (1993) (2)
Software Engineering In The Year 2001 (1989) (2)
Modes and nests (1976) (1)
Tokens and symbols (1976) (1)
Properties, Feasibility and Usefulness of a Language for Programming Programs (1978) (1)
Selected papers of ESOP '94, the 5th European symposium on Programming (1995) (1)
On the revised ALGOL 68 Report (1973) (1)
The Computer and the Program (1976) (1)
Software engineering in the year 2001: the scientific engineering of software (panel session) (1989) (0)
The Scientific Engineering Of Software (1989) (0)
Declarations, declarers and indicators (1976) (0)
Unity of informatics (1984) (0)
Editorial (Selected Papers from the Third International Conference on the Mathematics of Program Construction) (1996) (0)
Selected papers from the symposium on 3rd European symposium on programming (1991) (0)
Transformation methods f~r improving parallel programs (2014) (0)
Editorial (1981) (0)
Selected papers of the symposium on Fourth European symposium on programming (1994) (0)

This paper list is powered by the following services:

Other Resources About Michel Sintzoff

en.wikipedia.org

What Schools Are Affiliated With Michel Sintzoff?

Michel Sintzoff is affiliated with the following schools:

Université catholique de Louvain