The SCEAS System
Navigation Menu

Search the dblp DataBase


Thomas Långbacka: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Niklas Holsti, Thomas Långbacka
    Impact of a Restricted Tasking Profile: The Case of the GOCE Platform Application Software. [Citation Graph (0, 0)][DBLP]
    Ada-Europe, 2003, pp:92-101 [Conf]
  2. Jim Grundy, Thomas Långbacka
    Recording HOL Proofs in a Structured Browsable Format. [Citation Graph (0, 0)][DBLP]
    AMAST, 1997, pp:567-571 [Conf]
  3. Joakim von Wright, Thomas Långbacka
    Using a Theorem Prover for Reasoning about Concurrent Algorithms. [Citation Graph (0, 0)][DBLP]
    CAV, 1992, pp:56-68 [Conf]
  4. Michael J. Butler, Thomas Långbacka
    Program Derivation Using the Refinement Calculator. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1996, pp:93-108 [Conf]
  5. Thomas Långbacka
    A HOL Formalisation of the Temporal Logic of Actions. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1994, pp:332-345 [Conf]
  6. Thomas Långbacka, Rimvydas Ruksenas, Joakim von Wright
    TkWinHOL: A Tool for Window Inference in HOL. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1995, pp:245-260 [Conf]
  7. Thomas Långbacka, Joakim von Wright
    Refining Reactive Systems in HOL Using Action Systems. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1997, pp:183-197 [Conf]
  8. Joakim von Wright, Jukka Hekanaho, P. Luostarinen, Thomas Långbacka
    Mechanising some Advanced Refinement Concepts. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1992, pp:307-326 [Conf]
  9. Joakim von Wright, Jukka Hekanaho, P. Luostarinen, Thomas Långbacka
    Mechanizing Some Advanced Refinement Concepts. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 1993, v:3, n:1/2, pp:49-81 [Journal]

Search in 0.003secs, Finished in 0.004secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002