Ellen Munthe-Kaas

Instituttleder - Institutt for informatikk
Bilde av Ellen Munthe-Kaas
English version of this page
Telefon +47-22852801
Mobiltelefon 41598942
Rom 4428
Brukernavn
Besøksadresse Gaustadalléen 23B Ole-Johan Dahls hus 0373 OSLO
Postadresse Postboks 1080 Blindern 0316 OSLO

Publikasjoner

  • Drugan, Ovidiu Valentin; Plagemann, Thomas Peter & Munthe-Kaas, Ellen (2015). Dynamic clustering in Sparse MANETs. Computer Communications.  ISSN 0140-3664.  59, s 84- 97 . doi: 10.1016/j.comcom.2014.12.005
  • Nguyen, Viet Hoang; Munthe-Kaas, Ellen & Plagemann, Thomas Peter (2014). Energy saving for activity recognition through sensor selection, scheduling and sampling rate tuning, In  2014 7th IFIP Wireless and Mobile Networking Conference (WMNC).  IEEE Press.  ISBN 978-1-4799-3060-9.  Chapter 20.
  • Nguyen, Viet Hoang; Munthe-Kaas, Ellen & Plagemann, Thomas Peter (2013). Quality and energy aware data acquisition for activity and locomotion recognition, In  Pervasive Computing and Communications Workshops (PERCOM Workshops), 2013 IEEE International Conference on.  IEEE Press.  ISBN 978-1-4673-5075-4.  Vitenskapelig artikkel.  s 493 - 498
  • Nguyen, Viet Hoang; Munthe-Kaas, Ellen & Plagemann, Thomas Peter (2013). Towards quality and energy aware complex event processing, In  Wireless and Mobile Computing, Networking and Communications (WiMob), 2013 IEEE 9th International Conference on.  IEEE Press.  ISBN 9781479904266.  Vitenskapelig artikkel.  s 352 - 359
  • Hansen, Hans Vatne; Velazquez-Garcia, Francisco Javier; Goebel, Vera Hermine; Munthe-Kaas, Ellen & Plagemann, Thomas Peter (2012). Migration of Fine-grained Multimedia Applications, In Eric Wohlstadter (ed.),  Proceedings of the Posters and Demo Track, Middleware '12.  Association for Computing Machinery (ACM).  ISBN 978-1-4503-1612-5.  12.
  • Nguyen, Viet Hoang; Munthe-Kaas, Ellen & Plagemann, Thomas Peter (2012). Energy-balanced sensor selection for social context detection, In Silvia Giordano; Marc Langheinrich & Albrecht Schmidt (ed.),  2012 IEEE International Conference on Pervasive Computing and Communications Workshops.  IEEE.  ISBN 978-1-4673-0905-9.  7.  s 32 - 37
  • Rodriguez-Fernandez, Daniel; Martinez-Yelmo, Isaias; Munthe-Kaas, Ellen & Plagemann, Thomas Peter (2012). Always best (dis-)connected: challenges to interconnect highly heterogeneous networks. Journal of Internet Engineering.  ISSN 1791-177X.  5(1), s 299- 309 Vis sammendrag
  • Rodriguez-Fernandez, Daniel; Martinez-Yelmo, Isaias; Munthe-Kaas, Ellen & Plagemann, Thomas Peter (2012). ILORIN: Identifier-LOcator Resolution for Infrastructure-less Networks, In Guy Pujolle; Otto Duarte & Raouf Boutaba (ed.),  Proceedings of the 2012 International Conference on the Network of the Future (NoF'12).  IEEE conference proceedings.  ISBN 978-1-4673-5265-9.  Article. Vis sammendrag
  • Drugan, Ovidiu Valentin; Plagemann, Thomas Peter & Munthe-Kaas, Ellen (2011). Detecting Communities in Sparse MANETs. IEEE/ACM Transactions on Networking.  ISSN 1063-6692.  19(5), s 1434- 1447 . doi: 10.1109/TNET.2011.2112376
  • Rodriguez-Fernandez, Daniel; Martinez, Isaias; Munthe-Kaas, Ellen & Plagemann, Thomas Peter (2011). Always Best (dis-)Connected: Challenges to Interconnect Highly Heterogeneous Networks, In Xavier Masip-Bruin; Dominique Verchere; Vassilis Tsaoussidis & Marcelo Yannuzzi (ed.),  Wired/Wireless Internet Communications: 9th IFIP TC 6 International Conference, WWIC 2011, Vilanova i la Geltrú, Spain, June 15-17, 2011, Proceedings.  Springer.  ISBN 978-3-642-21559-9.  Article.  s 410 - 421 Vis sammendrag
  • Rodriguez-Fernandez, Daniel; Martinez-Yelmo, Isaias; Munthe-Kaas, Ellen & Plagemann, Thomas Peter (2011). Always Best (dis-)Connected: Challenges to Interconnect Highly Heterogeneous Networks. Lecture Notes in Computer Science.  ISSN 0302-9743.  6649, s 410- 421
  • Munthe-Kaas, Ellen; Johannesen, Aslak; Puzar, Matija & Plagemann, Thomas Peter (2009). Information Sharing in Mobile Ad-hoc Networks: Metadata Management in the MIDAS Data Space, In Jiun-Long Huang (ed.),  Tenth international conference on mobile data management: Systems, services and middleware.  IEEE conference proceedings.  ISBN 978-0-7695-3650-7.  27.  s 252 - 259
  • Puzar, Matija; Skjelsvik, Katrine S; Plagemann, Thomas Peter & Munthe-Kaas, Ellen (2009). Information Sharing in Mobile Ad-Hoc Networks: Evaluation of the MIDAS Data Space Prototype, In Lisa O'Conner (ed.),  Proceedings of The 29th IEEE International Conference on Distributed Computing Systems Workshops.  IEEE conference proceedings.  ISBN 978-0-7695-3660-6.  Artikkel nr. 63.  s 418 - 424
  • Plagemann, Thomas Peter; Skjelsvik, Katrine S; Puzar, Matija; Johannessen, Aslak; Drugan, Ovidiu Valentin; Goebel, Vera Hermine & Munthe-Kaas, Ellen (2008). Cross-Layer Overlay Synchronization in Sparse MANETs, In F. Friedrich & B. Van de Walle (ed.),  Proceedings of the 5th International Conference on Information Systems for Crisis Response and Management (ISCRAM2008).  Captus Press Inc..  ISBN 978-0-615-20697-4.  artikel.  s 546 - 555
  • Drugan, Ovidiu Valentin; Plagemann, Thomas Peter & Munthe-Kaas, Ellen (2007). Non-intrusive Neighbor Prediction in Sparse MANETs, In Vijay Raghunathan (ed.),  Sensor, Mesh and Ad Hoc Communications and Networks, 2007. SECON '07. 4th Annual IEEE Communications Society Conference on Publication.  IEEE Communications Society.  ISBN 1-4244-1268-4.  kapittel.
  • Plagemann, Thomas Peter; Munthe-Kaas, Ellen & Goebel, Vera Hermine (2007). Reconsidering Consistency Management in Shared Data Spaces for Emergency and Rescue Applications, In Matthias Jarke; Thomas Seidl; Christoph Quix; David Kensche; Stefan Conrad; Erhard Rahm; Ralf Klamma; Harald Kosch; Michael Granitzer; Sven Apel; Marko Rosenmüller; Gunter Saake & Olaf Spinczyk (ed.),  Datenbanksysteme in Business, Technologie und Web (BTW 2007), Workshop Proceedings.  Verlagshaus Mainz.  ISBN 3-86130-929-7.  kap.  s 307 - 316
  • Plagemann, Thomas Peter; Munthe-Kaas, Ellen; Skjelsvik, Katrine S; Puzar, Matija; Goebel, Vera Hermine; Johansen, Ulrik Albert; Gorman, Joe & Marín, Santiago Pérez (2007). A Data Sharing Facility for Mobile Ad-Hoc Emergency and Rescue Applications, In Ling Liu (ed.),  27th International Conference on Distributed Computing Systems - Workshops (ICDCS Workshops 2007).  IEEE.  ISBN 978-0-7695-2838-0.  Kap.
  • Drugan, Ovidiu Valentin; Plagemann, Thomas Peter & Munthe-Kaas, Ellen (2006). Predicting Time Intervals for Resource Availability in MANETs. Proceedings of the IEEE.  ISSN 0018-9219.  2, s 32- 37 . doi: 10.1109/SUTC.2006.107
  • Drugan, Ovidiu Valentin; Plagemann, Thomas Peter & Munthe-Kaas, Ellen (2006). Resource Aware Middleware Services Over MANETs. IEEE Infocom. Proceedings.  ISSN 0743-166X. . doi: 10.1109/INFOCOM.2006.66
  • Gagnes, Tommy; Plagemann, Thomas Peter & Munthe-Kaas, Ellen (2006). A Conceptual Service Discovery Architecture for Semantic Web Services in Dynamic Environments, In Ling Liu; Andreas Reuter; Kyu-Young Whang & Jianjun Zhang (ed.),  Proceedings of the 22nd International Conference on Data Engineering.  IEEE.  ISBN 0-7695-2570-9.  Kap..  s 74 - 74
  • Munthe-Kaas, Ellen; Drugan, Ovidiu Valentin; Goebel, Vera Hermine; Plagemann, Thomas Peter; Puzar, Matija; Sanderson, Norun Christine & Skjelsvik, Katrine S (2006). Mobile middleware for rescue and emergency scenarios, In Paolo Bellavista & Antonio Corradi (ed.),  The Handbook of Mobile Middleware.  CRC Press.  ISBN 0849338336.  Chapter 48.  s 1291 - 1320
  • Sanderson, Norun Christine; Goebel, Vera Hermine & Munthe-Kaas, Ellen (2006). Ontology Based Dynamic Updates in Sparse Mobile Ad-hoc Networks for Rescue Scenarios, In Kien Hua & Masaru Kitsuregawa (ed.),  Proceedings of the 7th International Conference on Mobile Data Management (MDM'06).  IEEE.  ISBN 0769525261.  artikkel.
  • Skjelsvik, Katrine S; Lekova, Anna; Goebel, Vera Hermine; Munthe-Kaas, Ellen; Plagemann, Thomas Peter & Sanderson, Norun Christine (2006). Supporting Multiple Subscription Languages by a Single Event Notification Overlay in Sparse MANETs, In Panos Chrysanthis; Christian S. Jensen; Vijay Kumar & Alexandros Labrinidis (ed.),  Proceedings of the Fifth ACM International Workshop on Data Engineering for Wireless and Mobile Access.  ACM Publications.  ISBN 1-59593-436-7.  Session 4: Location-based Access and Broadcasting.  s 67 - 74
  • Drugan, Ovidiu Valentin; Plagemann, Thomas Peter & Munthe-Kaas, Ellen (2005). Building resource aware middleware services over MANET for rescue and emergency applications. Proceedings of the IEEE.  ISSN 0018-9219.
  • Plagemann, Thomas Peter; Andersson, Jon; Drugan, Ovidiu Valentin; Goebel, Vera Hermine; Griwodz, Carsten; Halvorsen, Pål; Munthe-Kaas, Ellen; Puzar, Matija; Sanderson, Norun Christine & Skjelsvik, Katrine S (2005). Middleware Services for Information Sharing in Mobile Ad-Hoc Networks, In Thierry Gayraud (ed.),  Broadband Satellite Communication Systems and the Challenges of Mobility.  Springer Publishing Company.  ISBN 0-387-23993-6.  Kapittel.  s 225 - 236
  • Sanderson, Norun Christine; Goebel, Vera Hermine & Munthe-Kaas, Ellen (2005). Metadata Management for Ad-Hoc InfoWare - A Rescue and Emergency Use Case for Mobile Ad-Hoc Scenarios. In: On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE. LNCS 3761. ISBN 3-540-29738-3. Lecture Notes in Computer Science.  ISSN 0302-9743.  (3761), s 1365- 1380
  • Gjessing, Stein; Krogdahl, Stein & Munthe-Kaas, Ellen (1992). A Top Down Approach to the Formal Specification of SCI Cache Coherence. Lecture Notes in Computer Science.  ISSN 0302-9743.  575
  • Gjessing, Stein; Krogdahl, Stein & Munthe-Kaas, Ellen (1992). A Top Down Approach to the Formal Specification of SCI Cache Coherence, In Kim Guldstrand Larsen & Arne Skou (ed.),  Computer Aided Verification.  Springer.  ISBN 0-387-55179-4.  Kapittel.  s 83 - 91

Se alle arbeider i Cristin

  • Munthe-Kaas, Ellen; Fallmyr, Terje; Bjørnestad, Solveig; Hadjerrouit, Said; Krogdahl, Stein; Manne, Fredrik; Natvig, Lasse; Stol, Norvald & Yu, Weihai (2000). Norsk Informatikkonferanse NIK'2000. Tapir Akademisk Forlag.  ISBN 82-7314-308-2.  234 s.

Se alle arbeider i Cristin

  • Munthe-Kaas, Ellen (2014). A Note on the Complexity of Some Quality of Information Optimisation Problems in Sensor Networks. Conference proceedings (Universitetet i Oslo. Institutt for informatikk). 441. Fulltekst i vitenarkiv.
  • Rodriguez-Fernandez, Daniel; Kristiansen, Stein; Lindeberg, Morten Gunnar Bjørner; Drugan, Ovidiu Valentin; Cabrero, Sergio; Plagemann, Thomas Peter; Goebel, Vera Hermine; Munthe-Kaas, Ellen; Pañeda, Xabiel Garcia & Omang, Knut (2012). Delay Tolerant Streaming in Rescue Scenarios: Requirements Analysis and Resulting Industrial Issues - Version 2. Conference proceedings (Universitetet i Oslo. Institutt for informatikk). 418. Fulltekst i vitenarkiv. Vis sammendrag
  • Drugan, Ovidiu Valentin; Plagemann, Thomas Peter; Goebel, Vera Hermine; Munthe-Kaas, Ellen; Omang, Knut; Kamwendo, Kennedy Samuel; Lindeberg, Morten Gunnar Bjørner; Kristiansen, Stein & Rodriguez-Fernandez, Daniel (2009). Delay Tolerant Streaming in Rescue Scenarios: Requirements Analysis and Resulting Industrial Issues.
  • Drugan, Ovidiu Valentin; Plagemann, Thomas Peter & Munthe-Kaas, Ellen (2009). Non‐intrusive Clustering in Dynamic Networks.
  • Drugan, Ovidiu Valentin; Plagemann, Thomas Peter & Munthe-Kaas, Ellen (2008). A Communication Non-Intrusive Middleware for Resource Management in Sparse Mobile Ad-Hoc Networks. Series of dissertations submitted to the Faculty of Mathematics and Natural Sciences, University of Oslo.. 741.
  • Sanderson, Norun Christine; Goebel, Vera Hermine & Munthe-Kaas, Ellen (2008). Network Wide Information Sharing in Rescue and Emergency Situations. Series of dissertations submitted to the Faculty of Mathematics and Natural Sciences, University of Oslo.. 720.
  • Drugan, Ovidiu Valentin; Plagemann, Thomas Peter & Munthe-Kaas, Ellen (2007). Non-intrusive Neighbor Prediction in Sparse MANETs.
  • Drugan, Ovidiu Valentin; Plagemann, Thomas Peter & Munthe-Kaas, Ellen (2006). Predicting Time Intervals for Resource Availability in MANETs.
  • Drugan, Ovidiu Valentin; Plagemann, Thomas Peter & Munthe-Kaas, Ellen (2006). Resource aware middleware services over MANET.
  • Sanderson, Norun Christine; Goebel, Vera Hermine & Munthe-Kaas, Ellen (2006). Ontology Based Dynamic Updates in Sparse Mobile Ad-hoc Networks for Rescue Scenarios in MDM '06: Proceedings of the 7th International Conference on Mobile Data Management (MDM'06), IEEE Computer Society, ISBN 0-7695-2526-1.
  • Drugan, Ovidiu Valentin; Plagemann, Thomas Peter & Munthe-Kaas, Ellen (2005). Building resource aware middleware services over MANET for rescue and emergency applications.
  • Drugan, Ovidiu Valentin; Plagemann, Thomas Peter & Munthe-Kaas, Ellen (2005). Building resource aware middleware services over MANET for rescue and emergency applications.
  • Ferreira Pires, Luis & Munthe-Kaas, Ellen (2005). Techniques for describing and manipulating context information.
  • Gagnes, Tommy; Plagemann, Thomas Peter & Munthe-Kaas, Ellen (2005). Discovering Semantic Web Services in Dynamic Environments.
  • Gagnes, Tommy; Plagemann, Thomas Peter & Munthe-Kaas, Ellen (2005). Discovering Semantic Web Services in Dynamic Environments.
  • Munthe-Kaas, Ellen (2005). Context management in MANETs.
  • Munthe-Kaas, Ellen (2005). Mobile middleware for rescue and emergency scenarios - challenges and approach. Vis sammendrag
  • Munthe-Kaas, Ellen (2005). The personal health assistant scenario, case: Martijn.
  • Sanderson, Norun Christine; Goebel, Vera Hermine & Munthe-Kaas, Ellen (2005). Metadata Management for Ad-Hoc InfoWare - A Rescue and Emergency Use Case for Mobile Ad-Hoc Scenarios. In: On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE. Lecture Notes in Computer Science 2005(3761):1365-1380. ISBN 3-540-29738-3.
  • Plagemann, Thomas Peter; Andersson, Jon; Drugan, Ovidiu Valentin; Goebel, Vera Hermine; Griwodz, Carsten; Halvorsen, Pål; Munthe-Kaas, Ellen; Puzar, Matija; Sanderson, Norun Christine & Skjelsvik, Katrine S (2004). Middleware Services for Information Sharing in Mobile Ad-hoc Networks - Challenges and Approach.
  • Sanderson, Norun Christine; Goebel, Vera Hermine & Munthe-Kaas, Ellen (2004). Knowledge Management in Mobile Ad-hoc Networks for Rescue Scenarios.
  • Johnsen, Einar Broch; Owe, Olaf; Munthe-Kaas, Ellen & Vain, Juri (2001). Incremental Fault-Tolerant Design in an Object Oriented Setting.
  • Johnsen, Einar Broch; Owe, Olaf; Munthe-Kaas, Ellen & Vain, Juri (2000). Incremental Design of Dependable Systems in OUN. Conference proceedings (Universitetet i Oslo. Institutt for informatikk). 293. Vis sammendrag
  • Munthe-Kaas, Ellen (1996). Detecting livelock properties in graphs.
  • Munthe-Kaas, Ellen (1996). Detecting livelock properties in protocols.
  • Munthe-Kaas, Ellen (1996). The PVS Specification and Verification System.
  • Munthe-Kaas, Ellen (1995). The Larch Prover and the Prototype Verification System.
  • Munthe-Kaas, Ellen (1994). Formal Specification and Verification of Concurrent, Asynchronous Message-Passing Systems: Report from a Major Test Case.
  • Munthe-Kaas, Ellen (1993). A pi-Calculus Formal Definition of Memory Consistency.
  • Gjessing, Stein; Krogdahl, S & Munthe-Kaas, Ellen (1991). A Top Down Approach to the Formal Specification of SCI Cache Coherence.
  • Gjessing, Stein; Krogdahl, Stein & Munthe-Kaas, Ellen (1991). A Linked List Cache Coherence Protocol: Verifying the Bottom Layer.
  • Gjessing, Stein; Krogdahl, Stein & Munthe-Kaas, Ellen (1991). On Verifying a Linked List System based on Message Passing.
  • Gjessing, Stein & Munthe-Kaas, Ellen (1991). Formal Specification of Cache Coherence in a Shared Memory Multiprocessor.
  • Krogdahl, Stein & Munthe-Kaas, Ellen (1991). Oppgaver og notater til IN 210. Kompendium. 51.
  • Gjessing, Stein; Krogdahl, S & Munthe-Kaas, Ellen (1990). Approaching Verification of the SCI Cache Coherence Protocol.
  • Gjessing, Stein; Krogdahl, Stein & Munthe-Kaas, Ellen (1990). Approaching Verification of the SCI Cache Coherent Protocol. Conference proceedings (Universitetet i Oslo. Institutt for informatikk). 145. Vis sammendrag
  • Gjessing, Stein; Krogdahl, Stein & Munthe-Kaas, Ellen (1990). Formal Specification and Verification of SCI Cache Coherence.
  • Gjessing, Stein & Munthe-Kaas, Ellen (1990). Parallel Composition of Observable Processes with Shared Variables.
  • Gjessing, Stein; Johansen, Sverre; Krogdahl, Stein & Munthe-Kaas, Ellen (1990). Fast Distribution of Information in SCI-like Cache Protocols.
  • Gjessing, Stein; Krogdahl, Stein & Munthe-Kaas, Ellen (1990). A Top Down Approach to the Formal Specification of SCI Cache Coherence. Vis sammendrag
  • Gjessing, Stein & Munthe-Kaas, Ellen (1989). Trace Based Verification of Parallel Programs with Shared Variables.
  • Gjessing, Stein; Krogdahl, Stein & Munthe-Kaas, Ellen (1989). Formal Specification and Verification of SCI Cache Coherence.
  • Gjessing, Stein & Munthe-Kaas, Ellen (1988). Verification of Parallel Programs with Shared Variables and Critical Regions.
  • Munthe-Kaas, Ellen (1986). Rules for Coroutines and Recursive Procedures in Non-Deterministic Goto-Programs.

Se alle arbeider i Cristin

Publisert 4. nov. 2010 14:09 - Sist endret 21. des. 2017 15:33