Assaf J. Kfoury
发表
Azer Bestavros,
Nate Soule,
Assaf J. Kfoury,
2011,
EOOLT.
Jerzy Tiuryn,
Pawel Urzyczyn,
Assaf J. Kfoury,
1992,
Theor. Comput. Sci..
Assaf J. Kfoury,
Joe B. Wells,
Sébastien Carlier,
2004,
ESOP.
Assaf J. Kfoury,
Joe B. Wells,
A. Kfoury,
2004,
Theor. Comput. Sci..
Assaf J. Kfoury,
A. Kfoury,
2013
.
Azer Bestavros,
Ibrahim Matta,
Assaf J. Kfoury,
2004,
CCRV.
Azer Bestavros,
Assaf J. Kfoury,
Michael J. Ocean,
2009,
2009 ICSE Workshop on Model-Based Methodologies for Pervasive and Embedded Software.
Assaf J. Kfoury,
Andrei Lapets,
2012,
Electron. Notes Theor. Comput. Sci..
Assaf J. Kfoury,
A. Kfoury,
1983,
Theor. Comput. Sci..
Assaf J. Kfoury,
Andrei Lapets,
2010
.
Azer Bestavros,
Assaf J. Kfoury,
2014,
Encyclopedia of Social Network Analysis and Mining.
Azer Bestavros,
Assaf J. Kfoury,
Adam D. Bradley,
2005
.
Azer Bestavros,
Assaf J. Kfoury,
Andrei Lapets,
2013,
2013 3rd International Workshop on Developing Tools as Plug-Ins (TOPI).
Azer Bestavros,
Assaf J. Kfoury,
Adam Bradley,
2004,
Proceedings of the 12th IEEE International Conference on Network Protocols, 2004. ICNP 2004..
Michael A. Arbib,
Assaf J. Kfoury,
Robert N. Moll,
1982
.
Jerzy Tiuryn,
Pawel Urzyczyn,
Assaf J. Kfoury,
1987,
LICS.
Assaf J. Kfoury,
A. Kfoury,
1986,
Bull. EATCS.
Azer Bestavros,
Nate Soule,
Assaf J. Kfoury,
2011
.
Jacob Beal,
Assaf J. Kfoury,
Richard Lazarus,
2013,
FPCDSL@ICFP.
Assaf J. Kfoury,
Likai Liu,
2006
.
Azer Bestavros,
Assaf J. Kfoury,
Adam D. Bradley,
2002
.
Azer Bestavros,
Assaf J. Kfoury,
Vatche Ishakian,
2010,
2010 IEEE 16th International Conference on Embedded and Real-Time Computing Systems and Applications.
Assaf J. Kfoury,
Likai Liu,
2008
.
Jerzy Tiuryn,
Pawel Urzyczyn,
Assaf J. Kfoury,
1988,
[1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science.
Michael A. Arbib,
Assaf J. Kfoury,
Robert N. Moll,
1981
.
Pawel Urzyczyn,
Assaf J. Kfoury,
1989,
Logic at Botik.
Assaf J. Kfoury,
A. Kfoury,
2018,
ArXiv.
Azer Bestavros,
Assaf J. Kfoury,
Andrei Lapets,
2013,
HiCoNS '13.
Azer Bestavros,
Assaf J. Kfoury,
Azer Bestavros,
2011,
DSL.
Jerzy Tiuryn,
Pawel Urzyczyn,
Assaf J. Kfoury,
1989,
[1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science.
Assaf J. Kfoury,
1980,
POPL '80.
Jerzy Tiuryn,
Pawel Urzyczyn,
Assaf J. Kfoury,
1994,
JACM.
Azer Bestavros,
Assaf J. Kfoury,
Ibrahim Matta,
2005
.
Assaf J. Kfoury,
Geoffrey Washburn,
Joe B. Wells,
2002,
Electron. Notes Theor. Comput. Sci..
Assaf J. Kfoury,
Azer Bestavros,
Michael J. Ocean,
2006
.
Harry G. Mairson,
Assaf J. Kfoury,
Joe B. Wells,
1999,
ICFP '99.
Azer Bestavros,
Assaf J. Kfoury,
Michael J. Ocean,
2006,
VEE '06.
Michael A. Arbib,
Assaf J. Kfoury,
Robert N. Moll,
1988
.
Michael A. Arbib,
Assaf J. Kfoury,
Robert Moll,
1981,
Texts and Monographs in Computer Science.
Azer Bestavros,
Assaf J. Kfoury,
Adam D. Bradley,
2002
.
Assaf J. Kfoury,
A. Kfoury,
1997,
FSTTCS.
Assaf J. Kfoury,
J. J. Hallett,
J. Hallett,
2005,
ITRS.
Assaf J. Kfoury,
Saber Mirzaei,
2016,
ArXiv.
Azer Bestavros,
Assaf J. Kfoury,
Adam D. Bradley,
2004
.
Michael A. Arbib,
Assaf J. Kfoury,
Robert N. Moll,
1988
.
Azer Bestavros,
Assaf J. Kfoury,
Ibrahim Matta,
2005
.
Azer Bestavros,
Assaf J. Kfoury,
Richard Skowyra,
2016,
ArXiv.
Azer Bestavros,
Assaf J. Kfoury,
Michael J. Ocean,
2008
.
Michael A. Arbib,
Assaf J. Kfoury,
Robert N. Moll,
1988
.
Torben Amtoft,
Assaf J. Kfoury,
Santiago M. Pericás-Geertsen,
2002,
Comput. Lang. Syst. Struct..
Assaf J. Kfoury,
A. Kfoury,
2013,
ArXiv.
Pawel Urzyczyn,
Assaf J. Kfoury,
A. Kfoury,
1985,
Acta Informatica.
Assaf J. Kfoury,
2018,
ArXiv.
Assaf J. Kfoury,
A. Kfoury,
2019,
Fundam. Informaticae.
Assaf J. Kfoury,
Joe B. Wells,
A. Kfoury,
1999,
POPL '99.
Jerzy Tiuryn,
Pawel Urzyczyn,
Assaf J. Kfoury,
1993,
TOPL.
Assaf J. Kfoury,
Kevin Donnelly,
2008
.
Azer Bestavros,
Assaf J. Kfoury,
Andrei Lapets,
2010,
HSCC '10.
Michael A. Arbib,
Assaf J. Kfoury,
Robert N. Moll,
1981
.
Michael A. Arbib,
Assaf J. Kfoury,
Robert Moll,
1988,
Texts and Monographs in Computer Science.
Assaf J. Kfoury,
Andrei Lapets,
Kevin Donnelly,
2010,
Fundam. Informaticae.
Jerzy Tiuryn,
Pawel Urzyczyn,
Assaf J. Kfoury,
1990,
CAAP.
Azer Bestavros,
Assaf J. Kfoury,
Andrei Lapets,
2011,
2011 IEEE World Congress on Services.
Azer Bestavros,
Nate Soule,
Assaf J. Kfoury,
2011
.
Azer Bestavros,
Assaf J. Kfoury,
Andrei Lapets,
2013
.
Michael A. Arbib,
Assaf J. Kfoury,
Robert N. Moll,
1982
.
Assaf J. Kfoury,
2018,
ArXiv.
Assaf J. Kfoury,
Kevin Donnelly,
2005
.
Jerzy Tiuryn,
Assaf J. Kfoury,
1990,
[1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science.
Azer Bestavros,
Assaf J. Kfoury,
2013,
Math. Struct. Comput. Sci..
Jerzy Tiuryn,
Pawel Urzyczyn,
Assaf J. Kfoury,
1990,
STOC '90.
Assaf J. Kfoury,
Saber Mirzaei,
2016,
ArXiv.
Assaf J. Kfoury,
A. Kfoury,
1985,
Inf. Process. Lett..
Assaf J. Kfoury,
J. J. Hallett,
Kevin Donnelly,
2005,
ISMM '06.
Assaf J. Kfoury,
Joe B. Wells,
A. Kfoury,
1994,
LFP '94.
Azer Bestavros,
Assaf J. Kfoury,
Adam D. Bradley,
2002
.
Assaf J. Kfoury,
Yarom Gabay,
Michael J. Ocean,
2006
.
Assaf J. Kfoury,
Andrei Lapets,
2011
.
Assaf J. Kfoury,
Andrei Lapets,
A. Kfoury,
2009
.
Michael A. Arbib,
Assaf J. Kfoury,
Robert N. Moll,
1988
.
Assaf J. Kfoury,
Ian Christopher Westmacott,
2003
.
Torben Amtoft,
Assaf J. Kfoury,
Santiago M. Pericás-Geertsen,
2001,
ESOP.
Assaf J. Kfoury,
A. Kfoury,
1974,
J. Comput. Syst. Sci..
Assaf J. Kfoury,
Santiago M. Pericás-Geertsen,
1999,
Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158).
Michael A. Arbib,
Assaf J. Kfoury,
Robert N. Moll,
1988
.
William M. Farmer,
Assaf J. Kfoury,
1989,
SIGA.
Michael A. Arbib,
Assaf J. Kfoury,
Robert N. Moll,
1988
.
Assaf J. Kfoury,
Yarom Gabay,
A. Kfoury,
2007,
SIGP.
Assaf J. Kfoury,
Saber Mirzaei,
2015,
ArXiv.
Azer Bestavros,
Assaf J. Kfoury,
Andrei Lapets,
2013,
Mathematical Structures in Computer Science.
Azer Bestavros,
Assaf J. Kfoury,
Andrei Lapets,
2012
.
Michael A. Arbib,
Assaf J. Kfoury,
Robert N. Moll,
1981
.
Azer Bestavros,
Ibrahim Matta,
Assaf J. Kfoury,
2005,
13TH IEEE International Conference on Network Protocols (ICNP'05).
Assaf J. Kfoury,
David Michael Ritchie Park,
A. Kfoury,
1975,
Inf. Control..
Azer Bestavros,
Assaf J. Kfoury,
Ibrahim Matta,
2005
.
Assaf J. Kfoury,
Joe B. Wells,
J. B. Wells,
1995,
Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science.
Azer Bestavros,
Assaf J. Kfoury,
Andrei Lapets,
2014,
2014 IEEE International Conference on Cloud Engineering.
Jerzy Tiuryn,
Assaf J. Kfoury,
A. Kfoury,
1992,
Inf. Comput..
Michael A. Arbib,
Assaf J. Kfoury,
Robert N. Moll,
1981
.
Assaf J. Kfoury,
1981,
Logic of Programs.
Assaf J. Kfoury,
A. Kfoury,
2014,
Sci. Comput. Program..
Assaf J. Kfoury,
Saber Mirzaei,
2017,
J. Comb. Optim..
Assaf J. Kfoury,
2012
.
Assaf J. Kfoury,
2000,
SOEN.
Michael A. Arbib,
Assaf J. Kfoury,
Robert N. Moll,
1982
.
Assaf J. Kfoury,
Mark C. Reynolds,
2012
.
Assaf J. Kfoury,
Saber Mizraei,
2012
.
Jerzy Tiuryn,
Pawel Urzyczyn,
Assaf J. Kfoury,
1993,
Inf. Comput..
Assaf J. Kfoury,
Alexei P. Stolboushkin,
A. P. Stolboushkin,
1997
.
Assaf J. Kfoury,
Yarom Gabay,
2006
.
Jerzy Tiuryn,
Pawel Urzyczyn,
Simona Ronchi Della Rocca,
1999,
Inf. Comput..
Pawel Urzyczyn,
Assaf J. Kfoury,
1983,
Logic of Programs.
Azer Bestavros,
Assaf J. Kfoury,
Adam Bradley,
2003,
11th IEEE International Conference on Network Protocols, 2003. Proceedings..
Assaf J. Kfoury,
Benjamin Sisson,
2020,
J. Comb. Optim..
Assaf J. Kfoury,
Andrei Lapets,
Azer Bestavros,
2010
.
Assaf J. Kfoury,
Andrei Lapets,
Prakash Lalwani,
2010
.
Assaf J. Kfoury,
2000,
J. Log. Comput..
Azer Bestavros,
Assaf J. Kfoury,
Andrei Lapets,
2009
.
Jerzy Tiuryn,
Pawel Urzyczyn,
Assaf J. Kfoury,
1988,
POPL '88.
Assaf J. Kfoury,
A. Kfoury,
1985,
Inf. Control..
Assaf J. Kfoury,
Joe B. Wells,
J. B. Wells,
1995
.
Assaf J. Kfoury,
Joe B. Wells,
Sébastien Carlier,
2005
.
Assaf J. Kfoury,
A. Kfoury,
1996
.
Assaf J. Kfoury,
Joe B. Wells,
J. B. Wells,
1996
.