Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Tidjani Négadi
Oriol Sallent
Claudia Calabrese
Robert Radu
Jhonathan Pinzon
Giovanni Venturelli
Chen Ma
Felix Gerdsmeier
Radu Timofte
Kuanrui Yin
Home
/
Author
/
TOBIAS KAPPÉ
Author Info
Open Visualization
Name
Affiliation
Papers
TOBIAS KAPPÉ
Centrum Wiskunde & Informatica
9
Collaborators
Citations
PageRank
19
3
3.11
Referers
Referees
References
9
29
11
Publications (9 rows)
Collaborators (19 rows)
Referers (9 rows)
Referees (29 rows)
Title
Citations
PageRank
Year
Equivalence checking for weak bi-Kleene algebra.
0
0.34
2021
Guarded Kleene algebra with tests: verification of uninterpreted programs in nearly linear time
0
0.34
2020
Concurrent Kleene Algebra with Observations: From Hypotheses to Completeness.
0
0.34
2020
Partially Observable Concurrent Kleene Algebra
0
0.34
2020
Kleene Algebra with Observations.
0
0.34
2018
Concurrent Kleene Algebra: Free Model and Completeness.
0
0.34
2018
Equivalence Checking For Weak Bi-Kleene Algebra
0
0.34
2018
Concurrent Kleene Algebra: Free Model and Completeness.
1
0.36
2018
Brzozowski Goes Concurrent - A Kleene Theorem for Pomset Languages.
2
0.39
2017
1