( en | de | ru )

 

Disambiguation of "Kuiper, Ruurd"

Author of the publication

copydeleteadd this publication to your clipboard
Improving Partial Order Reductions for Universal Branching Time Properties.

, , , and . Fundam. Informaticae, 43 (1-4): 245-267 (2000)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Erik Kuiper

Taco Kuiper

Johann Kuiper

Ruth Kuiper

Hajo Kuiper

 

Other publications of authors with the same name

Generalizations of Rice's Theorem, Applicable to Executable and Non-Executable Formalisms., , and . Turing-100, volume 10 of EPiC Series in Computing, page 168-180. EasyChair, (2012)Pandora's Box., , , and . HOWARD-60, volume 42 of EPiC Series in Computing, EasyChair, (2014)Towards the Hierarchical, Temporal Logic, Specification., and . The Analysis of Concurrent Systems, volume 207 of Lecture Notes in Computer Science, page 157-183. Springer, (1983)Specifying Deadlines with Continuous Time Using Deontic and Temporal Logic., and . Int. J. Electron. Commer., 3 (2): 67-85 (1998)Consistent specification of interface suites in UML., , , and . Softw. Syst. Model., 1 (2): 98-112 (2002)Partial-order Reduction Techniques for Real-time Model Checking., , , and . Formal Aspects Comput., 10 (5-6): 469-482 (1998)Dependency Safety for Java: Implementing Failboxes., , , , , , , , and . PPPJ, page 15:1-15:6. ACM, (2016)Hierarchical Development of Cncurrent Systems in a Temporal Logic Framework., and . Seminar on Concurrency, volume 197 of Lecture Notes in Computer Science, page 35-61. Springer, (1984)Interface Refinement in Reactive Systems (Extended Abstract)., , and . CONCUR, volume 630 of Lecture Notes in Computer Science, page 77-93. Springer, (1992)Traces and Logic., and . The Book of Traces, World Scientific, (1995)