 |
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
An efficient regularity concept for sparse graphs and matrices
Amin Coja-Oghlan, Colin Cooper and Alan Frieze
Mar 2008, EDI-INF-RR1239
-
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
-
A better algorithm for random k-SAT
Amin Coja-Oghlan
Feb 2009, EDI-INF-RR1316
-
Decision Problems for Nash Equilibria in Stochastic Games
Michael Ummels and Dominik Wojtczak
Apr 2009, EDI-INF-RR1325
-
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
|
