D. Kozen

发表

Robert Givan, David A. McAllester, Dexter Kozen, 2002, Inf. Comput..
Robert Givan, David A. McAllester, Dexter Kozen, 1996, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.
D. Kozen, J. Palsberg, M. Schwartzbach, 1994 .
Dexter Kozen, D. Kozen, 1977, STOC '77.
Alexander Aiken, Moshe Y. Vardi, Dexter Kozen, 1993, CSL.
Dexter Kozen, D. Kozen, 2001 .
Dexter Kozen, D. Kozen, 1991, Texts and Monographs in Computer Science.
Jens Palsberg, Dexter Kozen, Michael I. Schwartzbach, 1992, Proceedings., 33rd Annual Symposium on Foundations of Computer Science.
D. Kozen, J. Palsberg, M. Schwartzbach, 1992 .
D. Kozen, Konstantinos Mamouras, 2013 .
D. Kozen, 1977, Undergraduate Texts in Computer Science.
Lutz Schröder, D. Kozen, S. Milius, 2015 .
D. Kozen, Ernie Cohen, F. Smith, 1996 .
D. Kozen, 1998 .
Jerzy Tiuryn, Dexter Kozen, D. Kozen, 2001, Inf. Sci..
Dexter Kozen, D. Kozen, 2007 .
John H. Reif, Michael Ben-Or, Dexter Kozen, 1984, STOC '84.
Jerzy Tiuryn, David Harel, Dexter Kozen, 2000 .
Alexandra Silva, Dexter Kozen, D. Kozen, 2012, RAMiCS.
Krzysztof R. Apt, Dexter Kozen, D. Kozen, 1986, Inf. Process. Lett..
Jens Palsberg, Dexter Kozen, Michael I. Schwartzbach, 1992, POPL '93.
Nikos Karampatziakis, Dexter Kozen, Nikos Karampatziakis, 2009 .
Marek Karpinski, Joachim von zur Gathen, Dexter Kozen, 2021 .
A. Aiken, D. Kozen, E. Wimmers, 2013 .
Jean-Baptiste Jeannin, Cole Schlesinger, Nate Foster, 2014, POPL.
Dexter Kozen, D. Kozen, 1977 .
S. Safra, M. Ben-Or, Oded Goldreich, 2022 .
Edmund M. Clarke, Dexter Kozen, E. Clarke, 1983 .
Dexter Kozen, D. Kozen, 1987 .
Jerzy Tiuryn, David Harel, Dexter Kozen, 2000 .
Dexter Kozen, D. Kozen, 1992 .
Dexter Kozen, D. Kozen, 2006, MFCS.
Christopher S. Hardin, D. Kozen, 2005 .
Jean-Baptiste Jeannin, Dexter Kozen, D. Kozen, 2012, DCFS.
Dexter Kozen, D. Kozen, 1979, International Symposium on Fundamentals of Computation Theory.
Robert L. Constable, Dexter Kozen, D. Kozen, 2015 .
Dexter Kozen, D. Kozen, 1977 .
Rohit Parikh, Dexter Kozen, D. Kozen, 1983, Logic of Programs.
Dexter Kozen, D. Kozen, 1994 .
Dexter Kozen, D. Kozen, 1992, Bull. EATCS.
Bernhard Möller, Dexter Kozen, Roland C. Backhouse, 2021 .
Christoph Kreitz, Dexter Kozen, Eva Richter, 2006, IJCAR.
Dexter Kozen, Kjartan Stefánsson, D. Kozen, 1997, J. Symb. Comput..
D. Kozen, Nate Foster, Alexandra Silva, 2022, ESOP.
Susan Landau, Dexter Kozen, S. Landau, 1989, J. Symb. Comput..
Dexter Kozen, D. Kozen, 1977, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977).
N. Immerman, D. Kozen, 1989, Inf. Comput..
Dexter Kozen, D. Kozen, 1988, Stud Logica.
Dexter Kozen, D. Kozen, 1980, ICALP.
Dexter Kozen, D. Kozen, 1979, Logic of Programs.
Dexter Kozen, D. Kozen, 2010, Fundam. Informaticae.
Dexter Kozen, D. Kozen, 1983, J. Comput. Syst. Sci..
John H. Reif, Michael Ben-Or, Dexter Kozen, 1984, STOC '84.
Ephraim Feig, Michael Ben-Or, Dexter Kozen, 1986, STOC '86.
Alexandra Silva, Praveen Kumar, Nate Foster, 2016, POPL.
Alexandra Silva, Nate Foster, Dexter Kozen, 2016, ESOP.
Dexter Kozen, D. Kozen, 2010, Fields of Logic and Computation.
Dexter Kozen, Kamal Aboul-Hosn, D. Kozen, 2006, MPC.
Jerzy Tiuryn, Dexter Kozen, D. Kozen, 2003, TOCL.
Dexter Kozen, Christopher S. Hardin, D. Kozen, 2003 .
Dexter Kozen, D. Kozen, 2002, Sci. Comput. Program..
Dexter Kozen, Matvey Soloviev, D. Kozen, 2018, RAMiCS.
Dexter Kozen, D. Kozen, 2016, 2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Nicholas Ruozzi, Dexter Kozen, N. Ruozzi, 2007, CALCO.
Dexter Kozen, D. Kozen, 1991, [1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science.
Jerzy Tiuryn, Dexter Kozen, D. Kozen, 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.
Dexter Kozen, D. Kozen, 1997, TOPL.
Dexter Kozen, D. Kozen, 1997, Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science.
Kim G. Larsen, Robert Furber, Prakash Panangaden, 2017, 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Prakash Panangaden, Radu Mardare, Dexter Kozen, 2014, MFPS.
Prakash Panangaden, Radu Mardare, Dexter Kozen, 2013, MFCS.
Kim G. Larsen, Prakash Panangaden, Radu Mardare, 2013, 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science.
Fredrik Dahlqvist, Dexter Kozen, D. Kozen, 2019, Proc. ACM Program. Lang..
Justin Hsu, Nate Foster, Dexter Kozen, 2019, Proc. ACM Program. Lang..
Alexandra Silva, Dexter Kozen, D. Kozen, 2016, Mathematical Structures in Computer Science.
Dexter Kozen, D. Kozen, 1979, 20th Annual Symposium on Foundations of Computer Science (sfcs 1979).
Dexter Kozen, D. Kozen, 2006, 21st Annual IEEE Symposium on Logic in Computer Science (LICS'06).
Nissim Francez, Dexter Kozen, D. Kozen, 1984, POPL '84.
Venanzio Capretta, Hendrik Pieter Barendregt, Dexter Kozen, 2013, J. Autom. Lang. Comb..
Nate Foster, Jean-Baptiste Jeannin, Arjun Guha, 2014, POPL.
Dexter Kozen, D. Kozen, 1982, ICALP.
D. Kozen, Nate Foster, A. Mohan, 2022, ArXiv.
Jerzy Tiuryn, David Harel, Dexter Kozen, 2001, SIGA.
Dexter Kozen, Mark W. Hopkins, D. Kozen, 1999, Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158).
Dexter Kozen, D. Kozen, 1994 .
Dexter Kozen, D. Kozen, 1990, MFCS.
Dexter Kozen, D. Kozen, 1999, MFCS.
Alexander Aiken, Dexter Kozen, Edward L. Wimmers, 1994, Inf. Comput..
Dexter Kozen, D. Kozen, 1999, Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158).
Dexter Kozen, Frederick Smith, D. Kozen, 1996, CSL.
Dexter Kozen, D. Kozen, 2014, Horizons of the Mind.
Dexter Kozen, Maria-Christina Patron, D. Kozen, 2000, Computational Logic.
Dexter Kozen, D. Kozen, 1997, Undergraduate Texts in Computer Science.
Jens Palsberg, Dexter Kozen, Michael I. Schwartzbach, 1992, POPL '93.
Jens Palsberg, Dexter Kozen, Michael I. Schwartzbach, 1992, Proceedings., 33rd Annual Symposium on Foundations of Computer Science.
D Kozen, D. Kozen, 1986, SIGA.
Vijay V. Vazirani, Umesh V. Vazirani, Dexter Kozen, 1985, FSTTCS.
Richard Zippel, Susan Landau, Dexter Kozen, 1994, J. Symb. Comput..
Manuel Blum, Dexter Kozen, M. Blum, 1978, 19th Annual Symposium on Foundations of Computer Science (sfcs 1978).
Dexter Kozen, D. Kozen, 1992 .
D. Kozen, Nate Foster, Alexandra Silva, 2022, ESOP.
Alexandra Silva, Justin Hsu, Praveen Kumar, 2019, PLDI.
Alexandra Silva, Praveen Kumar, Nate Foster, 2017, ArXiv.
Nate Foster, Justin Hsu, Praveen Kumar, 2017 .
Alexandra Silva, Laure Thompson, Nate Foster, 2015, POPL.
D. Kozen, Alexandra Silva, Tobias Kappé, 2023, ICALP.
Dexter Kozen, Wei-Lung Dustin Tseng, D. Kozen, 2008, MPC.
D. Kozen, Alexandra Silva, 2023, arXiv.org.
Dexter Kozen, Alexandra Silva, Todd Schmid, 2021, ICALP.
Dexter Kozen, Konstantinos Mamouras, D. Kozen, 2014, ICALP.
Lucja Kot, Dexter Kozen, D. Kozen, 2005, Bytecode@ETAPS.
D. Kozen, Alexandra Silva, 2012, RAMiCS.
Dexter Kozen, Christopher S. Hardin, D. Kozen, 2002 .
Dexter Kozen, D. Kozen, 1980, Theor. Comput. Sci..
Nils Klarlund, Dexter Kozen, D. Kozen, 1991, [1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science.
P. Panangaden, D. Kozen, R. Mardare, 2021, 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Agnes Szanto, Dexter Kozen, D. Kozen, 1999 .
N. Immerman, D. Kozen, 1989, Inf. Comput..
Alexandra Silva, Dexter Kozen, Daniela Petrisan, 2015, ICALP.
Dexter Kozen, D. Kozen, 1978, STOC.
D. Kozen, 2004, Log. Methods Comput. Sci..
Jean-Baptiste Jeannin, Dexter Kozen, D. Kozen, 2012, DCFS.
Alexandra Silva, Jean-Baptiste Jeannin, Dexter Kozen, 2017, Fundam. Informaticae.
Dexter Kozen, Daniel Sheldon, M. A. Saleh Elmohamed, 2007, NIPS.
Dexter Kozen, D. Kozen, 1995, Bull. EATCS.
Fred B. Schneider, Andrew C. Myers, Dexter Kozen, 2007 .
D. Kozen, 2009 .
Frank Adelstein, Dexter Kozen, Matthew Stillerman, 2002, 18th Annual Computer Security Applications Conference, 2002. Proceedings..
D. Kozen, E. Voogd, Alexandra Silva, 2023, Electronic Notes in Theoretical Informatics and Computer Science.
Dexter Kozen, D. Kozen, 2018 .
Andreas Blass, Yuri Gurevich, Dexter Kozen, 1986, Inf. Control..
Dexter Kozen, D. Kozen, 1994, FSTTCS.
Jin-Yi Cai, Zicheng Liu, Dexter Kozen, 1994, Proceedings 35th Annual Symposium on Foundations of Computer Science.
Dexter Kozen, Kamal Aboul-Hosn, D. Kozen, 2006, J. Appl. Non Class. Logics.
Jeffrey D. Smith, End Semester Mca, D. Kozen, 2009, Lecture Notes in Computer Science.
Dexter Kozen, D. Kozen, 1994, Inf. Comput..
Rohit Parikh, Dexter Kozen, D. Kozen, 1981, Theor. Comput. Sci..
Dexter Kozen, D. Kozen, 1980, Theor. Comput. Sci..
P. Panangaden, D. Kozen, R. Mardare, 2020, ArXiv.
D. Kozen, Alexandra Silva, Tobias Kapp'e, 2021, ICALP.
Dexter Kozen, D. Kozen, 2008, 2008 23rd Annual IEEE Symposium on Logic in Computer Science.
Dexter Kozen, D. Kozen, 1981, Logic of Programs.
Alexandra Silva, Helle Hvid Hansen, Prakash Panangaden, 2020, ArXiv.
Dexter Kozen, D. Kozen, 1976, 17th Annual Symposium on Foundations of Computer Science (sfcs 1976).
D. Kozen, 1999, MFCS.
Dexter Kozen, D. Kozen, 2011, MFPS.
David Harel, Rohit Parikh, Dexter Kozen, 1980, 21st Annual Symposium on Foundations of Computer Science (sfcs 1980).
Yaron Minsky, Dexter Kozen, Brian Christopher Smith, 1998, Proceedings DCC '98 Data Compression Conference (Cat. No.98TB100225).
D. Kozen, Jean-Baptiste Jeannin, Alexandra Silva, 2013, Mathematical Structures in Computer Science.
Alexandra Silva, Dexter Kozen, Konstantinos Mamouras, 2015, J. Log. Algebraic Methods Program..
Jean-Baptiste Jeannin, Dexter Kozen, Alexandra Silva, 2012 .
Michael Rathjen, M. Dezani-Ciancaglini, F. Honsell, 2014 .
Sandeep Sen, Amit Kumar, D. Kozen, 2009, Lecture Notes in Computer Science.
Bakhadyr Khoussainov, Nodira Khoussainova, D. Kozen, 2012, Automata and Computability.