Hide metadata

Research report

dc.date.accessioned2013-03-12T08:15:27Z
dc.date.available2013-03-12T08:15:27Z
dc.date.issued1990en_US
dc.date.submitted2004-08-31en_US
dc.identifier.urihttp://hdl.handle.net/10852/9165
dc.language.isoengen_US
dc.publisherUniversitetet i Oslo, Institutt for informatikk
dc.relation.haspart147 Hisdal, Ellen (1990). Infinite-valued logic based on two-valued logic and probability http://urn.nb.no/URN:NBN:no-13716en_US
dc.relation.haspart148 Hisdal, Ellen (1990). Infinite-valued logic based on two-valued logic and probability http://urn.nb.no/URN:NBN:no-13717en_US
dc.relation.haspart206 Dahl, Ole-Johan and Olaf Owe (1995). On the use of subtypes in ABEL http://urn.nb.no/URN:NBN:no-13707en_US
dc.relation.haspart207 Batiansen, Tore Jahn (2006). Parametric subtypes in ABEL http://urn.nb.no/URN:NBN:no-13302en_US
dc.relation.haspart210 Dahl, Ole-Johan and Bjørn Kristoffersen (1995). On introducting the high order functions in ABEL http://urn.nb.no/URN:NBN:no-13706en_US
dc.relation.haspart225 Caseiro, Vuokko-Helena (1996) Criticality Conditions on Equations to Ensure Poly-time Functions http://urn.nb.no/URN:NBN:no-13304en_US
dc.relation.haspart226 Caseiro, Vuokko-Helena (1996). An equational characterization of the poly-time functions on any constructor data structure 226 http://urn.nb.no/URN:NBN:no-13303en_US
dc.relation.haspart226 Temperini, Marco (1996). Specialization inheritance and specialization bounded polymorphism 226 http://urn.nb.no/URN:NBN:no-21584en_US
dc.relation.haspart236 Kugiumtzis, Dimitris; Christophersen, Nils D. (1997) State space reconstruction : method of delays vs singular spectrum approach http://urn.nb.no/URN:NBN:no-13311en_US
dc.relation.haspart240 Dahl, Geir (1997). Majorization, polyhedra and statistical testing problems 240 http://urn.nb.no/URN:NBN:no-13313en_US
dc.relation.haspart242 Østby, Joar Martin (1997). Full custom implementation of a high performance input buffered switch architecture http://urn.nb.no/URN:NBN:no-21586en_US
dc.relation.haspart245 Skjellaug, Bjørn (1997). Temporal Data: Time and Object Databases http://urn.nb.no/URN:NBN:no-9956en_US
dc.relation.haspart246 Skjellaug, Bjørn (1997). Temporal Data: Time and Relational Databases http://urn.nb.no/URN:NBN:no-9957en_US
dc.relation.haspart249 Dahl, Geir (1997). Stable set polytopes for a class of circulant graphs http://urn.nb.no/URN:NBN:no-13324en_US
dc.relation.haspart250 Dahl, Geir (1997). The 2-hop spanning tree problem http://urn.nb.no/URN:NBN:no-13704en_US
dc.relation.haspart252 Goebel, Vera, Bjørn Skjellaug and Eini Ilan (1997). A Temporal Data Model for Multimedia Database Systems http://urn.nb.no/URN:NBN:no-9958en_US
dc.relation.haspart253 Skjellaug, Bjørn and Arne-Jørgen Berre (1997). Multi-dimensional Time Support for Spatial Data Models http://urn.nb.no/URN:NBN:no-9959en_US
dc.relation.haspart256 Dahl, Geir (1997). Notes on polyhedra associated with hop-constrained paths http://urn.nb.no/URN:NBN:no-13323en_US
dc.relation.haspart258 Nilsen, Frode B. (1998). GMSim http://urn.nb.no/URN:NBN:no-18971en_US
dc.relation.haspart259 Nilsen, Frode B. (1998). Queuing systems http://urn.nb.no/URN:NBN:no-18972en_US
dc.relation.haspart262 Dahl, Geir, G. Storvik and A. Fadnes (1998). Large scale integer programs in image analysis http://urn.nb.no/URN:NBN:no-13312en_US
dc.relation.haspart263 Dahl, Geir (1998). Matrix majorization http://urn.nb.no/URN:NBN:no-13314en_US
dc.relation.haspart269 Dahl, Geir (1999). A note on nonnegative diagonally dominant matrices http://urn.nb.no/URN:NBN:no-13315en_US
dc.relation.haspart276 Skjellaug, Bjørn (1999). A formal comparison of ADT-based dimensional query languages http://urn.nb.no/URN:NBN:no-21580en_US
dc.relation.haspart304 Runde, Ragnhild Kobro and Ketil Stølen (2003). What is model driven architecture? http://urn.nb.no/URN:NBN:no-18703en_US
dc.relation.haspart306 Haugen, Øystein and Ketil Stølen (2003). STAIRS - Steps to Analyze Interactions with Refinement Semantics http://urn.nb.no/URN:NBN:no-9960en_US
dc.relation.haspart307 Halvorsen, Pål, Carsten Griwodz, Ketil Lund, Thomas Plagemann and Vera Goebel (2003). Storage systems support for multimedia applications http://urn.nb.no/URN:NBN:no-18735en_US
dc.relation.haspart308 Aredo, Demissie B. and Olaf Owe (2004). Formal System Development Using Method Integration: a Case Study http://urn.nb.no/URN:NBN:no-9955en_US
dc.relation.haspart309 Haugen, Øystein, Knut Eilif Husa, Ragnhild Kobro Runde and Ketil Stølen (2006). Why timed sequence diagrams require three-event semantics http://urn.nb.no/URN:NBN:no-18704en_US
dc.relation.haspart311 Göktürk, Erek, Ingrid M. Rosvall and Negil S. Gutierrez (2004). Multi-Perspective Multi-Hierarchical Topic Maps http://urn.nb.no/URN:NBN:no-9954en_US
dc.relation.haspart316 Ölveczky, Peter Csaba (2004). Real-Time Maude 2.3 manual http://urn.nb.no/URN:NBN:no-18692en_US
dc.relation.haspart317 Hagalisletto, Anders Moen (2004). Complete fragments of arithmetic http://urn.nb.no/URN:NBN:no-18691en_US
dc.relation.haspart318 Hagalisletto, Anders Moen (2004). Non-standard models for MINPAR http://urn.nb.no/URN:NBN:no-18739en_US
dc.relation.haspart319 Pužar, Matija, Jon Andersson, Thomas Plagemann and Yves Roudier (2005). SKiMPy: a simple key management protocol for MANETs in emergency and rescue operations http://urn.nb.no/URN:NBN:no-18741en_US
dc.relation.haspart320 Dæhlen, Morten, Tom Lyche, Knut Mørken and Hans-Peter Seidel (2006). Multiresolution analysis based on quadratic Hermite interpolation http://urn.nb.no/URN:NBN:no-12230en_US
dc.relation.haspart321 Pužar, Matija and Thomas Plagemann (2005). NEMAN: a network emulator for mobile ad-hoc networks http://urn.nb.no/URN:NBN:no-18740en_US
dc.relation.haspart323 Refsdal, Atle, Knut Eilif Husa and Ketil Stølen (2007). Specification and Refinement of Soft Real-time Requirements Using Sequence Diagrams http://urn.nb.no/URN:NBN:no-14765en_US
dc.relation.haspart325 Runde, Ragnhild Kobro, Øystein Haugen and Ketil Stølen (2007). Refining UML interactions with underspecification and nondeterminism http://urn.nb.no/URN:NBN:no-18760en_US
dc.relation.haspart326 Runde, Ragnhild Kobro, Øystein Haugen and Ketil Stølen (2005). How to transform UML neg into a useful construct http://urn.nb.no/URN:NBN:no-18759en_US
dc.relation.haspart330 Lund, Mass Soldahl and Ketil Stølen (2007). A fully general operational semantics for UML sequence diagrams with potential and mandatory choice http://urn.nb.no/URN:NBN:no-18411en_US
dc.relation.haspart331 Schneider, Gerardo (2005). Towards computing phase portrait objects of polygonal hybrid systems on surfaces http://urn.nb.no/URN:NBN:no-18780en_US
dc.relation.haspart332 Rossebø, Judith Ellen Yarranton and Rolv Bræk (2007). Towards a Framework of Authentication and Authorization Patterns for Ensuring Availability in Service Composition http://urn.nb.no/URN:NBN:no-14762en_US
dc.relation.haspart333 Giambagi, Pablo, Olaf Owe, Gerardo Schneider and Anders P. Ravn (2006). Contract-based Internet service software development http://urn.nb.no/URN:NBN:no-18781en_US
dc.relation.haspart334 Hauge, Mariann (2006). Multicast in a Heterogeneous Cellular and Ad Hoc Network http://urn.nb.no/URN:NBN:no-15312en_US
dc.relation.haspart335 Refsdal, Atle, Ragnhild Kobro Runde and Ketil Stølen (2006). Underspecification, inherent nondeterminism and probability in sequence diagrams http://urn.nb.no/URN:NBN:no-18758en_US
dc.relation.haspart336 Pace, Gordon and Gerardo Schneider (2006). Static analysis of SPDIs for state-space reduction http://urn.nb.no/URN:NBN:no-18782en_US
dc.relation.haspart337 Lund, Mass Soldal, Judith E.Y. Rossebø, Atle Refsdal and Knut-Eilif Husa (2006). A conceptual model for service availability http://urn.nb.no/URN:NBN:no-13469en_US
dc.relation.haspart338 Göktürk, Erek (2006). Elements and stakeholders of network simulation http://urn.nb.no/URN:NBN:no-18811en_US
dc.relation.haspart340 Johnsen, Frank Trethan, Trude Hafsøe, Thomas Plagemann and Vera Goebel (2006). Challenges in Combining Overlay Networks and Cooperative Caching http://urn.nb.no/URN:NBN:no-13309en_US
dc.relation.haspart341 Brændeland, Gyrd and Ketil Stølen (2006). A semantic paradigm for component-based specification integrating a notion of security risk http://urn.nb.no/URN:NBN:no-18901en_US
dc.relation.haspart342 Brændeland, Gyrd and Ketil Stølen (2010). Using model-driven risk analysis in component-based development http://urn.nb.no/URN:NBN:no-27118en_US
dc.relation.haspart343 Gerard, S., S. Graf, Ø. Haugen, I. Ober and B. Selic (2006). MARTES 2006 at MoDELS 2006 http://urn.nb.no/URN:NBN:no-13133en_US
dc.relation.haspart344 Halvorsen, Oddleif, Ragnhild Kobro Runde and Øystein Haugen (2008). Time exceptions in sequence diagrams http://urn.nb.no/URN:NBN:no-18846en_US
dc.relation.haspart345 Runde, Ragnhild Kobro (2007). STAIRS case study http://urn.nb.no/URN:NBN:no-18847en_US
dc.relation.haspart346 Runde, Ragnhild Kobro, Atle Refsdal and Ketil Stølen (2007). Relating computer systems to sequence diagrams with underspecification, inherent nondeterminism and probabilistic choice http://urn.nb.no/URN:NBN:no-18848en_US
dc.relation.haspart347 Refsdal, Atle, Ragnhild Kobro Runde and Ketil Stølen (2007). Relating computer systems to sequence diagrams with underspecification, inherent nondeterminism and probabilistic choice http://urn.nb.no/URN:NBN:no-18849en_US
dc.relation.haspart348 Prisacariu, Christian and Gerardo Schneider (2007). Towards a formal definition of electronic contracts http://urn.nb.no/URN:NBN:no-18785en_US
dc.relation.haspart349 Runde, Ragnhild Kobro, Øystein Haugen and Ketil Stølen (2007). The pragmatics of STAIRS http://urn.nb.no/URN:NBN:no-18850en_US
dc.relation.haspart350 Holm, Sverre (2007). Lydkvalitetet i DAB digitalradio http://urn.nb.no/URN:NBN:no-14275en_US
dc.relation.haspart351 Dovland, Johan, Einar B. Johnsen and Olaf Owe (2007). A compositional proof system for dynamic object systems http://urn.nb.no/URN:NBN:no-18788en_US
dc.relation.haspart352 Bøhagen, Frode, Pål Orten and Geir E. Øien (2007). Design of capacity-optimal high-rank line-of-sight MIMO channels http://urn.nb.no/URN:NBN:no-14425en_US
dc.relation.haspart353 Bøhagen, Frode, Pål Orten and Geir E. Øien (2007). Modeling and analysis of a 40 GHz MIMO system for fixed wireless access http://urn.nb.no/URN:NBN:no-14427en_US
dc.relation.haspart358 Sanderson, Norun Christine, Kathrine Stemland Skjelsvik, Ovidiu Valentin Drugan, Matija Pužar, Vera Göbel, Ellen Munthe-Kaas and Thomas Plagemann (2007). Developing mobile middleware http://urn.nb.no/URN:NBN:no-18779en_US
dc.relation.haspart359 Schneider, Gerardo (2007). On the decidability of the reachability problem for GSPDIs http://urn.nb.no/URN:NBN:no-18784en_US
dc.relation.haspart361 Prisacariu, Christian and Gerardo Schneider (2007). An algebraic structure for the action-based contract language CL theoretical results http://urn.nb.no/URN:NBN:no-18787en_US
dc.relation.haspart362 Pace, Gordon, Christian Prisacariu and Gerardo Schneider (2007). Model checking contracts http://urn.nb.no/URN:NBN:no-18786en_US
dc.relation.haspart363 Brændeland, Gyrd, Atle Refsdal and Ketil Stølen (2011). A denotational model for component-based risk analysis http://urn.nb.no/URN:NBN:no-27090en_US
dc.relation.haspart364 Ábrahám, Erika, Immo Grabe, Andreas Grüner and Martin Steffen (2007). Behavioral interface description of an object-oriented language with futures and promises http://urn.nb.no/URN:NBN:no-18777en_US
dc.relation.haspart365 Torjusen, Arild, Olaf Owe and Gerardo Schneider (2007). Towards integration of XML in the Creol object-oriented language http://urn.nb.no/URN:NBN:no-18693en_US
dc.relation.haspart367 Grønmo, Roy, Fredrik Sørensen, Birger Møller-Pedersen and Stein Krogdahl (2007). Weaving of UML sequence diagrams using STAIRS http://urn.nb.no/URN:NBN:no-18590en_US
dc.relation.haspart368 Dovland, Johan, Einar B. Johnsen, Olaf Owe and Martin Steffen (2007). Lazy behavioral subtyping http://urn.nb.no/URN:NBN:no-18810en_US
dc.relation.haspart369 Lekova, Anna, Katrine Stemland Skjelsvik, Thomas Plagemann and Vera Goebel (2007). Fuzzy logic-based approximate event notification in sparse MANETs http://urn.nb.no/URN:NBN:no-18829en_US
dc.relation.haspart370 Plagemann, Thomas, Katrine Stemland Skjelsvik, Matija Pužar, Ovidiu Drugan, Vera Goebel and Ellen Munthe-Kaas (2007). Using routing information to optimize synchronization of replicated event notification mediators in sparse MANETs http://urn.nb.no/URN:NBN:no-18830en_US
dc.relation.haspart371 Prisacariu, Christian and Gerardo Schneider (2008). CL - a logic for reasoning about legal contracts: - Semantics http://urn.nb.no/URN:NBN:no-18857en_US
dc.relation.haspart372 Pace, Gordon J. and Gerardo Schneider (2008). Relaxing goodness is still good for SPDIs http://urn.nb.no/URN:NBN:no-18783en_US
dc.relation.haspart375 Grabe, Immo, Martin Steffen and Arild B. Torjussen (2008). Executable interface specifications for testing asynchronous Creol components http://urn.nb.no/URN:NBN:no-21879en_US
dc.relation.haspart377 Pace, Gordon J. and Gerardo Schneider (2008). FLACOS’08 Workshop proceedings http://urn.nb.no/URN:NBN:no-21859en_US
dc.relation.haspart392 Steffen, Martin; Tran, Thi Mai Thuong (2009) Safe commits for transactional featherweight Java http://urn.nb.no/URN:NBN:no-34240en_US
dc.relation.haspart397 Bentea, Lucian and Olaf Owe (2010). Towards an object-oriented modeling language for probabalistic open distributed systems http://urn.nb.no/URN:NBN:no-26097en_US
dc.relation.haspart399 Razick , Sabry and Ian M. Donaldson (2010). Design and prototype of a system to integrate and visualize biological interaction data http://urn.nb.no/URN:NBN:no-26171en_US
dc.relation.haspart400 Razick, Sabry and Ian M. Donaldson (2010). iRefIndex : Interaction Reference Index http://urn.nb.no/URN:NBN:no-26172en_US
dc.relation.haspart401 Din, Crystal Chang, John Dovland, Einar Broch Johnsen and Olaf Owe (2010). Observable behavior of distributed systems http://urn.nb.no/URN:NBN:no-26369en_US
dc.relation.haspart404 Pun, Ka I., Martin Steffen and Volker Stolz (2011). Deadlock checking by a behavioral effect system for lock handling http://urn.nb.no/URN:NBN:no-27521en_US
dc.relation.haspart406 Ábrahám, Erika; Tran, Thi Mai Thuong; Steffen, Martin (2011). Estimating resource bounds for software transactions http://urn.nb.no/URN:NBN:no-34140en_US
dc.relation.haspart408 Majewski, Krzysztof Michal (2011). Implementing timed extensions of Petri nets in Real-Time Maude http://urn.nb.no/URN:NBN:no-28696en_US
dc.relation.haspart409 Kyas, Marcel, Sun Meng and Volker Stolz (2011). TTSS'11 - 5th International Workshop on Harnessing Theories for Tool Support in Software http://urn.nb.no/URN:NBN:no-29716en_US
dc.relation.haspart410 Arbab, Farhad and Peter Csaba Õlveczky (2011). 8th International Symposium on Formal Aspects of Component Software : prelinary proceedings http://urn.nb.no/URN:NBN:no-34141en_US
dc.relation.haspart411 Ivanovska, Magdalena and Martin Giese (2011). A logic-based approach to decision making http://urn.nb.no/URN:NBN:no-29702en_US
dc.relation.haspart412 Hansen, Hallstein, Gerardo Schneider and Martin Steffen (2011). Reachability analysis of complex planar hybrid systems http://urn.nb.no/URN:NBN:no-29825
dc.relation.haspart414 Tran, Thi Mai Thuong, Martin Steffen and Hoang Truong (2011). Estimating resource bounds for software transactions http://urn.nb.no/URN:NBN:no-30010
dc.relation.haspart415 Din, Crystal Chang, Johan Dovland and Olaf Owe (2012). An approach to compositional reasoning about concurrent objects and futures http://urn.nb.no/URN:NBN:no-30589
dc.relation.haspart416 Pun, Ka I., Martin Steffen and Volker Stolz (2012). Behaviour inference for deadlock checking http://urn.nb.no/URN:NBN:no-34241
dc.relation.haspart418 Rodriguez-Fernandez, Daniel, Stein Kristiansen, Morten Gunnar Bjørner Lindeberg, Ovidiu Valentin Drugan, Sergio Cabrero, Thomas Peter Plagemann, Vera Hermine Goebel, Ellen Munthe-Kaas, Xabiel Garcia Pañeda and Knut Omang (2012). Delay Tolerant Streaming in Rescue Scenarios: Requirements Analysis and Resulting Industrial Issues - Version 2 http://urn.nb.no/URN:NBN:no-31955
dc.relation.haspart426 Johansen, Christian; Owe, Olaf (2012). Dynamic Structural Operational Semantics (preliminary version). http://hdl.handle.net/10852/69680
dc.relation.haspart429 Setty, Vinay Jayarama; Vitenberg, Roman; Kreitz, Gunnar; Urdaneta, Guido; van Steen, Maarten (2013). Maximizing the Number of Satisfied Subscribers in Pub/Sub Systems Under Capacity Constraints. http://urn.nb.no/URN:NBN:no-41159
dc.relation.haspart430 Bentea, Lucian; Ølveczky, Peter Csaba (2014). Probabilistic Real-Time Rewrite Theories and Their Expressive Power http://urn.nb.no/URN:NBN:no-44156
dc.relation.haspart431 Bentea, Lucian; Ølveczky, Peter Csaba (2014). A Probabilistic Strategy Language for Probabilistic Rewrite Theories and its Application to Cloud Computing http://urn.nb.no/URN:NBN:no-44157
dc.relation.haspart432 Bentea, Lucian; Ølveczky, Peter Csaba; Bentea, Eduard (2014). Formalization and Simulation of alpha-Synuclein Aggregation and Propagation under Different Pathobiological Conditions in PSMaude http://hdl.handle.net/10852/39305
dc.relation.haspart434 Khademi, Naeem; Ros, David; Welzl, Michael (2013). The New AQM Kids on the Block: Much Ado About Nothing? http://urn.nb.no/URN:NBN:no-38868
dc.relation.haspart435 Din, Crystal Chang; Owe, Olaf; Bubel, Richard (2013). A comparison of runtime assertion checking and theorem proving for concurrent and distributed systems http://urn.nb.no/URN:NBN:no-41223
dc.relation.haspart436 Setty, Vinay Jayarama (2014). Cost-Effective Resource Allocation for Deploying Pub/Sub on Cloud http://urn.nb.no/URN:NBN:no-44086
dc.relation.haspart437 Din, Crystal Chang; Owe, Olaf (2014). Compositional and sound seasoning about active objects with shared futures http://urn.nb.no/URN:NBN:no-41224
dc.relation.haspart440 Islam, Safiqul; Welzl, Michael; Gjessing, Stein; Khademi, Naeem (2014). Coupled Congestion Control for RTP Media http://urn.nb.no/URN:NBN:no-44080
dc.relation.haspart441 Munthe-Kaas, Ellen (2014). A Note on the Complexity of Some Quality of Information Optimisation Problems in Sensor Networks http://urn.nb.no/URN:NBN:no-45947
dc.relation.haspart442 Culén, Alma Leora; Følstad, Asbjørn (2014). Innovation in HCI: what can we learn from design thinking? http://urn.nb.no/URN:NBN:no-46114
dc.relation.haspart447 Kjernsmo, Kjetil (2015). Addendum to a survey of HTTP caching on the Semantic Web http://urn.nb.no/URN:NBN:no-47777
dc.relation.haspart450 Luteberget, Bjørnar Steinnes; Johansen, Christian; Steffen, Martin (2016). Rule-Based Consistency Checking of Railway Infrastructure Designs. http://urn.nb.no/URN:NBN:no-53505
dc.relation.haspart451 Johansen, Christian; Norman, Håkon; Hildebrandt, Thomas (2016). Non-interleaving Operational Semantics for the Pi-calculus - technicalities. http://urn.nb.no/URN:NBN:no-53911
dc.relation.haspart452 Johansen, Christian; Pedersen, Tore; Jøsang, Audun (2016). Reflections on Behavioural Computer Science. http://urn.nb.no/URN:NBN:no-53913
dc.relation.haspart453 Johansen, Christian; Jøsang, Audun; Migdal, Denis (2016) Usable Authentication with an Offline Trusted Device Proxy Architecture (long version). http://hdl.handle.net/10852/58863
dc.relation.haspart454 Johansen, Christian; Jøsang, Audun; Migdal, Denis (2016) Offpad: Offline personal authenticating device: implementations and applications. http://urn.nb.no/URN:NBN:no-62025
dc.relation.haspart455 Mauro, Jacopo (2016) Zephyrus2: On the Fly Deployment Optimization using SMT and CP Technologies - Technical Report. http://urn.nb.no/URN:NBN:no-55179
dc.relation.haspart460 Karlsen, Leif Harald; Giese, Martin (2017) An Efficient Representation of Qualitative Spatial Information using Bintrees http://urn.nb.no/URN:NBN:no-56970
dc.relation.haspart461 Berg, Henning; Yu, Ingrid Chieh (2017) Generic Metamodel Refactoring with Automatic Detection of Applicability and Co-evolution of Artefacts http://urn.nb.no/URN:NBN:no-57602
dc.relation.haspart462 Berg, Henning (2017) Integration of Operational Language Semantics using Exported Namespaces http://urn.nb.no/URN:NBN:no-57600
dc.relation.haspart465 Luteberget, Bjørnar Steinnes; Camilleri, John J.; Johansen, Christian; Schneider, Gerardo (2017) Participatory Verification of Railway Infrastructure Regulations using RailCNL (long version) http://urn.nb.no/URN:NBN:no-58064
dc.relation.haspart466 Fava, Daniel Schnetzer; Steffen, Martin; Stolz, Volker; Valle, Stian (2017) An operational semantics for a weak memory model with buffered writes, message passing, and goroutines http://urn.nb.no/URN:NBN:no-58448
dc.relation.haspart467 Karlsen, Leif Harald; Giese, Martin (2017) Qualitatively Correct Bintrees With Roles http://urn.nb.no/URN:NBN:no-58082
dc.relation.haspart468 Provensi, Lucas Luiz; Singh, Abhishek Kumar; Eliassen, Frank; Vitenberg, Roman (2017) Self-Organizing Media Streaming for Many-to-many Interaction http://urn.nb.no/URN:NBN:no-58225
dc.relation.haspart469 Klungre, Vidar Norstein (2017) A Faceted Search Index for Graph Queries http://urn.nb.no/URN:NBN:no-59313
dc.relation.haspart470 Erika Ábrahám and Silvia Lizeth Tapia Tarifa (Eds.) (2017) Proceedings of the PhD Symposium at iFM’17 on Formal Methods: Algorithms, Tools and Applications (PhD-iFM’17) http://urn.nb.no/URN:NBN:no-60516
dc.relation.haspart471 Kyriakos, Kritikos; Zoltán Ádám, Mann; Claus, Pahl; Stolz, Volker (2017) Joint Pre-Proceedings of the Workshops Associated with ESOCC 2017 http://urn.nb.no/URN:NBN:no-61464
dc.relation.haspart473 Tokas, Shukun; Owe, Olaf; Johansen, Christian (2020) Code Diversification Mechanisms for Internet of Things (Revised Version 2) http://hdl.handle.net/10852/75932
dc.relation.haspart477 Fava, Daniel Schnetzer, Martin Steffen, Volker Stolz (2018) Operational Semantics of a Weak Memory Model with Channel Synchronization http://hdl.handle.net/10852/61977
dc.relation.haspart478 Zhu, Xiaojie; Ayday, Erman; Vitenberg, Roman (2018) A privacy-preserving framework for outsourcing location-based services to the cloud http://hdl.handle.net/10852/60435
dc.relation.haspart482 Knoop, Jens; Steffen, Martin; Trancón y Widemann, Baltasar (2018) Tagungsband des 35ten Jahrestreffens der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte" http://hdl.handle.net/10852/62723
dc.relation.haspart483 Erika Ábrahám and Silvia Lizeth Tapia Tarifa (Eds.) (2018) Proceedings of the PhD Symposium at iFM’18 on Formal Methods: Algorithms, Tools and Applications (PhD-iFM’18) http://hdl.handle.net/10852/63284
dc.relation.haspart487 Teymoori, Peyman; Hayes, David Andrew; Welzl, Michael; Gjessing, Stein (2019) Estimating an Additive Path Cost with Explicit Congestion Notification http://hdl.handle.net/10852/72709
dc.relation.haspart488 Knoop, Jens; Steffen, Martin; Trancón y Widemann, Baltasar (2019) Tagungsband des 36ten Jahrestreffens der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte" http://hdl.handle.net/10852/72477
dc.relation.haspart492 Shrestha, Manish; Johansen, Christian; Noll, Josef (2019) Criteria for Security Classification of Smart Home Energy Management Systems (long version) http://hdl.handle.net/10852/76422
dc.relation.haspart493 Shrestha, Manish; Johansen, Christian; Noll, Josef (2020) Building Confidence using Beliefs and Arguments in Security Class Evaluations for IoT (long version) http://hdl.handle.net/10852/77338
dc.relation.haspart494 Teymoori, Peyman; Welzl, Michael (2020) LGCC: Food Chain Multi-Hop Congestion Control http://hdl.handle.net/10852/81711
dc.relation.haspart495 Shrestha, Manish; Johansen, Christian; Moghadam, Maunya D.; Johansen, Johanna; Noll, Josef (2020) Tool Support for Security Classification for Internet of Things (long version) http://hdl.handle.net/10852/81060
dc.relation.haspart498 Thapa, Ratan Bahadur; Giese, Martin (2021) A Source-to-Target Constraint rewriting for Direct Mapping (Extended Version) August 19, 2021 http://hdl.handle.net/10852/86913
dc.relation.haspart498 Thapa, Ratan Bahadur; Giese, Martin (2021) A Source-to-Target Constraint rewriting for Direct Mapping (Extended Version) September 15, 2021 http://hdl.handle.net/10852/88136
dc.relation.haspart499 Kamburjan, Eduard; Klungre, Vidar; Schlatte, Rudolf; Johnsen, Einar Broch; Giese, Martin (2021) Programming and Debugging with Semantically Lifted States (Full Paper) http://hdl.handle.net/10852/85662
dc.relation.haspart500 Ciko, Kristjon; Welzl, Michael; Teymoori, Peyman (2021) PEP-DNA: a Performance Enhancing Proxy for Deploying Network Architectures http://hdl.handle.net/10852/89270
dc.relation.haspart502 Kamburjan, Eduard; Klungre, Vidar Norstein; Giese, Martin (2022) Never Mind the Semantic Gap: Modular, Lazy and Safe Loading of RDF Data (Full Paper) http://hdl.handle.net/10852/93465
dc.relation.haspart503 Thapa, Ratan Bahadur; Giese, Martin (2022) Mapping Relational Database Constraints to SHACL (Extended Version) http://hdl.handle.net/10852/94789
dc.relation.haspart504 Thapa, Ratan Bahadur; Giese, Martin (2023) Optimizing SPARQL Queries with SHACL (Extended Version) http://hdl.handle.net/10852/103167
dc.relation.haspart505 Hallé, Sylvain; Soueidi, Chukri; Falcone, Yliès; Kamburjan, Eduard; Klungre, Vidar; Tapia Tarifa, Silvia Lizeth; Schlatte, Rudolf; Giese, Martin; Cameron, David; Johnsen, Einar Broch; Schiff, Jonas; Weigl, Alexander; Leucker, Martin; Sachenbacher, Martin; Vosteen, Lars Bernd; Thoma, Daniel; Ali, Aliyu Tanko; Pferscher, Andrea; Wunderling, Benjamin; Aichernig, Bernhard K.; Muskardin, Edi (2023) Preproceedings of the Workshop on Applications of Formal Methods and Digital Twins http://hdl.handle.net/10852/101662
dc.relation.haspart506 Baramashetru, Chinmayi; Tapia Tarifa, Silvia Lizeth; Owe, Olaf (2023) Integrating Data Privacy Compliance in Active Object Languages http://hdl.handle.net/10852/102661
dc.relation.urihttp://urn.nb.no/URN:NBN:no-13716
dc.relation.urihttp://urn.nb.no/URN:NBN:no-13717
dc.relation.urihttp://urn.nb.no/URN:NBN:no-13707
dc.relation.urihttp://urn.nb.no/URN:NBN:no-13302
dc.relation.urihttp://urn.nb.no/URN:NBN:no-13706
dc.relation.urihttp://urn.nb.no/URN:NBN:no-13304
dc.relation.urihttp://urn.nb.no/URN:NBN:no-13303
dc.relation.urihttp://urn.nb.no/URN:NBN:no-21584
dc.relation.urihttp://urn.nb.no/URN:NBN:no-13311
dc.relation.urihttp://urn.nb.no/URN:NBN:no-13313
dc.relation.urihttp://urn.nb.no/URN:NBN:no-21586
dc.relation.urihttp://urn.nb.no/URN:NBN:no-9956
dc.relation.urihttp://urn.nb.no/URN:NBN:no-9957
dc.relation.urihttp://urn.nb.no/URN:NBN:no-13324
dc.relation.urihttp://urn.nb.no/URN:NBN:no-13704
dc.relation.urihttp://urn.nb.no/URN:NBN:no-9958
dc.relation.urihttp://urn.nb.no/URN:NBN:no-9959
dc.relation.urihttp://urn.nb.no/URN:NBN:no-13323
dc.relation.urihttp://urn.nb.no/URN:NBN:no-18971
dc.relation.urihttp://urn.nb.no/URN:NBN:no-18972
dc.relation.urihttp://urn.nb.no/URN:NBN:no-13312
dc.relation.urihttp://urn.nb.no/URN:NBN:no-13314
dc.relation.urihttp://urn.nb.no/URN:NBN:no-13315
dc.relation.urihttp://urn.nb.no/URN:NBN:no-21580
dc.relation.urihttp://urn.nb.no/URN:NBN:no-18703
dc.relation.urihttp://urn.nb.no/URN:NBN:no-9960
dc.relation.urihttp://urn.nb.no/URN:NBN:no-18735
dc.relation.urihttp://urn.nb.no/URN:NBN:no-9955
dc.relation.urihttp://urn.nb.no/URN:NBN:no-18704
dc.relation.urihttp://urn.nb.no/URN:NBN:no-9954
dc.relation.urihttp://urn.nb.no/URN:NBN:no-18692
dc.relation.urihttp://urn.nb.no/URN:NBN:no-18691
dc.relation.urihttp://urn.nb.no/URN:NBN:no-18739
dc.relation.urihttp://urn.nb.no/URN:NBN:no-18741
dc.relation.urihttp://urn.nb.no/URN:NBN:no-12230
dc.relation.urihttp://urn.nb.no/URN:NBN:no-18740
dc.relation.urihttp://urn.nb.no/URN:NBN:no-14765
dc.relation.urihttp://urn.nb.no/URN:NBN:no-18760
dc.relation.urihttp://urn.nb.no/URN:NBN:no-18759
dc.relation.urihttp://urn.nb.no/URN:NBN:no-18411
dc.relation.urihttp://urn.nb.no/URN:NBN:no-18780
dc.relation.urihttp://urn.nb.no/URN:NBN:no-14762
dc.relation.urihttp://urn.nb.no/URN:NBN:no-18781
dc.relation.urihttp://urn.nb.no/URN:NBN:no-15312
dc.relation.urihttp://urn.nb.no/URN:NBN:no-18758
dc.relation.urihttp://urn.nb.no/URN:NBN:no-18782
dc.relation.urihttp://urn.nb.no/URN:NBN:no-13469
dc.relation.urihttp://urn.nb.no/URN:NBN:no-18811
dc.relation.urihttp://urn.nb.no/URN:NBN:no-13309
dc.relation.urihttp://urn.nb.no/URN:NBN:no-18901
dc.relation.urihttp://urn.nb.no/URN:NBN:no-27118
dc.relation.urihttp://urn.nb.no/URN:NBN:no-13133
dc.relation.urihttp://urn.nb.no/URN:NBN:no-18846
dc.relation.urihttp://urn.nb.no/URN:NBN:no-18847
dc.relation.urihttp://urn.nb.no/URN:NBN:no-18848
dc.relation.urihttp://urn.nb.no/URN:NBN:no-18849
dc.relation.urihttp://urn.nb.no/URN:NBN:no-18785
dc.relation.urihttp://urn.nb.no/URN:NBN:no-18850
dc.relation.urihttp://urn.nb.no/URN:NBN:no-14275
dc.relation.urihttp://urn.nb.no/URN:NBN:no-18788
dc.relation.urihttp://urn.nb.no/URN:NBN:no-14425
dc.relation.urihttp://urn.nb.no/URN:NBN:no-14427
dc.relation.urihttp://urn.nb.no/URN:NBN:no-18779
dc.relation.urihttp://urn.nb.no/URN:NBN:no-18784
dc.relation.urihttp://urn.nb.no/URN:NBN:no-18787
dc.relation.urihttp://urn.nb.no/URN:NBN:no-18786
dc.relation.urihttp://urn.nb.no/URN:NBN:no-27090
dc.relation.urihttp://urn.nb.no/URN:NBN:no-18777
dc.relation.urihttp://urn.nb.no/URN:NBN:no-18693
dc.relation.urihttp://urn.nb.no/URN:NBN:no-18590
dc.relation.urihttp://urn.nb.no/URN:NBN:no-18810
dc.relation.urihttp://urn.nb.no/URN:NBN:no-18829
dc.relation.urihttp://urn.nb.no/URN:NBN:no-18830
dc.relation.urihttp://urn.nb.no/URN:NBN:no-18857
dc.relation.urihttp://urn.nb.no/URN:NBN:no-18783
dc.relation.urihttp://urn.nb.no/URN:NBN:no-21879
dc.relation.urihttp://urn.nb.no/URN:NBN:no-21859
dc.relation.urihttp://urn.nb.no/URN:NBN:no-34240
dc.relation.urihttp://urn.nb.no/URN:NBN:no-26097
dc.relation.urihttp://urn.nb.no/URN:NBN:no-26171
dc.relation.urihttp://urn.nb.no/URN:NBN:no-26172
dc.relation.urihttp://urn.nb.no/URN:NBN:no-26369
dc.relation.urihttp://urn.nb.no/URN:NBN:no-27521
dc.relation.urihttp://urn.nb.no/URN:NBN:no-34140
dc.relation.urihttp://urn.nb.no/URN:NBN:no-28696
dc.relation.urihttp://urn.nb.no/URN:NBN:no-29716
dc.relation.urihttp://urn.nb.no/URN:NBN:no-34141
dc.relation.urihttp://urn.nb.no/URN:NBN:no-29702
dc.relation.urihttp://urn.nb.no/URN:NBN:no-29825
dc.relation.urihttp://urn.nb.no/URN:NBN:no-30010
dc.relation.urihttp://urn.nb.no/URN:NBN:no-30589
dc.relation.urihttp://urn.nb.no/URN:NBN:no-34241
dc.relation.urihttp://urn.nb.no/URN:NBN:no-31955
dc.relation.urihttp://hdl.handle.net/10852/69680
dc.relation.urihttp://urn.nb.no/URN:NBN:no-41159
dc.relation.urihttp://urn.nb.no/URN:NBN:no-44156
dc.relation.urihttp://urn.nb.no/URN:NBN:no-44157
dc.relation.urihttp://hdl.handle.net/10852/39305
dc.relation.urihttp://urn.nb.no/URN:NBN:no-38868
dc.relation.urihttp://urn.nb.no/URN:NBN:no-41223
dc.relation.urihttp://urn.nb.no/URN:NBN:no-44086
dc.relation.urihttp://urn.nb.no/URN:NBN:no-41224
dc.relation.urihttp://urn.nb.no/URN:NBN:no-44080
dc.relation.urihttp://urn.nb.no/URN:NBN:no-45947
dc.relation.urihttp://urn.nb.no/URN:NBN:no-46114
dc.relation.urihttp://urn.nb.no/URN:NBN:no-47777
dc.relation.urihttp://urn.nb.no/URN:NBN:no-53505
dc.relation.urihttp://urn.nb.no/URN:NBN:no-53911
dc.relation.urihttp://urn.nb.no/URN:NBN:no-53913
dc.relation.urihttp://urn.nb.no/URN:NBN:no-62025
dc.relation.urihttp://urn.nb.no/URN:NBN:no-55179
dc.relation.urihttp://urn.nb.no/URN:NBN:no-56970
dc.relation.urihttp://hdl.handle.net/10852/58863
dc.relation.urihttp://urn.nb.no/URN:NBN:no-57602
dc.relation.urihttp://urn.nb.no/URN:NBN:no-57600
dc.relation.urihttp://urn.nb.no/URN:NBN:no-58064
dc.relation.urihttp://urn.nb.no/URN:NBN:no-58082
dc.relation.urihttp://urn.nb.no/URN:NBN:no-59313
dc.relation.urihttp://urn.nb.no/URN:NBN:no-58448
dc.relation.urihttp://urn.nb.no/URN:NBN:no-60516
dc.relation.urihttp://urn.nb.no/URN:NBN:no-61464
dc.relation.urihttp://hdl.handle.net/10852/75932
dc.relation.urihttp://hdl.handle.net/10852/61977
dc.relation.urihttp://hdl.handle.net/10852/60435
dc.relation.urihttp://hdl.handle.net/10852/62723
dc.relation.urihttp://hdl.handle.net/10852/63284
dc.relation.urihttp://hdl.handle.net/10852/72709
dc.relation.urihttp://hdl.handle.net/10852/72477
dc.relation.urihttp://hdl.handle.net/10852/76422
dc.relation.urihttp://hdl.handle.net/10852/77338
dc.relation.urihttp://hdl.handle.net/10852/81711
dc.relation.urihttp://hdl.handle.net/10852/81060
dc.relation.urihttp://hdl.handle.net/10852/86913
dc.relation.urihttp://hdl.handle.net/10852/88136
dc.relation.urihttp://hdl.handle.net/10852/85662
dc.relation.urihttp://hdl.handle.net/10852/89270
dc.relation.urihttp://hdl.handle.net/10852/93465
dc.relation.urihttp://hdl.handle.net/10852/94789
dc.relation.urihttp://hdl.handle.net/10852/103167
dc.relation.urihttp://hdl.handle.net/10852/101662
dc.relation.urihttp://hdl.handle.net/10852/102661
dc.titleResearch reporten_US
dc.typeSeriesen_US
dc.date.updated2008-07-07en_US
dc.subject.nsiVDP::420en_US
dc.identifier.urnURN:NBN:no-35645
dc.type.documentSerietittelen_US
dc.identifier.duo20717en_US
dc.identifier.bibsys971294682en_US


Files in this item

FilesSizeFormatView

No file.

Appears in the following Collection

Hide metadata