Helmut Veith
Artificial Intelligence · 2000–2018
A researcher in the Science corpus: 5 papers; trusts 7 researchers and is trusted by 10 researchers here, as inferred from the citation graph.
Subfields
- Artificial Intelligence — 17 citations into it; #16,678 of 35,345 by trust here, #17,776 by citations
- Computational Theory and Mathematics — 17 citations into it; #5,632 of 12,182 by trust here, #4,199 by citations
- Software — 6 citations into it; #484 of 1,227 by trust here, #418 by citations
- Privacy & Security — 5 citations into it
Whom Helmut Veith trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
Who trusts Helmut Veith overall
Papers from Helmut Veith's perspective
Ordered by how strongly the researchers Helmut Veith trusts endorse each paper. Same corpus, a different order for every researcher.
- Counterexample-Guided Abstraction Refinement (International Conference on Computer Aided Verification)
- A Tool for Checking ANSI-C Programs (International Conference on Tools and Algorithms for Construction and Analysis of Systems)
- Lazy abstraction
- Automatically validating temporal safety properties of interfaces (SPIN)
- Fair exchange with a semi-trusted third party (extended abstract)
- Boolean and Cartesian abstraction for model checking C programs (International Journal on Software Tools for Technology Transfer (STTT))
- Fairplay - Secure Two-Party Computation System
- Secure Two-Party Computation is Practical
- Behavioral consistency of C and Verilog programs using bounded model checking
- Protocols for Secure Computations (Extended Abstract)
Their papers
- Modular verification of software components in C (2003) — 554 citations
- Counterexample-guided abstraction refinement for symbolic model checking (2003) — 1,114 citations
- Handbook of Model Checking (2018) — 568 citations
- Secure two-party computations in ANSI C (2012) — 145 citations
- Counterexample-Guided Abstraction Refinement (2000) — 1,787 citations