Michel Hack

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007
5EEAhmed Sobeih, Michel Hack, Zhen Liu, Li Zhang: Almost Peer-to-Peer Clock Synchronization. IPDPS 2007: 1-10
1998
4 Frank Eskesen, Michel Hack, Arun Iyengar, Richard P. King, Nagui Halim: Software Exploitation of a Fault-Tolerant Computer with a Large Memory. FTCS 1998: 336-345
1976
3 Michel Hack: The Equality Problem for Vector Addition Systems is Undecidable. Theor. Comput. Sci. 2(1): 77-95 (1976)
1975
2 Michel Hack: Decidability Questions for Petri Nets Garland Publishing, New York 1975
1974
1 Michel Hack: The Recursive Equivalence of the Reachability Problem and the Liveness Problem for Petri Nets and Vector Addition Systems FOCS 1974: 156-164

Coauthor Index

1Frank Eskesen [4]
2Nagui Halim [4]
3Arun Iyengar [4]
4Richard P. King [4]
5Zhen Liu [5]
6Ahmed Sobeih [5]
7Li Zhang [5]

Copyright © Wed Jul 23 13:04:14 2008 by Michael Ley (ley@uni-trier.de)