There Exit Decidable Context Free Propositional Dynamic Logics. - Tmima Koren; Amir Pnueli (Logic of Programs, 1983)

RObust Header Compression (ROHC): Framework and four profiles: RTP, UDP, ESP, and uncompressed. - Carsten Bormann; Carsten Burmeister; Mikael Degermark; Hideaki Fukushima; Hans Hannu; Lars-Erik Jonsson; Rolf Hakenberg; Tmima Koren; Khiem Le; Zhigang Liu 010; Anton Martensson; Akihiro Miyazaki; et al. (RFC, 2001)

PPP Over Asynchronous Transfer Mode Adaptation Layer 2 (AAL2). - Bruce Thompson; Tmima Koren; Bruce Buffam (RFC, 2002)

Class Extensions for PPP over Asynchronous Transfer Mode Adaptation Layer 2. - Bruce Thompson; Tmima Koren; Bruce Buffam (RFC, 2002)

IP Header Compression over PPP. - Tmima Koren; Stephen L. Casner; Carsten Bormann (RFC, 2003)

Enhanced Compressed RTP (CRTP) for Links with High Delay, Packet Loss and Reordering. - Tmima Koren; Stephen L. Casner; John Geevarghese; Bruce Thompson; Patrick Ruddy (RFC, 2003)

Tunneling Multiplexed Compressed RTP (TCRTP). - Bruce Thompson; Tmima Koren; Dan Wing (RFC, 2005)