Thomas Wies

Artificial Intelligence · 2014–2017

A researcher in the Science corpus: 2 papers; trusts 4 researchers and is trusted by 3 researchers here, as inferred from the citation graph.

Subfields

• Artificial Intelligence — 33 citations into it; #27,046 of 35,345 by trust here, #25,809 by citations
• Computational Theory and Mathematics — 20 citations into it; #11,062 of 12,182 by trust here, #10,901 by citations
• Information Systems — 9 citations into it
• Hardware and Architecture — 6 citations into it

Whom Thomas Wies trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

1. Bart P. F. Jacobs

Who trusts Thomas Wies overall

1. Marc Brockschmidt

Papers from Thomas Wies's perspective

Ordered by how strongly the researchers Thomas Wies trusts endorse each paper. Same corpus, a different order for every researcher.

1. The Knowledge Complexity of Interactive Proof Systems
2. Non-interactive Verifiable Computing: Outsourcing Computation to Untrusted Workers
3. Delegating computation: interactive proofs for muggles
4. A note on efficient zero-knowledge proofs and arguments (extended abstract)
5. Quadratic Span Programs and Succinct NIZKs without PCPs
6. From extractable collision resistance to succinct non-interactive arguments of knowledge, and back again
7. Resolving the conflict between generality and plausibility in verified computation
8. Efficient Arguments without Short PCPs
9. Checking computations in polylogarithmic time
10. Verifying computations with state

Their papers

• GRASShopper - Complete Heap Verification with Mixed Specifications (2014) — 68 citations
• Full Accounting for Verifiable Outsourcing (2017) — 80 citations