Assertional Verification of a Connection Management Protocol. - András L. Oláh; Sonia M. Heemstra de Groot (FORTE, 1995)

Comments on "Minimum-latency transport protocols with modulo-N incarnation numbers". - András L. Oláh; Sonia M. Heemstra de Groot (IEEE/ACM Trans. Netw., 1996)

Alternative specification and verification of a periodic state exchange protocol. - András L. Oláh; Sonia M. Heemstra de Groot (IEEE/ACM Trans. Netw., 1997)

Design and Analysis of Transport Protocols for Reliable High-Speed Communications. - András L. Oláh (1997)

Measurement-based simulation model for TCP over ATM. - Gergely Seres; Tamás Éltetö; András L. Oláh (Ann. des Télécommunications, 2000)