Records

BRICS Report Series

View Archive Info

  • » Dynamic Linear Time Temporal Logic
    Henriksen, Jesper G.; Thiagarajan, P. S.
    1997-01-08
    View Record | View Original
  • » Assessing the Overhead of ML Exceptions by Selective CPS Transformation
    Kim, Jung-taek; Yi, Kwangkeun; Danvy, Olivier
    1998-01-15
    View Record | View Original
  • » The Hardness of Speeding-up Knapsack
    Sen, Sandeep
    1998-01-14
    View Record | View Original
  • » Compiling Actions by Partial Evaluation, Revisited
    Danvy, Olivier; Rhiger, Morten
    1998-01-13
    View Record | View Original
  • » Lower Bounds for Dynamic Algebraic Problems
    Frandsen, Gudmund Skovbjerg; Hansen, Johan P.; Miltersen, Peter Bro
    1998-01-11
    View Record | View Original
  • » The Power of Reachability Testing for Timed Automata
    Aceto, Luca; Bouyer, Patricia; Burgueno, Augusto; Larsen, Kim G.
    1998-06-18
    View Record | View Original
  • » A Cook’s Tour of Equational Axiomatizations for Prefix Iteration
    Aceto, Luca; Fokkink, Willem Jan; Ingólfsdóttir, Anna
    1998-06-19
    View Record | View Original
  • » Automated Modeling of Real-Time Implementation
    Jensen, Peter Krogsgaard
    1998-06-21
    View Record | View Original
  • » Imperative Objects and Mobile Processes
    Kleist, Josva; Sangiorgi, Davide
    1998-06-22
    View Record | View Original
  • » An Interpretation of the Fan Theorem in Type Theory
    Fridlender, Daniel
    1998-06-09
    View Record | View Original
  • » A Communication Complexity Proof that Symmetric Functions have Logarithmic Depth
    Brodal, Gerth Stølting; Husfeldt, Thore
    1996-01-01
    View Record | View Original
  • » Fast Meldable Priority Queues
    Brodal, Gerth Stølting
    1995-01-12
    View Record | View Original
  • » Partial and Higher Order Differentials and Applications to the DES
    Knudsen, Lars Ramkilde
    1995-01-09
    View Record | View Original
  • » An Optimal O(log log n) Time Parallel Algorithm for Detecting all Squares in a String
    Apostolico, Alberto; Breslauer, Dany
    1995-01-11
    View Record | View Original
  • » Dynamic Algorithms for the Dyck Languages
    Frandsen, Gudmund Skovbjerg; Husfeldt, Thore; Miltersen, Peter Bro; Rauhe, Theis; Skyum, Søren
    1995-01-01
    View Record | View Original
  • » A Semantic Theory for Value–Passing Processes Late Approach Part I: A Denotational...
    Ingólfsdóttir, Anna
    1995-01-03
    View Record | View Original
  • » Type Inference of Turbo Pascal
    Hougaard, Ole I.; Schwartzbach, Michael I.; Askari, Hosein
    1995-01-08
    View Record | View Original
  • » Hardware Verification using Monadic Second-Order Logic
    Basin, David A.; Klarlund, Nils
    1995-01-07
    View Record | View Original
  • » A Complete Deductive System for the mu-Calculus
    Walukiewicz, Igor
    1995-01-06
    View Record | View Original
  • » Petri Nets and Bisimulations
    Nielsen, Mogens; Winskel, Glynn
    1995-01-04
    View Record | View Original
  • » From Timed Automata to Logic - and Back
    Laroussinie, Francois; Larsen, Kim G.; Weise, Carsten
    1995-01-02
    View Record | View Original
  • » Transforming Comparison Model Lower Bounds to the PRAM
    Breslauer, Dany; Dubhashi, Devdatt P.
    1995-02-01
    View Record | View Original
  • » Trust in the lambda-calculus
    Palsberg, Jens; Ørbæk, Peter
    1995-06-01
    View Record | View Original
  • » An Adequate Left-Associated Binary Numeral System in the lambda-Calculus
    Goldberg, Mayer
    1995-06-12
    View Record | View Original
  • » Monadic Second-Order Logic, Graphs and Unfoldings of Transition Systems
    Courcelle, Bruno; Walukiewicz, Igor
    1995-06-14
    View Record | View Original
76 - 100 of 146 Items    << < 1 2 3 4 5 6 > >>