The 4th Reactive Synthesis Competition SYNTCOMP 2017 Swen Jacobs Saarland University Roderick Bloem TU Graz

Source URL: www.react.uni-saarland.de

• Numerical software
• Model checking
• Neuropsychology
• Solver
• Problem solving

Dissertation Reactive Synthesis: branching logic & parameteri zed systems Ayrat Khalimov Advisor: Roderick Bloem

Source URL: cgi.csc.liv.ac.uk

• Temporal logic
• Logic in computer science
• Model checkers
• Linear temporal logic
• Computation tree logic
• Model checking
• PAT
• Synthesis
• Mathematics

FoREnSiC– An Automatic Debugging Environment for C Programs? Roderick Bloem1 , Rolf Drechsler2 , G¨orschwin Fey2 , Alexander Finder2 , Georg Hofferek1 , Robert K¨ onighofer1 , Jaan Raik3 , Urmas Repinski3 , Andr´e S

Source URL: www.informatik.uni-bremen.de

FebruaryGaelic names of Pibrochs A Concise Dictionary edited by Roderick D. Cannon

Source URL: www.cl.cam.ac.uk

To: Interested Parties From: Roderick M. Hills, Jr. Regarding: Authority of New York City to impose tolls on city-owned bridges and roads Date: March 28, 2016 [finalized June 21, 2016, “draft” designation removed Jul

Source URL: movenewyork.files.wordpress.com

Psychological Science http://pss.sagepub.com/ The Too-Much-Talent Effect: Team Interdependence Determines When More Talent Is Too Much or Not Enough Roderick I. Swaab, Michael Schaerer, Eric M. Anicich, Richard Ronay and

Source URL: www.datascienceassn.org

Estimated illiteracy of men and women in England, Literacy for selected areas in Europe and North America cDavid Mitch, “Education and Skill of the British Labour Force,” in Roderick Floud and Paul

Source URL: www1.umassd.edu

Hand Surgery Oxford Specialist Handbooks in Surgery by David Warwick, Roderick Dunn, Erman Melikyan, and Jane Vadher

Source URL: www.fessh.com

Parameterized Synthesis⋆ Swen Jacobs1 and Roderick Bloem2 1 ´ Ecole

Source URL: www.swenjacobs.com

On Making Small Contributions to Evil Roderick T. Long Auburn University

Source URL: praxeology.net