Prakash Panangaden

发表

Alexandra Silva, Marcello M. Bonsangue, Jan J. M. M. Rutten, 2014, ACM Trans. Comput. Log..
Yixiang Chen, Prakash Panangaden, Guo-Qiang Zhang, 2006, Journal of Iron and Steel Research International.
Prakash Panangaden, Marta Kwiatkowska, Franck van Breugel, 2004 .
Marc G. Bellemare, Doina Precup, Prakash Panangaden, 2020, AISTATS.
Prakash Panangaden, James R. Russell, 1989, Mathematical Foundations of Programming Semantics.
Prakash Panangaden, David B. Benson, James R. Russell, 1990 .
Elham Kashefi, Prakash Panangaden, S. Barry Cooper, 2013, Math. Struct. Comput. Sci..
Prakash Panangaden, Marija Cubric, P. Panangaden, 1993, CONCUR.
Prakash Panangaden, Radu Mardare, Sophia Knight, 2012, Logic and Program Semantics.
Glenn H. MacEwen, Prakash Panangaden, Janice I. Glasgow, 1990, [1990] Proceedings. The Computer Security Foundations Workshop III.
Michael W. Mislove, Prakash Panangaden, Catherine A. Meadows, 2012, MFPS.
Guang R. Gao, Prakash Panangaden, Ramaswamy Govindarajan, 1992, [Proceedings] ICASSP-92: 1992 IEEE International Conference on Acoustics, Speech, and Signal Processing.
Prakash Panangaden, Robert M. Keller, 2005, Distributed Computing.
Prakash Panangaden, P. Panangaden, 2009 .
Elham Kashefi, Vincent Danos, Prakash Panangaden, 2009 .
Radha Jagadeesan, Prakash Panangaden, Vineet Gupta, 2002, CONCUR.
Prakash Panangaden, Catuscia Palamidessi, Sophia Knight, 2009, TOCL.
Prakash Panangaden, Borja Balle, Pascale Gourdeau, 2017, ICALP.
Prakash Panangaden, Catuscia Palamidessi, Konstantinos Chatzikokolakis, 2008, J. Comput. Secur..
Prakash Panangaden, Nicolas Gagné, P. Panangaden, 2017, MFPS.
Prakash Panangaden, Bob Coecke, Peter Selinger, 2011, Electron. Notes Theor. Comput. Sci..
Prakash Panangaden, P. Panangaden, 2012, Logic and Program Semantics.
Glynn Winskel, Prakash Panangaden, Thomas T. Hildebrandt, 2004, Math. Struct. Comput. Sci..
Doina Precup, Prakash Panangaden, Gheorghe Comanici, 2015, AAAI.
Prakash Panangaden, Brigitte Pientka, Andrew Cave, 2014, POPL.
Radha Jagadeesan, Prakash Panangaden, Vineet Gupta, 1999 .
Prakash Panangaden, 2016, Theory and Practice of Formal Methods.
Mehrnoosh Sadrzadeh, Prakash Panangaden, 2010, LAM@LICS.
Rance Cleaveland, Prakash Panangaden, P. Panangaden, 1988, International Journal of Parallel Programming.
Prakash Panangaden, Vijay A. Saraswat, Martin C. Rinard, 1991, POPL '91.
Vincent Danos, Prakash Panangaden, Josée Desharnais, 2003, CONCUR.
Kim G. Larsen, Prakash Panangaden, Radu Mardare, 2013, 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science.
Robert L. Constable, Prakash Panangaden, N. P. Mendler, 1986, LICS.
Vincent Danos, Prakash Panangaden, Gordon D. Plotkin, 2009, CALCO.
Prakash Panangaden, Radu Mardare, Gordon D. Plotkin, 2016, 2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Glenn H. MacEwen, Prakash Panangaden, Janice I. Glasgow, 1992, TOCS.
Prakash Panangaden, Richard Blute, Dorette Pronk, 2007, Computation, Meaning, and Logic.
Prakash Panangaden, Ralph Kopperman, Dieter Spreen, 2005, Spatial Representation.
Doina Precup, Prakash Panangaden, Borja Balle, 2015, 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science.
Prakash Panangaden, Keye Martin, 2008, CiE.
Luca Aceto, Prakash Panangaden, 2002, Nord. J. Comput..
Prakash Panangaden, Giorgio Bacci, Radu Mardare, 2018, LICS.
Prakash Panangaden, Ichiro Hasuo, 2016, New Generation Computing.
Prakash Panangaden, Vasant Shanbhogue, P. Panangaden, 1992, Inf. Comput..
Elham Kashefi, Vincent Danos, Prakash Panangaden, 2006, ICALP.
Jean-Francois Girard, Renato De Mori, Ettore Merlo, 1993, [1993] Proceedings Working Conference on Reverse Engineering.
Elham Kashefi, Vincent Danos, Prakash Panangaden, 2007, Electron. Notes Theor. Comput. Sci..
Radha Jagadeesan, Prakash Panangaden, Vineet Gupta, 2000, Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.99CB36332).
Abbas Edalat, Prakash Panangaden, Josée Desharnais, 1997, Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science.
Kim G. Larsen, Prakash Panangaden, Radu Mardare, 2012, MFCS.
Prakash Panangaden, Keye Martin, 2005, Spatial Representation.
Joelle Pineau, Doina Precup, Prakash Panangaden, 2007 .
Frank D. Valencia, Prakash Panangaden, Catuscia Palamidessi, 2012, CONCUR.
Doina Precup, Prakash Panangaden, Rosie Zhao, 2020, ArXiv.
Doina Precup, Prakash Panangaden, Norm Ferns, 2005, UAI.
Prakash Panangaden, 1988, FSTTCS.
Prakash Panangaden, 2000, PPDP '00.
Radha Jagadeesan, Prakash Panangaden, Vineet Gupta, 2002, Proceedings 17th Annual IEEE Symposium on Logic in Computer Science.
Doina Precup, Prakash Panangaden, Norm Ferns, 2004, AAAI.
Prakash Panangaden, Catuscia Palamidessi, Konstantinos Chatzikokolakis, 2007, 20th IEEE Computer Security Foundations Symposium (CSF'07).
Prakash Panangaden, Robert M. Keller, P. Panangaden, 1984, Seminar on Concurrency.
Prakash Panangaden, Kim Taylor, P. Panangaden, 1988, PODC '88.
Prakash Panangaden, Ralph Kopperman, Dieter Spreen, 2006, Computational Structures for Modelling Space, Time and Causality.
Prakash Panangaden, P. Panangaden, 2001, Theor. Comput. Sci..
Prakash Panangaden, Florence Clerc, Harrison Humphrey, 2017, Models, Algorithms, Logics and Tools.
Prakash Panangaden, Philip J. Scott, R. A. G. Seely, 1995, Nord. J. Comput..
Prakash Panangaden, Catuscia Palamidessi, Romain Beauxis, 2007, TGC.
Radha Jagadeesan, Prakash Panangaden, Vineet Gupta, 2003, Inf. Comput..
Prakash Panangaden, 2011, 2011 IEEE 26th Annual Symposium on Logic in Computer Science.
Prakash Panangaden, Ellie D'Hondt, P. Panangaden, 2005, Mathematical Structures in Computer Science.
Renjie Liao, Prakash Panangaden, William L. Hamilton, 2020, ICML.
Prakash Panangaden, Nick Bezhanishvili, Clemens Kupke, 2012, WoLLIC.
Prakash Panangaden, 2017, SIGL.
Prakash Panangaden, Ellie D'Hondt, 2006, Quantum Inf. Comput..
Prakash Panangaden, Uwe Nestmann, 2002, EXPRESS.
Prakash Panangaden, Radu Mardare, Gordon D. Plotkin, 2018, Log. Methods Comput. Sci..
Guang R. Gao, Xinmin Tian, Shashank S. Nemawarkar, 1995, PACT.
Alexandra Silva, Helle Hvid Hansen, Prakash Panangaden, 2020, ArXiv.
Jennifer Widom, Prakash Panangaden, P. Panangaden, 1988, CAAP.
Vincent Danos, Prakash Panangaden, Josée Desharnais, 2004, Electron. Notes Theor. Comput. Sci..
Vincent Danos, Prakash Panangaden, Gordon D. Plotkin, 2009, ICALP.
Jean-Francois Girard, Renato De Mori, Ettore Merlo, 1995, IEEE Softw..
Doina Precup, Prakash Panangaden, Norm Ferns, 2011, SIAM J. Comput..
Prakash Panangaden, 2009 .
Prakash Panangaden, Richard Blute, Sergey Slavnov, 2012, Appl. Categorical Struct..
Prakash Panangaden, P. Panangaden, 2015, SIGL.
Doina Precup, Prakash Panangaden, Pablo Samuel Castro, 2009, IJCAI.
Doina Precup, Prakash Panangaden, Borja Balle, 2017, Mathematical Structures in Computer Science.
Prakash Panangaden, P. Panangaden, 2011, FoSSaCS.
Prakash Panangaden, Catuscia Palamidessi, Konstantinos Chatzikokolakis, 2008, Inf. Comput..
Prakash Panangaden, Costin Badescu, P. Panangaden, 2015, QPL.
Vincent Danos, Prakash Panangaden, Elham Kashefi, 2005 .
Prakash Panangaden, P. Panangaden, 1984 .
Prakash Panangaden, P. Panangaden, 2013, 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science.
Elham Kashefi, Vincent Danos, Prakash Panangaden, 2004, JACM.
Prakash Panangaden, Bartek Klin, Nathanaël Fijalkow, 2017, ICALP.
Radha Jagadeesan, Prakash Panangaden, Vineet Gupta, 2004, QEST.
Pedro Amorim, Prakash Panangaden, Radu Mardare, 2020, ArXiv.
Vincent Danos, François Laviolette, Prakash Panangaden, 2006, Inf. Comput..
Sofiène Tahar, Prakash Panangaden, Mohamed Yousri Mahmoud, 2015, FMICS.
Glenn H. MacEwen, Prakash Panangaden, Janice I. Glasgow, 1988, DBSec.
Radha Jagadeesan, Prakash Panangaden, Vineet Gupta, 2004, Theor. Comput. Sci..
Lutz Straßburger, Prakash Panangaden, Alessio Guglielmi, 2014, Categories and Types in Logic, Language, and Physics.
Prakash Panangaden, Fatima Ahmad, 2001 .
Doina Precup, Prakash Panangaden, Gheorghe Comanici, 2015, NIPS.
Prakash Panangaden, Clark Verbrugge, P. Panangaden, 2000, Theor. Comput. Sci..
Prakash Panangaden, P. Panangaden, 1998, PROBMIV.
Kim G. Larsen, Robert Furber, Prakash Panangaden, 2017, 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Sanjay V. Rajopadhye, Prakash Panangaden, 1986, ICPP.
Prakash Panangaden, Yannick Delbecque, P. Panangaden, 2008, MFPS.
Joelle Pineau, Doina Precup, Prakash Panangaden, 2006, AAAI.
Prakash Panangaden, James A. Altucher, 1990, CADE.
Prakash Panangaden, Ralph Kopperman, Dieter Spreen, 2005, Spatial Representation.
Prakash Panangaden, John H. Reppy, 1997 .
Prakash Panangaden, Ellie D'Hondt, 2005, FSTTCS.
Ian Mackie, Prakash Panangaden, Bob Coecke, 2011, Electron. Notes Theor. Comput. Sci..
Prakash Panangaden, P. Panangaden, 2009 .
Prakash Panangaden, Radu Mardare, Dexter Kozen, 2013, MFCS.
Radha Jagadeesan, Prakash Panangaden, P. Panangaden, 1990, ICALP.
Prakash Panangaden, Sophia Knight, Konstantinos Chatzikokolakis, 2009, SOFSEM.
Prakash Panangaden, 2017, J. Log. Algebraic Methods Program..
Prakash Panangaden, Florence Clerc, Linan Chen, 2020, MFPS.
Prakash Panangaden, Alan J. Demers, Anne Neirynck, 1987, POPL '87.
Prakash Panangaden, Kim Taylor, 2005, Distributed Computing.
Prakash Panangaden, Catuscia Palamidessi, Konstantinos Chatzikokolakis, 2006, Inf. Comput..
Glynn Winskel, Prakash Panangaden, Thomas T. Hildebrandt, 1998, CONCUR.
Doina Precup, Prakash Panangaden, Gheorghe Comanici, 2012, 2012 Ninth International Conference on Quantitative Evaluation of Systems.
Glynn Winskel, Prakash Panangaden, Thomas Hildebrandt, 1997 .
Prakash Panangaden, Ralph Kopperman, Dieter Spreen, 2007, Computational Structures for Modelling Space, Time and Causality.
Prakash Panangaden, Josée Desharnais, 2004, Electron. Notes Theor. Comput. Sci..
Abbas Edalat, Prakash Panangaden, Josée Desharnais, 1998, Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.98CB36226).
Radha Jagadeesan, Prakash Panangaden, Vineet Gupta, 1999 .
Glynn Winskel, Andrei Broder, Radha Jagadeesan, 2005, LICS.
Glenn H. MacEwen, Prakash Panangaden, Janice I. Glasgow, 1988, CSFW.
Prakash Panangaden, Josée Desharnais, P. Panangaden, 2003, J. Log. Algebraic Methods Program..
Radha Jagadeesan, Prakash Panangaden, Vineet Gupta, 2005, First International Conference on the Quantitative Evaluation of Systems, 2004. QEST 2004. Proceedings..
Radha Jagadeesan, Prakash Panangaden, Vineet Gupta, 1999, POPL '99.
Marc G. Bellemare, Doina Precup, Prakash Panangaden, 2019, SafeAI@AAAI.
Doina Precup, Prakash Panangaden, Jonathan Taylor, 2008, NIPS.
Prakash Panangaden, Richard Blute, R. A. G. Seely, 1993, MFPS.
Luca Aceto, Prakash Panangaden, 2001, EXPRESS.
Doina Precup, Prakash Panangaden, Pablo Samuel Castro, 2006, UAI.
Prakash Panangaden, Radu Mardare, Gordon D. Plotkin, 2017, 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Mehrnoosh Sadrzadeh, Prakash Panangaden, P. Panangaden, 2010, AMAST.
Prakash Panangaden, 2017, SIGL.
Guang R. Gao, Prakash Panangaden, Ramaswamy Govindarajan, 1992 .
Prakash Panangaden, Linan Chen, Florence Clerc, 2019, MFPS.
Prakash Panangaden, Alan J. Demers, Anne Neirynck, 2005, International Journal of Parallel Programming.
Prakash Panangaden, Artem Kaznatcheev, 2020, ArXiv.
Prakash Panangaden, Radu Mardare, Dexter Kozen, 2014, MFPS.
Abbas Edalat, Prakash Panangaden, Josée Desharnais, 2002, Inf. Comput..
Jan J. M. M. Rutten, Prakash Panangaden, Marta Z. Kwiatkowska, 2004, CRM monograph series.
Prakash Panangaden, Bob Coecke, Luke Ong, 2013, Lecture Notes in Computer Science.
Doina Precup, Mehrnoosh Sadrzadeh, Prakash Panangaden, 2010, Description Logics.
Gerardo Rubino, Prakash Panangaden, Susanna Donatelli, 2010, Perform. Evaluation.
Prakash Panangaden, 2017, SIGL.
Prakash Panangaden, Steve Kremer, 2009, Electron. Notes Theor. Comput. Sci..
Prakash Panangaden, P. Panangaden, 2014, Theor. Comput. Sci..
Prakash Panangaden, Gary Lindstrom, P. Panangaden, 1984, SLP.
Prakash Panangaden, P. Panangaden, 2013, Computation, Logic, Games, and Quantum Foundations.
Vincent Danos, Prakash Panangaden, Gordon Plotkin, 2009 .
Rance Cleaveland, Robert L. Constable, Prakash Panangaden, 1986 .
Prakash Panangaden, P. Panangaden, 2011, CiE.
Prakash Panangaden, Marta Kwiatkowska, Franck van Breugel, 2004 .
Prakash Panangaden, Ichiro Hasuo, Bob Coecke, 2014 .
Radha Jagadeesan, Prakash Panangaden, Josée Desharnais, 1999, CONCUR.
Radha Jagadeesan, Prakash Panangaden, Vineet Gupta, 2002, Inf. Comput..
Radha Jagadeesan, Keshav Pingali, Prakash Panangaden, 1989, [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science.
Prakash Panangaden, Keye Martin, P. Panangaden, 2008, MFPS.
Prakash Panangaden, P. Panangaden, 1984, Seminar on Concurrency.
Prakash Panangaden, Nicolas Gagné, P. Panangaden, 2017, ArXiv.
Prakash Panangaden, David A. McAllester, Vasant Shanbhogue, 1988, [Proceedings 1988] 29th Annual Symposium on Foundations of Computer Science.
Prakash Panangaden, Eugene W. Stark, Vasant Shanbhogue, 1990, ICALP.
Prakash Panangaden, Eugene W. Stark, P. Panangaden, 1988, ICALP.
Doina Precup, Prakash Panangaden, Alexandre Bouchard-Côté, 2005, Second International Conference on the Quantitative Evaluation of Systems (QEST'05).
Prakash Panangaden, Riccardo Pucella, 2001, Theor. Comput. Sci..
Vincent Danos, Prakash Panangaden, Gordon D. Plotkin, 2009, JACM.
Herbert H. J. Hum, Laurie Hendren, Lixin Tao, 1992 .
Radha Jagadeesan, Keshav Pingali, Prakash Panangaden, 1991, TOPL.
Joelle Pineau, Monica Dinculescu, Doina Precup, 2011, TbiLLC.
Prakash Panangaden, Bartek Klin, Nathanaël Fijalkow, 2019, Inf. Comput..
Prakash Panangaden, Marta Kwiatkowska, Franck van Breugel, 2004 .
Prakash Panangaden, Carol Critchlow, 2005, Acta Informatica.
Prakash Panangaden, Vijay A. Saraswat, Philip J. Scott, 1992, REX Workshop.
Robert Furber, Prakash Panangaden, Giorgio Bacci, 2018, LICS.
Prakash Panangaden, David A. McAllester, Vasant Shanbhogue, 1988, [Proceedings 1988] 29th Annual Symposium on Foundations of Computer Science.
Robert Furber, Prakash Panangaden, Radu Mardare, 2021, ArXiv.
Prakash Panangaden, Radu Mardare, Gordon Plotkin, 2021, 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Prakash Panangaden, Benoît Valiron, Shane Mansfield, 2021, Electronic Proceedings in Theoretical Computer Science.
Prakash Panangaden, Mark Rowland, Pablo Samuel Castro, 2021, NeurIPS.
Prakash Panangaden, Giorgio Bacci, Radu Mardare, 2021, CALCO.
Prakash Panangaden, Shane Mansfield, Pablo Arrighi, 2021, Electronic Proceedings in Theoretical Computer Science.
Prakash Panangaden, Guillaume Rabusseau, Clara Lacroce, 2021, ArXiv.
Doina Precup, Prakash Panangaden, Borja Balle, 2021, ICALP.
Prakash Panangaden, Richard Blute, P. Panangaden, 2010 .
Prakash Panangaden, Richard Blute, R. A. G. Seely, 1994 .
Prakash Panangaden, Michael I. Schwartzbach, M. I. Schwartzbach, 1985 .
Renjie Liao, Prakash Panangaden, William L. Hamilton, 2020, ICML.
Frank D. Valencia, Prakash Panangaden, Catuscia Palamidessi, 2012 .
Prakash Panangaden, P. Panangaden, Bruce Nelson, 1982 .
Prakash Panangaden, Marija Cubri, 1993 .
Prakash Panangaden, Richard Blute, P. Panangaden, 2010 .
Prakash Panangaden, Michael I. Schwartzbach, M. I. Schwartzbach, 1989 .
Vincent Danos, François Laviolette, Prakash Panangaden, 2005 .
Prakash Panangaden, Ross Duncan, Alex H. Lang, 2009, 0909.4453.
Mehrnoosh Sadrzadeh, Prakash Panangaden, 1978 .
Prakash Panangaden, Keye Martin, 2004 .
Prakash Panangaden, Vasant Shanbhogue, P. Panangaden, 1987 .
Joelle Pineau, Doina Precup, Prakash Panangaden, 2007 .
Prakash Panangaden, Patrick Hayden, Kamil Bradler, 2008, 0807.4536.