Personal tools
You are here: Home

Did you not find what you were looking for? Try the Advanced Search to refine your search.

Search results 73 items matching your search terms

Subscribe to an always-updated feed of these search terms

Image Craig McLaughlin
Image Martti Karvonen
Image Kerber
Event Title: Triangulating Context Lemmas
Speaker: Ian Stark
Event Title: Mobile $r$-gather: Distributed and Geographic Clustering for Location Anonymity
Speaker: Rik Sarkar
Event Title: Reachability for Branching Concurrent Stochastic Games
Speaker: Kousha Etessami
Event Title: "How standard is the Standard?
Speaker: Leonid Libkin
Page Modelling and Analysing a covert-channel attack and mitigations using timed automata
Speaker: Yuhui Lin
Page Title: Compiler-Assisted Test Acceleration on GPUs (for Embedded Software)
Speaker: Vanya Yaneva
Event Title: Compiler-Assisted Test Acceleration on GPUs (for Embedded Software)
Speaker: Vanya Yaneva
Event Title: The 2017 ICFP programming contest
Speaker: Dr Sam Lindley
Event Title: Verifying safety and persistence properties of hybrid systems
Speaker: Paul Jackson
Event Title: Graphs, Ellipsoids, and Balls-into-Bins: A linear-time algorithm for constructing linear-sized spectral sparsifiers
Speaker: He Sun
Event Title: How much logic should a first-year student learn?
Speaker: Don Sannella
Event Title: Cyber Security in the Quantum Era
Speaker: Petros Wallden
Event Title: Constant-Delay Traversal of Grammar-Compressed Graphs
Speaker: Fabian Peternek
Event Title: Covert timing channels in cloud: a mathematical analysis
Speaker: Wei Chen
Event Title: Computability in real and complex analysis: some recent progress
Speaker: John Longley
Page Title: Spatial model-checking of vehicle location data
Speaker: Stephen Gilmore
Page Title: Report on the International Congress in Algebras and Combinatorics
Speaker: Kyriakos Kalorkoti
Page Title: Parity Objectives in Infinite Markov Decision Processes (+ Skiing in the southern hemisphere, part II (Chile)
Speaker: Richard Mayr
Event Consensus in the Blockchain Era
Page Title: Consensus in the Blockchain Era
Speaker: Aggelos Kiayias
News Item Congratulations to Ricardo Almeida on successfully passing his VIVA
Congratulations to Ricardo Almeida!
Event Detection of Advanced Persistent Threats (APT) with Formal Concept Analysis (FCA): first steps
Speaker: Ghita Berrada
News Item Congratulations to Perdita Stevens who has received a prestigious award (10-year most influential paper, from the MODELS conference)
Perdita's paper "Bidirectional Model Transformations in QVT: Semantic Issues and Open Questions" has been selected as the most influential paper from MODELS ...
News Item Congratulations to Cheng Feng on successfully passing his VIVA
Cheng Feng successfully defended his thesis this morning in a viva that lasted 1 hour 45 minutes. Cheng passed with minor corrections. Examiners: Paul ...
News Item Congratulations to Anastasis Georgoulas who successfully passed his VIVA
Many congratulations to Anastasis who successfully defended his dissertation yesterday. His examiners, Verena Wolf from Saarland University and Iain ...
News Item Congratulations: Vladimir Nikishkin has successfully passed his VIVA
Congratulations to Vladimir Nikishkin who successfully passed his PhD viva, subject to minor amendments. His thesis is entitled "Testing Properties of ...
Image Anna Pappa