Results & Downloads

Presentations, Lectures and Masterclasses

2019

3rd April 2019, Tekna Seminar on Digital Twins, Trondheim. The Digital Twin in 2024: Sustainable and Maintainable?

19th March 2019, SINTEF Petroleum Conference, Trondheim. SIRIUS: Beacons for Digitalization.

28th January 2019. SINTEF Data Sharing Workshop, Oslo, SIRIUS – a forum for data sharing.

2018

26th November 2018, Subsea Valley Workshop on Data Sharing, Oslo. SIRIUS: Innovation laboratories to support beacons for digitalization.

21st November 2018. ESTEP Workshop on Digital Twins, Charleroi, Belgium, Scalable, Useful and Maintainable Digital Twins: Cross-Sector Experience from the Oil and Gas Sector.

29th May 2018. Digital Ship Maritime Big Data Forum, Oslo, Digitalization perspectives from the oil and gas domain.

2017

11th September 2017, ECIM Conference, Haugesund, Digital Geoscience Transforming the use of NDR’s and subsurface databases in teaching and research

15th June 2017, Tekna Course on Big Data, Oslo. Successful big data projects

5th April 2017, Masterclass on Digital Engineering at Subsea Valley Conference.

9th February 2017, BYTE Final Conference, London, Scalable data access Lower-cost, higher-impact environmental compliance

2016

15th September 2016, Optique Summit, Oxford, UK, Analytics and scalable data access: the future of industrial information technology.

13th September 2016, ECIM Conference, Haugesund, Analytics and scalable data access: the future of industrial information technology.

Publications

2019

Eric Monteiro and Elena Parmiggiani. Synthetic Knowing: The Politics of the Internet of Things. MIS Quarterly 2019; Volume 43(1) 167-184.

2018

Agibetov, Asan; Jimenez-Ruiz, Ernesto; Ondrésik, Marta; Solimando, Alessandro; Banerjee, Imon; Guerrini, Giovanna; Catalano, Chiara E; Oliveira, Joaquim M.; Patanè, Giuseppe; Reis, Rui L.; Spagnuolo, Michela. Supporting shared hypothesis testing in the biomedical domain. Journal of Biomedical Semantics 2018; Volume 9:9., 1-22

Albert, Elvira; Correas, Jesus; Johnsen, Einar Broch; Ka I, Pun; Roman-Diez, Guillermo. Parallel Cost Analysis. ACM Transactions on Computational Logic 2018; Volume 19(4), 1-37

Benzmüller, Christoph; Otten, Jens. Proceedings of the 3rd International Workshop on Automated Reasoning in Quantified Non-Classical Logics. CEUR Workshop Proceedings 2018; Volume 2095

Bijo, Shiji; Johnsen, Einar Broch; Pun, Ka I Violet; Seidl, Christoph; Tapia Tarifa, Silvia Lizeth. Deployment by Construction for Multicore Architectures. I: Leveraging Applications of Formal Methods, Verification and Validation. Modeling – 8th International Symposium, ISoLA 2018. Proceedings – Part I. Springer 2018, 448-465

Cameron, David B.; Waaler, Arild; Komulainen, Tiina M. Oil and Gas digital twins after twenty years. How can they be made sustainable, maintainable and useful? The 59th Conference on Simulation and Modelling (SIMS 59); Oslo, 2018-09-26 – 2018-09-28

Cameron, David B.; Waaler, Arild; Komulainen, Tiina M. Oil and Gas digital twins after twenty years. How can they be made sustainable, maintainable and useful? Linköping Electronic Conference Proceedings 2018 (153) 9-16

Cameron, David B.; Østerlie, Thomas. Sirius: Collaboration across the digital divides in the oil and gas supply chain. 2018 University Industry Interaction Conference; London, 2018-06-20 2018-06-22

Chang Din, Crystal; Schlatte, Rudolf; Chen, Tzu-Chun. Program Verification for Exception Handling on Active Objects Using Futures. Lecture Notes in Computer Science 2018; Volume 10886, 73-88

Chen, Jiaoyan; Lécué, Freddy; Pan, Jeff Z.; Horrocks, Ian; Chen, Huajun. Knowledge-Based Transfer Learning Explanation. Sixteenth International Conference on Principles of Knowledge Representation and Reasoning; 2018-10-30 – 2018-11-02

Din, Crystal Chang; Johnsen, Einar Broch; Owe, Olaf; Yu, Ingrid Chieh. A modular reasoning system using uninterpreted predicates for code reuse. Journal of Logical and Algebraic Methods in Programming 2018; Volume 95, 82-102

Gkolfi, Anastasia; Johnsen, Einar Broch; Kristensen, Lars Michael; Yu, Ingrid Chieh. Using coloured Petri nets for resource analysis of active objects. Lecture Notes in Computer Science 2018; Volume 11222 LNCS, .156-174

Hähnle, Reiner; Johnsen, Einar Broch. A Model-Centric Approach to the Design of Resource-Aware Cloud Applications. I: Software Technology: 10 Years of Innovation in IEEE Computer. Wiley-Blackwell 2018, 315-326

Hu, Pan; Motik, Boris; Horrocks, Ian. Optimised Maintenance of Datalog Materialisations. Thirty-Second AAAI Conference on Artificial Intelligence, (AAAI-18), the 30th innovative Applications of Artificial Intelligence (IAAI-18), and the 8th AAAI Symposium on Educational Advances in Artificial Intelligence (EAAI-18); 201802-02 – 2018-02-07

Johnsen, Einar Broch; Steffen, Martin; Stumpf, Johanna Beate. Virtually timed ambients: A calculus of nested virtualization. Journal of Logical and Algebraic Methods in Programming 2018; Volume 94. 109-127

Johnsen, Einar Broch; Steffen, Martin; Stumpf, Johanna Beate; Tveito, Lars. An Analysis Tool for Models of Virtualized Systems. NIK: Norsk Informatikkonferanse, Svalbard, 2018

Johnsen, Einar Broch; Steffen, Martin; Stumpf, Johanna Beate; Tveito, Lars. Checking Modal Contracts for Virtually Timed Ambients. Lecture Notes in Computer Science 2018; Volume 11187 LNCS. 252-272

Johnsen, Einar Broch; Steffen, Martin; Stumpf, Johanna Beate; Tveito, Lars. Resource-Aware Virtually Timed Ambients. Lecture Notes in Computer Science 2018; Volume 11023, 194-213

Kharlamov, Evgeny; Skjæveland, Martin G; Hovland, Dag; Mailis, Theofilos; Jimenez-Ruiz, Ernesto; Xiao, Guohui; Soylu, Ahmet; Horrocks, Ian; Waaler, Arild. Finding Data Should be Easier than Finding Oil. I: 2018 IEEE International Conference on Big Data (Big Data), Seattle, 10-13 Dec. 2018.

Kindermann, Christian; Lupp, Daniel P.; Sattler, Ulrike; Thorstensen, Evgenij. Generating Ontologies from Templates: A Rule-Based Approach for Capturing Regularity. CEUR Workshop Proceedings 2018; Volume 2211.

Lee, Ming-Chang; Lin, Jia-Chun; Owe, Olaf. EasyChoose: A Continuous Feature Extraction and Review Highlighting Scheme on Hadoop YARN. Advanced Information Networking and Applications 2018; Volume 2018-May, 996-1002

Lee, Ming-Chang; Lin, Jia-Chun; Owe, Olaf. Privacy Mining from IoT-based Smart Homes. Advances on Broad-Band Wireless Computing, Communication and Applications 2018, 304-315

Lin, Jia-Chun; Lee, Ming-Chang; Yu, Ingrid Chieh; Johnsen, Einar Broch. Modeling and simulation of spark streaming. Advanced Information Networking and Applications 2018; Volume 2018-May. 407-413

Lupp, Daniel Paul; Karlsen, Leif Harald; Skjæveland, Martin G. Making a Case for Formal Relations over Ontology Patterns. CEUR Workshop Proceedings 2018; Volume 2195. 87-91

Lupp, Daniel Paul; Thorstensen, Evgenij. Mapping Data to Ontologies with Exceptions Using Answer Set Programming. NIK: Norsk Informatikkonferanse, Svalbard, 2018

Mauro, Jacopo; Tapia Tarifa, Silvia Lizeth; Yu, Ingrid Chieh. Automatic Parameter Optimisation of Service Quality and Resource Usage. NIK: Norsk Informatikkonferanse, Svalbard, 2018

Monteiro, Eric. Reflections on digital innovation. Information and organization 2018; Volume 28(2), 101-103

Monteiro, Eric; Østerlie, Thomas; Parmiggiani, Elena; Mikalsen, Marius. Quantifying quality: Towards a Post-Humanist Perspective on Sensemaking. I: Living with Monsters? Social Implications of Algorithmic Phenomena, Hybrid Agency, and the Performativity of Technology. IS&O 2018. IFIP Advances in Information and Communication Technology, Volume 543, Springer, 2018, 48-63

Nieke, Michael; Mauro, Jacopo; Seidl, Christoph; Thum, Thomas; Yu, Ingrid Chieh; Franzke, Felix. Anomaly Analyses for Feature-Model Evolution. I: Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences. ACM Publications 2018, 188-201

Nooralahzadeh, Farhad; Øvrelid, Lilja. SIRIUS-LTG: An Entity Linking Approach to Fact Extraction and Verification. I: Proceedings of the First Workshop on Fact Extraction and Verification (FEVER). Association for Computational Linguistics 2018, 119-123

Nooralahzadeh, Farhad; Øvrelid, Lilja. Syntactic Dependency Representations in Neural Relation Classification. I: Proceedings of the Workshop on the Relevance of Linguistic Structure in Neural Architectures for NLP. Association for Computational Linguistics, 2018

Nooralahzadeh, Farhad; Øvrelid, Lilja; Lønning, Jan Tore. Evaluation of Domain-specific Word Embeddings using Knowledge Resources. I: Proceedings of the Eleventh International Conference on Language Resources and Evaluation. European Language Resources Association 2018, 1438-1445

Nooralahzadeh, Farhad; Øvrelid, Lilja; Lønning, Jan Tore. SIRIUS-LTG- at SemEval-2018 Task 7: Convolutional Neural Networks with Shortest Dependency Paths for Semantic Relation Extraction and Classification in Scientific Papers. I: Proceedings of the 12th International Workshop on Semantic Evaluation. Association for Computational Linguistics 2018, 805-811

Otten, Jens. Proof search optimizations for non-clausal connection calculi. CEUR Workshop Proceedings 2018; Volume 2162, 49-57

Otten, Jens. The Pocket Reasoner – Automatic Reasoning on Small Devices. NIK: Norsk Informatikkonferanse, Svalbard, 2018

Parmiggiani, Elena; Monteiro, Eric. Shifting Baselines? Recommendations for Green IS. I: Proceedings of the 39th International Conference on Information Systems (ICIS). Association for Information Systems 2018, 1-16

Pinkel, Christoph; Binning, Carsten; Jimenez-Ruiz, Ernesto; Kharlamov, Evgeny; May, Wolfgang; Nikolov, Andriy; Bastinos, Ana Sasa; Skjæveland, Martin G; Solimando, Alessandro; Taheriyan, Mohsen; Heupel, Christian; Horrocks, Ian. RODI: Benchmarking Relational-to-Ontology Mapping Generation Quality. Semantic Web Journal 2018; 9(1) 25-52

Potter, Anthony; Motik, Boris; Nenov, Yavor; Horrocks, Ian. Dynamic Data Exchange in Distributed RDF Stores. IEEE Transactions on Knowledge and Data Engineering 2018; 30(12), 2312-2325

Ronca, Alessandro; Kaminski, Mark; Grau, Bernardo Cuenca; Horrocks, Ian. The Window Validity Problem in Rule-Based Stream Reasoning. Sixteenth International Conference, KR 2018; 2018-10-30 – 2018-11-02

Ronca, Alessandro; Kaminski, Mark; Grau, Bernardo Cuenca; Motik, Boris; Horrocks, Ian. Stream Reasoning in Temporal Datalog. Thirty-Second AAAI Conference on Artificial Intelligence, (AAAI-18), the 30th innovative Applications of Artificial Intelligence (IAAI-18), and the 8th AAAI Symposium on Educational Advances in Artificial Intelligence (EAAI-18); 2018-02-02 – 2018-0207

2017

Baader, F.; Horrocks, I.; Lutz, C.; Sattler, U. An Introduction to Description Logic, Cambridge University Press. 2017

Benedikt, Michael; Konstantinidis, George; Mecca, Giansalvatore; Motik, Boris; Papotti, Paolo; Santoro, Donatello; Tsamoura, Efthymia. Benchmarking the Chase. 36th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems. 2017

Bijo, Shiji; Johnsen, Einar Broch; Pun, Ka I; Tapia Tarifa, Silvia Lizeth. A formal model of parallel execution on multicore architectures with multilevel caches. Lecture Notes in Computer Science 2017; Volume 10487 LNCS. s.58-77

Dalla Preda, Mila; Gabbrielli, Maurizio; Giallorenzo, Saverio; Lanese, Ivan; Mauro, Jacopo. Dynamic Choreographies: Theory and Implementation. Logical Methods in Computer Science 2017

de Boer, Frank; Serbanescu, Vlad; Din, Crystal Chang; Hähnle, Reiner; Henrio, Ludovic; Rochas, Justine; Johnsen, Einar Broch; Sirjani, Marjan; Khamespanah, Ehsan; Fernandez-Reyes, Kiko; Yang, Albert Mingkun. A Survey of Active Object Languages. ACM Computing Surveys 2017; Volume 50(5)

de Paoli, Flavio; Schulte, Stephan; Johnsen, Einar Broch. Service-Oriented and Cloud Computing – 6th IFIP WG 2.14 European Conference, ESOCC 2017, Oslo, Norway, September 27-29, 2017, Proceedings. Springer 2017 (ISBN 978-3-319-67261-8) 240 s. Lecture Notes in Computer Science (10465)

Din, Crystal Chang; Hahnle, Reiner; Johnsen, Einar Broch; Pun, Ka I; Tapia Tarifa, Silvia Lizeth. Locally abstract, globally concrete semantics of concurrent programming languages. Lecture Notes in Computer Science 2017; Volume 10501 LNAI. s.22-43

Domenech, Jesus; Genaim, Samir; Johnsen, Einar Broch; Schlatte, Rudolf. EASYINTERFACE: A toolkit for rapid development of GUIs for research prototype tools. Lecture Notes in Computer Science 2017; Volume 10202 LNCS. s.379-383

Dragoni, Mauro; Poveda-Villalon, Maria; Jimenez-Ruiz, Ernesto. OWL: Experiences and Directions – Reasoner Evaluation. Springer 2017 (ISBN 978-3-319-54626-1)

Dragoni, Mauro; Poveda-Villalon, Maria; Jimenez-Ruiz, Ernesto. Preface. Lecture Notes in Computer Science 2017; Volume 10161 LNCS. s.I-IX

Forssell, Jon Henrik; Kharlamov, Evgeny; Thorstensen, Evgenij. Towards Characterising Data Exchange Solutions in Open and Closed Words. CEUR Workshop Proceedings 2017; Volume 1912.

Forssell, Jon Henrik; Lupp, Daniel Paul; Skjæveland, Martin G; Thorstensen, Evgenij. Reasonable Macros for Ontology Construction and Maintenance. CEUR Workshop Proceedings 2017; Volume 1879.

Gabmeyer, Sebastian; Johnsen, Einar Broch. Preface. Lecture Notes in Computer Science 2017; Volume 10375 LNCS. s.VII

Gkolfi, Anastasia; Johnsen, Einar Broch; Kristensen, Lars Michael; Yu, Ingrid Chieh. Resource Management of Cloud-Aware Programs using Coloured Petri Nets. I: Proceedings of the 29th Nordic Workshop on Programming Theory. 2017 ISBN 978-952-12-3608-2. s.31-33

Gkolfi, Anastasia; Johnsen, Einar Broch; Yu, Ingrid Chieh; Steffen, Martin; Din, Crystal Chang. Translating Active Objects into Colored Petri Nets for Communication Analysis. Lecture Notes in Computer Science 2017 (10522) s.84-99

Harrow, Ian; Jimenez-Ruiz, Ernesto; Splendiani, Andrea; Romacker, Martin; Woollard, Peter; Markel, Scott; Alam-Faruque, Yasmin; Koch, Martin; Malone, James; Waaler, Arild Torolv Søetorp. Matching Disease and Phenotype Ontologies in the Ontology Alignment Evaluation Initiative. Journal of Biomedical Semantics 2017; Volume 8(1)

Hestvik, Magnus Røed; Mauro, Jacopo; Yu, Ingrid Chieh. CaSPL-gen: a Context-aware Software Product Line benchmark generator. NIK: Norsk Informatikkonferanse 2017

Hohle, Petter; Øvrelid, Lilja; Velldal, Erik. Optimizing a PoS Tagset for Norwegian Dependency Parsing. 21st Nordic Vonference on Computational Linguistics, NoDaLiDa. 2017

Johnsen, Einar Broch; Gabmeyer, Sebastian. Tests and Proofs – 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings. Springer 2017 (ISBN 978-3-319-61466-3) 165 s. Lecture Notes in Computer Science (10375)

Johnsen, Einar Broch; Pun, Ka I; Tapia Tarifa, Silvia Lizeth. A formal model of cloud-deployed software and its application to workflow processing. I: SoftCOM 2017. IEEE Communications Society 2017, ISBN 978-953-290-078-1.

Johnsen, Einar Broch; Steffen, Martin; Stumpf, Johanna Beate. A Calculus of Virtually Timed Ambients. Lecture Notes in Computer Science 2017 (10644)

Kaminski, Mark; Cuenca Grau, Bernardo; Kostylev, Egor V.; Motik, Boris; Horrocks, Ian. Foundation of Declarative Data Analysis Using Limit Datalog Programs. 26th Int. Joint Conference on Artificial Intelligence.

Karlsen, Leif Harald; Giese, Martin. An Efficient Representation of General Qualitative Spatial Information using Bintrees. Leibniz International Proceedings in Informatics 2017; Volume 86.

Karlsen, Leif Harald; Giese, Martin. An Efficient Representation of Qualitative Spatial Information using Bintrees. Department of Informatics, University of Oslo 2017 (ISBN 978-82-7368-425-7) 14 s. Conference proceedings (460)

Karlsen, Leif Harald; Giese, Martin. Qualitatively Correct Bintrees With Roles. Department of Informatics, University of Oslo 2017 (ISBN 978-82-7368-432-5) 14 s. Conference proceedings (467)

Kharlamov, Evgeny; Hovland, Dag; Skjæveland, Martin G; Bilidas, Dimitris; Jimenez-Ruiz, Ernesto; Xiao, Guohui; Soylu, Ahmet; Lanti, Davide; Rezk, Martin; Zheleznyakov, Dmitriy; Giese, Martin; Lie, Hallstein; Ioannidis, Yannis; Kotidis, Yannis; Koubarakis, Manolis; Waaler, Arild Torolv Søetorp. Ontology Based Data Access in Statoil. Journal of Web Semantics 2017; Volume 44. s.3-36

Kharlamov, Evgeny; Mailis, Theofilos; Mehdi, Gulnar; Neuenstadt, Christian; Özçep, .zgür Lütfü; Roshchin, Mikhail; Solomakhina, Nina; Soylu, Ahmet; Svingos, Christoforos; Brandt, Sebastian; Giese, Martin; Ioannidis, Yannis; Lamparter, Steffen; Möller, Ralf; Kotidis, Yannis; Waaler, Arild. Semantic access to streaming and static data at Siemens. Journal of Web Semantics 2017; Volume 44. s.54-74

Klungre, Vidar Norstein. A Faceted Search Index for Graph Queries. Universitetet i Oslo 2017

Klungre, Vidar Norstein; Giese, Martin. A Faceted Search Index for OptiqueVQS. CEUR Workshop Proceedings 2017

Laneve, Cosimo; Lienhardt, Michael; Pun, Ka I; Roman-Diez, Guillermo. Time analysis of actor programs. I: Proceedings of the 29th Nordic Workshop on Programming Theory. 2017 ISBN 978-952-12-3608-2. s.13-15

Lembo, Domenico; Rosati, Riccardo; Santarelli, Valerio; Savo, Domenico Fabio; Thorstensen, Evgenij. Mapping Repair in Ontology-based Data Access Evolving Systems. I: Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence. 2017 ISBN 978-0-9992411-0-3.

Lin, Jia-Chun; Mauro, Jacopo; Røst, Thomas Brox; Yu, Ingrid Chieh. A model-Based Scalability Optimization Methodology for Cloud Applications. Proceedings of the IEEE 2017

Liu, Tong; Di Cosmo, Roberto; Gabbrielli, Maurizio; Mauro, Jacopo. NightSplitter: A scheduling tool to optimize (sub)group activities. Lecture Notes in Computer Science 2017; Volume 10416 LNCS. s.370-386

Mauro, Jacopo; Nieke, Michael; Seidl, Christoph; Yu, Ingrid Chieh. Anomaly Detection and Explanation in Context-Aware Software Product Lines. Proceedings of the ACM/IEEE Joint Conference on Digital Libraries 2017

Nikolaou, C; Kostylev, E.V.; Konstantinidis, G; Kaminski, M.; Cuenca Grau, B.; Horrocks, I. The bag semantics of ontology-based data access. 26th Int. Joint Conference on Artificial Intelligence. 2017.

Parmiggiani, Elena. This is not a fish: on the scale and politics of infrastructure design studies. Computer Supported Cooperative Work (CSCW) 2017; Volume 26.(1-2) s.205-243

Parmiggiani, Elena; Hibberd, Ralph; Venters, Will. Politics of repair in medicines supply networks: Harnessing fear of falsification. IFIP WG8.6 working conference: “Re-Imagining Diffusion of Information Technology and Systems: Opportunities and Risks”; 2017

Parmiggiani, Elena; Monteiro, Eric; Østerlie, Thomas. Synthetic Situations and Algorithmic Phenomena. 4S Conference; 2017

Pereira, Sunny; Cross, Valerie; Jimenez-Ruiz, Ernesto. On Partitioning for Ontology Alignment. CEUR Workshop Proceedings 2017; Volume 1963.

Pinkel, Christoph; Binnig, Carsten; Jiménez-Ruiz, Ernesto; Kharlamov, Evgeny; Nikolov, Andriy; Schwarte, Andreas; Heupel, Christian; Kraska, Tim. IncMap: A Journey towards Ontology-based Data Integration. The 17th Conference on Database Systems for Business, Technology, and Web. 2017.

Pinkel, Christoph; Binnig, Carsten; Jiménez-Ruiz, Ernesto; Kharlamov, Evgeny; May, Wolfgang; Nikolov, Andriy; Skjæveland, Martin G.; Solimando, Alessandro; Taheriyan, Mohsen; Heupel, Christian; Horrocks, Ian. RODI: Benchmarking Relational-to-Ontology Mapping Generation Quality. Semantic Web Journal. 2017

Ruiz-Calleja, Adolfo; Asensio-Pérez, Juan Ignacio; Vega-Gorgojo, Guillermo; Gómez-Sánchez, Eduardo; Bote-Lorenzo, Miguel Luis; Alario-Hoyos, Carlos. Enriching the Web of Data with educational information using We-Share. International Review of Research in Open and Distance Learning, 247-265. 2017

Skjæveland, Martin G; Forssell, Jon Henrik; Kluwer, Johan Wilhelm; Lupp, Daniel Paul; Thorstensen, Evgenij; Waaler, Arild.
Reasonable Ontology Templates: APIs for OWL. CEUR Workshop Proceedings 2017; Volume 1963.

Solimando, Alessandro; Jimenez-Ruiz, Ernesto; Guerrini, Giovanna. Minimizing Conservativity Violations in Ontology Alignments: Algorithms and Evaluation. Knowledge and Information Systems 2017; Volume 51.(3)

Soylu, Ahmet; Giese, Martin; Jimenez-Ruiz, Ernesto; Kharlamov, Evgeny; Zheleznyakov, Dmitriy; Horrocks, Ian. Ontology-based end-user visual query formulation: Why, what, who, how, and which?. Universal Access in the Information Society 2017; Volume 16.(2) s.435-467

Soylu, Ahmet; Giese, Martin; Schlatte, Rudolf; Jimenez-Ruiz, Ernesto; Kharlamov, Evgeny; Özçep, Özgür; Neuenstadt, Christian; Brandt, Sebastian. Querying industrial stream-temporal data: An ontology-based visual approach. Journal of Ambient Intelligence and Smart Environments 2017; Volume 9(1) s.77-95

Soylu, Ahmet; Kharlamov, Evgeny; Zheleznyakov, Dmitriy; Jimenez-Ruiz, Ernesto; Giese, Martin; Skjæveland, Martin G; Hovland, Dag; Schlatte, Rudolf; Brandt, Sebastian; Lie, Hallstein; Horrocks, Ian. OptiqueVQS: a Visual Query System over Ontologies for Industry. Semantic Web 2017 s.1-28

Tonon, Alberto; Cudré-Mauroux; Blarer, Albert; Lenders, Vincent; Motik, Boris. Arma Tweet: Detecting Events by Semantic Tweet Analysis. In Proc. of the 14th Extended Semantic Web Conference. 2017

Vega-Gorgojo, Guillermo. Clover Quiz: a Mobile Trivia Game Based on DBpedia Data. CEUR Workshop Proceedings 2017; Volume 1963.

Vega-Gorgojo, Guillermo; Giese, Martin. Exploring semantic datasets with RDF Surveyor. CEUR Workshop Proceedings 2017; Volume 1963.

Zheleznyakov, Dmitriy; Kharlamov, Evgeny; Horrocks, Ian. Trust-Sensitive Evolution of DL-Lite Knowledge Bases. AAAI, 1266-1273. 2017

2016

Ahmet Soylu, Martin Giese, Ernesto Jimenez-Ruiz, Evgeny Kharlamov, Rudolf Schlatte, Christian Neuenstadt, Özgür Lütfü Özcep, Hallstein Lie, Sebastian Brandt and Ian Horrocks. Ontology-based Visual Querying with OptiqueVQS Statoil and Siemens Cases, Norwegian Big Data Symposium (NOBIDS), 2016

Ahmet Soylu, Martin Giese, Rudolf Schlatte, Ernesto Jimenez-Ruiz, Ozgur Ozcep and Sebastian Brandt. Domain Experts Surfing on StreamSensor Data over Ontologies. Proceedings of the 1st Workshop on Semantic Web Technologies for Mobile and Pervasive Environments (SEMPER@ESWC 2016).

Ahmet Soylu, Martin Giese, Rudolf Schlatte, Ernesto Jiménez-Ruiz, Özgur L. Özçep, and Sebastian Brandt. A Visual Query System for Stream Data Access over Ontologies. ESWC Satellite Events. LNCS 9989, 2016.

Dag Hovland, Davide Lanti, Martin Rezk and Guohui Xiao. OBDA Constraints for Effective Query Answering. 10th International Symposium on Rule Technologies Research, Tools and Applications (RuleML). LNCS 9718, 2016.

Dmitriy Zheleznyakov, Evgeny Kharlamov, Vidar Klungre, Martin G. Skjæveland, Dag Hovland, Martin Giese, Ian Horrocks and Arild Waaler. KeywDB: A System for Keyword-Driven Ontology-to-RDB Mapping Construction. ISWC Posters & Demonstrations Track, 2016.

Eduard Kamburjan, Crystal Chang Din, Tzu-Chun Chen, Session-Based Compositional Analysis for Actor-Based Languages Using Futures, International Conference on Formal Engineering Methods (ICFEM). LNCS 1009, 2016.

Einar Broch Johnsen, Jia-Chun Lin, Ingrid Chieh Yu, Comparing AS Deployments Using Model-Based Predictions, 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications – (ISoLA). LNCS 9953, 2016.

Einar Broch Johnsen, Ka I Pun, Martin Steffen, Silvia Lizeth Tapia Tarifa, Ingrid Chieh Yu, Meeting Deadlines, Elastically, From Action Systems to Distributed Systems, Chapman and Hall/CRC Luigia Petre, Emil Sekerinski, Page 99-111 ISSN/ISBN 978-1-4987-0158-7, 2016.

Elena Giachino, Einar Broch Johnsen, Cosimo Laneve, Ka I Pun, Time Complexity of Concurrent Programs – – A Technique Based on Behavioural Types, 12th International Conference Formal Aspects of Component Software (FACS). LNCS 9539, 2016.

Eric Bodden, Ka I Pun, Martin Steffen, Volker Stolz, Anna-Katharina Wickert, Information Flow Analysis for Go, 7th International Symposium Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques (ISoLA). LNCS 9952, 2016.

Erika Ábrahám, Florian Corzilius, Einar Broch Johnsen, Gereon Kremer, Jacopo Mauro, Zephyrus2: On the Fly Deployment Optimization Using SMT and CP Technologies, 2nd International Symposium Dependable Software Engineering: Theories, Tools, and Applications. LNCS 9984, 2016.

Erika Ábrahám, Marcello M. Bonsangue, Einar Broch Johnsen (eds), Theory and Practice of Formal MethodsEssays Dedicated to Frank de Boer on the Occasion of His 60th Birthday. LNCS 9660, ISSN/ISBN 0302-9743, 2016.

Evgeny Kharlamov, Sebastian Brandt, Martin Giese, Ernesto Jiménez-Ruiz, Yannis Kotidis, Steffen Lamparter, Theofilos Mailis, Christian Neuenstadt, Özgür L. Özçep, Christoph Pinkel, Ahmet Soylu, Christoforos Svingos, Dmitriy Zheleznyakov, Ian Horrocks, Yannis E. Ioannidis, Ralf Möller, and Arild Waaler, Enabling semantic access to static and streaming distributed data with Optique: demo, 10th ACM International Conference on Distributed and Event-based Systems (DEBS), 2016.

Evgeny Kharlamov, Sebastian Brandt, Martin Giese, Ernesto Jiménez-Ruiz, Yannis Kotidis, Steffen Lamparter, Theofilos  Mailis, Christian Neuenstadt, Özgür Lütfü Özçep, Christoph Pinkel, Ahmet Soylu, Christoforos Svingos, Dmitriy Zheleznyakov, Ian Horrocks, Yannis E. Ioannidis, Ralf Möller and Arild Waaler, Scalable Semantic Access to Siemens Static and Streaming Distributed Data. ISWC Posters & Demonstrations Track, 2016.

Farhad Nooralahzadeh, Cédric Lopez, Elena Cabrio, Fabien Gandon, Frederique Segond, Adapting Semantic Spreading Activation to Entity Linking in text, 21st International Conference on Applications of Natural Language to  Information Systems (NLDB), 2016.

Fazle Rabbi, Yngve Lamo, Ingrid Chieh Yu, Towards a categorical approach for meta-modelling epistemic game theory, 19th International Conference on Model Driven Engineering Languages and Systems, 2016.

Fazle Rabbi, Yngve Lamo, Ingrid Chieh Yu, Lars Michael Kristensen, WebDPF: A Web-based Metamodelling and Model Transformation Environment, 4rd International Conference on Model-Driven Engineering and Software Development, 2016.

Ferruccio Damiani, Christoph Seidl, Ingrid Chieh Yu, Introduction to the Track on Variability Modeling for Scalable Software Evolution, 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications (ISoLA). LNCS 9952, 2016.

Jacopo Mauro, Gianluigi Zavattaro, On the Expressiveness of Synchronization in Component Deployment, Theory and Practice of Formal Methods – Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday. LNCS 9660, ISSN/ISBN 0302-9743, 2016.

Jacopo Mauro, Michael Nieke, Christoph Seidl, Ingrid Chieh Yu, Context Aware Reconfiguration in Software Product Lines, 10th International Workshop on Variability Modelling of Software-intensive Systems, 2016.

Jerry Gao, Martin Giese, Yifeng Zeng and Hong Zhu, Editors of the proceedings of IEEE 2nd International Conference on Big Data Computing Service and Applications (BigDataService), IEEE Page 1-300, ISSN/ISBN 978-1-5090-2251-9, 2016.

Jia-Chun Lin, Ingrid Chieh Yu, Einar Broch Johnsen, Ming-Chang Lee, ABS-YARN: A Formal Framework for Modeling Hadoop YARN Clusters, 19th International Conference on Fundamental Approaches to Software Engineering The Netherlands, April 2-8. LNCS 9633, 2016.

Kutuzov, Andrei, Velldal, Erik & Øvrelid, Lilja, Redefining part-of-speech classes with distributional semantic models, 20th SIGNLL Conference on Computational Natural Language Learning, 2016.

Marco Aiello, Einar Broch Johnsen, Schahram Dustdar, Ilche Georgievski (eds), 5th IFIP WG 2.14 European Conference on Service-Oriented and Cloud Computing (ESOCC). LNCS 9846, 2016.

Maurizio Gabbrielli, Saverio Giallorenzo, Claudio Guidi, Jacopo Mauro, Fabrizio Montesi, Self-Reconfiguring Microservices. Theory and Practice of Formal Methods. LNCS 9660, 2016.

Michael Nieke, Jacopo Mauro, Christoph Seidl, Ingrid Chieh Yu, User Profiles for Context-Aware Reconfiguration in Software Product Lines, 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications (ISoLA). LNCS 9953, 2016.

Shiji Bijo, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa, A Maude Framework for Cache Coherent Multicore Architectures, 11th International Workshop on Rewriting Logic and Its Applications (WRLA). LNCS 9942, 2016.

Shiji Bijo, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa, An operational semantics of cache coherent multicore architectures, 31st Annual ACM Symposium on Applied Computing, 2016.

Stephan Oepen, Jonathon Read, Tatjana Scheffler, Uladzimir Sidarenka, Manfred Stede, Erik Velldal and Lilja Øvrelid, Pipelining rules, rankers, and classifier ensembles for shallow discourse parsing, SIGNLL Conference on Computational Natural Language Learning: Shared Task, 2016.

Stijn de Gouw, Jacopo Mauro, Behrooz Nobakht, Gianluigi Zavattaro, Declarative Elasticity in ABS, 5th IFIP WG 2.14 European Conference on Service-Oriented and Cloud Computing (ESOCC). LNCS 9846, 2016.

Wester, Aksel Ladegård, Øvrelid, Lilja, Velldal, Erik & Hammer, Hugo Lewi, Threat detection in online discussions, 7th Workshop on Computational Approaches to Subjectivity, Sentiment and Social Media Analysis (WASSA), 2016.

Øvrelid, Lilja & Hohle, Petter, Universal Dependencies for Norwegian, 9th International Conference on Language Resources and Evaluation, 2016.

Ahmet Soylu, Martin Giese, Ernesto Jimenez-Ruiz, Evgeny Kharlamov, Dmitriy Zheleznyakov, and Ian Horrocks, Ontology-based End-user Visual Query Formulation: Why, what, who, how, and which?, Universal Access in Information Society, 2016.

Davide Ancona, Viviana Bono, Mario Bravetti, Joana Campos, Giuseppe Castagna, Pierre-Malo Deniélou, Simon J. Gay, Nils Gesbert, Elena Giachino, Raymond Hu, Einar Broch Johnsen, Francisco Martins, Viviana Mascardi, Fabrizio Montesi, Rumyana Neykova, Nicholas Ng, Luca Padovani, Vasco T. Vasconcelos, Nobuko Yoshida, Behavioral Types in Programming Languages, Foundations and Trends in Programming Languages, Vol.32(2-3), 2016.

Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa, Modeling Deployment Decisions for Elastic Services with ABS, dblp computer science bibliography search dblp ask others Electronic Proceedings in Theoretical Computer Science, Vol.228, 2016.

Einar Broch Johnsen, Luigia Petre, Theme issue on Integrated Formal Methods, Software and System Modeling, Page 933-935, Vol.15(4), 2016.

Einar Broch Johnsen, Olaf Owe, Dave Clarke, Joakim Bjørk, A formal model of service-oriented dynamic object groups Science of Computer Programming. Vol.115-116, 2016.

Guillermo Vega-Gorgojo, Laura Slaughter, Martin Giese, Simen Heggestøyl, Ahmet Soylu and Arild Waaler, Visual query interfaces for semantic datasets: An evaluation study Web Semantics: Science, Services and Agents on the World Wide Web. Page 81-96, Vol.39, 2016.

Guillermo Vega-Gorgojo, Martin Giese, Simen Heggestøyl, Ahmet Soylu, and Arild Waaler, Pepe- Search: Semantic Data for the Masses, PloS One, Vol.11.3, 2016.

Guillermo Vega-Gorgojo, Roar Fjellheim, Dumitru Roman, Rajendra Akerkar and Arild Waaler, Big Data in the Oil & Gas Upstream Industry, OIL GAS European Magazine, Page 67-77, Vol.42.2, 2016.

Ivanova Angelina, Oepen Stephan, Dridan Rebecca, Flickinger Dan, Øvrelid Lilja & Lapponi Emanuele, On different approaches to syntactic analysis into bi-lexical dependencies: An empirical comparison of direct, PCFG-based and HPSG-based parsers. Journal of Language Modelling, Page 113-144, Vol.4(1), 2016.

Parmiggiani, E, Monteiro, E, A Measure of Environmental Happiness: Infrastructuring Environmental Risk in Offshore Oil and Gas Operations, Science & Technology Studies. Vol.29(1), 2016.

Parmiggiani, Elena; Monteiro, Eric; Østerlie, Thomas, Synthetic Situations in the Internet of Things, IFIP Advances in Information and Communication Technology. Page 215-228, Vol 489, 2016.

Richard Bubel, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Olaf Owe, Ina Schaefer, Ingrid Chieh Yu, Proof Repositories for Compositional Verification of Evolving Software Systems – Managing Change When Proving Software Correct, Transactions on Foundations for Mastering Change, Page 130-156, Vol.1, 2016.

Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro, An Extensive Evaluation of Portfolio Approaches for Constraint Satisfaction Problems, International Journal of Interactive Multimedia and Artificial Intelligence, Page 81-86, Vol.3(7), 2016.

Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro, Portfolio approaches for constraint optimization problems, Annals of Mathematics and Artificial Intelligence. Page 229-246, Vol.76(1-2), 2016.

Thomas Østerlie, Some first steps towards a perspective on digitalization and the transformation of contemporary work and organizing. 39th Information Systems Research Conference in Scandinavia (IRIS), 2016.

2015

Crystal Chang Din, Silvia Lizeth Tapia Tarifa, Reiner Hähnle, Einar Broch Johnsen History-Based Specification and Verification of Scalable Concurrent and Distributed Systems. 17th International Conference on Formal Engineering Methods (ICFEM). LNCS 9407, 2015.