Search the dblp DataBase

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]