Laboratory for Foundations of Computer Science Publications
  • A New Algorithm for Learning Range Restricted Horn Expressions
    Marta Arias and Roni Khardon
    Mar 2000, EDI-INF-RR0010
  • Learning Inequated Range Restricted Horn Expressions
    Marta Arias and Roni Khardon
    Mar 2000, EDI-INF-RR0011
  • Stratified coherent spaces: a denotational semantics for Light Linear Logic
    Patrick Baillot
    Aug 2000, EDI-INF-RR0025
  • A Higher-Order Embedding of a Logic of Objects
    Martin Hofmann and Francis Tang
    Jan 2001, EDI-INF-RR0033
  • Counting on CTL* : On the Expressive Power of Monadic Path Logic
    Alexander Rabinovich and Faron Moller
    Jun 2001, EDI-INF-RR0041
  • Featherweight Java: a minimal core calculus for Java and GJ
    Atsushi Igarashi, Benjamin Pierce and Philip Wadler
    May 2001, EDI-INF-RR0590
  • LSCs: Breathing Life into Message Sequence Charts
    Werner Damm and David Harel
    Jul 2001, EDI-INF-RR0991
  • Model-Checking LTL with Regular Valuations for Pushdown Systems
    Stefan Schwoon, Javier Esparza and Antonin Kucera
    Aug 2001, EDI-INF-RR0044
  • On Compositional Method and its Limitations
    Alexander Rabinovich
    Jan 2001, EDI-INF-RR0035
  • Selection and Uniformization in Generalized Product
    Alexander Rabinovich
    Feb 2001, EDI-INF-RR0038
  • A constructive algebraic hierarchy in Coq
    Herman Geuvers, Robert Pollack, Freek Wiedijk and Jan Zwanenburg
    Oct 2002, EDI-INF-RR0747
  • CASL: The common algebraic specification language
    Egidio Astesiano, Michel Bidoit, Helene Kirchner, Bernd Krieg-Brueckner, Peter Mosses, Donald Sannella and Andrzej Tarlecki
    Sep 2002, EDI-INF-RR0562
  • Cyclone: A Safe Dialect of C
    Trevor Jim, Greg Morrisett, Dan Grossman, Michael Hicks, James Cheney and Yanling Wang
    Jun 2002, EDI-INF-RR1051
  • Data Management for Peer-to-Peer Computing: A Vision
    Philip Bernstein, Fausto Giunchiglia, Anastasios Kementsietsidis, John Mylopoulos, Luciano Serafini and Ilya Zaihrayeu
    Jun 2002, EDI-INF-RR1064
  • Dependently typed records in type theory
    Robert Pollack
    2002, EDI-INF-RR0746
  • Evolutionary Trees can be Learned in Polynomial Time in the Two-State General Markov Model
    Mary Cryan, Leslie Ann Goldberg and Paul W Goldberg
    2002, EDI-INF-RR0465
  • LFPL with Types for Deep Sharing
    Michal Konecny
    Nov 2002, EDI-INF-RR0157
  • Notions of Computation Determine Monads
    Gordon Plotkin and John Power
    2002, EDI-INF-RR0581
  • P#: Using Prolog within the .NET Framework
    Jonathan Cook
    Jul 2002, EDI-INF-RR0145
  • Premonoidal categories as categories with algebraic structure
    John Power
    2002, EDI-INF-RR0413
  • Product form solution for an insensitive stochastic process algebra structure
    Graham Clark and Jane Hillston
    Nov 2002, EDI-INF-RR0481
  • Typing with Conditions and Guarantees in LFPL
    Michal Konecny
    Oct 2002, EDI-INF-RR0151
  • A Polynomial-Time Algorithm to Approximately Count Contingency Tables when the Number of Rows is Constant
    Mary Cryan and Martin Dyer
    Sep 2003, EDI-INF-RR0466
  • Capturing both Types and Constraints in Data Integration
    Michael Benedikt, Chee Yong Chan, Wenfei Fan, Juliana Freire and Rajeev Rastogi
    Jun 2003, EDI-INF-RR0727
  • Comparing the succinctness of monadic query languages over finite trees
    Martin Grohe and Nicole Schweikardt
    Jun 2003, EDI-INF-RR0168
  • Definable relations and first-order query languages over strings
    Leonid Libkin, Michael Benedikt, Thomas Schwentick and Luc Segoufin
    2003, EDI-INF-RR0834
  • Dependable Grid Services
    Stuart Anderson, Yin Chen, Glen Dobson, Stephen Hall, Conrad Hughes, Yong Li, Sheng Qu, Edmund Smith, Ian Sommerville and Tie Jun Ma
    Sep 2003, EDI-INF-RR1062
  • Derivation of passage-time densities in PEPA models using IPC: The Imperial PEPA Compiler
    Jeremy Bradley, Nick Dingle, Stephen Gilmore and Will Knottenbelt
    Oct 2003, EDI-INF-RR0771
  • Higher-Order Pattern Complement and the Strict Lambda-Calculus
    Alberto Momigliano and Frank Pfenning
    Oct 2003, EDI-INF-RR0600
  • Mapping Data in Peer-to-Peer Systems: Semantics and Algorithmic Issues.
    Anastasios Kementsietsidis, Marcelo Arenas and Renee Miller
    Jun 2003, EDI-INF-RR1065
  • Maximizing the Ouput Rate of Multi-Way Join Queries over Streaming Information Sources
    Stratis Viglas, Jeffrey Naughton and Josef Burger
    Sep 2003, EDI-INF-RR0597
  • Multi-Level Meta-Reasoning with Higher Order Abstract Syntax
    Alberto Momigliano and Simon Ambler
    Apr 2003, EDI-INF-RR0601
  • Path Queries on Compressed XML
    Peter Buneman, Martin Grohe and Christoph Koch
    2003, EDI-INF-RR0636
  • Random Walks on the Vertices of Transportation Polytopes with Constant Number of Sources
    Mary Cryan, Martin Dyer, Haiko Muller and Leen Stougie
    Jan 2003, EDI-INF-RR0467
  • SmartFrog meets LCFG - Autonomous Reconfiguration with Central Policy Control
    Paul Anderson, Patrick Goldsack and Jim Paterson
    Dec 2003, EDI-INF-RR0407
  • The Relative Complexity of Approximate Counting Problems
    Martin Dyer, Leslie Ann Goldberg, Catherine Greenhill and Mark Jerrum
    Dec 2003, EDI-INF-RR0477
  • A polynomial-time approximation algorithm for the permanent of a matrix with nonnegative entries
    Mark Jerrum, Alistair Sinclair and Eric Vigoda
    Jul 2004, EDI-INF-RR0460
  • Archiving Scientific Data
    Peter Buneman, Sanjeev Khanna, Keishi Tajima and Wang-Chiew Tan
    2004, EDI-INF-RR0632
  • Autonomic Management of Large Clusters and their Integration into the Grid
    Thomas Roblitz, Florian Schintke, Alexander Reinefeld, Olof Barring, Maite Barroso Lopez, German Cancio, Sylvain Chapeland, Karim Chouikh, Lionel Cons, Piotr Poznanski, Philippe Defert, Jan Iven, Thorsten Kleinwort, Bernd Panzer-Steindel, Jaroslaw Polok, Catherine Rafflin, Alan Silverman, Tim Smith, Jan Eldik, David Front, Massimo Biasotto, Cristina Aiftimiei, Enrico Ferro, Gaetano Maron, Andrea Chierici, Luca Dell'agnello, Marco Serra, Michele Michelotto, Lord Hess, Volker Lindenstruth, Frank Pister, Timm Morten Steinbeck, David Groep, Martijn Steenbakkers, Oscar Koeroo, Wim Som de Cerff, Gerben Venekamp, Paul Anderson, Tim Colles, Alexander Holt, Alastair Scobie, Michael George, Andrew Washbrook, Rafael A. Garcia Leiva and
    Sep 2004, EDI-INF-RR0546
  • Category theory for operational semantics
    Marina Lenisa, John Power and Hiroshi Watanabe
    2004, EDI-INF-RR0412
  • Elementary bounds on Poincar and log-Sobolev constants for decomposable Markov chains
    Mark Jerrum, Jung-Bae Son, Prasad Tetali and Eric Vigoda
    2004, EDI-INF-RR0476
  • Hereditary History Preserving Bisimilarity Coincides with History Preserving Bisimilarity for a Class of Live Free Choice Systems
    Sibylle Froeschle
    Jan 2004, EDI-INF-RR0190
  • Induction and Co-induction in Sequent Calculus
    Alberto Momigliano and Alwen Tiu
    Feb 2004, EDI-INF-RR0602
  • Nominal Games and Full Abstraction for the Nu-Calculus
    Samson Abramsky, Dan Ghica, Andrzej Murawski, Luke Ong and Ian Stark
    Jul 2004, EDI-INF-RR0759
  • Semantic Domains for Combining Probability and Non-Determinism
    Regina Tix, Klaus Keimel and Gordon Plotkin
    2004, EDI-INF-RR0598
  • Spaces Allowing Type-2 Complexity Theory Revisited
    Matthias Schroeder
    Sep 2004, EDI-INF-RR0644
  • The decidability of hereditary history preserving bisimilarity on trace-labelled systems is unresolved
    Sibylle Froeschle
    Aug 2004, EDI-INF-RR0231
  • A logical framework with dependently typed records
    Thierry Coquand, Robert Pollack and Makoto Takeyama
    Jan 2005, EDI-INF-RR0742
  • Analysis of Recursive State Machines
    Rajeev Alur, Michael Benedikt, Kousha Etessami, Patrice Godefroid, Thomas Reps and Mihalis Yannakakis
    2005, EDI-INF-RR0641
  • Approximately Counting Integral Flows and Cell-Bounded Contingency Tables
    Mary Cryan, Martin Dyer and Dana Randall
    May 2005, EDI-INF-RR0468
  • Automatic Verification of Design Patterns in Java
    Alexander Blewitt, Alan Bundy and Ian Stark
    Nov 2005, EDI-INF-RR0989
  • Computing with Sequences, Weak Topologies and the Axiom of Choice
    Matthias Schroeder and Vasco Brattka
    Aug 2005, EDI-INF-RR0638
  • End-to-End Integrated Security and Performance Analysis on the DEGAS Choreographer Platform
    Mikael Buchholtz, Stephen Gilmore, Valentin Haenel and Carlo Montangero
    Jul 2005, EDI-INF-RR0772
  • Fair-Simulation Relations, Parity Games, and State-Space Reduction for B"uchi Automata
    Kousha Etessami, Thomas Wilke and Rebecca Schuller
    2005, EDI-INF-RR0639
  • Functional Programming Languages for Verification Tools: A Comparison of Standard ML and Haskell
    Leucker Martin, Noll Thomas, Perdita Stevens and Weber Michael
    Apr 2005, EDI-INF-RR0440
  • Pseudo-commutative monads and pseudo-closed 2-categories
    Martin Hyland and John Power
    2005, EDI-INF-RR0411
  • Recursive Markov Chains, Stochastic Grammars, and Monotone Systems of Nonlinear Equations
    Kousha Etessami and Mihalis Yannakakis
    Jan 2005, EDI-INF-RR0603
  • Combining Effects: Sum and Tensor
    Martin Hyland, Gordon Plotkin and John Power
    2006, EDI-INF-RR0599
  • Compactly Generated Domain Theory
    Matthias Schroeder, Ingo Battenfeld and Alex Simpson
    2006, EDI-INF-RR0640
  • Generic models for computational effects
    John Power
    2006, EDI-INF-RR0414
  • HaploRec: Efficient and accurate large-scale reconstruction of haplotypes
    Lauri Eronen, Floris Geerts and Hannu Toivonen
    Dec 2006, EDI-INF-RR1008
  • How to cite curated databases and how to make them citable.
    Peter Buneman
    Jul 2006, EDI-INF-RR0875
  • Linearization and completeness results for terminating transitive closure queries on spatial databases
    Floris Geerts, Bart Kuijpers and Jan Van den Bussche
    Apr 2006, EDI-INF-RR0804
  • MONDRIAN: Annotating and querying databases through colors and blocks
    Floris Geerts, Anastasios Kementsietsidis and Diego Milano
    Mar 2006, EDI-INF-RR0243
  • On modelling recursive calls and callbacks with two variants of Unified Modelling Language state diagrams
    Jennifer Tenzer and Perdita Stevens
    2006, EDI-INF-RR1208
  • QoS Explorer: A Tool for Exploring QoS in Composed Services
    Conrad Hughes and Jamie Hillman
    Oct 2006, EDI-INF-RR1063
  • Systematic scan for sampling colourings
    Martin Dyer, Leslie Ann Goldberg and Mark Jerrum
    2006, EDI-INF-RR0479
  • Towards a Bell-Curve Calculus and its Application to e-Science
    Lin Yang, Alan Bundy, Dave Berry and Conrad Hughes
    Mar 2006, EDI-INF-RR1069
  • Towards a Bell-Curve Calculus for e-Science
    Lin Yang, Alan Bundy, Dave Berry and Conrad Hughes
    Sep 2006, EDI-INF-RR1068
  • Using Partial Evaluation in Distributed Query Evaluation
    Peter Buneman, Gao Cong, Wenfei Fan and Anastasios Kementsietsidis
    2006, EDI-INF-RR1066
  • What the web has done for scientific data -- and what it hasn't
    Peter Buneman
    2006, EDI-INF-RR0637
  • iMONDRIAN: A Visual Tool to Annotate and Query Scientific Databases
    Floris Geerts, Anastasios Kementsietsidis and Diego Milano
    Mar 2006, EDI-INF-RR1067
  • A Program Logic for Resources
    David Aspinall, Lennart Beringer, Martin Hofmann, Hans-Wolfgang Loidl and Alberto Momigliano
    Dec 2007, EDI-INF-RR0296
  • Conditional Functional Dependencies for Data Cleaning
    Wenfei Fan, Philip Bohannon, Floris Geerts, Xibei Jia and Anastasios Kementsiets
    Apr 2007, EDI-INF-RR0949
  • Dense-Timed Petri Nets: Checking Zenoness, Token liveness and Boundedness
    P.A. Abdulla, P. Mahata and Richard Mayr
    Feb 2007, EDI-INF-RR1196
  • Down in the (Data)base(ment): Supporting Configuration in Organisational Information Systems
    Stuart Anderson, Gillian Hardstone, Robert Procter and Robin Williams
    Nov 2007, EDI-INF-RR0335
  • On the Expressiveness of Implicit Provenance in Query and Update Languages.
    Peter Buneman, James Cheney and Stijn Vansummeren
    Jan 2007, EDI-INF-RR0876
  • A Language for Biochemical Systems
    Michael Pedersen and Gordon Plotkin
    Oct 2008, EDI-INF-RR1270
  • An efficient regularity concept for sparse graphs and matrices
    Amin Coja-Oghlan, Colin Cooper and Alan Frieze
    Mar 2008, EDI-INF-RR1239
  • Bio-PEPA: a framework for the modelling and analysis of biological systems
    Federica Ciocchetta and Jane Hillston
    2008, EDI-INF-RR1231
  • Compositional Definitions of Minimal Flows in Petri Nets
    Michael Pedersen
    Oct 2008, EDI-INF-RR1269
  • Partitioning random graphs with general degree distributions
    Amin Coja-Oghlan and Andre Lanka
    Mar 2008, EDI-INF-RR1240
  • The Sun Hotspot JVM does not conform with the Java Memory Model
    Jaroslav Sevcik
    Apr 2008, EDI-INF-RR1252
  • Unary finite automata vs. arithmetic progressions
    Anthony Lin
    Dec 2008, EDI-INF-RR1306
  • A better algorithm for random k-SAT
    Amin Coja-Oghlan
    Feb 2009, EDI-INF-RR1316
  • Algorithmic metatheorems for decidable LTL model checking over infinite systems
    Anthony Lin and Leonid Libkin
    Oct 2009, EDI-INF-RR1348
  • Decision Problems for Nash Equilibria in Stochastic Games
    Michael Ummels and Dominik Wojtczak
    Apr 2009, EDI-INF-RR1325
  • Resource Analysis for Iterative Java Programs via Lattice-point Enumeration in Polytopes
    Kenneth MacKenzie
    2009, EDI-INF-RR1341
  • Technical Report: Defining a textual representation for SBGN Process Diagrams and translating it to Bio-PEPA for quantitative analysis of the MAPK signal transduction cascade
    Laurence Loewe, Stuart Moodie and Jane Hillston
    Jul 2009, EDI-INF-RR1334
  • The Complexity of Nash Equilibria in Simple Stochastic Multiplayer Games
    Michael Ummels and Dominik Wojtczak
    Feb 2009, EDI-INF-RR1323
  • The script-writer's dream: How to write great SQL in your own language, and be sure it will succeed (Tech report)
    Ezra Cooper
    May 2009, EDI-INF-RR1327
  • Executable Formal Semantics of C
    Brian Campbell and Robert Pollack
    Dec 2010, EDI-INF-RR1412
  • Logics and Games for True Concurrency
    Julian Gutierrez
    Nov 2010, EDI-INF-RR1393
  • Parikh Images of Regular Languages: Complexity and Applications
    Anthony Lin
    Feb 2010, EDI-INF-RR1363
  • Buechi Automata can have Smaller Quotients
    Lorenzo Clemente
    Apr 2011, EDI-INF-RR1399
  • Simulation Over One-counter Nets is PSPACE-Complete
    Richard Mayr, Piotr Hofman, Slawomir Lasota and Patrick Totzke
    Dec 2013, EDI-INF-RR1418
  • Solving Parity Games on Integer Vectors
    Richard Mayr, Parosh Aziz Abdulla, Arnaud Sangnier and Jeremy Sproston
    Aug 2013, EDI-INF-RR1417
  • Stochastic Parity Games on Lossy Channel Systems
    Richard Mayr, Parosh Aziz Abdulla, Lorenzo Clemente and Sven Sandberg
    Aug 2013, EDI-INF-RR1416
  • Infinite-State Energy Games
    Richard Mayr, Parosh Aziz Abdulla, Mohamed Faouzi Atig, Piotr Hofman, K. Narayan Kumar and Patrick Totzke
    Jul 2014, EDI-INF-RR1419

Home : Research : Lfcs 

Informatics Forum, 10 Crichton Street, Edinburgh, EH8 9AB, Scotland, UK
Tel: +44 131 651 5661, Fax: +44 131 651 1426, E-mail:
Database generated page, please contact us with any comments or corrections. Logging and Cookies
Unless explicitly stated otherwise, all material is copyright © The University of Edinburgh