Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Tidjani Négadi
Daniel P. Kennedy
Delphine Cosandier-Rimélé
Barbara Aquilani
Jin Komura
Maximilian Dürr
Jhonathan Pinzon
Liangliang Shang
Chen Ma
Takeshi Kakizaki
Home
/
Author
/
CORTO MASCLE
Author Info
Open Visualization
Name
Papers
Collaborators
CORTO MASCLE
3
7
Citations
PageRank
Referers
0
1.01
0
Referees
References
0
0
Publications (3 rows)
Collaborators (7 rows)
Referers (0 rows)
Referees (0 rows)
Title
Citations
PageRank
Year
Distributed Controller Synthesis for Deadlock Avoidance
0
0.34
2022
Keyboards as a New Model of Computation.
0
0.34
2021
The Keys to Decidable HyperLTL Satisfiability - Small Models or Very Simple Formulas.
0
0.34
2020
1