Publications by Misa Keinänen

2005

  • BOOKTITLE:
  • Theoretical Aspects of Computing -- ICTAC 2005
  • SERIES:
  • Lecture Notes in Computer Science
  • VOLUME:
  • 3722
  • PAGES:
  • 545--558
  • BOOKTITLE:
  • Electronic Notes in Theoretical Computer Science
  • VOLUME:
  • 133
  • PAGES:
  • 175--191
  • BOOKTITLE:
  • Applications of Declarative Programming and Knowledge Management
  • SERIES:
  • Lecture Notes in Computer Science
  • VOLUME:
  • 3392
  • PAGES:
  • 134--148
  • AUTHORS:
  • Keinänen Misa Kristian

2004

  • BOOKTITLE:
  • Proceedings of the 9th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2004)
  • SERIES:
  • Technical Report
  • PAGES:
  • 191--208
  • BOOKTITLE:
  • Proceedings of the 15th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2004)
  • SERIES:
  • Technical Report
  • VOLUME:
  • 327
  • PAGES:
  • 255--264
  • BOOKTITLE:
  • Proceedings of the 10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'2004)
  • SERIES:
  • Lecture Notes in Computer Science
  • VOLUME:
  • 2988
  • PAGES:
  • 436--450

2003