dblp.uni-trier.dewww.uni-trier.de

Konsta Karsisto

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2003
3EEÁrpád Beszédes, Rudolf Ferenc, Tibor Gyimóthy, André Dolenc, Konsta Karsisto: Survey of code-size reduction methods. ACM Comput. Surv. 35(3): 223-267 (2003)
1996
2 Konsta Karsisto, Antti Valmari: Verification-Driven Development of a Collision-Avoidance Protocol for the Ethernet. FTRTFT 1996: 228-245
1EEAntti Valmari, Konsta Karsisto, Manu Setälä: Visualisation of Reduced Abstracted Behaviour as a Design Tool. PDP 1996: 187-195

Coauthor Index

1Árpád Beszédes [3]
2André Dolenc [3]
3Rudolf Ferenc [3]
4Tibor Gyimóthy [3]
5Manu Setälä [1]
6Antti Valmari [1] [2]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)