2008 | ||
---|---|---|
5 | EE | Konstantinos Antonis, Nikos S. Voros: System level design of telecom systems using formal model refinement: Applying the B method/language in practice. Journal of Systems Architecture - Embedded Systems Design 54(1-2): 287-304 (2008) |
2007 | ||
4 | EE | Konstantinos Antonis, Petros Lampsas, Jim Prentzas: Adult Distance Learning Using a Web-Based Learning Management System: Methodology and Results. ICWL 2007: 508-519 |
3 | EE | Konstantinos Antonis, Nikos S. Voros: Applying formal methods for the design of wireless telecommunication systems. MobiMedia 2007: 26 |
2004 | ||
2 | EE | Konstantinos Antonis, John D. Garofalakis, Ioannis Mourtos, Paul G. Spirakis: A hierarchical adaptive distributed algorithm for load balancing. J. Parallel Distrib. Comput. 64(1): 151-162 (2004) |
1998 | ||
1 | EE | Konstantinos Antonis, John D. Garofalakis, Paul G. Spirakis: A Competitive Symmetrical Transfer Policy for Load Sharing. Euro-Par 1998: 352-355 |
1 | John D. Garofalakis | [1] [2] |
2 | Petros Lampsas | [4] |
3 | Ioannis Mourtos | [2] |
4 | Jim Prentzas | [4] |
5 | Paul G. Spirakis | [1] [2] |
6 | Nikos S. Voros | [3] [5] |