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

• Johanna Tuominen, Tomi Westerlund, Juha Plosila, Power Aware System Refinement. Electronic Notes in Theoretical Computer Science 201C, 223–253, 2008.
• Johanna Tuominen, Tero Säntti, Go Japanissa. Japan Pop (2), 64, 2007.

Articles in proceedings (7):

• Johanna Tuominen, Tomi Westerlund, Juha Plosila, Formal Power Analysis of On-Chip Communication. In: Brasilian Symposium on Formal Methods (SBMF 2007), 87-102, 2007.
• Johanna Tuominen, Tero Säntti, Juha Plosila, Comparative Study of Synthesis for Asynchronous and Synchronous Cache Controllers. In: Proceedings of the 24th IEEE Norchip Conference, 20-21 November 2006, Linköping, Sweden, 11-14, 2006.
• Johanna Tuominen, Juha Plosila, Formal Specification of an Asynchronous Viterbi Decoder. In: Proceedings of 23rd Norchip Conference, 214-217, 2005.
• Johanna Tuominen, Tero Säntti, Juha Plosila, Towards a Formal Power Estimation Framework for Hardware Systems. In: 2005 International Symposium on System-on-Chip, 96-99, 2005.
• Ethiopia Nigussie, Johanna Tuominen, Jouni Isoaho, Analyses of Signaling Techniques for Self-Timed Systems. In: 2004 International Symposium on System-on-Chip, 89-92, 2004.
• Pasi Liljeberg, Johanna Tuominen, Sampo Tuuna, Juha Plosila, Jouni Isoaho, Reducing Noise in High-Performance Bus Segments. In: IEEE Norchip Conference 2003, 208-211, 2003.
• Johanna Tuominen, Pasi Liljeberg, Jouni Isoaho, Self-Timed Approach for Reducing On-Chip Switching Noise. In: IFIP WG 10.5 VLSI-SoC 2003, 19-24, 2003.

Chapters in edited books (1):

• Pasi Liljeberg, Johanna Tuominen, Sampo Tuuna, Juha Plosila, Jouni Isoaho, Self-Timed Approach for Noise Reduction NoC. In: Interconnect-Centric Design for Advanced SOC and NOC, Kluwer Academic Publishers, 2004.

Ph.D. thesis (1):

• Johanna Tuominen, Formal Power Analysis of Systems-on-Chip. TUCS Dissertations 121. Turku Centre for Computer Science, 2009.

Technical reports (8):

• Johanna Tuominen, Tomi Westerlund, Juha Plosila, Feasibility Report on Formal Area Complexity Estimation. TUCS Technical Reports 907, Turku Centre for Computer Science, 2008.
• Johanna Tuominen, Tomi Westerlund, Juha Plosila, Power Aware System Refinement. 4-07, 2007.
• Johanna Tuominen, Tero Säntti, Juha Plosila, Feasibility Report on Asynchronous Synthesis. TUCS Technical Reports 765, Turku Centre for Computer Science, 2006.
• Johanna Tuominen, Juha Plosila, Formal Energy Estimation Framework. TUCS Technical Reports 696, Turku Centre for Computer Science, 2005.
• Johanna Tuominen, Juha Plosila, Asynchronous Viterbi Decoder in Action Systems. TUCS Technical Reports 710, Turku Centre for Computer Science, 2005.
• Johanna Tuominen, Tero Säntti, Juha Plosila, Towards a Formal Power Estimation Framework. TUCS Technical Reports 672, Turku Centre for Computer Science, 2005.
• Ethiopia Nigussie, Johanna Tuominen, Jouni Isoaho, Signaling Techniques for NoC. TUCS Technical Reports 612, Turku Centre for Computer Science, 2004.
• Johanna Tuominen, Juha Plosila, High Level Power Estimation. TUCS Technical Reports 623, Turku Centre for Computer Science, 2004.