Stein Gjessing

118 papers A* 3A 4B 12C 11Misc 6Journal 48Unranked 34
YearRankTypeTitle / Venue / Authors
2022 J jnl
Future Internet Congestion Control: The Diminishing Feedback Problem.
IEEE Commun. Mag.
Michael Welzl, Peyman Teymoori, Safiqul Islam, David Hutchison, Stein Gjessing
2022 J jnl
Future Internet Congestion Control: The Diminishing Feedback Problem.
CoRR
Michael Welzl, Peyman Teymoori, Safiqul Islam, David Hutchison, Stein Gjessing
2021 J jnl
Estimating an Additive Path Cost With Explicit Congestion Notification.
IEEE Trans. Control. Netw. Syst.
Peyman Teymoori, David A. Hayes, Michael Welzl, Stein Gjessing
2020 J jnl
A Minimal Set of Transport Services for End Systems.
RFC
Michael Welzl, Stein Gjessing
2020 J jnl
Coupled Congestion Control for RTP Media.
RFC
Safiqul Islam, Michael Welzl, Stein Gjessing
2020 Misc conf
Follow the Model: How Recursive Networking Can Solve the Internet's Congestion Control Problems.
ICNC
Michael Welzl, Peyman Teymoori, Stein Gjessing, Safiqul Islam
2020 J jnl
On the usability of transport protocols other than TCP: A home gateway and internet path traversal study.
Comput. Networks
Runa Barik, Michael Welzl, Gorry Fairhurst, Ahmed Elmokashfi, Thomas Dreibholz, Stein Gjessing
2020 Misc conf
Performance Evaluation of In-network Packet Retransmissions using Markov Chains.
ICNC
Runa Barik, Michael Welzl, Peyman Teymoori, Safiqul Islam, Stein Gjessing
2019 C conf
A Case-Study of Automated Feedback Assessment.
EDUCON
Omid Mirmotahari, Yngvar Berg, Stein Gjessing, Ester Fremstad, Crina Damsa
2019 J jnl
Distributed Uplink Offloading for IoT in 5G Heterogeneous Networks Under Private Information Constraints.
IEEE Internet Things J.
Endre Hegland Hjort Kure, Paal Engelstad, Sabita Maharjan, Stein Gjessing, Yan Zhang
2019 — conf
High-Rate Data Transfer with Congestion-Aware Multipath Routing.
GLOBECOM Workshops
Marcel Marek, Peyman Teymoori, Stein Gjessing, Michael Welzl
2019 Misc conf
How to Control a TCP: Minimally-Invasive Congestion Management for Datacenters.
ICNC
Safiqul Islam, Michael Welzl, Stein Gjessing
2019 Misc conf
Investigating the Delay Impact of the DiffServ Code Point (DSCP).
ICNC
Michael Welzl, Safiqul Islam, Runa Barik, Stein Gjessing, Ahmed Elmokashfi
2019 J jnl
On the utility of unregulated IP DiffServ Code Point (DSCP) usage by end systems.
Perform. Evaluation
Runa Barik, Michael Welzl, Ahmed Elmokashfi, Thomas Dreibholz, Safiqul Islam, Stein Gjessing
2018 B conf
A Distributed Offloading Market for 5G Heterogeneous Networks.
GLOBECOM
Endre Hegland Hjort Kure, Sabita Maharjan, Stein Gjessing, Yan Zhang
2018 — conf
Can WebRTC QoS Work? A DSCP Measurement Study.
ITC (1)
Runa Barik, Michael Welzl, Ahmed Mustafa Elmokashfi, Thomas Dreibholz, Stein Gjessing
2018 Misc conf
Computer-Aided Reproducibility.
ICNC
Marcel Marek, Peyman Teymoori, Michael Welzl, Stein Gjessing
2018 J jnl
Decentralized and Optimal Resource Cooperation in Geo-Distributed Mobile Cloud Computing.
IEEE Trans. Emerg. Top. Comput.
Rong Yu, Jiefei Ding, Sabita Maharjan, Stein Gjessing, Yan Zhang, Danny H. K. Tsang
2018 — conf
En eksempel-studie av automatisk tilbakemelding for programmeringsfag i høyere utdanning.
NIK
Omid Mirmotahari, Kristian A. Hiorth, Stein Gjessing, Ester Fremstad, Crina Damsa
2018 — conf
Energy Usage Forecasting for LTE: A Network-Wide Traffic Measurements Study.
GLOBECOM Workshops
Endre Hegland Hjort Kure, Paal Engelstad, Sabita Maharjan, Stein Gjessing, Xing Zhang, Yan Zhang
2018 B conf
Lightweight and flexible single-path congestion control coupling.
NOMS
Safiqul Islam, Michael Welzl, Stein Gjessing
2018 J jnl
Optimal Charging Schemes for Electric Vehicles in Smart Grid: A Contract Theoretic Approach.
IEEE Trans. Intell. Transp. Syst.
Ke Zhang, Yuming Mao, Supeng Leng, Yejun He, Sabita Maharjan, Stein Gjessing, Yan Zhang, Danny H. K. Tsang
2018 J jnl
Selective Offloading in Mobile Edge Computing for the Green Internet of Things.
IEEE Netw.
Xinchen Lyu, Hui Tian, Li Jiang, Alexey V. Vinel, Sabita Maharjan, Stein Gjessing, Yan Zhang
2018 — conf
ctrlTCP: Reducing latency through coupled, heterogeneous multi-flow TCP congestion control.
INFOCOM Workshops
Safiqul Islam, Michael Welzl, Kristian A. Hiorth, David A. Hayes, Grenville Armitage, Stein Gjessing
2017 — conf
Optimal battery size for a green base station in a smart grid with a renewable energy source.
SmartGridComm
Endre Hegland Hjort Kure, Sabita Maharjan, Stein Gjessing, Yan Zhang
2017 J jnl
Software Defined Energy Harvesting Networking for 5G Green Communications.
IEEE Wirel. Commun.
Xumin Huang, Rong Yu, Jiawen Kang, Yue Gao, Sabita Maharjan, Stein Gjessing, Yan Zhang
2017 J jnl
User-Centric Demand Response Management in the Smart Grid With Multiple Providers.
IEEE Trans. Emerg. Top. Comput.
Sabita Maharjan, Yan Zhang, Stein Gjessing, Danny H. K. Tsang
2017 A conf
fling: A Flexible Ping for Middlebox Measurements.
ITC
Runa Barik, Michael Welzl, Ahmed Mustafa Elmokashfi, Stein Gjessing, Safiqul Islam
2016 — conf
A Hierarchical Pseudonyms Management Approach for Software-Defined Vehicular Networks.
VTC Spring
Xumin Huang, Jiawen Kang, Rong Yu, Maoqiang Wu, Yan Zhang, Stein Gjessing
2016 J jnl
Balancing Power Demand Through EV Mobility in Vehicle-to-Grid Mobile Energy Networks.
IEEE Trans. Ind. Informatics
Rong Yu, Weifeng Zhong, Shengli Xie, Chau Yuen, Stein Gjessing, Yan Zhang
2016 — conf
Congestion control in the recursive InterNetworking Architecture (RINA).
ICC
Peyman Teymoori, Michael Welzl, Stein Gjessing, Eduard Grasa, Roberto Riggio, Kewin Rausch, Domenico Siracusa
2016 — conf
Cooperation for optimal demand response in cognitive radio enabled smart grid.
ICC
Ke Zhang, Yuming Mao, Supeng Leng, Hanna Bogucka, Stein Gjessing, Yan Zhang
2016 J jnl
Demand Response Management in the Smart Grid in a Large Population Regime.
IEEE Trans. Smart Grid
Sabita Maharjan, Quanyan Zhu, Yan Zhang, Stein Gjessing, Tamer Basar
2016 B conf
Even Lower Latency, Even Better Fairness: Logistic Growth Congestion Control in Datacenters.
LCN
Peyman Teymoori, David A. Hayes, Michael Welzl, Stein Gjessing
2016 Misc conf
Fighting fire with fire: Eliminating standing queues with large UDP packet floods.
ICNC
Michael Welzl, Stein Gjessing, Haakon Botnmark Jahre
2016 B conf
Improving the Fairness of Alternative Backoff with ECN (ABE).
LCN
Naeem Khademi, Michael Welzl, Grenville Armitage, Stein Gjessing
2016 J jnl
Location privacy attacks and defenses in cloud-enabled internet of vehicles.
IEEE Wirel. Commun.
Jiawen Kang, Rong Yu, Xumin Huang, Magnus Jonsson, Hanna Bogucka, Stein Gjessing, Yan Zhang
2016 B conf
Managing real-time media flows through a flow state exchange.
NOMS
Safiqul Islam, Michael Welzl, David A. Hayes, Stein Gjessing
2016 J jnl
MixGroup: Accumulative Pseudonym Exchanging for Location Privacy Enhancement in Vehicular Social Networks.
IEEE Trans. Dependable Secur. Comput.
Rong Yu, Jiawen Kang, Xumin Huang, Shengli Xie, Yan Zhang, Stein Gjessing
2016 J jnl
Optimal Incentive Design for Cloud-Enabled Multimedia Crowdsourcing.
IEEE Trans. Multim.
Sabita Maharjan, Yan Zhang, Stein Gjessing
2016 J jnl
Optimal Resource Sharing in 5G-Enabled Vehicular Networks: A Matrix Game Approach.
IEEE Trans. Veh. Technol.
Rong Yu, Jiefei Ding, Xumin Huang, Ming-Tuo Zhou, Stein Gjessing, Yan Zhang
2016 — conf
Platoon-based electric vehicles charging with renewable energy supply: A queuing analytical model.
ICC
Ke Zhang, Yuming Mao, Supeng Leng, Yan Zhang, Stein Gjessing, Danny H. K. Tsang
2016 J jnl
Reducing Internet Latency: A Survey of Techniques and Their Merits.
IEEE Commun. Surv. Tutorials
Bob Briscoe, Anna Brunström, Andreas Petlund, David A. Hayes, David Ros, Ing-Jyh Tsang, Stein Gjessing, Gorry Fairhurst, Carsten Griwodz, Michael Welzl
2016 J jnl
Secure Beamforming in Wireless-Powered Cooperative Cognitive Radio Networks.
IEEE Commun. Lett.
Li Jiang, Hui Tian, Cheng Qin, Stein Gjessing, Yan Zhang
2016 J jnl
Securing Cognitive Radio Networks against Primary User Emulation Attacks.
IEEE Netw.
Rong Yu, Yan Zhang, Yi Liu, Stein Gjessing, Mohsen Guizani
2016 J jnl
Social-aware energy harvesting device-to-device communications in 5G networks.
IEEE Wirel. Commun.
Li Jiang, Hui Tian, Zi Xing, Kun Wang, Ke Zhang, Sabita Maharjan, Stein Gjessing, Yan Zhang
2015 — conf
Adaptive Rate Control in Smart Grid Heterogeneous Communications Networks.
CIT/IUCC/DASC/PICom
Weifeng Zhong, Rong Yu, Yan Zhang, Yue Gao, Stein Gjessing
2015 J jnl
An Incentivized Auction-Based Group-Selling Approach for Demand Response Management in V2G Systems.
IEEE Trans. Ind. Informatics
Ming Zeng, Supeng Leng, Sabita Maharjan, Stein Gjessing, Jianhua He
2015 C conf
An optimal replenishment strategy in energy harvesting wireless networks with a mobile charger.
QSHINE
Rong Yu, Xumin Huang, Jiawen Kang, Chau Yuen, Alexey V. Vinel, Magnus Jonsson, Stein Gjessing, Yan Zhang
2015 J jnl
Connectivity of Cognitive Device-to-Device Communications Underlying Cellular Networks.
IEEE J. Sel. Areas Commun.
Mohammad G. Khoshkholgh, Yan Zhang, Kwang-Cheng Chen, Kang G. Shin, Stein Gjessing
2015 J jnl
Cooperative Resource Management in Cloud-Enabled Vehicular Networks.
IEEE Trans. Ind. Electron.
Rong Yu, Xumin Huang, Jiawen Kang, Jiefei Ding, Sabita Maharjan, Stein Gjessing, Yan Zhang
2015 — conf
Dynamic Resource Pricing and Scalable Cooperation for Mobile Cloud Computing.
UIC/ATC/ScalCom
Xumin Huang, Rong Yu, Jiawen Kang, Jiefei Ding, Sabita Maharjan, Stein Gjessing, Yan Zhang
2015 — conf
Evaluating Defence Schemes Against Jamming in Vehicle Platoon Networks.
ITSC
Georgios Patounas, Yan Zhang, Stein Gjessing
2015 — conf
Group bidding for guaranteed Quality of Energy in V2G smart grid networks.
ICC
Ming Zeng, Supeng Leng, Sabita Maharjan, Yan Zhang, Stein Gjessing
2015 C conf
Hierarchical mobile cloud with social grouping for secure pervasive healthcare.
HealthCom
Jiawen Kang, Xumin Huang, Rong Yu, Yan Zhang, Stein Gjessing
2015 B conf
Modeling and characterization of transmission energy consumption in Machine-to-Machine networks.
WCNC
Mohammad G. Khoshkholgh, Yan Zhang, Kang G. Shin, Victor C. M. Leung, Stein Gjessing
2015 — conf
On the impact of delay constraint on the multicast outage in wireless fading environment.
ICC
Mohammad G. Khoshkholgh, Keivan Navaie, Kang G. Shin, Chun-Hung Liu, Yongguang Zhang, Victor C. M. Leung, Stein Gjessing
2015 J jnl
Price-based Energy Control for V2G Networks in the Industrial Smart Grid.
EAI Endorsed Trans. Energy Web
Rong Yu, Jiefei Ding, Weifeng Zhong, Yan Zhang, Stein Gjessing, Alexey V. Vinel, Magnus Jonsson
2015 — conf
Providing Microgrid Resilience during Emergencies Using Distributed Energy Resources.
GLOBECOM Workshops
Sabita Maharjan, Yan Zhang, Stein Gjessing, Oystein Ulleberg, Frank Eliassen
2015 J jnl
Securing cognitive radio networks against primary user emulation attacks.
IEEE Netw.
Rong Yu, Yan Zhang, Yi Liu, Stein Gjessing, Mohsen Guizani
2015 J jnl
Service provider competition and cooperation in cloud-based software defined wireless networks.
IEEE Commun. Mag.
Jiefei Ding, Rong Yu, Yan Zhang, Stein Gjessing, Danny H. K. Tsang
2015 J jnl
Toward secure energy harvesting cooperative networks.
IEEE Commun. Mag.
Jiawen Kang, Rong Yu, Sabita Maharjan, Yan Zhang, Xumin Huang, Shengli Xie, Hanna Bogucka, Stein Gjessing
2014 — conf
Coupled congestion control for RTP media.
CSWS@SIGCOMM
Safiqul Islam, Michael Welzl, Stein Gjessing, Naeem Khademi
2014 J jnl
Distributed resource allocation in cloud-based wireless multimedia social networks.
IEEE Netw.
Guofang Nan, Zhifei Mao, Minqiang Li, Yan Zhang, Stein Gjessing, Honggang Wang, Mohsen Guizani
2014 J jnl
Exploring network selection techniques for multicast groups in heterogeneous wireless environments.
Int. J. Pervasive Comput. Commun.
Svetlana Boudko, Wolfgang Leister, Stein Gjessing
2014 — conf
Less-than-best-effort service for Community Wireless Networks: Challenges at three layers.
WONS
Michael Welzl, Stein Gjessing, Naeem Khademi
2013 J jnl
Dependable Demand Response Management in the Smart Grid: A Stackelberg Game Approach.
IEEE Trans. Smart Grid
Sabita Maharjan, Quanyan Zhu, Yan Zhang, Stein Gjessing, Tamer Basar
2013 J jnl
Securing Cognitive Radio Networks against Primary User Emulation Attacks.
CoRR
Rong Yu, Yan Zhang, Yi Liu, Stein Gjessing, Mohsen Guizani
2013 J jnl
Securing vehicle-to-grid communications in the smart grid.
IEEE Wirel. Commun.
Yan Zhang, Stein Gjessing, Hong Liu, Huansheng Ning, Laurence T. Yang, Mohsen Guizani
2013 J jnl
Sensing-Performance Tradeoff in Cognitive Radio Enabled Smart Grid.
IEEE Trans. Smart Grid
Ruilong Deng, Jiming Chen, Xianghui Cao, Yan Zhang, Sabita Maharjan, Stein Gjessing
2013 J jnl
Toward Cloud-based Vehicular Networks with Efficient Resource Management.
CoRR
Rong Yu, Yan Zhang, Stein Gjessing, Wenlong Xia, Kun Yang
2013 J jnl
Toward cloud-based vehicular networks with efficient resource management.
IEEE Netw.
Rong Yu, Yan Zhang, Stein Gjessing, Wenlong Xia, Kun Yang
2012 J jnl
Cognitive machine-to-machine communications: visions and potentials for the smart grid.
IEEE Netw.
Yan Zhang, Rong Yu, Maziar M. Nekovee, Yi Liu, Shengli Xie, Stein Gjessing
2012 C conf
Experimental evaluation of TCP performance in multi-rate 802.11 WLANs.
WOWMOM
Naeem Khademi, Michael Welzl, Stein Gjessing
2012 — conf
Team decision approach for decentralized network selection of mobile clients.
WMNC
Svetlana Boudko, Wolfgang Leister, Stein Gjessing
2011 B conf
Beneficial Transparent Deployment of SCTP: The Missing Pieces.
GLOBECOM
Michael Welzl, Florian Niederbacher, Stein Gjessing
2011 J jnl
Cognitive radio based hierarchical communications infrastructure for smart grid.
IEEE Netw.
Rong Yu, Yan Zhang, Stein Gjessing, Chau Yuen, Shengli Xie, Mohsen Guizani
2011 B conf
Distributed Spectrum Sensing in Cognitive Radio Networks with Fairness Consideration: Efficiency of Correlated Equilibrium.
MASS
Sabita Maharjan, Yan Zhang, Chau Yuen, Stein Gjessing
2011 J jnl
Economic Approaches for Cognitive Radio Networks: A Survey.
Wirel. Pers. Commun.
Sabita Maharjan, Yan Zhang, Stein Gjessing
2011 — conf
Sensing-delay tradeoff for communication in cognitive radio enabled smart grid.
SmartGridComm
Ruilong Deng, Sabita Maharjan, Xianghui Cao, Jiming Chen, Yan Zhang, Stein Gjessing
2011 — conf
XCP vs. CUBIC with Quick-Start: Observations on Implicit vs. Explicit Feedback for Congestion Control.
ICC
Michael Welzl, Armin Abfalterer, Stein Gjessing
2010 B conf
Delay reduction for real time services in IEEE 802.22 Wireless Regional Area Network.
PIMRC
Sabita Maharjan, Jie Xiang, Yan Zhang, Stein Gjessing
2009 J jnl
Multiple routing configurations for fast IP network recovery.
IEEE/ACM Trans. Netw.
Amund Kvalbein, Audun Fosselie Hansen, Tarik Cicic, Stein Gjessing, Olav Lysne
2009 J jnl
Relaxed multiple routing configurations: IP fast reroute for single and correlated failures.
IEEE Trans. Netw. Serv. Manag.
Tarik Cicic, Audun Fosselie Hansen, Amund Kvalbein, Matthias Hartmann, Rüdiger Martin, Michael Menth, Stein Gjessing, Olav Lysne
2008 C ed.
16th IEEE Workshop on Local and Metropolitan Area Networks, LANMAN 2008, Chij-Napoca, Transylvania, Romania, September 3-6, 2008
LANMAN
Stein Gjessing, Virgil Dobrota, Maria Papadopouli, Jacobus E. van der Merwe
2007 C ed.
15th IEEE Workshop on Local & Metropolitan Area Networks, LANMAN 2007, Princeton, NJ, USA, June 10-13, 2007
LANMAN
Stein Gjessing, Virgil Dobrota
2007 C conf
A Model for the Effect of Caching on Algorithmic Efficiency in Radix based Sorting.
ICSEA
Arne Maus, Stein Gjessing
2007 — conf
Fast Proactive Recovery from Concurrent Failures.
ICC
Audun Fosselie Hansen, Olav Lysne, Tarik Cicic, Stein Gjessing
2007 C conf
On Burst Loss in Optical Burst Switched Networks with Hot Potato Deflection Routing.
ICDS
Stein Gjessing
2007 A* conf
Post-Failure Routing Performance with Multiple Routing Configurations.
INFOCOM
Amund Kvalbein, Tarik Cicic, Stein Gjessing
2006 A* conf
Fast IP Network Recovery Using Multiple Routing Configurations.
INFOCOM
Amund Kvalbein, Audun Fosselie Hansen, Tarik Cicic, Stein Gjessing, Olav Lysne
2006 — conf
Implementation of two Resilience Mechanisms using Multi Topology Routing and Stub Routers.
AICT/ICIW
Stein Gjessing
2005 — conf
An analytical bound for convergence of the resilient packet ring aggressive mode fairness algorithm.
ICC
Fredrik Davik, Amund Kvalbein, Stein Gjessing
2005 — conf
Applicability of Resilient Routing Layers for k-Fault Network Recovery.
ICN (2)
Tarik Cicic, Audun Fosselie Hansen, Stein Gjessing, Olav Lysne
2005 B conf
Applying the DiffServ Model to a Resilient Packet Ring Network.
NETWORKING
Fredrik Davik, Stein Gjessing
2005 B conf
Discrete event simulation of a large OBS network.
SMC
Stein Gjessing, Arne Maus
2005 C conf
Fast Recovery from Link Failures Using Resilient Routing Layers.
ISCC
Amund Kvalbein, Audun Fosselie Hansen, Tarik Cicic, Stein Gjessing, Olav Lysne
2005 B conf
Improvement of resilient packet ring fairness.
GLOBECOM
Fredrik Davik, Amund Kvalbein, Stein Gjessing
2005 — conf
Performance Evaluation and Improvement of Non-stable Resilient Packet Ring Behavior.
ICN (2)
Fredrik Davik, Amund Kvalbein, Stein Gjessing
2005 C conf
Protection of RPR strict order traffic.
LANMAN
Amund Kvalbein, Stein Gjessing
2005 — conf
Resilient Packet Ring Low Priority Traffic Latency.
Communications in Computing
Fredrik Davik, Amund Kvalbein, Stein Gjessing
2005 — conf
Resilient Routing Layers for Network Disaster Planning.
ICN (2)
Audun Fosselie Hansen, Amund Kvalbein, Tarik Cicic, Stein Gjessing
2005 A conf
Resilient Routing Layers for Recovery in Packet Networks.
DSN
Audun Fosselie Hansen, Amund Kvalbein, Tarik Cicic, Stein Gjessing, Olav Lysne
2004 — conf
Analysis and improved performance of RPR protection.
ICON
Amund Kvalbein, Stein Gjessing
2004 J jnl
IEEE 802.17 resilient packet ring tutorial.
IEEE Commun. Mag.
Fredrik Davik, Mete Yilmaz, Stein Gjessing, Necdet Uzun
2004 C conf
The stability of the resilient packet ring aggressive fairness algorithm.
LANMAN
Fredrik Davik, Stein Gjessing
2002 J jnl
Tree Recovery in PIM Sparse Mode.
Telecommun. Syst.
Tarik Cicic, Stein Gjessing, Øivind Kure
2001 — conf
Performance Evaluation of PIM-SM Recovery.
ICN (1)
Tarik Cicic, Stein Gjessing, Øivind Kure
1999 — conf
Wireless Experimental Metropolitan Area Network using IPv6 in Norway (WEMAN).
HICSS
Lars Gullik Bjønnes, Haakon Bryhni, Jan Marius Evang, Stein Gjessing
1998 A conf
A Study of Three Dynamic Approaches to Handle Widely Shared Data in Shared-memory Multiprocessors.
International Conference on Supercomputing
Stefanos Kaxiras, Stein Gjessing, James R. Goodman
1994 — conf
Hardware Support for Synchronization in the Scalable Coherent Interface (SCI).
IPPS
Nagi Aboulenein, James R. Goodman, Stein Gjessing, Philip J. Woest
1994 — conf
Performance of the RamLink Memory Architecture.
HICSS (1)
Stein Gjessing, Glen Stone
1991 — conf
A Linked List Cache Coherence Protocol: Verifying the Bottom Layer.
IPPS
Stein Gjessing, Stein Krogdahl, Ellen Munthe-Kaas
1991 A* conf
A Top Down Approach to the Formal Specification of SCI Cache Coherence.
CAV
Stein Gjessing, Stein Krogdahl, Ellen Munthe-Kaas
1990 J jnl
Scalable Shared-Memory Multiprocessor Architectures.
Computer
Shreekant S. Thakkar, Michel Dubois, Anthony T. Laundrie, Gurindar S. Sohi, David V. James, Stein Gjessing, Manu Thapar, Bruce Delagi, Michael J. Carlton, Alvin M. Despain
1988 A ed.
ECOOP'88 European Conference on Object-Oriented Programming, Oslo, Norway, August 15-17, 1988, Proceedings
ECOOP
Stein Gjessing, Kristen Nygaard
1988 J jnl
Semantics and Verification of Monitors and Systems of Monitors and Processes.
Distributed Comput.
Stein Gjessing
1980 J jnl
Monitors with Arrays of Condition Variables and Proof Rules Handling Local Quantities.
BIT
Stein Gjessing