The SCEAS System
Navigation Menu

Conferences in DBLP

NATO Advanced Study Institute (nato)
1996 (conf/nato/1996)

  1. Fred B. Schneider
    On traditions in Marktoberdorf. [Citation Graph (0, 0)][DBLP]
    NATO ASI DPD, 1996, pp:1-4 [Conf]
  2. Edsger W. Dijkstra
    Fibonacci and the greatest common divisor. [Citation Graph (0, 0)][DBLP]
    NATO ASI DPD, 1996, pp:7-10 [Conf]
  3. Edsger W. Dijkstra
    The balance and the coins. [Citation Graph (0, 0)][DBLP]
    NATO ASI DPD, 1996, pp:11-13 [Conf]
  4. Edsger W. Dijkstra
    Bulterman's theorem on shortest trees. [Citation Graph (0, 0)][DBLP]
    NATO ASI DPD, 1996, pp:15-16 [Conf]
  5. Edsger W. Dijkstra
    A prime is in at most 1 way the sum of 2 squares. [Citation Graph (0, 0)][DBLP]
    NATO ASI DPD, 1996, pp:17-20 [Conf]
  6. Edsger W. Dijkstra
    A bagatelle on Euclid's algorithm. [Citation Graph (0, 0)][DBLP]
    NATO ASI DPD, 1996, pp:21-23 [Conf]
  7. Edsger W. Dijkstra
    On two equations that have the same extreme solution. [Citation Graph (0, 0)][DBLP]
    NATO ASI DPD, 1996, pp:25-26 [Conf]
  8. Edsger W. Dijkstra
    An alternative of the ETAC to EWD1163. [Citation Graph (0, 0)][DBLP]
    NATO ASI DPD, 1996, pp:27-28 [Conf]
  9. Edsger W. Dijkstra
    The argument about the arithmetic mean and the geometric mean, heuristics included. [Citation Graph (0, 0)][DBLP]
    NATO ASI DPD, 1996, pp:29-32 [Conf]
  10. Samson Abramsky, Simon J. Gay, Rajagopal Nagarajan
    Interaction categories and the foundations of typed concurrent programming. [Citation Graph (0, 0)][DBLP]
    NATO ASI DPD, 1996, pp:35-113 [Conf]
  11. C. A. R. Hoare
    Mathematical models for computing science. [Citation Graph (0, 0)][DBLP]
    NATO ASI DPD, 1996, pp:115-164 [Conf]
  12. Richard S. Bird, Oege de Moor
    The algebra of programming. [Citation Graph (0, 0)][DBLP]
    NATO ASI DPD, 1996, pp:167-203 [Conf]
  13. David Gries
    Data refinement and the transform. [Citation Graph (0, 0)][DBLP]
    NATO ASI DPD, 1996, pp:205-232 [Conf]
  14. Martín Abadi, Stephan Merz
    On TLA as a logic. [Citation Graph (0, 0)][DBLP]
    NATO ASI DPD, 1996, pp:235-271 [Conf]
  15. Manfred Broy
    Specification and refinement of a buffer of length one. [Citation Graph (0, 0)][DBLP]
    NATO ASI DPD, 1996, pp:273-304 [Conf]
  16. Edmund M. Clarke, Orna Grumberg, David E. Long
    Model checking. [Citation Graph (0, 0)][DBLP]
    NATO ASI DPD, 1996, pp:305-349 [Conf]
  17. Fred B. Schneider
    Notes on proof outline logic. [Citation Graph (0, 0)][DBLP]
    NATO ASI DPD, 1996, pp:351-394 [Conf]
  18. Michael P. Fourman
    Proof and design. [Citation Graph (0, 0)][DBLP]
    NATO ASI DPD, 1996, pp:397-439 [Conf]
  19. Alain J. Martin
    A program transformation approach to asynchronous VLSI design. [Citation Graph (0, 0)][DBLP]
    NATO ASI DPD, 1996, pp:441-467 [Conf]
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