Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Author="Francez, N."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Program composition and modular verification
L. Fix
,
N. Francez
,
O. Grumberg
Lecture Notes in Computer Science
510
, 1991, pp. 93-114
Finite-memory automata
M. Kaminski
,
N. Francez
Proceedings of the 31st Annual IEEE Symposium on Foundations of Computer Science. Vol.~II, FOCS'90 (St. Louis, Missouri, October 22-24, 1990)
, 1990, pp. 683-688
A complete rule for equifair termination
O. Grumberg
,
N. Francez
,
S. Katz
Journal of Computer and System Sciences
33
(3), 1986, December, pp. 313-332
Fairness in Term Rewriting Systems
S. Porat
,
N. Francez
Rewriting Techniques and Applications. Lecture Notes in Computer Science
202
, 1986, pp. 287-300
A proof rule for fair termination of guarded commands
O. Grumberg
,
N. Francez
,
J.A. Makowsky
,
W.P. de Roever
Information and Control
66
(1-2), 1985, pp. 83-102
A weakest precondition semantics for communicating processes
T. Elrad
,
N. Francez
Theoretical Computer Science
29
(3), 1984, pp. 231-250
A linear-history semantics for languages for distributed programming
N. Francez
,
D. Lehmann
,
A. Pnueli
Theoretical Computer Science
32
(1,2), 1984, pp. 25-46
Product properties and their direct verification
N. Francez
Acta Informatica
20
(4), 1983, pp. 329-344
Decomposition of distributed programs into communication-closed layers
T. Elrad
,
N. Francez
Technical Report (RC 9760), 1982
Fair derivations in context-free grammars
S. Porat
,
N. Francez
,
S. Moran
,
S. Zaks
Information and Control
55
(1-3), 1982, pp. 108-116
A linear history semantics for distributed languages
N. Francez
,
D.J. Lehmann
,
A. Pnueli
Proceedings of the 21st Annual IEEE Symposium on Foundations of Computer Science, FOCS'80 (Syracuse, NY, October 13-15, 1980)
, 1980, pp. 143-151
A distributed abstract data type implemented by a probabilistic communication scheme
N. Francez
,
M. Rodeh
Proceedings of the 21st Annual IEEE Symposium on Foundations of Computer Science, FOCS'80 (Syracuse, NY, October 13-15, 1980)
, 1980, pp. 373-379
Semantics of nondeterminism, concurrency, and communication
N. Francez
,
C.A.R. Hoare
,
D.J. Lehmann
,
W.P. de Roever
Journal of Computer and System Sciences
19
(3), 1979, December, pp. 290-308
A proof method for cyclic programs
N. Francez
,
A. Pnueli
Acta Informatica
9
(2), 1978, pp. 133-157
Backtracking in recursive computations
N. Francez
,
B. Klebansky
,
A. Pnueli
Acta Informatica
8
(2), 1977, pp. 125-144
A case for a forward predicate transformer
N. Francez
Information Processing Letters
6
(6), 1976, December, pp. 196-198