Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Alexander Stoytchev
Koh Aoki
Yan-Han Chew
Bhupendra Singh
Wen-mei W. Hwu
David J. Westover
Vyacheslav A. Orlov
Songhua Li
Sebastian Magda
David MacDonald
Home
/
Author
/
ILINA STOILKOVSKA
Author Info
Open Visualization
Name
Affiliation
Papers
ILINA STOILKOVSKA
Technische Universität Wien
4
Collaborators
Citations
PageRank
3
0
1.35
Referers
Referees
References
0
0
0
Publications (4 rows)
Collaborators (3 rows)
Referers (0 rows)
Referees (0 rows)
Title
Citations
PageRank
Year
Eliminating Message Counters in Synchronous Threshold Automata.
0
0.34
2021
Eliminating Message Counters in Threshold Automata.
0
0.34
2020
Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking.
0
0.34
2019
Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking.
0
0.34
2019
1