Vincent Danos

发表

Guillaume Terradot, Andreea Beica, Andrea Weiße, 2018, SASB.
Vincent Danos, Eric J. Deeds, Jean Krivine, 2012, PloS one.
Vincent Danos, Jean-Baptiste Joinet, Harold Schellinx, 1993, Kurt Gödel Colloquium.
Cosimo Laneve, Vincent Danos, C. Laneve, 2003, CMSB.
Elham Kashefi, Vincent Danos, 2007, Electron. Notes Theor. Comput. Sci..
Cosimo Laneve, Vincent Danos, 2003, ESOP.
Vincent Danos, Hugo Herbelin, Laurent Regnier, 1996, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.
Vincent Danos, Ilias Garnier, V. Danos, 2014, Horizons of the Mind.
Andreea Beica, Vincent Danos, 2016, HSB.
Elham Kashefi, Vincent Danos, Prakash Panangaden, 2009 .
Vincent Danos, Jean-Baptiste Joinet, Harold Schellinx, 1995, Arch. Math. Log..
Vincent Danos, Russell Harmer, Jean Krivine, 2008, Workshop on Membrane Computing.
Vincent Danos, Jean Krivine, V. Danos, 2004, CONCUR.
Vincent Danos, Marc Chiaverini, 2008 .
Vincent Danos, Russell Harmer, Jean Krivine, 2007, CONCUR.
Vincent Danos, Prakash Panangaden, Josée Desharnais, 2003, CONCUR.
Vincent Danos, Laurent Regnier, L. Regnier, 1989, Arch. Math. Log..
Vincent Danos, 2009, Electron. Notes Theor. Comput. Sci..
Vincent Danos, Prakash Panangaden, Gordon D. Plotkin, 2009, CALCO.
Reiko Heckel, Vincent Danos, Pawel Sobocinski, 2014, ICGT.
Heinz Koeppl, Vincent Danos, John Wilson-Kanamori, 2011, DNA.
Vincent Danos, Russell Harmer, 2000, Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.99CB36332).
Vincent Danos, Julien Prat, Stefania Marcassa, 2024, SSRN Electronic Journal.
Vincent Danos, Tobias Heindel, Sandro Stucki, 2014, ICFEM.
Vincent Danos, Fabien Tarissan, 2006, Natural Computing.
Elham Kashefi, Vincent Danos, Brian Coyle, 2019, npj Quantum Information.
Vincent Danos, Hugo Herbelin, Laurent Regnier, 1996, LICS 1996.
Elham Kashefi, Vincent Danos, Prakash Panangaden, 2006, ICALP.
Vincent Danos, Jean-Baptiste Joinet, 2003, Inf. Comput..
Elham Kashefi, Vincent Danos, Prakash Panangaden, 2007, Electron. Notes Theor. Comput. Sci..
Vincent Danos, Jean Krivine, V. Danos, 2005, CONCUR.
Vincent Danos, S. Barry Cooper, 2013, Int. J. Softw. Informatics.
Thomas Ehrhard, Vincent Danos, Patrick Baillot, 1997, CSL.
Thomas Ehrhard, Vincent Danos, Patrick Baillot, 1997, Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science.
Vincent Danos, Sandro Stucki, Ricardo Honorato-Zimmer, 2015, Electron. Notes Theor. Comput. Sci..
Vincent Danos, Ohad Kammar, Fredrik Dahlqvist, 2016, CONCUR.
Vincent Danos, Jean Krivine, 2007, Electron. Notes Theor. Comput. Sci..
Vincent Danos, Fredrik Dahlqvist, Ilias Garnier, 2018, MFPS.
Vincent Danos, Laurent Regnier, Marco Pedicini, 1996, CSL.
Vincent Danos, William Waites, Matteo Cavaliere, 2018, IEEE Access.
Vincent Danos, Nathalie Chabrier-Rivier, Marc Chiaverini, 2004 .
Vincent Danos, Ohad Kammar, Giorgio Bacci, 2011, CALCO.
Vincent Danos, Russell Harmer, Ricardo Honorato-Zimmer, 2013, CONCUR.
Vincent Danos, Ellie D'Hondt, V. Danos, 2008, DCM@ICALP.
Vincent Danos, Prakash Panangaden, Josée Desharnais, 2004, Electron. Notes Theor. Comput. Sci..
Vincent Danos, Prakash Panangaden, Gordon D. Plotkin, 2009, ICALP.
Vincent Danos, Jean Krivine, Jérôme Feret, 2007, APLAS.
Vincent Danos, Emmanuel Beffara, 2003, ICFP '03.
Vincent Danos, John Wilson-Kanamori, Ricardo Honorato-Zimmer, 2015, Methods in molecular biology.
Vincent Danos, Fredrik Dahlqvist, Ilias Garnier, 2016, MFPS.
Vincent Danos, Prakash Panangaden, Elham Kashefi, 2005 .
Vincent Danos, Matteo Cavaliere, William Waites, 2018, Methods in molecular biology.
Vincent Danos, Jean Krivine, Jérôme Feret, 2010 .
Glynn Winskel, Vincent Danos, Russell Harmer, 2013, Math. Struct. Comput. Sci..
Elham Kashefi, Vincent Danos, Martin Rötteler, 2008, TQC.
Elham Kashefi, Vincent Danos, Prakash Panangaden, 2004, JACM.
Vincent Danos, Russell Harmer, V. Danos, 2001, CSL.
Vincent Danos, Jean Krivine, Jérôme Feret, 2008, VMCAI.
Vincent Danos, Sylvain Pradalier, 2004, CMSB.
Vincent Danos, François Laviolette, Prakash Panangaden, 2006, Inf. Comput..
Vincent Danos, Matteo Cavaliere, David Manheim, 2020 .
Vincent Danos, Laurent Regnier, L. Regnier, 1999, Linear Logic Tokyo Meeting.
Vincent Danos, Nicolas Oury, 2010, DCM.
Christopher D. Thompson-Walsh, Glynn Winskel, Vincent Danos, 2012, FSTTCS.
Reiko Heckel, Vincent Danos, Pawel Sobocinski, 2014, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Vincent Danos, William Waites, John Wilson-Kanamori, 2015 .
Vincent Danos, Paolo Zuliani, Goksel Misirli, 2016 .
Vincent Danos, Jean Krivine, Jérôme Feret, 2009, Proceedings of the National Academy of Sciences.
Vincent Danos, François Képès, Vincent Schächter, 2006, Trans. Comp. Sys. Biology.
Vincent Danos, Tobias Heindel, Sandro Stucki, 2014, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Vincent Danos, Tobias Heindel, Sandro Stucki, 2020, CMSB.
Vincent Danos, Fabien Tarissan, 2005, IWINAC.
Vincent Danos, Josée Desharnais, P. Panangaden, 2003, 18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings..
Vincent Danos, Jean Krivine, Fabien Tarissan, 2007, Electron. Notes Theor. Comput. Sci..
Cosimo Laneve, Vincent Danos, 2007, Electron. Notes Theor. Comput. Sci..
Vincent Danos, Jean Krivine, Jérôme Feret, 2009 .
Vincent Danos, Tobias Heindel, Sandro Stucki, 2015, RC.
Vincent Danos, Jean Krivine, Jérôme Feret, 2010, Chaos.
Thomas Ehrhard, Vincent Danos, V. Danos, 2011, Inf. Comput..
Vincent Danos, Jean Krivine, 2003 .
Vincent Danos, Jean-Louis Krivine, V. Danos, 1993, Lecture Notes in Computer Science.
Vincent Danos, Fredrik Dahlqvist, Ilias Garnier, 2017, FoSSaCS.
Vincent Danos, Russell Harmer, 2002, TOCL.
Cosimo Laneve, Vincent Danos, C. Laneve, 2004, Theor. Comput. Sci..
Vincent Danos, Fredrik Dahlqvist, Ilias Garnier, 2016 .
Vincent Danos, Mariangiola Dezani-Ciancaglini, 2008, Electron. Notes Theor. Comput. Sci..
Vincent Danos, Fredrik Dahlqvist, Ilias Garnier, 2016 .
Vincent Danos, Jean-Baptiste Joinet, Harold Schellinx, 1997, Journal of Symbolic Logic.
Heinz Koeppl, Vincent Danos, H. Koeppl, 2015, Dagstuhl Reports.
Vincent Danos, J. Douglas Armstrong, Oksana Sorokina, 2013, Bioinform..
Vincent Danos, Tobias Heindel, Sandro Stucki, 2014, ICGT.
Andreea Beica, Vincent Danos, 2016 .
Vincent Danos, Goksel Misirli, Anil Wipat, 2018, ACS synthetic biology.
Vincent Danos, Sandro Stucki, Ricardo Honorato-Zimmer, 2015, Electron. Notes Theor. Comput. Sci..
Vincent Danos, Laurent Regnier, 1993, [1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science.
Vincent Danos, Laurent Regnier, 1999, Theor. Comput. Sci..
Vincent Danos, Russell Harmer, Ricardo Honorato-Zimmer, 2013, CONCUR.
Vincent Danos, Jean Krivine, Pawel Sobocinski, 2006, EXPRESS.
Heinz Koeppl, Vincent Danos, Linus J. Schumacher, 2009 .
Vincent Danos, Ilias Garnier, Nicolas Behr, 2016, 2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Vincent Danos, Ilias Garnier, 2015, MFPS.
Vincent Danos, Josée Desharnais, 2003, FICS.
Vincent Danos, Ilias Garnier, Nicolas Behr, 2019, Log. Methods Comput. Sci..
Jakob Grue Simonsen, Vincent Danos, Tobias Heindel, 2017, FoSSaCS.
Vincent Danos, Jean-Baptiste Joinet, V. Danos, 1999 .
Vincent Danos, Jean-Baptiste Joinet, Harold Schellinx, 1996, Electron. Notes Theor. Comput. Sci..
Vincent Danos, Emmanuel Beffara, 2003, ACM SIGPLAN Notices.
Vincent Danos, Linus J. Schumacher, 2009, Theor. Comput. Sci..
Vincent Danos, Nicolas Oury, V. Danos, 2013, Mathematical Structures in Computer Science.
Cosimo Laneve, Vincent Danos, Andrea Asperti, 1994, Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science.
Vincent Danos, Russell Harmer, Jean Krivine, 2008, FMSB.
Vincent Danos, Prakash Panangaden, Gordon Plotkin, 2009 .
Vincent Danos, Ricardo Honorato-Zimmer, V. Danos, 2016, 2016 IEEE 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W).
Heinz Koeppl, Vincent Danos, John Wilson-Kanamori, 2011 .
Vincent Danos, Russell Harmer, Jean Krivine, 2009, Trans. Comp. Sys. Biology.
Vincent Danos, Fredrik Dahlqvist, Ilias Garnier, 2016, CONCUR.
Vincent Danos, Goksel Misirli, Anil Wipat, 2018, ArXiv.
Vincent Danos, Laurent Regnier, Hugo Herbelin, 1996 .
Vincent Danos, Jean Krivine, Troels C. Damgaard, 2008 .
Vincent Danos, Min Zhang, Jean Krivine, 2008, Theor. Comput. Sci..
Vincent Danos, Fredrik Dahlqvist, Ilias Garnier, 2016 .
Vincent Danos, Prakash Panangaden, Gordon D. Plotkin, 2009, JACM.
Vincent Danos, François Fages, Vincent Schächter, 2004, Theor. Comput. Sci..
Vincent Danos, Jean-Louis Krivine, 2000, CSL.
Vincent Danos, Jean Krivine, Arndt Benecke, 2009, CAV.
Vincent Danos, Laurent Regnier, 1993, LICS 1993.
Vincent Danos, Guoli Yang, V. Danos, 2016, 2016 IEEE 10th International Conference on Self-Adaptive and Self-Organizing Systems (SASO).
Vincent Danos, Julien Prat, Hamza El Khalloufi, 2021, Financial Cryptography Workshops.
Vincent Danos, Jean Krivine, 2004 .
Vincent Danos, François Laviolette, Prakash Panangaden, 2005 .
Elham Kashefi, Vincent Danos, Harold Ollivier, 2006, quant-ph/0611273.
Vincent Danos, Laurent Regnier, L. Regnier, 1995 .
Vincent Danos, Tobias Heindel, Ilias Garnier, 2016, 1612.06240.
Christopher D. Thompson-Walsh, Glynn Winskel, Vincent Danos, 2012 .
Vincent Danos, Laurent Regnier, L. Regnier, 2004 .
Vincent Danos, Vasilis Dakos, Guoli Yang, 2016, Scientific Reports.
Thomas Ehrhard, Vincent Danos, Patrick Baillot, 1997 .
Elham Kashefi, Vincent Danos, Niel de Beaudrap, 2006 .
Vincent Danos, Peter S. Swain, Diego A. Oyarzún, 2015, Proceedings of the National Academy of Sciences.
Vincent Danos, Jean Krivine, Walter Fontana, 2007 .