Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Daniel P. Kennedy
Dan Graur
Barbara Aquilani
Nicolai Bæk Thomsen
Maximilian Dürr
Manuel Rigger
Jhonathan Pinzon
Liangliang Shang
Chen Ma
Istemi Ekin Akkus
Home
/
Author
/
PEDRO RIBEIRO
Author Info
Open Visualization
Name
Affiliation
Papers
PEDRO RIBEIRO
Dept. of Comput. Sci., Univ. of York, York, UK|c|
13
Collaborators
Citations
PageRank
15
18
4.74
Referers
Referees
References
37
280
182
Search Limit
100
280
Publications (13 rows)
Collaborators (15 rows)
Referers (37 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
Sound reasoning in tock-CSP
0
0.34
2022
Verified simulation for robotics.
1
0.41
2019
Angelic processes for CSP via the UTP.
0
0.34
2019
RoboChart: modelling and verification of the functional behaviour of robotic applications
2
0.37
2019
Modelling And Verification For Swarm Robotics
2
0.37
2018
DBStore: A TrustZone-backed Database Management System for Mobile Applications.
0
0.34
2018
Modelling and Verification of Timed Robotic Controllers.
4
0.40
2017
A Stepwise Approach To Linking Theories
0
0.34
2016
From Formalised State Machines to Implementations of Robotic Controllers
3
0.38
2016
Angelicism in the Theory of Reactive Processes.
2
0.37
2014
UTP Designs for Binary Multirelations.
1
0.35
2014
Designs with Angelic Nondeterminism
3
0.41
2013
Entanglement and hilbert space geometry for systems with a few qubits
0
0.34
2007
1