Cesare Tinelli

发表

Peter Baumgartner, Cesare Tinelli, C. Tinelli, 2005, CADE.
Cesare Tinelli, Konrad Slind, Lucas Wagner, 2017, NFM.
Cesare Tinelli, Christophe Ringeissen, 2003, Theor. Comput. Sci..
Cesare Tinelli, Franz Baader, C. Tinelli, 1998, Inf. Comput..
Cesare Tinelli, Amit Goel, Sava Krstic, 2009, CADE.
Cesare Tinelli, Daniel Larraz, Meng Li, 2019, 2019 IEEE/AIAA 38th Digital Avionics Systems Conference (DASC).
Cesare Tinelli, Andrew Reynolds, 2017, SYNT@CAV.
Christel Baier, Cesare Tinelli, C. Tinelli, 2017, International Journal on Software Tools for Technology Transfer.
Viktor Kuncak, Cesare Tinelli, Andrew Reynolds, 2015, ArXiv.
Cesare Tinelli, Amit Goel, Sava Krstic, 2013, CADE.
Cesare Tinelli, Geoff Sutcliffe, Aaron Stump, 2014, COMPARE.
Cesare Tinelli, Daniel Larraz, M. Fareed Arif, 2020, 2020 Formal Methods in Computer Aided Design (FMCAD).
Cesare Tinelli, Ulrike Sattler, Carsten Lutz, 2019, Description Logic, Theory Combination, and All That.
Peter Baumgartner, Cesare Tinelli, Alexander Fuchs, 2008, LPAR.
Cesare Tinelli, Arie Gurfinkel, Temesghen Kahsai, 2016, SEFM.
Cesare Tinelli, Arie Gurfinkel, Temesghen Kahsai, 2015 .
Cesare Tinelli, Nestan Tsiskaridze, Andrew Reynolds, 2016, HotSoS.
Cesare Tinelli, Andrew Reynolds, Clark W. Barrett, 2017, FroCoS.
Cesare Tinelli, Clark Barrett, Makai Mann, 2020, ArXiv.
Cesare Tinelli, Silvio Ranise, Aaron Stump, 2010, Haifa Verification Conference.
Cesare Tinelli, Clark W. Barrett, Yeting Ge, 2007, CADE.
Cesare Tinelli, Tianyi Liang, 2012, PAAR@IJCAR.
Cesare Tinelli, Andrew Reynolds, Andres Nötzli, 2019, CAV.
Cesare Tinelli, Baoluo Meng, Andrew Reynolds, 2017, CADE.
Cesare Tinelli, Temesghen Kahsai, C. Tinelli, 2011, PDMC.
Cesare Tinelli, Aina Niemetz, Mathias Preiner, 2018, CAV.
Cesare Tinelli, Aina Niemetz, Mathias Preiner, 2018, ArXiv.
Cesare Tinelli, Sanjit A. Seshia, Roberto Sebastiani, 2021, Handbook of Satisfiability.
Cesare Tinelli, Clark W. Barrett, 2018, Handbook of Model Checking.
Cesare Tinelli, Aina Niemetz, Mathias Preiner, 2019, SAT.
Cesare Tinelli, Philipp Rümmer, Thomas Wahl, 2015, 2015 IEEE 22nd Symposium on Computer Arithmetic.
Cesare Tinelli, Scott A. Smolka, Junxing Yang, 2015 .
Christel Baier, Cesare Tinelli, C. Tinelli, 2015, Lecture Notes in Computer Science.
Cesare Tinelli, Amit Goel, Sava Krstic, 2013, CAV.
Cesare Tinelli, Clark W. Barrett, Tim King, 2014, 2014 Formal Methods in Computer-Aided Design (FMCAD).
Cesare Tinelli, Konrad Slind, Alain Mebsout, 2017 .
Cesare Tinelli, Kshitij Bansal, Andrew Reynolds, 2017, Log. Methods Comput. Sci..
Cesare Tinelli, Liana Hadarean, Andrew Reynolds, 2015, LPAR.
Cesare Tinelli, Temesghen Kahsai, Christoph Sticksel, 2013 .
Cesare Tinelli, Simon Cruanes, Jasmin Christian Blanchette, 2016, IJCAR.
Cesare Tinelli, Aaron Stump, Andrew Reynolds, 2012 .
Cesare Tinelli, Franz Baader, C. Tinelli, 2002, RTA.
Cesare Tinelli, Mehdi T. Harandi, 1998, J. Funct. Log. Program..
Calogero G. Zarba, Cesare Tinelli, C. Tinelli, 2003, FTP.
Cesare Tinelli, Franz Baader, C. Tinelli, 2000, FroCoS.
Peter Baumgartner, Cesare Tinelli, Alexander Fuchs, 2009, J. Appl. Log..
Cesare Tinelli, Temesghen Kahsai, Yeting Ge, 2011, NASA Formal Methods.
Cesare Tinelli, Andrew Reynolds, Clark W. Barrett, 2014, 2014 Formal Methods in Computer-Aided Design (FMCAD).
Cesare Tinelli, Daniel Larraz, Andrew Reynolds, 2019, 2019 Formal Methods in Computer Aided Design (FMCAD).
Viktor Kuncak, Cesare Tinelli, Andrew Reynolds, 2019, Formal Methods Syst. Des..
Cesare Tinelli, Nestan Tsiskaridze, Andrew Reynolds, 2016, Formal Methods Syst. Des..
Cesare Tinelli, Liana Hadarean, Aaron Stump, 2013, Formal Methods Syst. Des..
Cesare Tinelli, Temesghen Kahsai, Pierre-Loïc Garoche, 2013, NASA Formal Methods.
Cesare Tinelli, David Brumley, Andrew Reynolds, 2017, CAV.
Peter Baumgartner, Cesare Tinelli, C. Tinelli, 2008, Artif. Intell..
Peter Baumgartner, Cesare Tinelli, Alexander Fuchs, 2006, Int. J. Artif. Intell. Tools.
Cesare Tinelli, Nestan Tsiskaridze, Andrew Reynolds, 2015, FroCos.
Peter Baumgartner, Cesare Tinelli, 2011, CADE.
Cesare Tinelli, Temesghen Kahsai, Pierre-Loïc Garoche, 2012, NASA Formal Methods.
Cesare Tinelli, Mehdi T. Harandi, C. Tinelli, 1996, FroCoS.
Cesare Tinelli, Andrew Reynolds, Leonardo Mendonça de Moura, 2014, 2014 Formal Methods in Computer-Aided Design (FMCAD).
Cesare Tinelli, Guy Katz, Alain Mebsout, 2016, HaTT@IJCAR.
Cesare Tinelli, Albert Oliveras, Harald Ganzinger, 2004, CAV.
Cesare Tinelli, Carsten Fuhs, Viorica Sofronie-Stokkermans, 2017, Dagstuhl Reports.
Cesare Tinelli, 2012, NASA Formal Methods.
Cesare Tinelli, George Hagen, C. Tinelli, 2008, 2008 Formal Methods in Computer-Aided Design.
Cesare Tinelli, Temesghen Kahsai, Pierre-Loïc Garoche, 2012, ArXiv.
Cesare Tinelli, Andrew Reynolds, Clark W. Barrett, 2018, IJCAR.
Cesare Tinelli, Albert Oliveras, Robert Nieuwenhuis, 2005, LPAR.
Cesare Tinelli, Andrew Reynolds, Andres Nötzli, 2019, CAV.
Cesare Tinelli, Sanjit A. Seshia, Roberto Sebastiani, 2021, Handbook of Satisfiability.
Peter Baumgartner, Cesare Tinelli, Björn Pelzer, 2012, J. Symb. Comput..
Peter Baumgartner, Cesare Tinelli, Alexander Fuchs, 2006, LPAR.
Cesare Tinelli, Guy Katz, Liana Hadarean, 2016, 2016 Formal Methods in Computer-Aided Design (FMCAD).
Cesare Tinelli, C. Tinelli, 2003, Journal of Automated Reasoning.
Cesare Tinelli, Nestan Tsiskaridze, Morgan Deters, 2015 .
Cesare Tinelli, Jim Grundy, Alexander Fuchs, 2009, TACAS.
C. A. R. Hoare, Cesare Tinelli, Bernhard Beckert, 2006, IEEE Intelligent Systems.
Cesare Tinelli, Clark Barrett, Andrew Reynolds, 2019, CADE.
Calogero G. Zarba, Cesare Tinelli, C. Tinelli, 2005, Journal of Automated Reasoning.
Viktor Kuncak, Cesare Tinelli, Andrew Reynolds, 2015, CAV.
Cesare Tinelli, Clark Barrett, Andres Nötzli, 2020, IJCAR.
Cesare Tinelli, Andrew Reynolds, Andres Nötzli, 2019, ArXiv.
Cesare Tinelli, Kshitij Bansal, Liana Hadarean, 2014, CAV.
Cesare Tinelli, Jim Grundy, Amit Goel, 2007, TACAS.
Calogero G. Zarba, Cesare Tinelli, 2004, JELIA.
Cesare Tinelli, Philipp Rümmer, Renate A. Schmidt, 2019, Dagstuhl Reports.
Peter Baumgartner, Cesare Tinelli, C. Tinelli, 2003, CADE.
Cesare Tinelli, Clark W. Barrett, Andrew Reynolds, 2020, 2020 Formal Methods in Computer Aided Design (FMCAD).
Cesare Tinelli, Andrew Reynolds, 2011 .
Cesare Tinelli, Carsten Lutz, Frank Wolter, 2019, Lecture Notes in Computer Science.
Cesare Tinelli, Andrew Reynolds, Clark W. Barrett, 2014, CAV.
Maria Paola Bonacina, Cesare Tinelli, Christophe Ringeissen, 2019, Description Logic, Theory Combination, and All That.
Cesare Tinelli, Clark W. Barrett, Igor Shikanian, 2007, PDPAR/PaUL@FLoC.
Cesare Tinelli, Silvio Ranise, C. Tinelli, 2005 .
Cesare Tinelli, Guy Katz, Alain Mebsout, 2017, CAV.
Peter Baumgartner, Cesare Tinelli, Hans de Nivelle, 2005, Electron. Notes Theor. Comput. Sci..
Cesare Tinelli, Andrew Reynolds, Clark W. Barrett, 2017, Theory and Practice of Logic Programming.
Cesare Tinelli, Alain Mebsout, C. Tinelli, 2016, 2016 Formal Methods in Computer-Aided Design (FMCAD).
Cesare Tinelli, Aina Niemetz, Mathias Preiner, 2019, CAV.
Cesare Tinelli, Alain Mebsout, Adrien Champion, 2016, CAV.
Cesare Tinelli, Aina Niemetz, Mathias Preiner, 2019, CADE.
Cesare Tinelli, Daniel Larraz, Andrew Reynolds, 2020, IJCAR.
Cesare Tinelli, Albert Oliveras, Robert Nieuwenhuis, 2006, LPAR.
Cesare Tinelli, Clark W. Barrett, Igor Shikanian, 2007, J. Satisf. Boolean Model. Comput..
Cesare Tinelli, Clark W. Barrett, Yeting Ge, 2007, Annals of Mathematics and Artificial Intelligence.
Cesare Tinelli, Andrew Reynolds, Clark W. Barrett, 2016, IJCAR.
Cesare Tinelli, Daniel Larraz, Mickaël Laurent, 2021, FMICS.
Cesare Tinelli, Aina Niemetz, Mathias Preiner, 2021, TACAS.
Cesare Tinelli, Aina Niemetz, Mathias Preiner, 2022, VMCAI.
Cesare Tinelli, Christophe Ringeissen, Clark Barrett, 2021, CADE.
Cesare Tinelli, Aina Niemetz, Mathias Preiner, 2021, J. Autom. Reason..
Cesare Tinelli, Aina Niemetz, Mathias Preiner, 2021, Formal Methods Syst. Des..
Cesare Tinelli, Sanjit A. Seshia, Roberto Sebastiani, 2021 .
Cesare Tinelli, Daniel Larraz, Heber Herencia-Zapana, 2021, Syst..
Calogero G. Zarba, Cesare Tinelli, 2004 .
Cesare Tinelli, David L. Dill, Sergey Berezin, 2004 .
Cesare Tinelli, Pascal Fontaine, Andrew Reynolds, 2018 .