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

• Martin Büchi, Emil Sekerinski, A Foundation for Refining Concurrent Object. Fundamenta Informaticae 44(1), 25–61, 2000.

Articles in proceedings (7):

• Martin Büchi, Wolfgang Weck, Generic Wrappers. In: Proceedings of ECOOP 2000, Lecture Notes in Computer Science, Springer Verlag, 2000.
• Martin Büchi, Ralph Back, Compositional Symmetric Sharing in B. In: Proceedings of FM'99: World Congress on Formal Methods, Lecture Notes in Computer Science 1708, 431–451, Springer Verlag, 1999.
• Martin Büchi, The B Bank: A Complete Case Study. In: Second Internation Conference on Formal Engineering Methods 1998, 190-199, IEEE Press, 1998.
• Martin Büchi, Wolfgang Weck, Compound Types for Java. In: Proceedings of OOPSLA'98, SIGPLAN Notices 33, 362-373, ACM Press, 1998.
• Wolfgang Weck, Martin Büchi, Compound Types: Strong Typing for Architectural Composition. In: NOSA'98, Proceedings of the First Nordic Workshop on Software Architecture, Research Report 14/98, Department of Computer Science and Business Administration, Univ. of Karlskrona/Ronneby, Sweden, 1998.
• Ralph-Johan Reinhold Back, Martin Büchi, Emil Sekerinski, Action-Based Concurrency and Synchronization for Objects. In: Proceedings of the Fourth AMAST Workshop on Real-Time Systems, Concurrent, and Distributed Software (ARTS), Lecture Notes in Computer Science, 248–262, Springer Verlag, 1997.
• Martin Büchi, Emil Sekerinski, Formal Methods for Component Software: The Refinement Calculus Perspective. In: Proceedings of the Second Workshop on Componen-Oriented Programming (WCOP), TUCS General Publication 5, 23--32, 1997.

Chapters in edited books (1):

• Martin Büchi, The B Bank. In: Program Development by Refinement: Case Studies Using the B Method, FACIT, 115-180, Springer Verlag, 1998.

Ph.D. thesis (1):

• Martin Büchi, Safe Language Mechanisms for Modularization and Concurrency. TUCS Dissertations 28. Turku Centre for Computer Science, 2000.

Technical reports (6):

• Martin Büchi, Emil Sekerinski, Refining Concurrent Objects. TUCS Technical Reports 298, Turku Centre for Computer Science, 1999.
• Martin Büchi, Wolfgang Weck, The Greybox Approach: When Blackbox Specification Hide Too Much. TUCS Technical Reports 297, Turku Centre for Computer Science, 1999.
• Martin Büchi, Wolfgang Weck, Generic Wrapping. TUCS Technical Reports 317, Turku Centre for Computer Science, 1999.
• Martin Büchi, Wolfgang Weck, Java Needs Compound Types. TUCS Technical Reports 182, Turku Centre for Computer Science, 1998.
• Martin Büchi, Wolfgang Weck, A Plea for Grey-Box Components. TUCS Technical Reports 122, Turku Centre for Computer Science, 1997.
• Ralph-Johan Reinhold Back, Martin Büchi, Emil Sekerinski, Adding Type-Bound Actions to Action-Oberon. TUCS Technical Reports 66, Turku Centre for Computer Science, 1996.