Edit Profile (opens in new tab) Platania, Lorenzo Compute Distance To: Compute Author ID: platania.lorenzo Published as: Platania, Lorenzo Documents Indexed: 1 Publication since 2006 Co-Authors: 2 Co-Authors with 1 Joint Publication 48 Co-Co-Authors Co-Authors 0 single-authored 1 Armando, Alessandro 1 Mantovani, Jacopo Serials Fields 1 Computer science (68-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 1 Publications have been cited 7 times in 7 Documents Cited by ▼ Year ▼ Bounded model checking of software using SMT solvers instead of SAT solvers. Zbl 1178.68148Armando, Alessandro; Mantovani, Jacopo; Platania, Lorenzo 7 2006 Bounded model checking of software using SMT solvers instead of SAT solvers. Zbl 1178.68148Armando, Alessandro; Mantovani, Jacopo; Platania, Lorenzo 7 2006 all cited Publications top 5 cited Publications all top 5 Cited by 20 Authors 2 Tinelli, Cesare 1 Amat, Nicolas 1 Barrett, Clark W. 1 Berthomieu, Bernard 1 Collavizza, Hélène 1 Dal Zilio, Silvano 1 Du, Hongwei 1 Duan, Zhenhua 1 Ghilardi, Silvio 1 Hadarean, Liana 1 Oe, Duckki 1 Ranise, Silvio 1 Reynolds, Andrew 1 Rueher, Michel 1 Stump, Aaron 1 Tian, Cong 1 Valsecchi, Thomas 1 Van Hentenryck, Pascal 1 Wang, Meng 1 Zhang, Nan Cited in 4 Serials 1 Formal Methods in System Design 1 Constraints 1 Journal of Combinatorial Optimization 1 Journal of Logical and Algebraic Methods in Programming Cited in 3 Fields 7 Computer science (68-XX) 1 Mathematical logic and foundations (03-XX) 1 Operations research, mathematical programming (90-XX) Citations by Year