Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
J. Heinisch
Claudia Calabrese
Hao Mao
Peter Malec
Mé Ludovic
Devvrat Joshi
Giovanni Venturelli
Chen Ma
Radu Timofte
Kuanrui Yin
Home
/
Author
/
OLGA GRINCHTEIN
Author Info
Open Visualization
Name
Affiliation
Papers
OLGA GRINCHTEIN
Uppsala University, Department of Computer Systems, Uppsala, Sweden
12
Collaborators
Citations
PageRank
13
115
7.91
Referers
Referees
References
189
235
183
Search Limit
100
235
Publications (12 rows)
Collaborators (13 rows)
Referers (100 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
Exploring Properties of a Telecommunication Protocol with Message Delay Using Interactive Theorem Prover.
0
0.34
2018
A Constraint Optimisation Model for Analysis of Telecommunication Protocol Logs
2
0.38
2015
Protocol Log Analysis with Constraint Programming.
0
0.34
2014
Model-based protocol log generation for testing a telecommunication test harness using CLP
4
0.57
2014
Learning of event-recording automata
11
0.65
2010
Timed calculus of cryptographic communication
0
0.34
2006
Learning finite-state machines from inexperienced teachers
3
0.39
2006
Inference of event-recording automata using timed decision trees
22
0.85
2006
Inferring network invariants automatically
26
1.07
2006
On the correspondence between conformance testing and regular inference
38
2.08
2005
Inference of Timed Transition Systems
4
0.41
2005
Network invariants for real-time systems
5
0.50
2004
1