Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
geoffrey e hinton
Sung-won Lim
Claudia Calabrese
Dawn Y. Brinkley
Boris Epstein
Hao Mao
Peter Malec
Chen Ma
Radu Timofte
Kuanrui Yin
Home
/
Author
/
THOMAS WILKE
Author Info
Open Visualization
Name
Affiliation
Papers
THOMAS WILKE
Christian-Albrechts University of Kiel, Kiel, Germany
18
Collaborators
Citations
PageRank
19
102
8.76
Referers
Referees
References
178
363
332
Search Limit
100
363
Publications (18 rows)
Collaborators (19 rows)
Referers (100 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
Effective Characterizations of Simple Fragments of Temporal Logic Using Carton--Michel Automata
0
0.34
2013
Noninterference with Local Policies.
0
0.34
2013
Effective characterizations of simple fragments of temporal logic using prophetic automata
1
0.36
2012
Unifying Büchi Complementation Constructions
0
0.34
2011
A play on regular expressions: functional pearl
7
0.53
2010
Deciding strategy properties of contract-signing protocols
0
0.34
2010
Computationally sound analysis of a probabilistic contract signing protocol
4
0.43
2009
A simulation-based treatment of authenticated message exchange
2
0.39
2009
Automata: from logics to algorithms
14
0.84
2008
Transducer-based analysis of cryptographic protocols
2
0.37
2007
Selecting theories and nonce generation for recursive protocols
6
0.42
2007
A characterization of first-order topological properties of planar spatial data
1
0.38
2006
Simulation relations for alternating parity automata and parity games
9
0.59
2006
Synthesis of distributed systems from knowledge-based specifications
17
0.72
2005
Simulation relations for alternating Büchi automata
12
0.71
2005
Deciding properties of contract-signing protocols
11
0.58
2005
Automata-Based Analysis of Recursive Cryptographic Protocols
16
0.76
2004
Minimizing Automata on Infinite Words
0
0.34
2003
1
