Konsta Karsisto

According to our database1, Konsta Karsisto authored at least 3 papers between 1996 and 2003.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2003
Survey of code-size reduction methods.
ACM Comput. Surv., 2003

1996
Visualisation of Reduced Abstracted Behaviour as a Design Tool.
Proceedings of the 4th Euromicro Workshop on Parallel and Distributed Processing (PDP '96), 1996

Verification-Driven Development of a Collision-Avoidance Protocol for the Ethernet.
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1996


  Loading...