Archives  Page 2

RS42 Efficient String Matching on Coded Texts
No. 42 (1994) 
RS37 Fibrations and Calculi of Fractions
No. 37 (1994) 
RS36 On provably disjoint NPpairs
No. 36 (1994) 
RS31 Symmetric Logspace is Closed Under Complement
No. 31 (1994) 
RS26 Count(q) versus the PigeonHole Principle
No. 26 (1994) 
RS24 A Fractal which violates the Axiom of Determinacy
No. 24 (1994) 
RS28 Probabilistic Proof Systems
No. 28 (1994) 
RS23 Finitisation in Bounded Arithmetic
No. 23 (1994) 
RS21 Count(q) does not imply Count(p)
No. 21 (1994) 
RS20 An Action Semantics for ML Concurrency Primitives
No. 20 (1994) 
RS18 LCF Examples in HOL
No. 18 (1994) 
RS17 Local Model Checking and Traces
No. 17 (1994) 
RS15 Petri Nets and Bisimulations
No. 15 (1994) 
RS14 The Limit View of Infinite Computations
No. 14 (1994) 
RS13 Stable Bistructure Models of PCF
No. 13 (1994) 
RS12 Models for Concurrency
No. 12 (1994) 
RS11 A Homomorphism Concept for omegaRegularity
No. 11 (1994) 
RS9 Bistructures, Bidomains and Linear Logic
No. 9 (1994) 
RS8 Decidability Issues for Petri Nets
No. 8 (1994) 
RS7 Bisimulation from Open Maps
No. 7 (1994) 
RS6 Bisimulations, Games, and Logic
No. 6 (1994) 
RS5 Unified Algebras and Abstract Syntax
No. 5 (1994) 
RS3 Linear Logic on Petri Nets
No. 3 (1994) 
RS2 Complexity of Nondeterministic Functions
No. 2 (1994) 
RS38 Gödelisation in the lambdaCalculus
No. 38 (1995) 
RS41 EtaExpansion Does The Trick
No. 41 (1995) 
RS14 On the Idempotence of the CPS Transformation
No. 14 (1996) 
RS19 Compilation and Equivalence of Imperative Objects
No. 19 (1997) 
RS05 Formatting Strings in ML
No. 5 (1998) 
RS19 On the Power of Labels in Transition Systems
No. 19 (2001) 
RS21 Equational Theories of Tropical Semirings
No. 21 (2001) 
RS23 Defunctionalization at Work
No. 23 (2001) 
RS25 Cost Recurrences for DML Programs
No. 25 (2001) 
RS27 A HigherOrder Calculus for Categories
No. 27 (2001) 
RS28 A Fully Equational Proof of Parikh's Theorem
No. 28 (2001) 
RS29 A Unifying Approach to GoalDirected Evaluation
No. 29 (2001) 
RS30 A Selective CPS Transformation
No. 30 (2001) 
RS31 Syntactic Theories in Practice
No. 31 (2001) 
RS32 Cuckoo Hashing
No. 32 (2001) 
RS33 Lossy Dictionaries
No. 33 (2001) 
RS38 Free De Morgan Bisemigroups and Bisemilattices
No. 38 (2001) 
RS39 There and Back Again
No. 39 (2001) 
RS42 Rationally Additive Semirings
No. 42 (2001) 
RS44 Predicate Abstraction for Dense RealTime Systems
No. 44 (2001) 
RS49 A FirstOrder OnePass CPS Transformation
No. 49 (2001) 
RS51 On Weak Markov's Principle
No. 51 (2001) 
RS1 The bigwig Project
No. 1 (2002) 
RS4 Syntactic Theories in Practice
No. 4 (2002) 
RS3 On OnePass CPS Transformations
No. 3 (2002) 
RS5 Composing Strand Spaces
No. 5 (2002) 
RS7 A Formalization of Linkage Analysis
No. 7 (2002) 
RS9 OneProbe Search
No. 9 (2002) 
RS10 Uniform Asymptotic Regularity for Mann Iterates
No. 10 (2002) 
RS12 There and Back Again
No. 12 (2002) 
RS14 Modified Bar Recursion
No. 14 (2002) 
RS21 Formal Tree Series
No. 21 (2002) 
RS23 Compact Representations of BLAlgebras
No. 23 (2002) 
RS24 Static Analysis for Dynamic XML
No. 24 (2002) 
RS25 Deciding Framed Bisimilarity
No. 25 (2002) 
RS33 Memoization in TypeDirected Partial Evaluation
No. 33 (2002) 
RS34 A Foundation for Embedded Languages
No. 34 (2002) 
RS35 Timed Automata May Cause Some Troubles
No. 35 (2002) 
RS38 The Powerdomain of Indexed Valuations
No. 38 (2002) 
RS39 Some Remarks on Regular Words
No. 39 (2002) 
RS41 Axiomatizing Omega and Omegaop Powers of Words
No. 41 (2002) 
RS43 Using IDDs for Packet Filtering
No. 43 (2002) 
RS44 Higher Dimensional Automata
No. 44 (2002) 
RS48 Linearity in Process Languages
No. 48 (2002) 
RS49 HOPLAA HigherOrder Process Language
No. 49 (2002) 
RS50 Circuits on Cylinders
No. 50 (2002) 
RS51 Computing Refined Buneman Trees in Cubic Time
No. 51 (2002) 
RS53 A LambdaRevelation of the SECD Machine
No. 53 (2002) 
RS2 Tagging, Encoding, and Jones Optimality
No. 2 (2003) 
RS4 A Formal Model for Trust in Dynamic Networks
No. 4 (2003) 
RS5 Precise Analysis of String Expressions
No. 5 (2003) 
RS10 Wireless Authentication in chiSpaces
No. 10 (2003) 
RS19 Static Analysis of XML Transformations in Java
No. 19 (2003) 
RS22 Scalable KeyEscrow
No. 22 (2003) 
RS26 LambdaLifting in Quadratic Time
No. 26 (2003) 
RS29 A Runtime System for XML Transformations in Java
No. 29 (2003) 
RS30 New Algorithms for Exact Satisfiability
No. 30 (2003) 
RS31 Adhesive Categories
No. 31 (2003) 
RS33 A Rational Deconstruction of Landin's SECD Machine
No. 33 (2003) 
RS36 Unfair Noisy Channels and Oblivious Transfer
No. 36 (2003) 
RS42 Full Abstraction for HOPLA
No. 42 (2003) 
RS43 Domain Theory for Concurrency
No. 43 (2003) 
RS45 On converting CNF to DNF
No. 45 (2003) 
RS47 Recursive PingPong Protocols
No. 47 (2003) 
RS48 Danfoss EKC Trial Project Deliverables
No. 48 (2003) 
RS49 Online OntheFly Testing of Realtime Systems
No. 49 (2003) 
RS52 Pragmatics of Modular SOS
No. 52 (2003) 
RS10 Probabilistic Event Structures and Domains
No. 10 (2004) 
RS11 Congruences for Contextual GraphRewriting
No. 11 (2004) 
RS12 LambdaLifting in Quadratic Time
No. 12 (2004) 
RS13 Strong Privacy Protection in Electronic Voting
No. 13 (2004) 
RS15 The Full Abstraction of the UC Framework
No. 15 (2004) 
RS17 Computing Logarithms DigitbyDigit
No. 17 (2004) 
RS20 From Natural Semantics to Abstract Machines
No. 20 (2004) 
RS22 Profunctors, Open Maps and Bisimulation
No. 22 (2004) 
RS26 Refocusing in Reduction Semantics
No. 26 (2004) 
RS27 On the Adaptiveness of Quicksort
No. 27 (2004) 
RS33 A Runtime System for XML Transformations in Java
No. 33 (2004) 
RS35 Type Checking Semantic Functions in ASDF
No. 35 (2004) 
RS36 An Action Environment
No. 36 (2004) 
RS37 Constructive Action Semantics for Core ML
No. 37 (2004) 
RS39 CPS Transformation of BetaRedexes
No. 39 (2004) 
RS41 Sur un Exemple de Patrick Greussay
No. 41 (2004) 
RS3 There and Back Again
No. 3 (2005) 
RS7 Modular Structural Operational Semantics
No. 7 (2005) 
RS13 On the Dynamic Extent of Delimited Continuations
No. 13 (2005) 
RS15 A Concrete Framework for Environment Machines
No. 15 (2005) 
RS17 A Quantum Cipher with Near Optimal KeyRecycling
No. 17 (2005) 
RS20 Cryptography in the Bounded Quantum Storage Model
No. 20 (2005) 
RS23 A Framework for Concrete ReputationSystems
No. 23 (2005) 
RS27 A Calculus for ContextAwareness
No. 27 (2005) 
RS30 An Operational Semantics for Trust Policies.
No. 30 (2005) 
RS31 Type Checking with XML Schema in XACT
No. 31 (2005) 
RS32 Static Validation of XSL Transformations
No. 32 (2005) 
RS34 Formal Aspects of Polyvariant Specialization
No. 34 (2005) 
RS1 On the Axiomatizability of Priority
No. 1 (2006) 
RS2 A Formal Model for ContextAwareness
No. 2 (2006) 
RS3 A Concrete Framework for Environment Machines
No. 3 (2006) 
RS8 Static Analysis for Java Servlets and JSP
No. 8 (2006) 
RS10 Static Analysis for Java Servlets and JSP
No. 10 (2006) 
RS11 An Interface Theory for Input/Output Automata
No. 11 (2006) 
RS16 Static Analysis for EventBased XML Processing
No. 16 (2006) 
RS17 A Rational Deconstruction of Landin's J Operator
No. 17 (2006) 
RS19 Logics for The Applied pi Calculus
No. 19 (2006) 
RS1 HIROIMONO is NPcomplete
No. 1 (2007) 
RS2 Characteristic Formulae: From Automata to Logic
No. 2 (2007) 
RS6 On OnePass CPS Transformations
No. 6 (2007) 
RS7 Refunctionalization at Work
No. 7 (2007) 
RS10 Analyzing Ambiguity of ContextFree Grammars
No. 10 (2007) 
RS18 ControlFlow Analysis of Functional Programs
No. 18 (2007) 
RS4 Refunctionalization at Work
No. 4 (2008) 
RS24 Automata on SeriesParallel Biposets
No. 24 (2001) 
RS30 LambdaLifting in Quadratic Time
No. 30 (2002) 
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 
RS16 Marked Ancestor Problems
No. 16 (1998) 
RS35 An operational Investigation of the CPS Hierarchy
No. 35 (1998) 
RS54 LambdaDropping: Transforming Recursive Equations into Programs with Block Structure
No. 54 (1998)Full text not available. This report is superseded by the later report BRICS RS9927 
RS02 An Extensional Characterization of LambdaLifting and LambdaDropping
No. 2 (1998)Full text not available. This report is superseded by the later report BRICS RS9921. 
RS18 Cache Oblivious Distribution Sweeping
No. 18 (2002) 
RS9 Analyzing Ambiguity of ContextFree Grammars
No. 9 (2006) 
RS12 Optimal Resilient Dynamic Dictionaries
No. 12 (2007) 
RS18 Not published
No. 18 (2006) 
RS9 Not published
No. 9 (2007) 
RS13 Not published
No. 13 (2007) 
RS15 Not published
No. 15 (2007) 
RS17 Not published
No. 17 (2007) 
RS1 Not published
No. 1 (2008)
Previous
351670 of 670