Ruurd Kuiper - Concepedia

Author

Ruurd Kuiper

Eindhoven University of Technology

Also Known As

Kees Huizing, Kuiper, R Ruurd, Kuiper, R., Kuiper, Ruurd, R. Kuiper, Ruurd Kuiper

Publications

1.2K

Citations

H-Index

Concepts

All Affiliations

Eindhoven University of Technology Institute of Computer Science Nokia (United States)Intel (United States)

About

Ruurd Kuiper is an author at Eindhoven University of Technology specializing in computer science, engineering, and automated reasoning.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	11	12	781
2	Computer Science	11	11	771
3	Systems Engineering	6	6	258
4	Asynchronous Systems	2	2	223
5	Operations Research	1	1	18

Ruurd Kuiper

Publications

858

Citations

H-Index

Page 1

	Year	Citations
Now you may compose temporal logic specifications Howard Barringer, Ruurd Kuiper, Amir Pnueli EngineeringTemporal Logic SpecificationsVerificationConcurrent SystemSoftware Analysis	1984	266
A really abstract concurrent model and its temporal logic Howard Barringer, Ruurd Kuiper, Amir Pnueli EngineeringVerificationConcurrent SystemReal ModelFormal Verification	1986	157
A Partial Order Approach to Branching Time Logic Model Checking Rob Gerth, Ruurd Kuiper, Doron Peled, Information and Computation EngineeringProgram AnalysisAutomated ReasoningPartial Order ApproachVerification	1999	101
A partial order approach to branching time logic model checking Rob Gerth, Ruurd Kuiper, Doron Peled, EngineeringPartial Order ApproachVerificationComputer-aided VerificationModel Checking	2002	66
Combining dynamic deontic logic and temporal logic for the specification of deadlines Frank Dignum, Ruurd Kuiper EngineeringIntelligent SystemsFormal VerificationSystems EngineeringIntelligent Agents	2002	42
Improving Partial Order Reductions for Universal Branching Time Properties Wojciech Penczek, Maciej Szreter, Rob Gerth, Fundamenta Informaticae	2000	42
Partial-order Reduction Techniques for Real-time Model Checking Dennis Dams, Rob Gerth, Bart Knaack, Formal Aspects of Computing	1998	35
Fairness assumptions for CSP in a temporal logic framework Ruurd Kuiper, W.P. deRoever CWI's Institutional Repository (Centrum Wiskunde & Informatica) EngineeringFairness AssumptionsAutomated ReasoningAlgorithmic FairnessFormal Methods	1983	34
Traces and logic Wojciech Penczek, Ruurd Kuiper ReasoningComputational LogicEngineeringAutomated ReasoningFormal Methods	1995	24
VISUALIZATION OF OBJECT-ORIENTED (JAVA) PROGRAMS Cornelis Huizing, Ruurd Kuiper, Christian Luijten, EngineeringProgram VisualizationOo ProgramsVisual Programming LanguageProgram Analysis	2012	23

Page 1