• HOME
• ABOUT US
  • Organization
  • Personnel
• NEWS&EVENTS
  • News & Events archive
  • Newsletter archive
  • Conference archive
  • Travel reports
• COOPERATION
  • International Involvement
  • National Involvement
  • Regional Involvement
• EDUCATION
  • Master's Programmes
  • TUCS Graduate Programmes
  • Information for Students
  • Courses
  • TUCS Short Courses
• PUBLICATIONS
  • TUCS Publication Series
  • How to Publish in TUCS Series
  • Publication Search
  • Publication Graph
  • Publication Input
  • Publication Input Guide
  • JuFo Browser
• RESEARCH
  • Focus areas
  • Research Programmes
  • Research Units
  • Distinguished Lectures

Where academic tradition
meets the exciting future

You are here: TUCS > PUBLICATIONS > Publication Search

• TUCS Publication Series
• How to Publish in TUCS Series
• Publication Search
• Publication Graph
• Publication Input
• Publication Input Guide
• JuFo Browser

Department: Any ÅAU / Department of Information Technologies UTU / Department of Information Technology UTU / Department of Mathematics and Statistics UTU / Turku School of Economics, Institute of Information Systems Sciences

Research Unit: Any Algorithmics and Computational Intelligence Group (ACI) Biomathematics Research Unit (BIOMATH) Communication Systems (ComSys) Computational Biomodeling Laboratory (Combio Lab) Data Mining and Knowledge Management Laboratory Distributed Systems Laboratory (DS Lab) Embedded Computer and Electronic Systems (ECES) Embedded Systems Laboratory (ESLAB) FUNDIM, Fundamentals of Computing and Discrete Mathematics Institute for Advanced Management Systems Research (IAMSR) Learning and Reasoning Lab Software Construction Laboratorium Software Development Laboratory (SwDev) Software Engineering Laboratory (SE Lab) Turku BioNLP Group Turku Optimization Group (TOpGroup) UTU Information Systems Science (ISS)

Publication type: Any Monographs Edited books Edited special issues of journals Edited proceedings Articles in journals Articles in proceedings Chapters in edited books Ph.D. thesis Lic. thesis Technical reports

Lastname, Firstname Year Title Abstract Keyword Points AND Lastname, Firstname Year Title Abstract Keyword Points AND Lastname, Firstname Year Title Abstract Keyword Points AND Lastname, Firstname Year Title Abstract Keyword Points AND Lastname, Firstname Year Title Abstract Keyword Points

Sort output by publication type Sort output by publication year

and display below and download in BibTeX and download as CSV and download as 2014-CSV

Articles in proceedings (11):

• Michael Butler, Jim Grundy, Thomas Långbacka, Rimvydas Ruksenas, Joakim von Wright, The Refinement Calculator: Proof Support for Program Refinement. In: Formal Methods Pacific'97: Proceedings of FMP'97, Discrete Mathematics and Theoretical Computer Science, 40–61, Springer-Verlag, 1997.
• Jim Grundy, Thomas Långbacka, Recording HOL Proofs in a Structured Browsable Format. In: Proceedings of AMAST'97, 1997.
• Thomas Långbacka, Joakim von Wright, Refining Reactive Systems in HOL Using Action Systems. In: TPHOLs'97 - Theorem Proving in Higher Order Logics: 10th International Conference, Lecture Notes in Computer Science 1275, 183–197, Springer-Verlag, 1997.
• Michael Butler, Thomas Långbacka, Program Derivation Using the Refinement Calculator. In: Theorem Proving in Higher Order Logics. 9th International Conference, TPHOLs'96., Lecture Notes in Computer Science 1125, 93–108, Springer-Verlag, 1996.
• Thomas Långbacka, Developing a Graphic Theorem Proving Tool. In: Logic, Mathematics and the Computer - Foundations: History, Philosophy and Applications, Symposium Series, Finnish Artificial Intelligence Society 14, 179--188, 1996.
• Mats Aspnäs, Thomas Långbacka, Ivan Porres, Developing a Customisable Programming Environment for Message Passing based Systems. In: Proceedings of the 4th Nordic Transputer Conference (NTUG'95), Parallel Programming and Applications, 370--380, IOS Press, 1995.
• Thomas Långbacka, Rimvydas Ruksenas, Joakim von Wright, TkWinHOL: A Tool for Window Inference in HOL. In: Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop, Lecture Notes in Computer Science 971, 245–260, Springer-Verlag, 1995.
• Thomas Långbacka, A HOL Formalisation of the Temporal Logic of Actions. In: Higher Order Logic Theorem Proving and its Applications, 7th International Workshop, Lecture Notes in Computer Science 859, 332–345, Springer-Verlag, 1994.
• Mats Aspnäs, Ralph-Johan Back, Thomas Långbacka, Millipede - A Programming Environment Providing Visual Support for Parallel Programming. In: W. Joosen, E. Milgrom (Eds.), Parallel Computing: From Theory to Sound Practice, Proc. Of the European Workshops on Parallel Computing, IOS Press, 1992.
• Joakim von Wright, Jukka-Pekka Hekanaho, Thomas Långbacka, P. Luostarinen, Mechanising Some Advanced Refinement Concepts. In: Proceedings of 1992 International Workshop on Higher Order Logic Theorem Proving and Its Applications, North-Holland, 1992.
• Joakim von Wright, Thomas Långbacka, Using a Theorem Prover for Reasoning About Concurent Algorithms. In: Proceedings of the 4th Workshop on Computer-Aided Verification, Springer-Verlag, 1992.

Ph.D. thesis (1):

• Thomas Långbacka, An Interactive Environment Supporting the Development of Formally Correct Programs. TUCS Dissertations 7. Turku Centre for Computer Science, 1997.

Licenciate thesis (1):

• Thomas Långbacka, Redskap för utveckling och verifiering av distribuerade program. 1994.

Technical reports (4):

• Thomas Långbacka, Joakim von Wright, Refining Reactive Systems in HOL Using Action Systems. TUCS Technical Reports 102, Turku Centre for Computer Science, 1997.
• Jim Grundy, Thomas Långbacka, Towards a Browsable Record of HOL Proofs. TUCS Technical Reports 7, Turku Centre for Computer Science, 1996.
• Thomas Långbacka, Rimvydas Ruksenas, Joakim von Wright, TkWinHOL: A Tool for Doing Window Inference in HOL. 0, 1995.
• Mats Aspnäs, Ralph-Johan Back, Thomas Långbacka, Millipede - A Programming Environment Providing Graphical Support for Parallel Programming. 129, Åbo Akademi, 1991.