• 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 (5):

• Juha Plosila, Rimvydas Ruksenas, Kaisa Sere, Action Systems Synthesis of Delay-Insensitive Circuits. In: Martin Schwenke Jim Grundy, Trevor Vickers (Eds.), International Refinement Workshop & Formal Methods Pacific'98, 286-305, Springer-Verlag, 1998.
• Rimvydas Ruksenas, Joakim von Wright, A Tool for Data Refinement. In: Theorem Proving in Higher Order Logics, Lecture Notes in Computer Science 1479, 423–441, Springer-Verlag, 1998.
• 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.
• 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.
• Rimvydas Ruksenas, Kaisa Sere, Yi Zhao, On the Formal Derivation of a FEAL Microprocessor. In: Proceedings of the 6th Nordic Workshop on Programming Theory, BRICS Notes Series, 332--345, 1994.

Technical reports (9):

• Rimvydas Ruksenas, A Rigorous Environment for Component-Oriented Development of Action Systems. TUCS Technical Reports 572, Turku Centre for Computer Science, 2003.
• Rimvydas Ruksenas, Component-Oriented Development of Action Systems. TUCS Technical Reports 544, Turku Centre for Computer Science, 2003.
• Rimvydas Ruksenas, Refining Towards Delay-Insensitive Circuits in HOL. TUCS Technical Reports 251, Turku Centre for Computer Science, 1999.
• Juha Plosila, Rimvydas Ruksenas, Kaisa Sere, Action Systems Synthesis of DI Circuits. TUCS Technical Reports 149, Turku Centre for Computer Science, 1997.
• Rimvydas Ruksenas, Joakim von Wright, A Tool for Data Refinement. TUCS Technical Reports 119, Turku Centre for Computer Science, 1997.
• Juha Plosila, Rimvydas Ruksenas, Kaisa Sere, Delay-Insensitive Circuits and Action Systems. TUCS Technical Reports 60, Turku Centre for Computer Science, 1996.
• Rimvydas Ruksenas, Kaisa Sere, Handshaking Expansion as Action System Refinement. TUCS Technical Reports 55, 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.
• Michael Butler, Eric Hedman, Patrik Nilsson, Rimvydas Ruksenas, Marina Waldén, Yi Zhao, Specification of a Program Derivation Editor. 0, 1994.