Edit Profile (opens in new tab) Wies, Thomas Compute Distance To: Compute Author ID: wies.thomas Published as: Wies, Thomas Documents Indexed: 23 Publications since 2005, including 1 Book 2 Contributions as Editor Co-Authors: 39 Co-Authors with 25 Joint Publications 737 Co-Co-Authors all top 5 Co-Authors 0 single-authored 6 Podelski, Andreas 5 Kuncak, Viktor 3 Piskac, Ruzica 3 Zufferey, Damien 2 Bansal, Kshitij 2 Barrett, Clark W. 2 Henzinger, Thomas A. 2 King, Tim 2 Rinard, Martin C. 2 Schäf, Martin 2 Totla, Nishant 1 Berdine, Josh 1 Bouillaguet, Charles 1 Calcagno, Cristiano 1 Cook, Byron 1 Distefano, Dino 1 Ermis, Evren 1 Finkbeiner, Bernd 1 Hoenicke, Jochen 1 Holzer, Andreas 1 Koskinen, Eric 1 Krishna, Siddharth 1 Lam, Patrick P. 1 Leino, K. Rustan M. 1 Muñiz, Marco 1 O’Hearn, Peter W. 1 Paskevich, Andrei 1 Patel, Nisarg 1 Pavlinovic, Zvonimir 1 Reynolds, Andrew 1 Rybalchenko, Andrey 1 Schwartz-Narbonne, Daniel 1 Seghir, Mohamed Nassim 1 Shasha, Dennis E. 1 Suter, Philippe 1 Tabaei Befrouei, Mitra 1 Weissenbacher, Georg 1 Yang, Hongseok 1 Zee, Karen Serials 2 Lecture Notes in Computer Science 1 Journal of Automated Reasoning 1 Formal Methods in System Design 1 Synthesis Lectures on Computer Science Fields 25 Computer science (68-XX) 6 Mathematical logic and foundations (03-XX) 2 General and overarching topics; collections (00-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 19 Publications have been cited 111 times in 93 Documents Cited by ▼ Year ▼ Shape analysis for composite data structures. Zbl 1135.68372Berdine, Josh; Calcagno, Cristiano; Cook, Byron; Distefano, Dino; O’Hearn, Peter W.; Wies, Thomas; Yang, Hongseok 17 2007 Counterexample-guided focus. Zbl 1312.68067Podelski, Andreas; Wies, Thomas 10 2010 Combining theories with shared set operations. Zbl 1193.03030Wies, Thomas; Piskac, Ruzica; Kuncak, Viktor 10 2009 Using first-order theorem provers in the Jahob data structure verification system. Zbl 1132.68348Bouillaguet, Charles; Kuncak, Viktor; Wies, Thomas; Zee, Karen; Rinard, Martin 9 2007 Forward analysis of depth-bounded processes. Zbl 1284.68419Wies, Thomas; Zufferey, Damien; Henzinger, Thomas A. 9 2010 Boolean heaps. Zbl 1141.68374Podelski, Andreas; Wies, Thomas 8 2005 Complete instantiation-based interpolation. Zbl 1301.68106Totla, Nishant; Wies, Thomas 7 2013 An efficient decision procedure for imperative tree data structures. Zbl 1341.68034Wies, Thomas; Muñiz, Marco; Kuncak, Viktor 6 2011 Ideal abstractions for well-structured transition systems. Zbl 1326.68205Zufferey, Damien; Wies, Thomas; Henzinger, Thomas A. 6 2012 Abstraction refinement for quantified array assertions. Zbl 1248.68151Seghir, Mohamed Nassim; Podelski, Andreas; Wies, Thomas 5 2009 Complete instantiation-based interpolation. Zbl 1356.68203Totla, Nishant; Wies, Thomas 5 2016 Deciding local theory extensions via E-matching. Zbl 1381.68280Bansal, Kshitij; Reynolds, Andrew; King, Tim; Barrett, Clark; Wies, Thomas 5 2015 Field constraint analysis. Zbl 1176.68130Wies, Thomas; Kuncak, Viktor; Lam, Patrick; Podelski, Andreas; Rinard, Martin 4 2006 Structural counter abstraction. Zbl 1381.68194Bansal, Kshitij; Koskinen, Eric; Wies, Thomas; Zufferey, Damien 2 2013 Building a calculus of data structures. Zbl 1273.68100Kuncak, Viktor; Piskac, Ruzica; Suter, Philippe; Wies, Thomas 2 2010 Error invariants. Zbl 1372.68061Ermis, Evren; Schäf, Martin; Wies, Thomas 2 2012 Practical SMT-based type error localization. Zbl 1360.68351Pavlinovic, Zvonimir; King, Tim; Wies, Thomas 2 2015 Doomed program points. Zbl 1211.68090Hoenicke, Jochen; Leino, K. Rustan M.; Podelski, Andreas; Schäf, Martin; Wies, Thomas 1 2010 Heap assumptions on demand. Zbl 1155.68446Podelski, Andreas; Rybalchenko, Andrey; Wies, Thomas 1 2008 Complete instantiation-based interpolation. Zbl 1356.68203Totla, Nishant; Wies, Thomas 5 2016 Deciding local theory extensions via E-matching. Zbl 1381.68280Bansal, Kshitij; Reynolds, Andrew; King, Tim; Barrett, Clark; Wies, Thomas 5 2015 Practical SMT-based type error localization. Zbl 1360.68351Pavlinovic, Zvonimir; King, Tim; Wies, Thomas 2 2015 Complete instantiation-based interpolation. Zbl 1301.68106Totla, Nishant; Wies, Thomas 7 2013 Structural counter abstraction. Zbl 1381.68194Bansal, Kshitij; Koskinen, Eric; Wies, Thomas; Zufferey, Damien 2 2013 Ideal abstractions for well-structured transition systems. Zbl 1326.68205Zufferey, Damien; Wies, Thomas; Henzinger, Thomas A. 6 2012 Error invariants. Zbl 1372.68061Ermis, Evren; Schäf, Martin; Wies, Thomas 2 2012 An efficient decision procedure for imperative tree data structures. Zbl 1341.68034Wies, Thomas; Muñiz, Marco; Kuncak, Viktor 6 2011 Counterexample-guided focus. Zbl 1312.68067Podelski, Andreas; Wies, Thomas 10 2010 Forward analysis of depth-bounded processes. Zbl 1284.68419Wies, Thomas; Zufferey, Damien; Henzinger, Thomas A. 9 2010 Building a calculus of data structures. Zbl 1273.68100Kuncak, Viktor; Piskac, Ruzica; Suter, Philippe; Wies, Thomas 2 2010 Doomed program points. Zbl 1211.68090Hoenicke, Jochen; Leino, K. Rustan M.; Podelski, Andreas; Schäf, Martin; Wies, Thomas 1 2010 Combining theories with shared set operations. Zbl 1193.03030Wies, Thomas; Piskac, Ruzica; Kuncak, Viktor 10 2009 Abstraction refinement for quantified array assertions. Zbl 1248.68151Seghir, Mohamed Nassim; Podelski, Andreas; Wies, Thomas 5 2009 Heap assumptions on demand. Zbl 1155.68446Podelski, Andreas; Rybalchenko, Andrey; Wies, Thomas 1 2008 Shape analysis for composite data structures. Zbl 1135.68372Berdine, Josh; Calcagno, Cristiano; Cook, Byron; Distefano, Dino; O’Hearn, Peter W.; Wies, Thomas; Yang, Hongseok 17 2007 Using first-order theorem provers in the Jahob data structure verification system. Zbl 1132.68348Bouillaguet, Charles; Kuncak, Viktor; Wies, Thomas; Zee, Karen; Rinard, Martin 9 2007 Field constraint analysis. Zbl 1176.68130Wies, Thomas; Kuncak, Viktor; Lam, Patrick; Podelski, Andreas; Rinard, Martin 4 2006 Boolean heaps. Zbl 1141.68374Podelski, Andreas; Wies, Thomas 8 2005 all cited Publications top 5 cited Publications all top 5 Cited by 202 Authors 9 Vojnar, Tomáš 7 Holík, Lukáš 7 Lengál, Ondřej 5 Kuncak, Viktor 5 Wies, Thomas 3 Blondin, Michael 3 Bouajjani, Ahmed 3 Cook, Byron 3 Demri, Stéphane P. 3 Enea, Constantin 3 Finkel, Alain 3 Fontaine, Pascal 3 Ghilardi, Silvio 3 Podelski, Andreas 3 Rümmer, Philipp 3 Sighireanu, Mihaela 2 Blanchette, Jasmin Christian 2 Böhme, Sascha 2 Bonacina, Maria Paola 2 Dragoi, Cezara 2 Dross, Claire 2 Fiedor, Tomáš 2 Gast, Holger 2 Gianola, Alessandro 2 Goubault-Larrecq, Jean 2 Haase, Christoph 2 Habermehl, Peter 2 Havlena, Vojtěch 2 Hoenicke, Jochen 2 Kröning, Daniel 2 Matheja, Christoph 2 Meyer, Roland 2 Paulson, Lawrence Charles 2 Ranise, Silvio 2 Ringeissen, Christophe 2 Rival, Xavier 2 Rogalewicz, Adam 2 Saivasan, Prakash 2 Sánchez, Alejandro D. 2 Sánchez, César 2 Seghir, Mohamed Nassim 2 Sharygina, Natasha 2 Sofronie-Stokkermans, Viorica 2 Zuleger, Florian 1 Abdulla, Parosh Aziz 1 Aguirre, Nazareno M. 1 Alberti, Francesco 1 Alpuente, María 1 Areces, Carlos 1 Arroyo, Marcelo 1 Backeman, Peter 1 Balaban, Ittai 1 Banerjee, Anindya 1 Botella, Bernard 1 Bozga, Marius 1 Brochenin, Rémi 1 Bruttomesso, Roberto 1 Chakraborty, Supratik 1 Chen, Sheng 1 Chen, Yiyun 1 Chen, Zhiyuan 1 Chin, Wei-Ngan 1 Chini, Peter 1 Chocron, Paula 1 Christ, Jürgen 1 Conchon, Sylvain 1 Cristiá, Maximiliano 1 Czerwiński, Wojciech 1 David, Cristina 1 de Moura, Leonardo 1 Desharnais, Jules 1 Deters, Morgan 1 Devriese, Dominique 1 Diallo, Nafi 1 D’Osualdo, Emanuele 1 D’silva, Vijay 1 Echenim, Mnacho 1 Erwig, Martin 1 Esen, Zafer 1 Feldman, Yotam M. Y. 1 Filliâtre, Jean-Christophe 1 Fischer, Bernd 1 Fulara, Jędrzej 1 Galmiche, Didier 1 Garg, Pranav 1 Ghardallou, Wided 1 Giorgetti, Alain 1 Godio, Ariel 1 Grech, Neville 1 Groves, Lindsay J. 1 Gulavani, Bhargav S. 1 Gupta, Aarti 1 Heizmann, Matthias 1 Henzinger, Thomas A. 1 Hruška, Martin 1 Huang, Hongtao 1 Huang, Shaobin 1 Hurlin, Clément 1 Hüttel, Hans 1 Immerman, Neil ...and 102 more Authors all top 5 Cited in 21 Serials 12 Journal of Automated Reasoning 9 Formal Methods in System Design 5 Acta Informatica 4 Information and Computation 2 Annals of Pure and Applied Logic 2 Journal of Symbolic Computation 2 Journal of Computer Science and Technology 2 Journal of Functional Programming 2 ACM Transactions on Computational Logic 2 Logical Methods in Computer Science 2 Journal of Logical and Algebraic Methods in Programming 1 Computing 1 Journal of Computer and System Sciences 1 Theoretical Computer Science 1 Science of Computer Programming 1 Formal Aspects of Computing 1 MSCS. Mathematical Structures in Computer Science 1 Annals of Mathematics and Artificial Intelligence 1 Theory of Computing Systems 1 Fundamenta Informaticae 1 Computer Languages, Systems & Structures Cited in 3 Fields 88 Computer science (68-XX) 36 Mathematical logic and foundations (03-XX) 1 General topology (54-XX) Citations by Year