Jorge A. Pérez

发表

Ornela Dardha, Jorge A. Pérez, Ornela Dardha, 2015, EXPRESS/SOS.
Camilo Rueda, Frank D. Valencia, Julian Gutierrez, 2007, Electron. Notes Theor. Comput. Sci..
Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Jorge A. Pérez, 2016, Formal Aspects of Computing.
Jorge A. Pérez, Alen Arslanagic, Erik Voogd, 2019, ECOOP.
Jorge A. Pérez, Jaime Arias, Mauricio Cano, 2016, ICTCS.
Camilo Rueda, Frank D. Valencia, Catuscia Palamidessi, 2006, ICLP.
Claudio Antares Mezzina, Jorge A. Pérez, 2017, PPDP.
Nobuko Yoshida, Dimitrios Kouzapas, Jorge A. Pérez, 2016, Acta Informatica.
Jovanka Pantovic, Jorge A. Pérez, Jovana Dedeic, 2017, SAC.
Carlos Olarte, Hugo A. López, Jorge A. Pérez, 2009, PLACES.
João Costa Seco, Hugo Torres Vieira, Luís Caires, 2011, ESOP.
César Sánchez, Adrian Francalanza, Jorge A. Pérez, 2018, Lectures on Runtime Verification.
Claudio Antares Mezzina, Jorge A. Pérez, 2016, ICTCS.
Jorge A. Pérez, 2017, SIGL.
Bernardo Toninho, Frank Pfenning, Luís Caires, 2013, ESOP.
Jovanka Pantovic, Jorge A. Pérez, Jovana Dedeic, 2015, EXPRESS/SOS.
Mario Bravetti, Gianluigi Zavattaro, Jorge A. Pérez, 2010, FACS.
Bernardo Toninho, Frank Pfenning, Luís Caires, 2019, ArXiv.
Bernardo Toninho, Frank Pfenning, Jorge A. Pérez, 2019, CONCUR.
Jorge A. Pérez, Cinzia Di Giusto, 2013, PLACES.
Jorge A. Pérez, Cinzia Di Giusto, 2013, SAC '13.
Jorge A. Pérez, 2009, IEEE Design & Test of Computers.
Bernardo Toninho, Frank Pfenning, Luís Caires, 2014, Inf. Comput..
Hugo Torres Vieira, Jovanka Pantovic, Silvia Ghilezan, 2016, PLACES.
Camilo Rueda, Frank D. Valencia, Jorge A. Pérez, 2008, ICLP.
Mario Bravetti, Gianluigi Zavattaro, Jorge A. Pérez, 2011, Log. Methods Comput. Sci..
Mario Bravetti, Gianluigi Zavattaro, Jorge A. Pérez, 2011, FMOODS/FORTE.
Ornela Dardha, Jorge A. Pérez, Ornela Dardha, 2018, J. Log. Algebraic Methods Program..
Nobuko Yoshida, Dimitrios Kouzapas, Jorge A. Pérez, 2015, ArXiv.
Jorge A. Pérez, Cinzia Di Giusto, 2016, Formal Aspects of Computing.
Camilo Rueda, Alberto Delgado, Carlos Olarte, 2004, MOZ.
Claudio Antares Mezzina, Jorge A. Pérez, 2016, PLACES.
Ivan Lanese, Mario Bravetti, Gianluigi Zavattaro, 2013, SEFM Workshops.
Camilo Rueda, Frank D. Valencia, Martin Leucker, 2019, Math. Struct. Comput. Sci..
Jorge A. Pérez, 2018, SIGL.
Ivan Lanese, Davide Sangiorgi, Alan Schmitt, 2009, ICTCS.
Bernardo Toninho, Peter Thiemann, Massimo Bartoletti, 2015, J. Log. Algebraic Methods Program..
Jorge A. Pérez, Jaime Arias, Mauricio Cano, 2017, FORTE.
Claudio Antares Mezzina, Jorge A. Pérez, 2017, ArXiv.
Camilo Rueda, Alberto Delgado, Jorge A. Pérez, 2005, SARA.
Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Jorge A. Pérez, 2014, BEAT.
Luís Caires, Jorge A. Pérez, Luís Caires, 2017, ESOP.
Hugo A. López, Jorge A. Pérez, 2011, WS-FM.
Gianluigi Zavattaro, Jorge A. Pérez, Cinzia Di Giusto, 2009, ICTAC.
Camilo Rueda, Frank D. Valencia, Gérard Assayag, 2009, ICLP.
Mario Bravetti, Gianluigi Zavattaro, Jorge A. Pérez, 2012, ISoLA.
Bernardo Toninho, Frank Pfenning, Luís Caires, 2012, ESOP.
Camilo Rueda, Hugo A. López, Jorge A. Pérez, 2015, PPDP.
Nobuko Yoshida, Dimitrios Kouzapas, Jorge A. Pérez, 2016, ESOP.
Jorge A. Pérez, Daniele Nantes, Daniele Nantes, 2018, FORTE.
Jorge A. Pérez, 2016, SIGL.
Nobuko Yoshida, Dimitrios Kouzapas, Jorge A. Pérez, 2015, CONCUR.
Bernardo Toninho, Frank Pfenning, Luís Caires, 2013 .
Claudio Antares Mezzina, Jorge A. Pérez, 2017, J. Log. Algebraic Methods Program..
Hugo Torres Vieira, Jovanka Pantovic, Silvia Ghilezan, 2016, Formal Aspects of Computing.
Jovanka Pantovic, Jorge A. Pérez, Jovana Dedeic, 2021, J. Log. Algebraic Methods Program..
Jorge A. Pérez, Daniele Nantes-Sobrinho, Joseph W. N. Paulus, 2021, FSCD.
César Sánchez, Adrian Francalanza, Jorge A. Pérez, 2017 .
Bernardo Toninho, Frank Pfenning, Jorge A. Pérez, 2010 .
Ivan Lanese, Davide Sangiorgi, Alan Schmitt, 2008, Inf. Comput..
Jorge A. Pérez, Daniel Perez, A. Jorge, 2018 .
Jorge A. Pérez, Alex C. Keizer, Henning Basold, 2022, ACM Transactions on Programming Languages and Systems.
Ilaria Castellani, Jorge A. Pérez, Cinzia Di Giusto, 2019 .
Jorge A. Pérez, G. Zavattaro, M. Bravetti, 2010 .
Jorge A. Pérez, I. Lanese, A. Schmitt, 2008, 2008 23rd Annual IEEE Symposium on Logic in Computer Science.
Jorge A. Pérez, D. Sangiorgi, Ivan Lanese, 2008, 2008 23rd Annual IEEE Symposium on Logic in Computer Science.
Jorge A. Pérez, Joseph W. N. Paulus, D. Nantes-Sobrinho, 2021, FSCD.