archive-dk.com » DK » S » STATSBIBLIOTEKET.DK

Total: 990

Choose link from "Titles, links and description words view":

Or switch to "Titles and links view".
  • Register
    Confirm Email ORCID iD ORCID iDs can only be assigned by the ORCID Registry You must conform to their standards for expressing ORCID iDs and include the full URI eg http orcid org 0000 0002 1825 0097 URL Phone Fax Mailing Address Country Afghanistan Albania Algeria American Samoa Andorra Angola Anguilla Antarctica Antigua and Barbuda Argentina Armenia Aruba Australia Austria Azerbaijan Bahamas Bahrain Bangladesh Barbados Belarus Belgium Belize Benin Bermuda Bhutan Bolivia Plurinational State of Bosnia and Herzegovina Botswana Bouvet Island Brazil British Indian Ocean Territory Brunei Darussalam Bulgaria Burkina Faso Burundi Cambodia Cameroon Canada Cape Verde Cayman Islands Central African Republic Chad Chile China Christmas Island Cocos Keeling Islands Colombia Comoros Congo Congo the Democratic Republic of the Cook Islands Costa Rica Croatia Cuba Cyprus Czech Republic Côte d Ivoire Denmark Djibouti Dominica Dominican Republic Ecuador Egypt El Salvador Equatorial Guinea Eritrea Estonia Ethiopia Falkland Islands Malvinas Faroe Islands Fiji Finland France French Guiana French Polynesia French Southern Territories Gabon Gambia Georgia Germany Ghana Gibraltar Greece Greenland Grenada Guadeloupe Guam Guatemala Guernsey Guinea Guinea Bissau Guyana Haiti Heard Island and McDonald Islands Holy See Vatican City State Honduras Hong Kong Hungary Iceland India Indonesia Iran Islamic Republic of Iraq Ireland Isle of Man Israel Italy Jamaica Japan Jersey Jordan Kazakhstan Kenya Kiribati Korea Democratic People s Republic of Korea Republic of Kuwait Kyrgyzstan Lao People s Democratic Republic Latvia Lebanon Lesotho Liberia Libya Liechtenstein Lithuania Luxembourg Macao Macedonia the former Yugoslav Republic of Madagascar Malawi Malaysia Maldives Mali Malta Marshall Islands Martinique Mauritania Mauritius Mayotte Mexico Micronesia Federated States of Moldova Republic of Monaco Mongolia Montenegro Montserrat Morocco Mozambique Myanmar Namibia Nauru Nepal Netherlands Netherlands Antilles New Caledonia New Zealand Nicaragua Niger Nigeria Niue Norfolk Island Northern Mariana Islands Norway Oman Pakistan Palau Palestinian Territory Occupied Panama Papua New

    Original URL path: http://ojs.statsbiblioteket.dk/index.php/bras/user/registerUser (2016-02-10)
    Open archived version from archive


  • Notifications
    An issue has been published 11 Aug 2015 11 59 48 Go To URL An issue has been published 11 Aug 2015 11 57 14 Go To URL An issue has been published 11 Aug 2015 11 55 14 Go To URL An issue has been published 11 Aug 2015 11 52 10 Go To URL An issue has been published 11 Aug 2015 11 49 44 Go To URL An issue has been published 11 Aug 2015 11 46 45 Go To URL An issue has been published 11 Aug 2015 11 39 16 Go To URL An issue has been published 11 Aug 2015 11 37 13 Go To URL An issue has been published 11 Aug 2015 11 34 32 Go To URL An issue has been published 11 Aug 2015 11 32 21 Go To URL An issue has been published 11 Aug 2015 11 30 18 Go To URL An issue has been published 11 Aug 2015 11 27 19 Go To URL An issue has been published 11 Aug 2015 11 24 40 Go To URL An issue has been published 11 Aug 2015 11 22 29 Go To URL An issue has been published 11 Aug 2015 11 06 36 Go To URL An issue has been published 11 Aug 2015 11 03 25 Go To URL An issue has been published 11 Aug 2015 11 00 58 Go To URL An issue has been published 11 Aug 2015 10 57 03 Go To URL An issue has been published 11 Aug 2015 10 46 00 Go To URL An issue has been published 11 Aug 2015 10 42 39 Go To URL An issue has been published 11 Aug 2015 10 39 14 Go To URL An issue has been published 11 Aug 2015 10 33 14 Go To URL An issue has been published 11 Aug 2015 10 30 23 Go To URL An issue has been published 11 Aug 2015 10 26 50 Go To URL An issue has been published 11 Aug 2015 10 23 58 Go To URL An issue has been published 11 Aug 2015 10 20 25 Go To URL An issue has been published 11 Aug 2015 10 05 35 Go To URL An issue has been published 11 Aug 2015 10 02 00 Go To URL An issue has been published 11 Aug 2015 09 59 37 Go To URL An issue has been published 11 Aug 2015 09 56 33 Go To URL An issue has been published 11 Aug 2015 09 53 53 Go To URL An issue has been published 11 Aug 2015 09 50 04 Go To URL An issue has been published 11 Aug 2015 09 33 46 Go To URL An issue has been published 11 Aug 2015 09 29 38 Go To URL An issue has been published 11 Aug 2015 09 26 01 Go To URL An issue has been published 11 Aug 2015 09 19 55 Go To URL An issue has been published 11 Aug 2015 09 15 30 Go To URL An issue has been published 11 Aug 2015 09 11 41 Go To URL An issue has been published 06 Aug 2015 13 50 18 Go To URL An issue has been published 06 Aug 2015 13 46 33 Go To URL An issue has been published 06 Aug 2015 13 41 47 Go To URL An issue has been published 06 Aug 2015 13 36 41 Go To URL An issue has been published 06 Aug 2015 12 59 52 Go To URL An issue has been published 06 Aug 2015 12 55 28 Go To URL An issue has been published 06 Aug 2015 12 51 04 Go To URL An issue has been published 06 Aug 2015 12 46 16 Go To URL An issue has been published 06 Aug 2015 12 42 23 Go To URL An issue has been published 06 Aug 2015 12 39 25 Go To URL An issue has been published 06 Aug 2015 12 36 11 Go To URL An issue has been published 06 Aug 2015 12 08 39 Go To URL An issue has been published 06 Aug 2015 12 03 51 Go To URL An issue has been published 06 Aug 2015 11 59 37 Go To URL An issue has been published 06 Aug 2015 11 33 34 Go To URL An issue has been published 06 Aug 2015 11 25 26 Go To URL An issue has been published 06 Aug 2015 11 18 56 Go To URL An issue has been published 06 Aug 2015 10 56 30 Go To URL An issue has been published 06 Aug 2015 10 51 11 Go To URL An issue has been published 06 Aug 2015 10 46 34 Go To URL An issue has been published 06 Aug 2015 10 42 55 Go To URL An issue has been published 06 Aug 2015 10 36 23 Go To URL An issue has been published 06 Aug 2015 10 32 49 Go To URL An issue has been published 06 Aug 2015 10 27 36 Go To URL An issue has been published 06 Aug 2015 10 24 41 Go To URL An issue has been published 06 Aug 2015 10 21 50 Go To URL An issue has been published 06 Aug 2015 10 11 56 Go To URL An issue has been published 06 Aug 2015 10 07 22 Go To URL An issue has been published 06 Aug 2015 10 02 21 Go To URL An issue has been published 06 Aug 2015 09 56 49 Go To URL An issue has been published 06 Aug 2015 09 52 59 Go To URL An issue has been published 06 Aug 2015 09 49 50 Go To URL An issue has been published 06 Aug 2015 09 45 56 Go To URL An issue has been published 06

    Original URL path: http://ojs.statsbiblioteket.dk/index.php/brics/notification (2016-02-10)
    Open archived version from archive

  • Notification mailing list
    Browse By Issue By Author By Title Other Journals Font Size Information For Readers For Librarians Current Issue User Username Password Remember me Home About Login Search Current Archives Announcements Computer Science AU Home Notification mailing list Notification mailing list Enter your email address to receive immediate notifications of important new content added to the journal Email Confirm Email Validation Please enter the letters as they appear in the image

    Original URL path: http://ojs.statsbiblioteket.dk/index.php/brics/notification/subscribeMailList (2016-02-10)
    Open archived version from archive

  • Archives
    15 2004 RS 15 The Full Abstraction of the UC Framework No 14 2004 RS 14 Maker Maker and Maker Breaker Games are PSPACE Complete No 13 2004 RS 13 Strong Privacy Protection in Electronic Voting No 12 2004 RS 12 Lambda Lifting in Quadratic Time No 11 2004 RS 11 Congruences for Contextual Graph Rewriting No 10 2004 RS 10 Probabilistic Event Structures and Domains No 9 2004 RS 9 Zero Knowledge Proofs and String Commitments Withstanding Quantum Attacks No 8 2004 RS 8 Highly Undecidable Questions for Process Algebras No 7 2004 RS 7 On the Expressive Power of Extended Process Rewrite Systems No 6 2004 RS 6 On Reducing a System of Equations to a Single Equation No 5 2004 RS 5 From Interpreter to Logic Engine by Defunctionalization No 4 2004 RS 4 Optimal Strategies in Priced Timed Game Automata No 3 2004 RS 3 A Functional Correspondence between Call by Need Evaluators and Lazy Abstract Machines No 2 2004 RS 2 Cache Oblivious Data Structures and Algorithms for Undirected Breadth First Search and Shortest Paths No 1 2004 RS 1 Split 2 Bisimilarity has a Finite Axiomatization over CCS with Hennessy s Merge 2003 No 53 2003 RS 53 Composing Programming Languages by Combining Action Semantics Modules No 52 2003 RS 52 Pragmatics of Modular SOS No 51 2003 RS 51 Bounds on Iterations of Asymptotically Quasi Nonexpansive Mappings No 50 2003 RS 50 A Two Layer Approach to the Computability and Complexity of Real Numbers No 49 2003 RS 49 Online On the Fly Testing of Real time Systems No 48 2003 RS 48 Danfoss EKC Trial Project Deliverables No 47 2003 RS 47 Recursive Ping Pong Protocols No 46 2003 RS 46 The Role of Quantifier Alternations in Cut Elimination No 45 2003 RS 45 On converting CNF to DNF No 44 2003 RS 44 The Cell Probe Complexity of Succinct Data Structures No 43 2003 RS 43 Domain Theory for Concurrency No 42 2003 RS 42 Full Abstraction for HOPLA No 41 2003 RS 41 An Operational Foundation for Delimited Continuations No 40 2003 RS 40 A Denotational Account of Untyped Normalization by Evaluation No 39 2003 RS 39 Applying pi Calculus to Practice An Example of a Unified Security Mechanism No 38 2003 RS 38 Contracts for Cooperation between Web Service Programmers and HTML Designers No 37 2003 RS 37 Computational Collapse of Quantum State with Application to Oblivious Transfer No 36 2003 RS 36 Unfair Noisy Channels and Oblivious Transfer No 35 2003 RS 35 A Functional Correspondence between Monadic Evaluators and Abstract Machines for Languages with Computational No 34 2003 RS 34 CCS with Hennessy s Merge has no Finite Equational Axiomatization No 33 2003 RS 33 A Rational Deconstruction of Landin s SECD Machine No 32 2003 RS 32 Extracting Herbrand Disjunctions by Functional Interpretation No 31 2003 RS 31 Adhesive Categories No 30 2003 RS 30 New Algorithms for Exact Satisfiability No 29 2003 RS 29 A Runtime System for XML Transformations in Java No 28 2003 RS 28 Regular Languages Definable by Lindström Quantifiers No 27 2003 RS 27 Nested Semantics over Finite Trees are Equationally Hard No 26 2003 RS 26 Lambda Lifting in Quadratic Time No 25 2003 RS 25 From Interpreter to Logic Engine by Defunctionalization No 24 2003 RS 24 A Functional Correspondence between Call by Need Evaluators and Lazy Abstract Machines Full text not available This report is superseded by the later report BRICS RS 04 3 No 23 2003 RS 23 Recent Advances in Sigma definability over Continuous Data Types No 22 2003 RS 22 Scalable Key Escrow No 21 2003 RS 21 Some Logical Metatheorems with Applications in Functional Analysis No 20 2003 RS 20 Fast Partial Evaluation of Pattern Matching in Strings No 19 2003 RS 19 Static Analysis of XML Transformations in Java No 18 2003 RS 18 Syntactic Formats for Free An Abstract Approach to Process Equivalence No 17 2003 RS 17 The Complexity of Checking Consistency of Pedigree Information and Related Problems No 16 2003 RS 16 A Length Flexible Threshold Cryptosystem with Applications No 15 2003 RS 15 A Semantic Theory for Value Passing Processes Based on the Late Approach No 14 2003 RS 14 From Interpreter to Compiler and Virtual Machine A Functional Derivation No 13 2003 RS 13 A Functional Correspondence between Evaluators and Abstract Machines No 12 2003 RS 12 A Complexity Analysis of Functional Interpretations No 11 2003 RS 11 Fast Partial Evaluation of Pattern Matching in Strings No 10 2003 RS 10 Wireless Authentication in chi Spaces No 9 2003 RS 9 An Extended Quadratic Frobenius Primality Test with Average and Worst Case Error Estimates No 8 2003 RS 8 Efficient Algorithms for gcd and Cubic Residuosity in the Ring of Eisenstein Integers No 7 2003 RS 7 The METAFRONT System Extensible Parsing and Transformation No 6 2003 RS 6 Jeeg Temporal Constraints for the Synchronization of Concurrent Objects No 5 2003 RS 5 Precise Analysis of String Expressions No 4 2003 RS 4 A Formal Model for Trust in Dynamic Networks No 3 2003 RS 3 On the Computational Collapse of Quantum Information No 2 2003 RS 2 Tagging Encoding and Jones Optimality No 1 2003 RS 1 Deriving Bisimulation Congruences 2 Categories vs Precategories 2002 No 53 2002 RS 53 A Lambda Revelation of the SECD Machine No 52 2002 RS 52 A New One Pass Transformation into Monadic Normal Form No 51 2002 RS 51 Computing Refined Buneman Trees in Cubic Time No 50 2002 RS 50 Circuits on Cylinders No 49 2002 RS 49 HOPLA A Higher Order Process Language No 48 2002 RS 48 Linearity in Process Languages No 47 2002 RS 47 Extended Temporal Logic on Finite Words and Wreath Product of Monoids with Distinguished Generators No 46 2002 RS 46 Greibach Normal Form in Algebraically Complete Semirings No 45 2002 RS 45 Chromatic Number in Time O 2 4023 n Using Maximal

    Original URL path: http://ojs.statsbiblioteket.dk/index.php/brics/issue/archive (2016-02-10)
    Open archived version from archive

  • Browse Author Index
    Ronald Crazzolara Federico Crépeau Claude Curien Pierre Louis D Dam Wim van Damgård Ivan B Damian Daniel Dantchev Stefan Danvy Olivier David Alexandre Davies Rowan Delzanno Giorgio de Paiva Valeria Desharnais Josée Dietzfelbinger Martin Di Nola Antonio Doh Kyung Goo Dubhashi Devdatt P Dumais Paul Dzafic Belmina Dziembowski Stefan E Edalat Abbas Engberg Uffe H É Ésik Zoltán E Esparza Javier Etessami Kousha F Fagerberg Rolf Fajstrup Lisbeth Fehnker Ansgar Fehr Serge Fich Faith Filinski Andrzej Fiore Marcelo P Fleury Emmanuel Fokkink Willem Jan Frandsen Gudmund Skovbjerg Frendrup Ulrik Fridlender Daniel Friis Jacob Fröschle Sibylle B G Gál Anna Gerhardy Philipp Giegerich Robert Glabbeek Rob J van Godskesen Jens Chr Goldberg Mayer Goldreich Oded Gordon Andrew D Gordon Mike Grable David A Grobauer Bernd Groote Jan Friso Groth Jens Gutin Gregory H Hanckowiak Michał Hangos Katalin M Hankin Paul D Hansen Jens Alsted Hansen Johan P Hansen Kristoffer Arnsfelt Hansen Martin Harcourt Ed Hariharan Ramesh Hatcliff John Havelund Klaus Hein Jotun Henriksen Jesper G Hernest Mircea Dan Hildebrandt Thomas Troels Hintermeier Claus Hirt Martin Hougaard Ole I Hune Thomas S Husfeldt Thore Hüttel Hans I Indrika Mia Ingólfsdóttir Anna Ito Masami Iversen Jørgen Iversen Torsten K J Jacob Riko Jakobsen Thomas Jancar Petr Janin David Jeannet Bertrand Jensen Henrik Ejersbo Jensen Jakob L Jensen Jesper Nyholm Jensen Morten Vadskær Jensen Ole J L Jensen Peter Krogsgaard Jiang Tao Jiang Zhigen Johannsen Jacob Johnsen Jacob Johnstone Peter T Jordán Tibor Jørgensen Allan Grønlund Jørgensen Michael E Joyal André Jurdzinski Marcin Jurik Mads J K Kaligosi Kanela Karonski Michał Katriel Irit Kilian Joe Kim Jung taek Kirchner Hélene Kirkegaard Christian Kjærgaard Mikkel Baun Klarlund Nils Kleist Josva Klima Ondrej Klin Bartek Knudsen John Knudsen Lars Ramkilde Kock Anders Koh Khee Meng Kohlenbach Ulrich Koistinen Jari Koprowski Maciej Korovina Margarita Kozen Dexter Kretínský

    Original URL path: http://ojs.statsbiblioteket.dk/index.php/brics/search/authors (2016-02-10)
    Open archived version from archive

  • Browse Title Index
    Theory An Interpretation of the Fan Theorem in Type Theory Abstract PDF Daniel Fridlender No 6 2008 RS 6 An Investigation of Abadi and Cardelli s Untyped Calculus of Objects An Investigation of Abadi and Cardelli s Untyped Calculus of Objects Abstract PDF Jacob Johannsen No 38 1998 RS 38 An n ary zipWith in Haskell An n ary zipWith in Haskell Abstract PDF Daniel Fridlender Mia Indrika No 29 1995 RS 29 An n log n Algorithm for Online BDD Refinement An n log n Algorithm for Online BDD Refinement Abstract PDF Nils Klarlund No 41 2003 RS 41 An Operational Foundation for Delimited Continuations An Operational Foundation for Delimited Continuations Abstract PDF Malgorzata Biernacka Dariusz Biernacki Olivier Danvy No 11 2005 RS 11 An Operational Foundation for Delimited Continuations in the CPS Hierarchy An Operational Foundation for Delimited Continuations in the CPS Hierarchy Abstract PDF Malgorzata Biernacka Dariusz Biernacki Olivier Danvy No 29 2004 RS 29 An Operational Foundation for Delimited Continuations in the CPS Hierarchy An Operational Foundation for Delimited Continuations in the CPS Hierarchy Abstract PDF Malgorzata Biernacka Dariusz Biernacki Olivier Danvy No 24 2005 RS 24 An Operational Foundation for Delimited Continuations in the CPS Hierarchy An Operational Foundation for Delimited Continuations in the CPS Hierarchy Abstract PDF Malgorzata Biernacka Dariusz Biernacki Olivier Danvy No 35 1998 RS 35 An operational Investigation of the CPS Hierarchy An Operational Investigation of the CPS Hierarchy Abstract Olivier Danvy Zhe Yang No 30 2005 RS 30 An Operational Semantics for Trust Policies An Operational Semantics for Trust Policies Abstract PDF Karl Krukow No 11 1995 RS 11 An Optimal O log log n Time Parallel Algorithm for Detecting all Squares in a String An Optimal O log log n Time Parallel Algorithm for Detecting all Squares in a String Abstract PDF Alberto Apostolico Dany Breslauer No 40 2002 RS 40 A Note on an Expressiveness Hierarchy for Multi exit Iteration A Note on an Expressiveness Hierarchy for Multi exit Iteration Abstract PDF Luca Aceto Willem Jan Fokkink Anna Ingólfsdóttir No 33 1997 RS 33 A Note on Frame Distributions A Note on Frame Distributions Abstract PDF Anders Kock Gonzalo E Reyes No 19 2000 RS 19 A Note on NP intersection coNP poly A Note on NP intersection coNP poly Abstract PDF Vinodchandran N Variyam No 20 1999 RS 20 A Note on Spector s Quantifier Free Rule of Extensionality A Note on Spector s Quantifier Free Rule of Extensionality Abstract PDF Ulrich Kohlenbach No 39 2003 RS 39 Applying pi Calculus to Practice An Example of a Unified Security Mechanism Applying pi Calculus to Practice An Example of a Unified Security Mechanism Abstract PDF Jörg Abendroth No 44 1996 RS 44 A Presheaf Semantics of Value Passing Processes A Presheaf Semantics of Value Passing Processes Abstract PDF Glynn Winskel No 9 1997 RS 09 A Product Version of Dynamic Linear Time Temporal Logic A Product Version of Dynamic Linear Time Temporal Logic Abstract PDF Jesper G Henriksen P S Thiagarajan No 32 2004 RS 32 A Quantitative Version of Kirk s Fixed Point Theorem for Asymptotic Contractions A Quantitative Version of Kirk s Fixed Point Theorem for Asymptotic Contractions Abstract PDF Philipp Gerhardy No 17 2005 RS 17 A Quantum Cipher with Near Optimal Key Recycling A Quantum Cipher with Near Optimal Key Recycling Abstract PDF Ivan B Damgård Thomas B Pedersen Louis Salvail No 4 2006 RS 4 A Rational Deconstruction of Landin s J Operator A Rational Deconstruction of Landin s J Operator Abstract PDF Olivier Danvy Kevin Millikin No 17 2006 RS 17 A Rational Deconstruction of Landin s J Operator A Rational Deconstruction of Landin s J Operator Abstract PDF Olivier Danvy Kevin Millikin No 33 2003 RS 33 A Rational Deconstruction of Landin s SECD Machine A Rational Deconstruction of Landin s SECD Machine Abstract PDF Olivier Danvy No 10 1999 RS 10 A Relational Account of Call by Value Sequentiality A Relational Account of Call by Value Sequentiality Abstract PDF Jon G Riecke Anders B Sandholm No 41 1997 RS 41 A Relational Account of Call by Value Sequentiality A Relational Account of Call by Value Sequentiality Abstract PDF Jon G Riecke Anders B Sandholm No 21 1998 RS 21 A Representation Result for Free Cocompletions A Representation Result for Free Cocompletions Abstract PDF John Power Gian Luca Cattani Glynn Winskel No 9 1999 RS 9 A Runtime System for Interactive Web Services A Runtime System for Interactive Web Services Abstract PDF Claus Brabrand Anders Møller Anders B Sandholm Michael I Schwartzbach No 33 2004 RS 33 A Runtime System for XML Transformations in Java A Runtime System for XML Transformations in Java Abstract PDF Aske Simon Christensen Christian Kirkegaard Anders Møller No 29 2003 RS 29 A Runtime System for XML Transformations in Java A Runtime System for XML Transformations in Java Abstract PDF Aske Simon Christensen Christian Kirkegaard Anders Møller No 30 2001 RS 30 A Selective CPS Transformation A Selective CPS Transformation Abstract PDF Lasse R Nielsen No 17 1999 RS 17 A Semantic Account of Type Directed Partial Evaluation A Semantic Account of Type Directed Partial Evaluation Abstract PDF Andrzej Filinski No 15 2003 RS 15 A Semantic Theory for Value Passing Processes Based on the Late Approach A Semantic Theory for Value Passing Processes Based on the Late Approach Abstract PDF Anna Ingólfsdóttir No 3 1995 RS 03 A Semantic Theory for Value Passing Processes Late Approach Part I A DenotationalModel and Its Complete Axiomatiz A Semantic Theory for Value Passing Processes Late Approach Part I A Denotational Model and Its Complete Axiomatization Abstract PDF Anna Ingólfsdóttir No 22 1995 RS 22 A Semantic Theory for Value Passing Processes Late Approach Part II A Behavioural Semantics and Full Abstractness A Semantic Theory for Value Passing Processes Late Approach Part II A Behavioural Semantics and Full Abstractness Abstract PDF Anna Ingólfsdóttir No 8 2007 RS 8 A Simple Application of Lightweight Fusion to Proving the Equivalence of Abstract Machines A Simple Application of Lightweight Fusion to Proving the Equivalence of Abstract Machines Abstract PDF Olivier Danvy Kevin Millikin No 2 2002 RS 2 A Simple Correctness Proof of the Direct Style Transformation A Simple Correctness Proof of the Direct Style Transformation Abstract PDF Lasse R Nielsen No 55 2001 RS 55 A Simple CPS Transformation of Control Flow Information A Simple CPS Transformation of Control Flow Information Abstract PDF Daniel Damian Olivier Danvy No 25 2005 RS 25 A Simple Proof of a Folklore Theorem about Delimited Control A Simple Proof of a Folklore Theorem about Delimited Control Abstract PDF Dariusz Biernacki Olivier Danvy No 10 2005 RS 10 A Simple Proof of a Folklore Theorem about Delimited Control A Simple Proof of a Folklore Theorem about Delimited Control Abstract PDF Dariusz Biernacki Olivier Danvy No 1 1998 RS 01 A Simple Solution to Type Specialization A Simple Solution to Type Specialization Abstract PDF Olivier Danvy No 34 2000 RS 34 A Simple Take on Typed Abstract Syntax in Haskell like Languages A Simple Take on Typed Abstract Syntax in Haskell like Languages Abstract PDF Olivier Danvy Morten Rhiger No 15 1998 RS 15 Assessing the Overhead of ML Exceptions by Selective CPS Transformation Assessing the Overhead of ML Exceptions by Selective CPS Transformation Abstract PDF Jung taek Kim Kwangkeun Yi Olivier Danvy No 3 2008 RS 3 A Study of Syntactic and Semantic Artifacts and its Application to Lambda Definability Strong Normalization A Study of Syntactic and Semantic Artifacts and its Application to Lambda Definability Strong Normalization and Weak Normalization in the Presence of Abstract PDF Johan Munk No 37 2002 RS 37 A Symmetric Approach to Compilation and Decompilation A Symmetric Approach to Compilation and Decompilation Abstract PDF Mads Sig Ager Olivier Danvy Mayer Goldberg No 22 2005 RS 22 A Syntactic Correspondence between Context Sensitive Calculi and Abstract Machines A Syntactic Correspondence between Context Sensitive Calculi and Abstract Machines Abstract PDF Malgorzata Biernacka Olivier Danvy No 18 2006 RS 18 Not published A Syntactic Correspondence between Context Sensitive Calculi and Abstract Machines Abstract Malgorzata Biernacka Olivier Danvy No 38 2005 RS 38 A Syntactic Correspondence between Context Sensitive Calculi and Abstract Machines A Syntactic Correspondence between Context Sensitive Calculi and Abstract Machines Abstract PDF Malgorzata Biernacka Olivier Danvy No 20 2001 RS 20 A Temporal Concurrent Constraint Programming Calculus A Temporal Concurrent Constraint Programming Calculus Abstract PDF Catuscia Palamidessi Frank D Valencia No 51 1995 RS 51 A Temporal Logic Approach to Binding Time Analysis A Temporal Logic Approach to Binding Time Analysis Abstract PDF Rowan Davies No 35 1997 RS 35 A Theory of Recursive Domains with Applications to Concurrency A Theory of Recursive Domains with Applications to Concurrency Abstract PDF Gian Luca Cattani Marcelo P Fiore Glynn Winskel No 10 2000 RS 10 A Tough Nut for Tree Resolution A Tough Nut for Tree Resolution Abstract PDF Stefan Dantchev Søren Riis No 50 2003 RS 50 A Two Layer Approach to the Computability and Complexity of Real Numbers A Two Layer Approach to the Computability and Complexity of Real Numbers Abstract PDF Branimir Lambov No 29 2001 RS 29 A Unifying Approach to Goal Directed Evaluation A Unifying Approach to Goal Directed Evaluation Abstract PDF Olivier Danvy Bernd Grobauer Morten Rhiger No 27 1995 RS 27 Automata for the mu calculus and Related Results Automata for the mu calculus and Related Results Abstract PDF David Janin Igor Walukiewicz No 24 2001 RS 24 Automata on Series Parallel Biposets Automata on Series Parallel Biposets Abstract PDF Zoltán Ésik Zoltán L Németh No 53 1995 RS 53 Automated Logical Verification based on Trace Abstractions Automated Logical Verification based on Trace Abstractions Abstract PDF Nils Klarlund Mogens Nielsen Kim Sunesen No 51 1998 RS 51 Automated Modeling of Real Time Implementation Automated Modeling of Real Time Implementation Abstract PDF Peter Krogsgaard Jensen No 45 1994 RS 45 Automatic Synthesis of Real Time Systems Automatic Synthesis of Real Time Systems Abstract PDF Jørgen H Andersen No 19 1994 RS 19 Automatic Verification of Real Timed Systems Using EPSILON Automatic Verification of Real Timed Systems Using EPSILON Abstract PDF Jens Chr Godskesen Kim G Larsen Arne Skou No 41 2002 RS 41 Axiomatizing Omega and Omega op Powers of Words Axiomatizing Omega and Omega op Powers of Words Abstract PDF Stephen L Bloom Zoltán Ésik No 56 1995 RS 56 Axiomatizing Prefix Iteration with Silent Steps Axiomatizing Prefix Iteration with Silent Steps Abstract PDF Luca Aceto Willem Jan Fokkink Rob J van Glabbeek Anna Ingólfsdóttir No 20 1996 RS 20 Back to Direct Style II First Class Continuations Back to Direct Style II First Class Continuations Abstract PDF Olivier Danvy Julia L Lawall No 25 1996 RS 25 Balls and Bins A Study in Negative Dependence Balls and Bins A Study in Negative Dependence Abstract PDF Devdatt P Dubhashi Desh Ranjan No 25 1995 RS 25 Basic Action Theory Basic Action Theory Abstract PDF Søren B Lassen No 26 1996 RS 26 BDD Algortihms and Cache Misses BDD Algortihms and Cache Misses Abstract PDF Nils Klarlund Theis Rauhe No 55 1995 RS 55 Behavioural Equivalence for Infinite Systems Partially Decidable Behavioural Equivalence for Infinite Systems Partially Decidable Abstract PDF Mogens Nielsen Kim Sunesen No 24 2004 RS 24 Bisimilarity is not Finitely Based over BPA with Interrupt Bisimilarity is not Finitely Based over BPA with Interrupt Abstract PDF Luca Aceto Willem Jan Fokkink Anna Ingólfsdóttir Sumit Nain No 33 2005 RS 33 Bisimilarity is not Finitely Based over BPA with Interrupt Bisimilarity is not Finitely Based over BPA with Interrupt Abstract PDF Luca Aceto Willem Jan Fokkink Anna Ingólfsdóttir Sumit Nain No 4 1997 RS 04 Bisimulation for Labelled Markov Processes Bisimulation for Labelled Markov Processes Abstract PDF Richard Blute Josée Desharnais Abbas Edalat Prakash Panangaden No 7 1994 RS 7 Bisimulation from Open Maps Bisimulation from Open Maps Abstract PDF André Joyal Mogens Nielsen Glynn Winskel No 8 1996 RS 8 Bisimulations for Asynchronous Mobile Processes Bisimulations for Asynchronous Mobile Processes Abstract PDF Martin Hansen Hans Hüttel Josva Kleist No 6 1994 RS 6 Bisimulations Games and Logic Bisimulations Games and Logic Abstract PDF Mogens Nielsen Christian Clausen No 9 1994 RS 9 Bistructures Bidomains and Linear Logic Bistructures Bidomains and Linear Logic Abstract PDF Gordon Plotkin Glynn Winskel No 15 1997 RS 15 Bistructures Bidomains and Linear Logic Bistructures Bidomains and Linear Logic Abstract PDF Pierre Louis Curien Gordon Plotkin Glynn Winskel No 25 1994 RS 25 Bootstrapping the Primitive Recursive Functions by 47 Colors Bootstrapping the Primitive Recursive Functions by 47 Colors Abstract PDF Søren Riis No 38 2004 RS 38 Bottom Up beta Substitution Uplinks and lambda DAGs Bottom Up beta Substitution Uplinks and lambda DAGs Abstract PDF Olin Shivers Mitchell Wand No 51 2003 RS 51 Bounds on Iterations of Asymptotically Quasi Nonexpansive Mappings Bounds on Iterations of Asymptotically Quasi Nonexpansive Mappings Abstract PDF Ulrich Kohlenbach Branimir Lambov No 2 2004 RS 2 Cache Oblivious Data Structures and Algorithms for Undirected Breadth First Search and Shortest Paths Cache Oblivious Data Structures and Algorithms for Undirected Breadth First Search and Shortest Paths Abstract PDF Gerth Stølting Brodal Rolf Fagerberg Ulrich Meyer Norbert Zeh No 18 2002 RS 18 Cache Oblivious Distribution Sweeping Cache Oblivious Distribution Sweeping Abstract Gerth Stølting Brodal Rolf Fagerberg No 36 2001 RS 36 Cache Oblivious Search Trees via Binary Trees of Small Height Cache Oblivious Search Trees via Binary Trees of Small Height Abstract PDF Gerth Stølting Brodal Rolf Fagerberg Riko Jacob No 24 1995 RS 24 Can you Trust your Data Can you Trust your Data Abstract PDF Peter Ørbæk No 43 1998 RS 43 CASL A Guided Tour of its Design CASL A Guided Tour of its Design Abstract PDF Peter D Mosses No 49 1997 RS 49 CASL for ASF SDF Users CASL for ASF SDF Users Abstract PDF Peter D Mosses No 51 2000 RS 51 CASL for CafeOBJ Users CASL for CafeOBJ Users Abstract PDF Peter D Mosses No 34 2003 RS 34 CCS with Hennessy s Merge has no Finite Equational Axiomatization CCS with Hennessy s Merge has no Finite Equational Axiomatization Abstract PDF Luca Aceto Willem Jan Fokkink Anna Ingólfsdóttir Bas Luttik No 23 2000 RS 23 Characteristic Formulae for Timed Automata Characteristic Formulae for Timed Automata Abstract PDF Luca Aceto Anna Ingólfsdóttir Mikkel Lykke Pedersen Jan Poulsen No 2 2007 RS 2 Characteristic Formulae From Automata to Logic Characteristic Formulae From Automata to Logic Abstract PDF Luca Aceto Anna Ingólfsdóttir No 42 2002 RS 42 Checking Consistency of Pedigree Information is NP complete Preliminary Report Checking Consistency of Pedigree Information is NP complete Preliminary Report Abstract PDF Luca Aceto Jens Alsted Hansen Anna Ingólfsdóttir Jacob Johnsen John Knudsen No 8 2001 RS 8 Checking for Open Bisimilarity in the pi Calculus Checking for Open Bisimilarity in the pi Calculus Abstract PDF Ulrik Frendrup Jesper Nyholm Jensen No 45 2002 RS 45 Chromatic Number in Time O 2 4023 n Using Maximal Independent Sets Chromatic Number in Time O 2 4023 n Using Maximal Independent Sets Abstract PDF Jesper Makholm Byskov No 50 2002 RS 50 Circuits on Cylinders Circuits on Cylinders Abstract PDF Kristoffer Arnsfelt Hansen Peter Bro Miltersen V Vinay No 20 1997 RS 20 Classifying Toposes for First Order Theories Classifying Toposes for First Order Theories Abstract PDF Carsten Butz Peter T Johnstone No 46 1998 RS 46 Clock Difference Diagrams Clock Difference Diagrams Abstract PDF Kim G Larsen Carsten Weise Wang Yi Justin Pearson No 48 1997 RS 48 CoFI The Common Framework Initiative for Algebraic Specification and Development CoFI The Common Framework Initiative for Algebraic Specification and Development Abstract PDF Peter D Mosses No 52 1996 RS 52 Combining Algebraic and Set Theoretic Specifications Extended Version Combining Algebraic and Set Theoretic Specifications Extended Version Abstract PDF Claus Hintermeier Hélene Kirchner Peter D Mosses No 23 2002 RS 23 Compact Representations of BL Algebras Compact Representations of BL Algebras Abstract PDF Antonio Di Nola Laurentiu Leustean No 29 2002 RS 29 Comparative Methods for Gene Structure Prediction in Homologous Sequences Comparative Methods for Gene Structure Prediction in Homologous Sequences Abstract PDF Christian N S Pedersen Tejs Scharling No 18 1996 RS 18 Comparing Transition Systems with Independence and Asynchronous Transition Systems Comparing Transition Systems with Independence and Asynchronous Transition Systems Abstract PDF Thomas Troels Hildebrandt Vladimiro Sassone No 3 1998 RS 03 Comparison of Coding DNA Comparison of Coding DNA Abstract PDF Christian N S Pedersen Rune B Lyngsø Jotun Hein No 19 1997 RS 19 Compilation and Equivalence of Imperative Objects Compilation and Equivalence of Imperative Objects Abstract PDF Andrew D Gordon Paul D Hankin Søren B Lassen No 55 1998 RS 55 Compilation and Equivalence of Imperative Objects Revised Report Compilation and Equivalence of Imperative Objects Revised Report Abstract PDF Andrew D Gordon Paul D Hankin Søren B Lassen No 13 1998 RS 13 Compiling Actions by Partial Evaluation Revisited Compiling Actions by Partial Evaluation Revisited Abstract PDF Olivier Danvy Morten Rhiger No 2 1994 RS 2 Complexity of Nondeterministic Functions Complexity of Nondeterministic Functions Abstract PDF Alexander E Andreev No 16 2000 RS 16 Complexity of Weak Bisimilarity and Regularity for BPA and BPP Complexity of Weak Bisimilarity and Regularity for BPA and BPP Abstract PDF Jirí Srba No 18 1995 RS 18 Complexity Results for Model Checking Complexity Results for Model Checking Abstract PDF Allan Cheng No 53 2003 RS 53 Composing Programming Languages by Combining Action Semantics Modules Composing Programming Languages by Combining Action Semantics Modules Abstract PDF Kyung Goo Doh Peter D Mosses No 5 2002 RS 5 Composing Strand Spaces Composing Strand Spaces Abstract PDF Federico Crazzolara Glynn Winskel No 59 1996 RS 59 Compositional and Symbolic Model Checking of Real Time Systems Compositional and Symbolic Model Checking of Real Time Systems Abstract PDF Kim G Larsen Paul Pettersson Wang Yi No 19 1995 RS 19 Compositional Model Checking of Real Time Systems Compositional Model Checking of Real Time Systems Abstract

    Original URL path: http://ojs.statsbiblioteket.dk/index.php/brics/search/titles (2016-02-10)
    Open archived version from archive

  • Information For Readers
    Home About Login Search Current Archives Announcements Computer Science AU Home For Readers Information For Readers We encourage readers to sign up for the publishing notification service for this journal Use the Register link at the top of the home page for the journal This registration will result in the reader receiving the Table of Contents by email for each new issue of the journal This list also allows the

    Original URL path: http://ojs.statsbiblioteket.dk/index.php/brics/information/readers (2016-02-10)
    Open archived version from archive

  • Information For Librarians
    Title Other Journals Font Size Information For Readers For Librarians Current Issue User Username Password Remember me Home About Login Search Current Archives Announcements Computer Science AU Home For Librarians Information For Librarians We encourage research librarians to list this journal among their library s electronic journal holdings As well it may be worth noting that this journal s open source publishing system is suitable for libraries to host for

    Original URL path: http://ojs.statsbiblioteket.dk/index.php/brics/information/librarians (2016-02-10)
    Open archived version from archive



  •