| human | Q5 |
| P864 | ACM Digital Library author ID | 81341498071 |
| P2456 | DBLP author ID | 15/3636 |
| P227 | GND ID | 1258005999 |
| P1960 | Google Scholar author ID | 1KfaH-QAAAAJ |
| P4033 | Mastodon address | GeorgWeissenbacher@fediscience.org |
| P8189 | National Library of Israel J9U ID | 987007405608805171 |
| P496 | ORCID iD | 0000-0002-0143-632X |
| P1153 | Scopus author ID | 23399099100 |
| P214 | VIAF ID | 28153651726855781942 |
| P1556 | zbMATH author ID | weissenbacher.georg |
| P69 | educated at | University of Oxford | Q34433 |
| Graz University of Technology | Q689775 | ||
| P108 | employer | ETH Zurich | Q11942 |
| Princeton University | Q21578 | ||
| TU Wien | Q689400 | ||
| Austrian Institute of Technology | Q783627 | ||
| P734 | family name | Weissenbacher | Q72358346 |
| Weissenbacher | Q72358346 | ||
| Weissenbacher | Q72358346 | ||
| P735 | given name | Georg | Q1985538 |
| Georg | Q1985538 | ||
| P6104 | maintained by WikiProject | WikiProject Mathematics | Q8487137 |
| P106 | occupation | researcher | Q1650915 |
| P21 | sex or gender | male | Q6581097 |
| P8687 | social media followers | 47 | |
| 48 | |||
| 49 |
| Q62040475 | A Complete Bounded Model Checking Algorithm for Pushdown Systems |
| Q62040478 | A Survey of Automated Techniques for Formal Software Verification |
| Q62040443 | Advanced SAT Techniques for Abstract Argumentation |
| Q62040458 | An Interpolating Decision Procedure for Transitive Relations with Uninterpreted Functions |
| Q55889277 | Boolean Satisfiability Solvers and Their Applications in Model Checking |
| Q62040435 | Counterexample to Induction-Guided Abstraction-Refinement (CTIGAR) |
| Q62040438 | Incremental bounded software model checking |
| Q62040465 | Interpolant Strength |
| Q62040448 | Interpolant Strength Revisited |
| Q62040461 | Interpolation-Based Software Verification with Wolverine |
| Q62040481 | Lifting Propositional Interpolants to the Word-Level |
| Q62040484 | Model checking concurrent linux device drivers |
| Q62040468 | Mutation-Based Test Case Generation for Simulink Models |
| Q62040451 | Parallel Assertions for Architectures with Weak Memory Models |
| Q62040426 | Preface of the Special Issue in Memoriam Helmut Veith |
| Q62040429 | Proving Safety with Trace Automata and Bounded Model Checking |
| Q62040441 | Reduction of Resolution Refutations and Interpolants via Subsumption |
| Q62040463 | SAT-based techniques for determining backbones for post-silicon fault localisation |
| Q62040432 | Silicon fault diagnosis using sequence interpolation with backbones |
| Q62040445 | Under-Approximating Loops in C Programs for Fast Counterexample Detection |
| Q38366581 | Under-approximating loops in C programs for fast counterexample detection |
| Q62040472 | Verification and falsification of programs with loops using predicate abstraction |
| Q62040454 | Wolverine: Battling Bugs with Interpolants |
Search more.