Dexter Kozen

发表

Thomas Schwentick, Dexter Kozen, 2018, CSL.
Dexter Kozen, 1997 .
Nicholas Ruozzi, Dexter Kozen, 2007, CALCO.
Dexter Kozen, 1992 .
Dexter Kozen, D. Kozen, 1977 .
Dexter Kozen, D. Kozen, 1992 .
Dexter Kozen, D. Kozen, 1987 .
Alexandra Silva, Laure Thompson, Nate Foster, 2015, POPL.
Anuj Dawar, Simona Ronchi Della Rocca, Dexter Kozen, 2015, CSL.
Kim G. Larsen, Prakash Panangaden, Radu Mardare, 2013, 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science.
Nils Klarlund, Dexter Kozen, 1995, Chic. J. Theor. Comput. Sci..
Fredrik Dahlqvist, Dexter Kozen, D. Kozen, 2019, Proc. ACM Program. Lang..
Dexter Kozen, D. Kozen, 2014, Horizons of the Mind.
Lucja Kot, Dexter Kozen, D. Kozen, 2005, Bytecode@ETAPS.
Dexter Kozen, D. Kozen, 1980, Theor. Comput. Sci..
Dexter Kozen, Ernie Cohen, 2000, TOCL.
Dexter Kozen, D. Kozen, 2006, 21st Annual IEEE Symposium on Logic in Computer Science (LICS'06).
Alexandra Silva, Dexter Kozen, Konstantinos Mamouras, 2015, J. Log. Algebraic Methods Program..
Dexter Kozen, 1977 .
Dexter Kozen, 1998 .
Dexter Kozen, D. Kozen, 2008, 2008 23rd Annual IEEE Symposium on Logic in Computer Science.
Dexter Kozen, Nikolaos Karampatziakis, 2009, ICML '09.
Dexter Kozen, D. Kozen, 1997, Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science.
Robert Givan, David A. McAllester, Dexter Kozen, 1996, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.
Dexter Kozen, D. Kozen, 2016, 2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Dexter Kozen, 1992 .
Alexandra Silva, Dexter Kozen, Konstantinos Mamouras, 2017, J. Log. Algebraic Methods Program..
Dexter Kozen, D. Kozen, 2002, Sci. Comput. Program..
Dexter Kozen, D. Kozen, 1995, Bull. EATCS.
Jean-Baptiste Jeannin, Dexter Kozen, D. Kozen, 2012, DCFS.
Chris Heegard, Dexter Kozen, Kenneth Skilling Andrews, 1997 .
Zoltán Ésik, Dexter Kozen, 2019, Log. Methods Comput. Sci..
Dexter Kozen, David Spencer Pearson, 1998 .
David Harel, Rohit Parikh, Dexter Kozen, 1980, FOCS.
Jerzy Tiuryn, Dexter Kozen, D. Kozen, 2001, Inf. Sci..
Manuel Blum, Dexter Kozen, M. Blum, 1978, 19th Annual Symposium on Foundations of Computer Science (sfcs 1978).
Dexter Kozen, D. Kozen, 2006, MFCS.
Vijay V. Vazirani, Umesh V. Vazirani, Dexter Kozen, 1985, FSTTCS.
Dexter Kozen, D. Kozen, 1982, ICALP.
Robert Givan, David A. McAllester, Dexter Kozen, 2002, Inf. Comput..
Jerzy Tiuryn, Dexter Kozen, D. Kozen, 2003, TOCL.
Dexter Kozen, Mark W. Hopkins, D. Kozen, 1999, Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158).
Alexandra Silva, Jean-Baptiste Jeannin, Dexter Kozen, 2017, Fundam. Informaticae.
Alexandra Silva, Justin Hsu, Praveen Kumar, 2019, PLDI.
Jerzy Tiuryn, David Harel, Dexter Kozen, 2001, SIGA.
Frank Adelstein, Dexter Kozen, Matthew Stillerman, 2002, 18th Annual Computer Security Applications Conference, 2002. Proceedings..
Dexter Kozen, D. Kozen, 2010, Fields of Logic and Computation.
Andreas Blass, Yuri Gurevich, Dexter Kozen, 1986, Inf. Control..
Alexander Aiken, Moshe Y. Vardi, Dexter Kozen, 1993, CSL.
Dexter Kozen, 2006, Texts in Computer Science.
Jerzy Tiuryn, David Harel, Dexter Kozen, 2000 .
Dexter Kozen, D. Kozen, 1999, MFCS.
Dexter Kozen, D. Kozen, 1977, STOC '77.
Robert L. Constable, Dexter Kozen, D. Kozen, 2015 .
Dexter Kozen, D. Kozen, 1997, TOPL.
Dexter Kozen, 1995, TAPSOFT.
Ephraim Feig, Michael Ben-Or, Dexter Kozen, 1988, SIAM J. Comput..
Dexter Kozen, Matvey Soloviev, D. Kozen, 2018, RAMiCS.
Dexter Kozen, D. Kozen, 1988, Stud Logica.
Dexter Kozen, 1996, Theor. Comput. Sci..
Fred B. Schneider, Andrew C. Myers, Dexter Kozen, 2007 .
Dexter Kozen, Kamal Aboul-Hosn, D. Kozen, 2006, J. Appl. Non Class. Logics.
Dexter Kozen, Konstantinos Mamouras, Niels Bjørn Bugge Grathwohl, 2014, CSL-LICS.
Dexter Kozen, 1992 .
Dexter Kozen, D. Kozen, 1994 .
Shmuel Zaks, Dexter Kozen, 1994, Theor. Comput. Sci..
Dexter Kozen, D. Kozen, 1977, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977).
Fritz Henglein, Dexter Kozen, Niels Bjørn Bugge Grathwohl, 2017, Fundam. Informaticae.
Dexter Kozen, Kjartan Stefánsson, D. Kozen, 1997, J. Symb. Comput..
Alexandra Silva, Jean-Baptiste Jeannin, Dexter Kozen, 2017, Math. Struct. Comput. Sci..
Dexter Kozen, Wei-Lung Dustin Tseng, D. Kozen, 2008, MPC.
Jerzy Tiuryn, David Harel, Dexter Kozen, 2000 .
Alexandra Silva, Nate Foster, Dexter Kozen, 2016, ESOP.
Kim G. Larsen, Robert Furber, Prakash Panangaden, 2017, 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Alexandra Silva, Dexter Kozen, D. Kozen, 2016, Mathematical Structures in Computer Science.
Dexter Kozen, D. Kozen, 1992, Bull. EATCS.
Dexter Kozen, 1977 .
Dexter Kozen, D. Kozen, 1980, Theor. Comput. Sci..
Richard Zippel, Susan Landau, Dexter Kozen, 1996, J. Symb. Comput..
Dexter Kozen, Jeffrey Robert Karplus Hartline, Jeff Hartline, 2008 .
Dexter Kozen, 2004, Ann. Pure Appl. Log..
David Harel, Dexter Kozen, 1984, Inf. Control..
Dexter Kozen, Arthur Neal Glew, A. Glew, 1999 .
Prakash Panangaden, Radu Mardare, Dexter Kozen, 2013, MFCS.
Dexter Kozen, Maria-Christina Patron, D. Kozen, 2000, Computational Logic.
Richard Zippel, Susan Landau, Dexter Kozen, 1994, J. Symb. Comput..
Dexter Kozen, 1985, J. Comput. Syst. Sci..
Jerzy Tiuryn, David Harel, Dexter Kozen, 2000 .
Jens Palsberg, Dexter Kozen, Michael I. Schwartzbach, 1992, POPL '93.
Dexter Kozen, 2002, FICS.
Dexter Kozen, 1984, STOC '84.
David Harel, Rohit Parikh, Dexter Kozen, 1980, 21st Annual Symposium on Foundations of Computer Science (sfcs 1980).
Dexter Kozen, Konstantinos Mamouras, 2013, CSL.
Dexter Kozen, D. Kozen, 1990, MFCS.
Dexter Kozen, D. Kozen, 1994 .
Dexter Kozen, D. Kozen, 1978, STOC.
Dexter Kozen, D. Kozen, 1999, Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158).
Alexandra Silva, Dexter Kozen, 2013, Am. Math. Mon..
Dexter Kozen, 1977 .
John H. Reif, Michael Ben-Or, Dexter Kozen, 1984, STOC '84.
Dexter Kozen, D. Kozen, 2010, Fundam. Informaticae.
Edmund M. Clarke, Dexter Kozen, E. Clarke, 1983 .
Alexandra Silva, Praveen Kumar, Nate Foster, 2016, POPL.
Yaron Minsky, Dexter Kozen, Brian Christopher Smith, 1998, Proceedings DCC '98 Data Compression Conference (Cat. No.98TB100225).
Dexter Kozen, D. Kozen, 1981, Logic of Programs.
Jerzy Tiuryn, Dexter Kozen, D. Kozen, 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.
Jerzy Tiuryn, David Harel, Dexter Kozen, 2000 .
Christoph Kreitz, Dexter Kozen, Eva Richter, 2006, IJCAR.
Jerzy Tiuryn, David Harel, Dexter Kozen, 2000 .
Dexter Kozen, 2002, Inf. Comput..
Dexter Kozen, Kamal Aboul-Hosn, 2006, RelMiCS.
Dexter Kozen, Kamal Aboul-Hosn, 2008, J. Log. Algebraic Methods Program..
Jens Palsberg, Dexter Kozen, Michael I. Schwartzbach, 1992, Proceedings., 33rd Annual Symposium on Foundations of Computer Science.
Dexter Kozen, D. Kozen, 1997, Undergraduate Texts in Computer Science.
Dexter Kozen, Frederick Smith, D. Kozen, 1996, CSL.
Nikos Karampatziakis, Dexter Kozen, Nikos Karampatziakis, 2009 .
Alexander Aiken, Dexter Kozen, Edward L. Wimmers, 1994, Inf. Comput..
Dexter Kozen, D. Kozen, 2011, MFPS.
Alexandra Silva, Dexter Kozen, Daniela Petrisan, 2015, ICALP.
Stefan Milius, Dexter Kozen, Lutz Schröder, 2017, FoSSaCS.
Dexter Kozen, D. Kozen, 1976, 17th Annual Symposium on Foundations of Computer Science (sfcs 1976).
Dexter Kozen, D. Kozen, 1979, 20th Annual Symposium on Foundations of Computer Science (sfcs 1979).
Dexter Kozen, 1992 .
Rohit Parikh, Dexter Kozen, D. Kozen, 1981, Theor. Comput. Sci..
Dexter Kozen, 1993, CSL.
Dexter Kozen, 1979, FOCS.
Dexter Kozen, D. Kozen, 1977 .
Dexter Kozen, D. Kozen, 2018 .
Dexter Kozen, D. Kozen, 1979, Logic of Programs.
Rohit Parikh, Dexter Kozen, D. Kozen, 1983, Logic of Programs.
Shmuel Zaks, Dexter Kozen, 1993, ICALP.
Alexandra Silva, Praveen Kumar, Nate Foster, 2017, ArXiv.
Dexter Kozen, D. Kozen, 1991, [1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science.
Prakash Panangaden, Radu Mardare, Dexter Kozen, 2014, MFPS.
Nils Klarlund, Dexter Kozen, D. Kozen, 1991, [1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science.
Dexter Kozen, D. Kozen, 1979, International Symposium on Fundamentals of Computation Theory.
Dexter Kozen, D. Kozen, 1992 .
Alexandra Silva, Jean-Baptiste Jeannin, Dexter Kozen, 2013, ESOP.
Susan Landau, Dexter Kozen, S. Landau, 1989, J. Symb. Comput..
Christopher Ré, Saikat Guha, David Gries, 2005, SIGCSE '05.
Dexter Kozen, Matthew Stillerman, 2002, FTRTFT.
Joachim von zur Gathen, Susan Landau, Dexter Kozen, 1987, 28th Annual Symposium on Foundations of Computer Science (sfcs 1987).
Krzysztof R. Apt, Dexter Kozen, D. Kozen, 1986, Inf. Process. Lett..
William Pugh, Tim Teitelbaum, Dexter Kozen, 1987 .
Dexter Kozen, D. Kozen, 1994, Inf. Comput..
Jin-Yi Cai, Zicheng Liu, Dexter Kozen, 1994, Proceedings 35th Annual Symposium on Foundations of Computer Science.
Jean-Baptiste Jeannin, Dexter Kozen, D. Kozen, 2012, DCFS.
Justin Hsu, Nate Foster, Dexter Kozen, 2019, Proc. ACM Program. Lang..
Dexter Kozen, D. Kozen, 1991, Texts and Monographs in Computer Science.
Dexter Kozen, D. Kozen, 1994, FSTTCS.
Dexter Kozen, Ruy J. G. B. de Queiroz, D. Leivant, 2008, Lecture Notes in Computer Science.
Nicholas Ruozzi, Dexter Kozen, N. Ruozzi, 2007, CALCO.
Jean-Baptiste Jeannin, Dexter Kozen, 2012, 2012 27th Annual IEEE Symposium on Logic in Computer Science.
Dexter Kozen, 2019, Log. Methods Comput. Sci..
Dexter Kozen, Daniel Sheldon, M. A. Saleh Elmohamed, 2007, NIPS.
Dexter Kozen, 1992 .
Dexter Kozen, D. Kozen, 1983, J. Comput. Syst. Sci..
Venanzio Capretta, Hendrik Pieter Barendregt, Dexter Kozen, 2013, J. Autom. Lang. Comb..
Jens Palsberg, Dexter Kozen, Michael I. Schwartzbach, 1992, Proceedings., 33rd Annual Symposium on Foundations of Computer Science.
Dexter Kozen, Konstantinos Mamouras, D. Kozen, 2014, ICALP.
Jens Palsberg, Dexter Kozen, Michael I. Schwartzbach, 1992, POPL '93.
Dexter Kozen, 1992 .
William Pugh, Tim Teitelbaum, Dexter Kozen, 1990 .
Nissim Francez, Dexter Kozen, D. Kozen, 1984, POPL '84.
Robert Furber, Prakash Panangaden, Giorgio Bacci, 2018, LICS.
Jerzy Tiuryn, David Harel, Dexter Kozen, 2000 .
Marek Karpinski, Joachim von zur Gathen, Dexter Kozen, 2021 .
Dexter Kozen, Alexandra Silva, Todd Schmid, 2021, ICALP.
Bernhard Möller, Dexter Kozen, Roland C. Backhouse, 2021 .
Mark Bickford, Dexter Kozen, Alexandra Silva, 2022, J. Log. Algebraic Methods Program..
Dexter Kozen, 1977 .
Jerzy Tiuryn, David Harel, Dexter Kozen, 1959 .
Jens Palsberg, Dexter Kozen, Michael I. Schwartzbach, 1995 .
Jean-Baptiste Jeannin, Cole Schlesinger, Nate Foster, 2014, POPL.
Dexter Kozen, Christopher S. Hardin, D. Kozen, 2003 .
Jean-Baptiste Jeannin, Dexter Kozen, Alexandra Silva, 2012 .
Dexter Kozen, Doug J. Ierardi, 1990 .
Agnes Szanto, Dexter Kozen, D. Kozen, 1999 .
Dexter Kozen, Allan Cheng, 1996 .
Jens Palsberg, Dexter Kozen, Michael I. Schwartzbach, 1992 .
Dexter Kozen, 1992 .
Dexter Kozen, Christopher S. Hardin, D. Kozen, 2002 .
Dexter Kozen, 1992 .
Dexter Kozen, D. Kozen, 2007 .