Records

BRICS Report Series

View Archive Info

  • » Rn and Gn Logics
    Hintermeier, Claus; Kirchner, Hélene; Mosses, Peter D.
    1996-06-21
    View Record | View Original
  • » Objects, Types and Modal Logics
    Andersen, Dan S.; Pedersen, Lars H.; Hüttel, Hans; Kleist, Josva
    1996-06-19
    View Record | View Original
  • » Hypergraph Optimization Problems: Why is the Objective Function Linear?
    Pekec, Aleksandar
    1996-06-20
    View Record | View Original
  • » Theory and Practice of Action Semantics
    Mosses, Peter D.
    1996-06-23
    View Record | View Original
  • » Pushdown Processes: Games and Model Checking
    Walukiewicz, Igor
    1996-06-24
    View Record | View Original
  • » Meaningful and Meaningless Solutions for Cooperative N-person Games
    Pekec, Aleksandar
    1996-06-17
    View Record | View Original
  • » Scalings in Linear Programming: Necessary and Sufficient Conditions for Invariance
    Pekec, Aleksandar
    1996-06-18
    View Record | View Original
  • » Combining Algebraic and Set-Theoretic Specifications (Extended Version)
    Hintermeier, Claus; Kirchner, Hélene; Mosses, Peter D.
    1996-06-22
    View Record | View Original
  • » An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces
    Thiagarajan, P. S.; Walukiewicz, Igor
    1996-12-02
    View Record | View Original
  • » UPPAAL—a Tool Suite for Automatic Verification of Real–Time Systems
    Bengtsson, Johan; Larsen, Kim G.; Larsson, Fredrik; Pettersson, Paul; Yi, Wang
    1996-06-28
    View Record | View Original
  • » Timed Modal Specification —Theory and Tools
    Cerans, Karlis; Godskesen, Jens Chr.; Larsen, Kim G.
    1997-01-11
    View Record | View Original
  • » Compositional Safety Logics
    Andersen, Jørgen H.; Larsen, Kim G.
    1997-01-13
    View Record | View Original
  • » Model Checking via Reachability Testing for Timed Automata
    Aceto, Luca; Burgueno, Augusto; Larsen, Kim G.
    1997-01-29
    View Record | View Original
  • » Hardness Results for Dynamic Problems by Extensions of Fredman and Saks’ Chronogram Method
    Husfeldt, Thore; Rauhe, Theis
    1997-06-02
    View Record | View Original
  • » Presheaf Models for the pi-Calculus
    Cattani, Gian Luca; Stark, Ian; Winskel, Glynn
    1997-06-04
    View Record | View Original
  • » Fast Distributed Algorithms for Brooks-Vizing Colourings (Extended Abstract)
    Grable, David A.; Panconesi, Alessandro
    1997-06-07
    View Record | View Original
  • » What Is a ‘Good’ Encoding of Guarded Choice?
    Nestmann, Uwe
    1997-06-15
    View Record | View Original
  • » Higher-Order Rewriting and Partial Evaluation
    Danvy, Olivier; Rose, Kristoffer H.
    1997-06-16
    View Record | View Original
  • » Distributed Safety Controllers for Web Services
    Sandholm, Anders B.; Schwartzbach, Michael I.
    1997-06-17
    View Record | View Original
  • » CoFI: The Common Framework Initiative for Algebraic Specification and Development
    Mosses, Peter D.
    1997-06-18
    View Record | View Original
  • » CASL for ASF+SDF Users
    Mosses, Peter D.
    1997-06-19
    View Record | View Original
126 - 146 of 146 Items    << < 1 2 3 4 5 6