Nissim Francez
发表
Nissim Francez,
N. Francez,
1980,
TOPL.
Nissim Francez,
Gilad Ben-Avi,
N. Francez,
2015,
J. Semant..
Nissim Francez,
Roy Dyckhoff,
2010
.
Nissim Francez,
Shuly Wintner,
N. Francez,
2011
.
Ira R. Forman,
Nissim Francez,
1991,
CONCUR.
Nir Shavit,
Nissim Francez,
N. Shavit,
1986,
ICALP.
Nissim Francez,
1990,
Inf. Process. Lett..
Nissim Francez,
N. Francez,
1982,
POPL '82.
Nissim Francez,
Shuly Wintner,
1999,
J. Log. Lang. Inf..
Frank S. de Boer,
M. van Hulst,
Nissim Francez,
1998,
PROCOMET.
Nissim Francez,
Orna Grumberg,
Limor Fix,
1991,
ICALP.
Nissim Francez,
Tzilla Elrad,
1982
.
Nissim Francez,
Orna Grumberg,
Limor Fix,
1990,
Programming Concepts and Methods.
Nissim Francez,
Shuly Wintner,
N. Francez,
2011
.
Nissim Francez,
D. J Eijck,
J. Eijck,
1993
.
Nissim Francez,
N. Francez,
2014,
Logica Universalis.
Nissim Francez,
Shuly Wintner,
N. Francez,
1996,
IWPT.
Giora Slutzki,
Nissim Francez,
G. Slutzki,
1973,
Inf. Process. Lett..
Evgeniy Gabrilovich,
Nissim Francez,
Shuly Wintner,
1997,
ArXiv.
Amir Pnueli,
Daniel Lehmann,
Nissim Francez,
1980,
21st Annual Symposium on Foundations of Computer Science (sfcs 1980).
Nissim Francez,
N. Francez,
2016,
J. Log. Comput..
Nissim Francez,
1986
.
Nissim Francez,
N. Francez,
2015,
J. Lang. Model..
Nissim Francez,
Shmuel Katz,
Orna Grumberg,
1984,
PODC 1984.
Nissim Francez,
2014,
LACL.
Martín Abadi,
Bowen Alpern,
Leslie Lamport,
1991,
Inf. Process. Lett..
Nissim Francez,
N. Francez,
2015,
J. Appl. Log..
Nissim Francez,
1986
.
Nissim Francez,
Shaula Yemini,
S. Yemini,
1985,
TOPL.
C. A. R. Hoare,
Willem P. de Roever,
Nissim Francez,
1979,
J. Comput. Syst. Sci..
Nissim Francez,
N. Francez,
2019,
J. Philos. Log..
Nissim Francez,
Michael Kaminski,
2007,
LATA.
C. A. R. Hoare,
Willem P. de Roever,
Nissim Francez,
1978,
International Symposium on Mathematical Foundations of Computer Science.
Nissim Francez,
Orna Grumberg,
Ran Rinat,
1988,
Inf. Comput..
Nissim Francez,
Michael Kaminski,
N. Francez,
2003,
Theor. Comput. Sci..
Nissim Francez,
Sara Porat,
1985,
STACS.
Nissim Francez,
Gadi Taubenfeld,
Brent Hailpern,
1989,
Science of Computer Programming.
Reinhard Wilhelm,
Michael Rodeh,
Nissim Francez,
1990,
PLILP.
Nissim Francez,
Michael Kaminski,
N. Francez,
2008,
Inf. Comput..
Nissim Francez,
Shuly Wintner,
2011
.
Nissim Francez,
Liuba Shrira,
L. Shrira,
1981,
ICDCS.
Nissim Francez,
Michael Kaminski,
N. Francez,
2019,
FLAP.
Nissim Francez,
Michael Kaminski,
N. Francez,
2007,
Stud Logica.
Nissim Francez,
N. Francez,
2012,
J. Comput. Syst. Sci..
Nissim Francez,
1986
.
Amir Pnueli,
Nissim Francez,
A. Pnueli,
1978,
Acta Informatica.
Nissim Francez,
Shmuel Katz,
Krzysztof R. Apt,
2005,
Distributed Computing.
Nissim Francez,
Shuly Wintner,
Efrat Jaeger,
2002,
COLING.
Nissim Francez,
Shuly Wintner,
2011
.
Nissim Francez,
Shuly Wintner,
Efrat Jaeger,
2005,
J. Log. Lang. Inf..
Ira R. Forman,
Nissim Francez,
N. Francez,
1990,
CONCUR.
Nissim Francez,
Shmuel Katz,
Orna Grumberg,
1983,
Logic of Programs.
Nissim Francez,
Rani Nelken,
N. Francez,
1997,
J. Semant..
Nissim Francez,
Yael Shemesh,
1994,
Inf. Comput..
Nissim Francez,
N. Francez,
2016
.
Nissim Francez,
2017,
MOL.
Nissim Francez,
Ian Pratt,
N. Francez,
2007
.
Nissim Francez,
N. Francez,
1995,
Log. J. IGPL.
Nissim Francez,
Roy Dyckhoff,
N. Francez,
2007,
MOL.
Amir Pnueli,
Nissim Francez,
Boris Klebansky,
1977,
Acta Informatica.
Nissim Francez,
Sara Porat,
S. Porat,
1986,
CADE.
Nissim Francez,
Anna Zamansky,
Yoad Winter,
2006,
J. Log. Lang. Inf..
Nissim Francez,
Orna Grumberg,
Paul C. Attie,
1989,
POPL '90.
Nissim Francez,
Roy Dyckhoff,
N. Francez,
2012,
J. Philos. Log..
Nissim Francez,
1977,
Commun. ACM.
Ira R. Forman,
Nissim Francez,
1996
.
Nissim Francez,
Orna Grumberg,
Limor Fix,
1992,
ICALP.
Michael Rodeh,
Nissim Francez,
Shmuel Sagiv,
1989,
POPL '89.
Nissim Francez,
Michael Kaminski,
2016,
Stud Logica.
Nissim Francez,
N. Francez,
2015,
The Review of Symbolic Logic.
Nissim Francez,
Brent Hailpern,
N. Francez,
1983,
PODC '83.
Nissim Francez,
Daniel Genkin,
Michael Kaminski,
2010,
Stud Logica.
Nissim Francez,
Tzilla Elrad,
1984,
Theor. Comput. Sci..
Amir Pnueli,
Nissim Francez,
Shmuel Katz,
1985,
Logic of Programs.
Nissim Francez,
N. Francez,
2017,
J. Log. Lang. Inf..
Nissim Francez,
Daniel Genkin,
Michael Kaminski,
2010,
Essays in Memory of Amir Pnueli.
Nissim Francez,
N. Francez,
1989,
Inf. Process. Lett..
Nissim Francez,
2005,
LACL.
Nissim Francez,
Michael Kaminski,
2017,
Logica Universalis.
Nissim Francez,
1986
.
Nissim Francez,
Rani Nelken,
N. Francez,
2000,
Grammars.
Nissim Francez,
Orna Grumberg,
Ran Rinat,
1986,
CAAP.
Willem P. de Roever,
Nissim Francez,
Krzysztof R. Apt,
1980,
ACM Trans. Program. Lang. Syst..
Nissim Francez,
2019
.
Nissim Francez,
Krzysztof R. Apt,
K. Apt,
1984,
TOPL.
Nissim Francez,
N. Francez,
2020,
Notre Dame J. Formal Log..
Nissim Francez,
Shuly Wintner,
2011
.
Nissim Francez,
Brent Hailpern,
N. Francez,
1985,
OPSR.
Nissim Francez,
Michael Kaminski,
2014,
Stud Logica.
Willem P. de Roever,
Johann A. Makowsky,
Nissim Francez,
1985,
Inf. Control..
Nissim Francez,
Gadi Taubenfeld,
N. Francez,
1984,
FSTTCS.
Nissim Francez,
Sara Porat,
1989,
Inf. Comput..
Nissim Francez,
Ian Pratt,
N. Francez,
2000
.
Michael Rodeh,
Nissim Francez,
Liuba Shrira,
1983,
PODC '83.
Reinhard Wilhelm,
Michael Rodeh,
Nissim Francez,
1998,
Acta Informatica.
Ira R. Forman,
Nissim Francez,
N. Francez,
1990,
Proceedings of the 5th Jerusalem Conference on Information Technology, 1990. 'Next Decade in Information Technology'.
Nissim Francez,
N. Francez,
2014,
J. Philos. Log..
Nissim Francez,
Rani Nelken,
N. Francez,
2002
.
Nissim Francez,
1980,
TOPL.
Nissim Francez,
1990,
Dagstuhl Seminar on Parallelization in Inference Systems.
Nissim Francez,
2016,
J. Semant..
Nissim Francez,
Shuly Wintner,
2011
.
Nissim Francez,
N. Francez,
1992,
International computer science series.
Nissim Francez,
N. Francez,
1979,
Semantics of Concurrent Computation.
Nissim Francez,
Luc Bougé,
N. Francez,
1988,
POPL '88.
Nissim Francez,
1998,
LACL.
Ira R. Forman,
Nissim Francez,
1996
.
Nissim Francez,
Gilad Ben-Avi,
N. Francez,
2011,
The Review of Symbolic Logic.
Nissim Francez,
N. Francez,
2018,
J. Log. Lang. Inf..
Nissim Francez,
Orna Grumberg,
Limor Fix,
1992,
Theor. Comput. Sci..
Nissim Francez,
Shmuel Katz,
Shmuel Katz,
1987,
International Journal of Parallel Programming.
Game Semantics for the Lambek-Calculus: Capturing Directionality and the Absence of Structural Rules
Nissim Francez,
Sharon Shoham,
2008,
Stud Logica.
Nissim Francez,
1989,
Inf. Process. Lett..
Nissim Francez,
Shmuel Katz,
Michael Evangelist,
1989,
IEEE Trans. Software Eng..
Nissim Francez,
1986
.
Nissim Francez,
Michael Kaminski,
N. Francez,
1990,
Proceedings [1990] 31st Annual Symposium on Foundations of Computer Science.
A. Prasad Sistla,
Nissim Francez,
Edmund M. Clarke,
1982,
PODC '82.
Nissim Francez,
Francesca Poggiolesi,
N. Francez,
2020
.
Nissim Francez,
Ralph-Johan Back,
Reino Kurki-Suonio,
2005,
Formal Aspects of Computing.
Nissim Francez,
Rani Nelken,
N. Francez,
1996,
CAV.
Nissim Francez,
Yoad Winter,
Yaroslav Fyodorov,
2003,
Log. J. IGPL.
Nissim Francez,
Ian Pratt,
N. Francez,
2001
.
Nissim Francez,
Rachel Ben-Eliyahu-Zohary,
Michael Kaminski,
2004,
Annals of Mathematics and Artificial Intelligence.
A. Prasad Sistla,
Nissim Francez,
Edmund M. Clarke,
1984,
Inf. Control..
Nissim Francez,
Shmuel Katz,
Orna Grumberg,
1986,
J. Comput. Syst. Sci..
Nissim Francez,
Rani Nelken,
2000,
COLING.
Nissim Francez,
N. Francez,
1977,
Inf. Process. Lett..
Mark Steedman,
Nissim Francez,
2006
.
Nissim Francez,
N. Francez,
2014,
The Review of Symbolic Logic.
Nissim Francez,
Oded Shmueli,
Amir Rahat,
1990,
JELIA.
Nissim Francez,
Ian Pratt-Hartmann,
2012,
Stud Logica.
Amir Pnueli,
Daniel Lehmann,
Nissim Francez,
1984,
Theor. Comput. Sci..
Nissim Francez,
Tzilla Elrad,
T. Elrad,
1982,
Sci. Comput. Program..
Nissim Francez,
N. Francez,
2016,
J. Log. Comput..
Nissim Francez,
Shuly Wintner,
2011
.
Nissim Francez,
Rani Nelken,
N. Francez,
1995,
EACL.
Ira R. Forman,
Nissim Francez,
N. Francez,
1990,
Proceedings. 1990 International Conference on Computer Languages.
Ron Y. Pinter,
Nissim Francez,
Shalom Tsur,
1985,
ACM SIGPLAN Notices.
Nissim Francez,
Shuly Wintner,
1995,
ArXiv.
Nissim Francez,
1997
.
Nissim Francez,
Gadi Taubenfeld,
Brent Hailpern,
1989,
Sci. Comput. Program..
Nissim Francez,
2019
.
Nissim Francez,
Shmuel Katz,
Krzysztof R. Apt,
1988,
Distributed Computing.
Nissim Francez,
Shmuel Zaks,
Shlomo Moran,
1982,
Inf. Control..
Michael Rodeh,
Nissim Francez,
N. Francez,
1980,
21st Annual Symposium on Foundations of Computer Science (sfcs 1980).
Nissim Francez,
1997,
LACL.
Nissim Francez,
Shmuel Katz,
Orna Grumberg,
1984,
PODC '84.
Nissim Francez,
N. Francez,
1978,
IEEE Transactions on Software Engineering.
Nissim Francez,
N. Francez,
1998
.
Ira R. Forman,
Nissim Francez,
N. Francez,
1996
.
Michael Rodeh,
Nissim Francez,
N. Francez,
1982,
IEEE Transactions on Software Engineering.
Nissim Francez,
Shuly Wintner,
2011
.
Evgeniy Gabrilovich,
Nissim Francez,
Shuly Wintner,
1998,
INLG.
Nissim Francez,
1986
.
Evgeniy Gabrilovich,
Nissim Francez,
Shuly Wintner,
1998
.
Nissim Francez,
Michael Kaminski,
1994,
Theor. Comput. Sci..
Nissim Francez,
N. Francez,
2014,
J. Philos. Log..
Nissim Francez,
N. Francez,
1983,
Acta Informatica.
Nissim Francez,
Tatyana Veksler,
2006,
Log. J. IGPL.
Nissim Francez,
Michael Kaminski,
2019,
Logica Universalis.
Jan van Eijck,
Nissim Francez,
J. Eijck,
1995
.
Nissim Francez,
Shuly Wintner,
2011
.
Nissim Francez,
1983,
Sci. Comput. Program..
Christos Nikolaou,
Nissim Francez,
Edmund M. Clarke,
1983,
SIGCOMM 1983.
Nissim Francez,
2019
.
Nissim Francez,
N. Francez,
2018,
J. Log. Lang. Inf..
Nissim Francez,
Dexter Kozen,
D. Kozen,
1984,
POPL '84.
Nissim Francez,
2015,
Logica Universalis.
Nissim Francez,
Gilad Ben-Avi,
Roy Dyckhoff,
2010,
Stud Logica.
Nissim Francez,
N. Francez,
2017,
J. Appl. Log..
Nissim Francez,
Orna Grumberg,
Paul C. Attie,
2005,
Distributed Computing.
Nissim Francez,
2021,
FLAP.
Nissim Francez,
Michael Kaminski,
2021,
Logica Universalis.
Nissim Francez,
2021,
FLAP.
Nissim Francez,
Shalom Lappin,
N. Francez,
1994
.
Ron Y. Pinter,
Nissim Francez,
Shalom Tsur,
1985,
SLIPE '85.
Nissim Francez,
Gilad Ben-Avi,
N. Francez,
2004
.