Archives

RS4 Refunctionalization at Work
No. 4 (2008) 
RS1 Not published
No. 1 (2008) 
RS18 ControlFlow Analysis of Functional Programs
No. 18 (2007) 
RS17 Not published
No. 17 (2007) 
RS15 Not published
No. 15 (2007) 
RS13 Not published
No. 13 (2007) 
RS12 Optimal Resilient Dynamic Dictionaries
No. 12 (2007) 
RS10 Analyzing Ambiguity of ContextFree Grammars
No. 10 (2007) 
RS9 Not published
No. 9 (2007) 
RS7 Refunctionalization at Work
No. 7 (2007) 
RS6 On OnePass CPS Transformations
No. 6 (2007) 
RS2 Characteristic Formulae: From Automata to Logic
No. 2 (2007) 
RS1 HIROIMONO is NPcomplete
No. 1 (2007) 
RS19 Logics for The Applied pi Calculus
No. 19 (2006) 
RS18 Not published
No. 18 (2006) 
RS17 A Rational Deconstruction of Landin's J Operator
No. 17 (2006) 
RS16 Static Analysis for EventBased XML Processing
No. 16 (2006) 
RS11 An Interface Theory for Input/Output Automata
No. 11 (2006) 
RS10 Static Analysis for Java Servlets and JSP
No. 10 (2006) 
RS9 Analyzing Ambiguity of ContextFree Grammars
No. 9 (2006) 
RS8 Static Analysis for Java Servlets and JSP
No. 8 (2006) 
RS3 A Concrete Framework for Environment Machines
No. 3 (2006) 
RS2 A Formal Model for ContextAwareness
No. 2 (2006) 
RS1 On the Axiomatizability of Priority
No. 1 (2006) 
RS34 Formal Aspects of Polyvariant Specialization
No. 34 (2005) 
RS32 Static Validation of XSL Transformations
No. 32 (2005) 
RS31 Type Checking with XML Schema in XACT
No. 31 (2005) 
RS30 An Operational Semantics for Trust Policies.
No. 30 (2005) 
RS27 A Calculus for ContextAwareness
No. 27 (2005) 
RS23 A Framework for Concrete ReputationSystems
No. 23 (2005) 
RS20 Cryptography in the Bounded Quantum Storage Model
No. 20 (2005) 
RS17 A Quantum Cipher with Near Optimal KeyRecycling
No. 17 (2005) 
RS15 A Concrete Framework for Environment Machines
No. 15 (2005) 
RS13 On the Dynamic Extent of Delimited Continuations
No. 13 (2005) 
RS7 Modular Structural Operational Semantics
No. 7 (2005) 
RS3 There and Back Again
No. 3 (2005) 
RS41 Sur un Exemple de Patrick Greussay
No. 41 (2004) 
RS39 CPS Transformation of BetaRedexes
No. 39 (2004) 
RS37 Constructive Action Semantics for Core ML
No. 37 (2004) 
RS36 An Action Environment
No. 36 (2004) 
RS35 Type Checking Semantic Functions in ASDF
No. 35 (2004) 
RS33 A Runtime System for XML Transformations in Java
No. 33 (2004) 
RS27 On the Adaptiveness of Quicksort
No. 27 (2004) 
RS26 Refocusing in Reduction Semantics
No. 26 (2004) 
RS22 Profunctors, Open Maps and Bisimulation
No. 22 (2004) 
RS20 From Natural Semantics to Abstract Machines
No. 20 (2004) 
RS17 Computing Logarithms DigitbyDigit
No. 17 (2004) 
RS15 The Full Abstraction of the UC Framework
No. 15 (2004) 
RS13 Strong Privacy Protection in Electronic Voting
No. 13 (2004) 
RS12 LambdaLifting in Quadratic Time
No. 12 (2004) 
RS11 Congruences for Contextual GraphRewriting
No. 11 (2004) 
RS10 Probabilistic Event Structures and Domains
No. 10 (2004) 
RS52 Pragmatics of Modular SOS
No. 52 (2003) 
RS49 Online OntheFly Testing of Realtime Systems
No. 49 (2003) 
RS48 Danfoss EKC Trial Project Deliverables
No. 48 (2003) 
RS47 Recursive PingPong Protocols
No. 47 (2003) 
RS45 On converting CNF to DNF
No. 45 (2003) 
RS43 Domain Theory for Concurrency
No. 43 (2003) 
RS42 Full Abstraction for HOPLA
No. 42 (2003) 
RS36 Unfair Noisy Channels and Oblivious Transfer
No. 36 (2003) 
RS33 A Rational Deconstruction of Landin's SECD Machine
No. 33 (2003) 
RS31 Adhesive Categories
No. 31 (2003) 
RS30 New Algorithms for Exact Satisfiability
No. 30 (2003) 
RS29 A Runtime System for XML Transformations in Java
No. 29 (2003) 
RS26 LambdaLifting in Quadratic Time
No. 26 (2003) 
RS24 A Functional Correspondence between CallbyNeed Evaluators and Lazy Abstract Machines
No. 24 (2003)Full text not available. This report is superseded by the later report BRICS RS043 
RS22 Scalable KeyEscrow
No. 22 (2003) 
RS19 Static Analysis of XML Transformations in Java
No. 19 (2003) 
RS10 Wireless Authentication in chiSpaces
No. 10 (2003) 
RS5 Precise Analysis of String Expressions
No. 5 (2003) 
RS4 A Formal Model for Trust in Dynamic Networks
No. 4 (2003) 
RS2 Tagging, Encoding, and Jones Optimality
No. 2 (2003) 
RS53 A LambdaRevelation of the SECD Machine
No. 53 (2002) 
RS51 Computing Refined Buneman Trees in Cubic Time
No. 51 (2002) 
RS50 Circuits on Cylinders
No. 50 (2002) 
RS49 HOPLAA HigherOrder Process Language
No. 49 (2002) 
RS48 Linearity in Process Languages
No. 48 (2002) 
RS44 Higher Dimensional Automata
No. 44 (2002) 
RS43 Using IDDs for Packet Filtering
No. 43 (2002) 
RS41 Axiomatizing Omega and Omegaop Powers of Words
No. 41 (2002) 
RS39 Some Remarks on Regular Words
No. 39 (2002) 
RS38 The Powerdomain of Indexed Valuations
No. 38 (2002) 
RS35 Timed Automata May Cause Some Troubles
No. 35 (2002) 
RS34 A Foundation for Embedded Languages
No. 34 (2002) 
RS33 Memoization in TypeDirected Partial Evaluation
No. 33 (2002) 
RS30 LambdaLifting in Quadratic Time
No. 30 (2002) 
RS25 Deciding Framed Bisimilarity
No. 25 (2002) 
RS24 Static Analysis for Dynamic XML
No. 24 (2002) 
RS23 Compact Representations of BLAlgebras
No. 23 (2002) 
RS21 Formal Tree Series
No. 21 (2002) 
RS18 Cache Oblivious Distribution Sweeping
No. 18 (2002) 
RS14 Modified Bar Recursion
No. 14 (2002) 
RS12 There and Back Again
No. 12 (2002) 
RS10 Uniform Asymptotic Regularity for Mann Iterates
No. 10 (2002) 
RS9 OneProbe Search
No. 9 (2002) 
RS7 A Formalization of Linkage Analysis
No. 7 (2002) 
RS5 Composing Strand Spaces
No. 5 (2002) 
RS4 Syntactic Theories in Practice
No. 4 (2002) 
RS3 On OnePass CPS Transformations
No. 3 (2002) 
RS1 The bigwig Project
No. 1 (2002) 
RS51 On Weak Markov's Principle
No. 51 (2001) 
RS49 A FirstOrder OnePass CPS Transformation
No. 49 (2001) 
RS44 Predicate Abstraction for Dense RealTime Systems
No. 44 (2001) 
RS42 Rationally Additive Semirings
No. 42 (2001) 
RS39 There and Back Again
No. 39 (2001) 
RS38 Free De Morgan Bisemigroups and Bisemilattices
No. 38 (2001) 
RS33 Lossy Dictionaries
No. 33 (2001) 
RS32 Cuckoo Hashing
No. 32 (2001) 
RS31 Syntactic Theories in Practice
No. 31 (2001) 
RS30 A Selective CPS Transformation
No. 30 (2001) 
RS29 A Unifying Approach to GoalDirected Evaluation
No. 29 (2001) 
RS28 A Fully Equational Proof of Parikh's Theorem
No. 28 (2001) 
RS27 A HigherOrder Calculus for Categories
No. 27 (2001) 
RS25 Cost Recurrences for DML Programs
No. 25 (2001) 
RS24 Automata on SeriesParallel Biposets
No. 24 (2001) 
RS23 Defunctionalization at Work
No. 23 (2001) 
RS21 Equational Theories of Tropical Semirings
No. 21 (2001) 
RS19 On the Power of Labels in Transition Systems
No. 19 (2001) 
RS13 Events in Security Protocols
No. 13 (2001) 
RS10 Do we Need Dependent Types?
No. 10 (2001) 
RS9 Static Validation of Dynamically Generated HTML
No. 9 (2001) 
RS7 On the Number of QuasiKernels in Digraphs
No. 7 (2001) 
RS52 How to Convert a Flavor of Quantum Bit Commitment
No. 52 (2000) 
RS51 CASL for CafeOBJ Users
No. 51 (2000) 
RS50 Modularity in MetaLanguages
No. 50 (2000) 
RS49 Higher Order Reverse Mathematics
No. 49 (2000) 
RS42 The bigwig Project
No. 42 (2000) 
RS41 The DSD Schema Language and its Applications
No. 41 (2000) 
RS40 MONA Implementation Secrets
No. 40 (2000) 
RS39 The Pointer Assertion Logic Engine
No. 39 (2000) 
RS36 Dispersing Hash Functions
No. 36 (2000) 
RS35 CPS Transformation of BetaRedexes
No. 35 (2000) 
RS33 A HigherOrder Colon Translation
No. 33 (2000) 
RS28 Free mulattices
No. 28 (2000) 
RS27 Inductive * Semirings
No. 27 (2000) 
RS24 Growing Languages with Metamorphic Syntax Macros
No. 24 (2000) 
RS23 Characteristic Formulae for Timed Automata
No. 23 (2000) 
RS22 Using Automata in Control Synthesis. A Case Study
No. 22 (2000) 
RS19 A Note on NP intersection coNP/poly
No. 19 (2000) 
RS10 A Tough Nut for Tree Resolution
No. 10 (2000) 
RS4 A New Tradeoff for Deterministic Dictionaries
No. 4 (2000) 
RS2 Local Logics for Traces
No. 2 (2000) 
RS1 Pseudoknots in RNA Secondary Structures
No. 1 (2000) 
RS57 A Modular SOS for ML Concurrency Primitives
No. 57 (1999) 
RS56 A Modular SOS for Action Notation
No. 56 (1999) 
RS55 Logical Specification of Operational Semantics
No. 55 (1999) 
RS54 Foundations of Modular SOS
No. 54 (1999) 
RS52 Towards a Theory of Regular MSC Languages
No. 52 (1999) 
RS48 Faster Deterministic Dictionaries
No. 48 (1999) 
RS44 Aliasing Models for Mobile Objects
No. 44 (1999) 
RS43 What is a ‘Good’ Encoding of Guarded Choice?
No. 43 (1999)
1350 of 670
Next