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 63 items matching your search terms

Subscribe to an always-updated feed of these search terms

Event LFCS Seminar: Andrei Sabelfeld
Tracking information flow in web applications
Event LFCS Seminar: Neel Krishnaswami
Simple and Efficient Higher-Order Reactive Programming
Event LFCS Seminar: Vashti Galpin
Stochastic HYPE: a stochastic hybrid process algebra
Event LFCS Seminar: Luca Cardelli
The Cell Cycle Switch Computes Approximate Majority
Event LFCS Seminar: Richard Hayden
Scalable Performance Analysis of Massively Parallel Stochastic Systems
Event LFCS Seminar: Barnaby Martin
A tetrachotomy for positive equality-free logic
Event LFCS Seminar: Anindya Banerjee
Modular Reasoning about Object-based Programs
Event LFCS Seminar: Marta Kwiatkowska
Design and Analysis of DNA Strand Displacement Devices using Probabilistic Model Checking
Event LFCS Seminar: Jean-Raymond Abrial
Formalizing Hybrid Systems with Event-B
Event LFCS Seminar: Dana Moshkovitz
Projection Games
Event LFCS Seminar: Navin Goyal
Analysis of Thompson Sampling for the Multi-armed Bandit Problem
Event LFCS Seminar: Alberto Policriti
The decidability of the Bernays-Schoenfinkel-Ramsey class in Set Theory
Event LFCS Seminar: Valentine Kabanets
Lower bounds against weakly uniform circuits
Event LFCS Seminar: Phil Wadler
Propositions as Sessions
Event Database Seminar: Paris Koutris
Query-based Data Pricing
Event LFCS Seminar: Thomas Streicher
Computability in Quantum Theory
Event LFCS Seminar: Fred Long
The CERT Oracle Secure Coding Standard for Java
Event LFCS Seminar: Andrew Pitts
Nominal Scott Domains
Event LFCS Seminar: Alin Stefanescu
Test generation and model learning for Event-B
Event ICSA/LFCS Joint Colloquium: Laurence Tratt
Domain specific languages: why? how? and where next?
Event LFCS Seminar: Christel Baier
Quantitative Analysis of Randomized Systems and Probabilistic Automata
Event LFCS/ICSA Joint Seminar: Laurence Tratt
Experiences of implementing a VM with RPython
Event LFCS Seminar: Anthony Widjaja Lin
Tractability Results for Automata on (Vectors of) Numbers with Applications
Event LFCS Seminar: Sven Schewe
Beautiful games you cannot stop playing
Event LFCS Seminar: Dan Ghica
Towards a system-level semantics
Event LFCS Seminar: Dmitrios Vytiniotis
Static contract checking for Haskell through FOL semantics
Event LFCS Seminar: Dave Parker
Automatic Verification of Competitive Stochastic Systems.
Event LFCS Seminar: Ohad Kammar
Title: Algebraic Foundations to Effect-Dependent Optimisations
Event LFCS Seminar: Christian Urban
Formalising Regular Language Theory with Regular Expressions
Event LFCS Seminar: Petra Berenbrink
Speeding up random walks