Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Bence, R. L.
Thomas Roth-berghofer
Daniel P. Kennedy
Takashi Ishihara
Dan Graur
Barbara Aquilani
Maximilian Dürr
Jhonathan Pinzon
Liangliang Shang
Chen Ma
Home
/
Author
/
DANIÈLE BEAUQUIER
Author Info
Open Visualization
Name
Papers
Collaborators
DANIÈLE BEAUQUIER
3
4
Citations
PageRank
Referers
0
1.01
0
Referees
References
0
0
Publications (3 rows)
Collaborators (4 rows)
Referers (0 rows)
Referees (0 rows)
Title
Citations
PageRank
Year
A Logic of Probability with Decidable Model Checking.
0
0.34
2006
Pumping Lemmas for Timed Automata
0
0.34
1998
The Effect of the Number of Successful Paths in a BüChi Tree Automaton.
0
0.34
1993
1