Bisimulation for demonic schedulers? Konstantinos Chatzikokolakis1 , Gethin Norman2 , and David Parker2 1 Eindhoven University of Technology 2

Source URL: qav.comlab.ox.ac.uk

• Theoretical computer science
• Formal methods
• Logic in computer science
• Bisimulation
• Applied mathematics
• Mathematics
• Scheduling
• Transition system
• -calculus

ONCOLOGY REPORTS 39: , 2018 Improving diagnosis, prognosis and prediction by using biomarkers in CRC patients (Review) Taxiarchis Konstantinos Nikolouzakis1, Loukia Vassilopoulou2, Persefoni Fragkiadaki2, Theod

Source URL: www.aristsatsakis.com

Clairvoyance: Look-Ahead Compile-Time Scheduling Kim-Anh Tran∗ Trevor E. Carlson∗ Konstantinos Koukos∗ Magnus Själander∗,† Vasileios Spiliopoulos∗ Stefanos Kaxiras∗ Alexandra Jimborean∗ † e

Source URL: www.sjalander.com

Asymptotic behaviour of total generalised variation Konstantinos Papafitsoros and Tuomo Valkonen Department of Applied Mathematics and Theoretical Physics, University of Cambridge, United Kingdom

Source URL: tuomov.iki.fi

Combining HTM and RCU to Implement Highly Efficient Balanced Binary Search Trees Dimitrios Siakavaras, Konstantinos Nikas, Georgios Goumas and Nectarios Koziris National Technical University of Athens School of Electrica

Source URL: transact2017.cse.lehigh.edu

Towards Run-time Monitoring of Web Services Conformance to Business-Level Agreements Mr. Konstantinos Bratanis

Source URL: www2010.taicpart.org

Efficient Techniques for Advanced Data Dependence Analysis PACT 2005 Konstantinos Kyriakopoulos and Kleanthis Psarris

Source URL: pact05.ce.ucsc.edu

Combining HTM and RCU to Implement Highly Efficient Balanced Binary Search Trees Dimitrios Siakavaras, Konstantinos Nikas, Georgios Goumas and Nectarios Koziris National Technical University of Athens (NTUA) School of El

Source URL: transact2017.cse.lehigh.edu

Probabilistic NetKAT Nate Foster1(B) , Dexter Kozen1 , Konstantinos Mamouras2 , Mark Reitblatt1 , and Alexandra Silva3 1 2

Source URL: www.cs.cornell.edu

Purity in Erlang Mihalis Pitidis1 and Konstantinos Sagonas1,2 1 2

Source URL: user.it.uu.se