Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Ying-Hsun Lai
Tidjani Négadi
Olivier Ponsini
Daniel P. Kennedy
Barbara Aquilani
Zhiming Liu
Maximilian Dürr
Jhonathan Pinzon
Liangliang Shang
Chen Ma
Home
/
Author
/
PAOLO BUCCI
Author Info
Open Visualization
Name
Affiliation
Papers
PAOLO BUCCI
The Ohio State University, Columbus, USA OH 43210
14
Collaborators
Citations
PageRank
43
124
16.58
Referers
Referees
References
237
173
87
Search Limit
100
237
Publications (14 rows)
Collaborators (43 rows)
Referers (100 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
A Language for Building Verified Software Components.
0
0.34
2013
Building a push-button RESOLVE verifier: Progress and challenges
28
1.72
2011
Probabilistic risk assessment modeling of digital instrumentation and control systems using two dynamic methodologies
1
0.35
2010
Construction of event-tree/fault-tree models from a Markov approach to dynamic system reliability
14
1.21
2008
Incremental Benchmarks for Software Verification Tools and Techniques
19
1.10
2008
Which pointer errors do students make?
2
0.41
2007
Issues in performance certification for high-level automotive control software
0
0.34
2005
Algorithms and object-oriented programming: bridging the gap
3
0.57
2002
Service Facilities: Extending Abstract Factories to Decouple Advanced Dependencies
3
0.48
2002
Do we really teach abstraction?
18
2.09
2001
Reasoning about Software-Component Behavior
16
1.90
2000
Client view first: an exodus from implementation-biased teaching
11
4.80
1999
Teaching software architecture principles in CS1/CS2
4
0.66
1998
Part III: implementing components in RESOLVE
5
0.61
1994
1