Jean-Raymond Gagné

According to our database1, Jean-Raymond Gagné
  • authored at least 3 papers between 1985 and 1997.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

1997
The Non-Standard Semantics of Esterel.
Proceedings of the Advances in Computing Science, 1997

1996
A Non-Standard Temporal Deductive Database System.
J. Symb. Comput., 1996

1985
Strongest Invariant Functions: Their Use in the Systematic Analysis of While Statements.
Acta Inf., 1985


  Loading...