Symbolic Verification and Strategy Synthesis for Linearly-Priced Probabilistic Timed Automata Marta Kwiatkowska1 , Gethin Norman2 , and David Parker3 1 Department of Computer Science, University of Oxford, Oxford, UK

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

• Dynamic programming
• Markov decision process
• Stochastic control
• Symbol
• Timed automaton
• Probability and statistics
• Probability
• Approximation algorithms
• Computational complexity theory

Building Power Consumption Models from Executable Timed I/O Automata Specifications ∗ Benoît Barbot , Marta Kwiatkowska, Alexandru Mereacre and Nicola Paoletti Department of Computer Science, University of Oxford, UK

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

Canonical Forms for Isomorphic and Equivalent RDF Graphs: Algorithms for Leaning and Labelling Blank Nodes AIDAN HOGAN, Center for Semantic Web Research, DCC, University of Chile, Chile Existential blank nodes greatly co

Source URL: aidanhogan.com

• Graph theory
• Mathematics
• Semantic Web
• Discrete mathematics
• Morphisms
• Resource Description Framework
• Graph operations
• Blank node
• Graph isomorphism
• Graph homomorphism
• Cograph
• RDF Schema

A Tutorial on Runtime Verification Yli`es FALCONE a , Klaus HAVELUND b,1 and Giles REGER c,2 a University of Grenoble I (UJF), Laboratoire d’Informatique de Grenoble, France b Jet Propulsion Laboratory, California Inst

Source URL: www.cs.man.ac.uk

• Software development
• Aspect-oriented software development
• Aspect-oriented programming
• Formal methods
• Logic in computer science
• Runtime verification
• Pointcut
• Formal verification
• Join point
• Instrumentation

A Coq Library For Internal Verification of Running-Times Jay McCarthy University of Massachusetts at Lowell Burke Fetscher, Max S. New, Daniel Feltey, Robert Bruce Findler Northwestern University

Source URL: jeapostrophe.github.io

• Computer programming
• Software engineering
• Type theory
• Computing
• Functional programming
• Adjoint functors
• Monad
• HindleyMilner type system
• Variety
• Redblack tree
• List

Performance Inconsistency in Large Scale Data Processing Clusters Mingyuan Xia and Nan Zhu McGill University Yuxiong He and Sameh Elnikety Microsoft Research Redmond

Source URL: 0b4af6cdc2f0c5998459-c0245c5c937c5dedcca3f1764ecc9b2f.r43.cf2.rackcdn.com

• Concurrent computing
• Parallel computing
• Computing
• System software
• Apache Hadoop
• Scheduling
• Job scheduler
• Computer cluster
• Data-intensive computing
• MapReduce

UNIVERSITY OF CRETEyears

Source URL: www.math.uoc.gr

• Geography of Europe
• Europe
• University of Crete
• Crete
• Heraklion
• Medical school
• Greece
• Minoan civilization
• Rethymno
• Technological Educational Institute of Crete

Timing Analysis of Keystrokes and Timing Attacks on SSH Dawn Xiaodong Song David Wagner University of California, Berkeley Xuqing Tian

Source URL: people.eecs.berkeley.edu

• Cryptography
• Computing
• Computer security
• Cybercrime
• Password
• Security
• Challengeresponse authentication
• Secure Shell
• Passphrase
• Telnet
• Computer keyboard
• Typing

University of Crete holds its place The 2019 Times Higher Education (THE) World University Rankings, published on 26 September 2018, ranks University of Crete (UoCagain this year out of 1,258 institutions world

Source URL: www.en.uoc.gr

• College and university rankings
• Times Higher Education World University Rankings
• University of Crete
• Education
• University Ranking by Academic Performance
• Higher Education in the Arab World

iBGP Deceptions: More Sessions, Fewer Routes Stefano Vissicchio†§ Luca Cittadini† Laurent Vanbever‡ Olivier Bonaventure‡ † Roma Tre University § GARR Consortium ‡ Universit´e catholique de Louvain † {vis

Source URL: www0.cs.ucl.ac.uk

• Computing
• Internet architecture
• Network architecture
• Information and communications technology
• Routing
• Computer networking
• Internet Standards
• Route reflector
• Border Gateway Protocol
• BGP confederation
• Router
• Control plane