← back to search

Kim Völlinger

Technische Universität Berlin · DE
🔎 Find collaborators in Artificial Intelligence · Computer Networks and Communications →
Search 5.9M scientists by topic, h-index, country & funding — free.
Area of research
Artificial Intelligence · Computer Networks and Communications
Research interest
Research interests include Distributed systems and fault tolerance, Cryptography and Data Security, Complexity and Algorithms in Graphs, and Logic, programming, and type systems.
h-index
4
citations
38
works
14
NIH funding
primary concept
email

Recent publications

On a Verification Framework for Certifying Distributed Algorithms: Distributed Checking and Consistency
Lecture notes in computer science 2018cited by 4position: firstdoi
Verifying the Output of a Distributed Algorithm Using Certification
Lecture notes in computer science 2017cited by 7position: firstdoi
Certification of Distributed Algorithms Solving Problems with Optimal Substructure
Lecture notes in computer science 2015cited by 7position: firstdoi

Grants

No grants ingested yet.

Frequent collaborators

Samira Akili · Humboldt-Universität zu Berlin1 papers (2018–2018)Wolfgang Reisig · Humboldt-Universität zu Berlin1 papers (2015–2015)
Looking for a research collaborator?
Search millions of scientists by field, institution, impact, and funding status — see their work, find their email, and reach out directly.
Find collaborators in Artificial Intelligence · Computer Networks and Communications →