ASR - Analytical Solutions and Reasoning

Publications 2012-2023

2023

A clinical evaluation of a low-cost strain gauge respiration belt and machine learning to detect sleep apnea. Kristiansen, Stein; Nikolaidis, Konstantinos; Plagemann, Thomas Peter; Goebel, Vera Hermine; Traaen, Gunn Marit; Øverland, Britt; Akerøy, Lars; Hunt, Tove Elizabeth Frances; Loennechen, Jan Pål; Steinshamn, Sigurd Loe et al.. 2023, Smart Health. https://doi.org/10.1016/j.smhl.2023.100373 (Academic article)

A Geological Case Study on Semantically Triggered Processes. Qu, Yuanwei; Kamburjan, Eduard & Giese, Martin. 2023, Springer. (Academic chapter/article/Conference paper)

ANACONDA: An Improved Dynamic Regret Algorithm for Adaptive Non-Stationary Dueling Bandits. Kleine Büning, Thomas & Saha, Aadirupa. 2023, Proceedings of Machine Learning Research (PMLR). (Academic article)

Artificial Intelligence and Sustainable Development Goals Nexus Via Four Vantage Points. Nasir, Osama; Javed, Rana Tallal; Gupta, Shivam; Vinuesa, Ricardo & Qadir, Junaid. 2023, Technology in society. https://doi.org/10.1016/j.techsoc.2022.102171 (Academic article)

Differential Privacy for Protecting Private Patterns in Data Streams. Gu, He; Plagemann, Thomas Peter; Goebel, Vera Hermine; Benndorf, Maik & Koldehofe, Boris. 2023, IEEE (Institute of Electrical and Electronics Engineers). https://doi.org/10.1109/ICDEW58674.2023.00025 (Academic chapter/article/Conference paper)

GeoFault: A well-founded fault ontology for interoperability in geological modeling. Qu, Yuanwei; Perrin, Michel; Torabi, Anita; Abel, Mara & Giese, Martin. 2023, Computers & Geosciences. https://doi.org/10.1016/j.cageo.2023.105478 (Academic article)

Literal-Aware Knowledge Graph Embedding for Welding Quality Monitoring: A Bosch Case. Tan, Zhipeng; Zhou, Baifan; Zheng, Zhuoxun; Savkovic, Ognjen; Huang, Ziqiang; Gonzalez, Irlan-Grangel; Soylu, Ahmet & Kharlamov, Evgeny. 2023, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-031-47243-5_25 (Academic article)

Lore: Educational Deductive Database System. Karlsen, Leif Harald. 2023, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-031-45072-3_10 (Academic article)

Minimax-Bayes Reinforcement Learning. Kleine Büning, Thomas; Dimitrakakis, Christos; Eriksson, Hannes; Grover, Divya & Jorge, Emilio. 2023, Proceedings of Machine Learning Research (PMLR). (Academic article)

Modular Soundness Checking of Feature Model Evolution Plans. Motzfeldt, Ida Sandberg; Yu, Ingrid Chieh; Din, Crystal Chang; Pun, Violet Ka I & Stolz, Volker. 2023, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-031-47963-2_25 (Academic article)

Optimizing SPARQL Queries with SHACL. Thapa, Ratan Bahadur & Giese, Martin. 2023, None. https://doi.org/10.1007/978-3-031-47240-4_3 (Academic chapter/article/Conference paper)

Policy Fairness and Unknown Bias Dynamics in Sequential Allocations. Segal, Meirav; George, Anne-Marie & Dimitrakakis, Christos. 2023, Association for Computing Machinery (ACM). https://doi.org/10.1145/3617694.3623262 (Academic chapter/article/Conference paper)

Real-Time Event Detection with Random Forests and Temporal Convolutional Networks for More Sustainable Petroleum Industry. Qu, Yuanwei; Zhou, Baifan; Waaler, Arild Torolv Søetorp & Cameron, David B.. 2023, Springer. https://doi.org/10.1007/978-981-99-7025-4_41 (Academic chapter/article/Conference paper)

Scaling Data Science Solutions with Semantics and Machine Learning: Bosch Case. Zhou, Baifan; Nikolov, Nikolay Vladimirov; Zheng, Zhuoxun; Luo, Xianghui; Savkovic, Ognjen; Roman, Dumitru; Soylu, Ahmet & Kharlamov, Evgeny. 2023, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-031-47243-5_21 (Academic article)

Semantic Modeling, Development and Evaluation for the Resistance Spot Welding Industry. Yahya, Muhammad; Zhou, Baifan; Breslin, John G.; Ali, Muhammad Intizar & Kharlamov, Evgeny. 2023, IEEE Access. https://doi.org/10.1109/ACCESS.2023.3267000 (Academic article)

To Migrate or Not to Migrate: An Analysis of Operator Migration in Distributed Stream Processing. Volnes, Espen; Plagemann, Thomas Peter & Goebel, Vera Hermine. 2023, IEEE Communications Surveys and Tutorials. https://doi.org/10.1109/COMST.2023.3330953 (Academic article)

Towards Guaranteed Privacy in Stream Processing: Differential Privacy for Private Pattern Protection. Gu, He. 2023, Association for Computing Machinery (ACM). https://doi.org/10.1145/3583678.3603284 (Academic chapter/article/Conference paper)

2022

A Study on Migration Scheduling in Distributed Stream Processing Engines. Lindeberg, Morten Gunnar Bjørner & Plagemann, Thomas Peter. 2022, Association for Computing Machinery (ACM). https://doi.org/10.1145/3491003.3491008 (Academic chapter/article/Conference paper)

A Survey of Syntactic Modelling Structures in Biomedical Ontologies. Kindermann, Christian & Skjæveland, Martin G. 2022, Springer. https://doi.org/10.1007/978-3-031-19433-7_26 (Academic chapter/article/Conference paper)

ACORDAR: A Test Collection for Ad Hoc Content-Based (RDF) Dataset Retrieval. Lin, Tengteng; Chen, Qiaosheng; Cheng, Gong; Soylu, Ahmet; Ell, Basil; Zhao, Ruoqi; Shi, Qing; Wang, Xiaxia; Gu, Yu & Kharlamov, Evgeny. 2022, Association for Computing Machinery (ACM). https://doi.org/10.1145/3477495.3531729 (Academic chapter/article/Conference paper)

CARE: coherent actionable recourse based on sound counterfactual explanations. Rasouli, Peyman & Yu, Ingrid Chieh. 2022, International Journal of Data Science and Analytics (JDSA). https://doi.org/10.1007/s41060-022-00365-6 (Academic article)

Digital Twin Reconfiguration Using Asset Models. Kamburjan, Eduard; Klungre, Vidar Norstein; Schlatte, Rudolf; Tapia Tarifa, Silvia Lizeth; Cameron, David & Johnsen, Einar Broch. 2022, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-031-19762-8_6 (Academic article)

Enhancing Knowledge Graph Generation with Ontology Reshaping – Bosch Case. Zhou, Dongzhuoran; Zhou, Baifan; Zheng, Zhuoxun; Kostylev, Egor; Cheng, Gong; Jimenez-Ruiz, Ernesto; Soylu, Ahmet & Kharlamov, Evgeny. 2022, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-031-11609-4_45 (Academic article)

Executable Knowledge Graph for Transparent Machine Learning in Welding Monitoring at Bosch. Zheng, Zhuoxun; Zhou, Baifan; Zhou, Dongzhuoran; Soylu, Ahmet & Kharlamov, Evgeny. 2022, Association for Computing Machinery (ACM). https://doi.org/10.1145/3511808.3557512 (Other)

ExeKG: Executable Knowledge Graph System for User-friendly Data Analytics. Zheng, Zhuoxun; Zhou, Baifan; Zhou, Dongzhuoran; Soylu, Ahmet & Kharlamov, Evgeny. 2022, Association for Computing Machinery (ACM). https://doi.org/10.1145/3511808.3557195 (Academic chapter/article/Conference paper)

Exploring the impact of literal transformations within Knowledge Graphs for Link Prediction. Blum, Moritz; Ell, Basil & Cimiano, Philipp. 2022, ACM Publications. (Report)

Interactive Inverse Reinforcement Learning for Cooperative Games. Kleine Büning, Thomas; George, Anne-Marie & Dimitrakakis, Christos. 2022, Proceedings of Machine Learning Research (PMLR). (Academic article)

Interpreting Categorical Data Classifiers using Explanation-based Locality. Rasouli, Peyman; Yu, Ingrid Chieh & Jimenez-Ruiz, Ernesto. 2022, IEEE International Conference on Data Mining Workshops, ICDMW. https://doi.org/10.1109/ICDMW58026.2022.00030 (Academic article)

Learning Realistic Patterns from Visually Unrealistic Stimuli: Generalization and Data Anonymization (Extended Abstract). Nikolaidis, Konstantinos; Kristiansen, Stein; Plagemann, Thomas Peter; Goebel, Vera Hermine; Liestøl, Knut; Kankanhalli, Mohan; Traaen, Gunn Marit; Øverland, Britt; Akre, Harriet; Aakerøy, Lars et al.. 2022, AAAI Press. https://doi.org/10.24963/ijcai.2022/806 (Academic chapter/article/Conference paper)

Liquid Democracy with Ranked Delegations. Brill, Markus; Delemazure, Théo; George, Anne-Marie; Lackner, Martin & Schmidt-Kraepelin, Ulrike. 2022, Proceedings of the AAAI Conference on Artificial Intelligence. https://doi.org/10.1609/aaai.v36i5.20417 (Academic article)

Machine Learning with Domain Knowledge for Predictive Quality Monitoring in Resistance Spot Welding. Zhou, Baifan; Pychynski, Tim; Reischl, Markus; Kharlamov, Evgeny & Mikut, Ralf. 2022, Journal of Intelligent Manufacturing. https://doi.org/10.1007/s10845-021-01892-y (Academic article)

Machine part data with part-of relations and part dissimilarities for planted partition generation. Bakkelund, Daniel Rygh. 2022, Data in Brief. https://doi.org/10.1016/j.dib.2022.108065 (Academic article)

Mapping Relational Database Constraints to SHACL. Thapa, Ratan Bahadur & Giese, Martin. 2022, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-031-19433-7_13 (Academic article)

My Health Sensor, My Classifier - Adapting a Trained Classifier to Unlabeled End-User Data. Nikolaidis, Konstantinos; Kristiansen, Stein; Plagemann, Thomas Peter; Goebel, Vera Hermine; Liestøl, Knut; Kankanhalli, Mohan; Traaen, Gunn Marit; Øverland, Britt; Akre, Harriet; Aakerøy, Lars et al.. 2022, ACM Transactions on Computing for Healthcare (HEALTH). https://doi.org/10.1145/3559767 (Academic article)

Never Mind the Semantic Gap: Modular, Lazy and Safe Loading of RDF Data. Kamburjan, Eduard; Klungre, Vidar Norstein & Giese, Martin. 2022, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-031-06981-9_12 (Academic article)

Probabilistic Judgement Aggregation by Opinion Update. Ivanovska, Magdalena & Slavkovik, Marija. 2022, Springer. https://doi.org/10.1007/978-3-031-13448-7_3 (Academic chapter/article/Conference paper)

Query-Based Industrial Analytics over Knowledge Graphs with Ontology Reshaping. Zheng, Zhuoxun; Zhou, Baifan; Zhou, Dongzhuoran; Cheng, Gong; Jimenez-Ruiz, Ernesto; Soylu, Ahmet & Kharlamov, Evgeny. 2022, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-031-11609-4_23 (Academic article)

ScheRe: Schema Reshaping for Enhancing Knowledge Graph Construction. Zhou, Dongzhuoran; Zhou, Baifan; Zheng, Zhuoxun; Soylu, Ahmet; Savkovic, Ognjen; Kostylev, Egor & Kharlamov, Evgeny. 2022, Association for Computing Machinery (ACM). https://doi.org/10.1145/3511808.3557214 (Academic chapter/article/Conference paper)

Simulating University Application Data for Fair Matchings. Segal, Meirav; George, Anne-Marie & Dimitrakakis, Christos. 2022, Communications in Computer and Information Science (CCIS). https://doi.org/10.1007/978-3-031-17030-0_11 (Academic article)

Single-Peaked Opinion Updates. Bredereck, Robert; George, Anne-Marie; Israel, Jonas & Kellerhals, Leon. 2022, IJCAI International Joint Conference on Artificial Intelligence. (Academic article)

SOLBP: Second-Order Loopy Belief Propagation for Inference in Uncertain Bayesian Networks. Hougen, Conrad D.; Kaplan, Lance M.; Ivanovska, Magdalena; Cerutti, Federico; Mishra, Kumar Vijay & Hero III, Alfred O.. 2022, IEEE (Institute of Electrical and Electronics Engineers). https://doi.org/10.23919/FUSION49751.2022.9841392 (Academic chapter/article/Conference paper)

Subsurface Evaluation Through Multi-scenario Reasoning. Yu, Ingrid Chieh; Pene, Irina; Din, Crystal Chang; Karlsen, Leif Harald; Nguyen, Chi Mai; Stahl, Oliver & Latif, Adnan. 2022, Springer Nature. https://doi.org/10.1007/978-3-030-90716-7_10 (Academic chapter/article/Conference paper)

Synthesizing evidence from clinical trials with dynamic interactive argument trees. Sanchez-Graillet, Olivia; Witte, Christian; Grimm, Frank; Grautoff, Steffen; Ell, Basil & Cimiano, Philipp. 2022, Journal of Biomedical Semantics. https://doi.org/10.1186/s13326-022-00270-8 (Academic article)

The Complexity and Expressive Power of Limit Datalog. Kaminski, Mark; Kostylev, Egor; Grau, Bernardo Cuenca; Motik, Boris & Horrocks, Ian. 2022, Journal of the ACM. https://doi.org/10.1145/3495009 (Academic article)

The Data Value Quest: A Holistic Semantic Approach at Bosch. Zhou, Baifan; Zheng, Zhuoxun; Zhou, Dongzhuoran; Cheng, Gong; Jimenez-Ruiz, Ernesto; Trung-Kien, Tran; Stepanova, Daria; Gad-Elrab, Mohamed H.; Nikolov, Nikolay; Soylu, Ahmet et al.. 2022, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-031-11609-4_42 (Academic article)

Towards a Visualisation Ontology for Data Analysis in Industrial Applications. Zheng, Zhuoxun; Zhou, Baifan; Soylu, Ahmet & Kharlamov, Evgeny. 2022, CEUR Workshop Proceedings. (Academic article)

Travel light: state shedding for efficient operator migration. Volnes, Espen; Plagemann, Thomas Peter; Boris, Koldehofe & Goebel, Vera Hermine. 2022, Association for Computing Machinery (ACM). https://doi.org/10.1145/3524860.3539638 (Academic chapter/article/Conference paper)

2021

A new decision making model based on Rank Centrality for GDM with fuzzy preference relations. Yazidi, Anis; Ivanovska, Magdalena; Zennaro, Fabio Massimo; Lind, Pedro & Viedma, Enrique Herrera. 2021, European Journal of Operational Research. https://doi.org/10.1016/j.ejor.2021.05.030 (Academic article)

A Semantic Approach to Identifier Management in Engineering Systems . Mehmandarov, Rustam Karim; Waaler, Arild Torolv Søetorp; Cameron, David; Fjellheim, Roar & Pettersen, Thomas B.. 2021, IEEE Press. https://doi.org/10.1109/BigData52589.2021.9671515 (Academic chapter/article/Conference paper)

A Source-to-Target Constraint Rewriting for Direct Mapping. Thapa, Ratan Bahadur & Giese, Martin. 2021, Springer Nature. https://doi.org/10.1007/978-3-030-88361-4_2 (Academic chapter/article/Conference paper)

An Italian Question Answering System based on grammars automatically generated from ontology lexica. Nolano, Gennaro; Elahi, Mohammad Fazleh; De Buono, Maria Pia; Ell, Basil & Cimiano, Philipp. 2021, None. (Report)

Analyzing and Improving the Robustness of Tabular Classifiers using Counterfactual Explanations. Rasouli, Peyman & Yu, Ingrid Chieh. 2021, IEEE conference proceedings. https://doi.org/10.1109/ICMLA52953.2021.00209 (Academic chapter/article/Conference paper)

Boreas – A Service Scheduler for Optimal Kubernetes Deployment. Lebesbye, Torgeir; Mauro, Jacopo; Turin, Gianluca & Yu, Ingrid Chieh. 2021, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-030-91431-8_14 (Academic article)

DatalogMTL with Negation Under Stable Models Semantics. Kostylev, Egor; Wałęga, Przemysław; Tena Cucala, David & Grau, Bernardo Cuenca. 2021, None. https://doi.org/10.24963/kr.2021/58 (Academic chapter/article/Conference paper)

Evaluating a Low-Cost Strain Gauge Breathing Sensor for Sleep Apnea Detection at Home. Kristiansen, Stein; Goebel, Vera Hermine; Hamborg Andersen, Morten; Plagemann, Thomas Peter; Traaen, Gunn Marit; Øverland, Britt; Akre, Harriet & Gullestad, Lars. 2021, IEEE (Institute of Electrical and Electronics Engineers). https://doi.org/10.1109/ICCWorkshops50388.2021.9473597 (Academic chapter/article/Conference paper)

Explainable Debugger for Black-box Machine Learning Models. Rasouli, Peyman & Yu, Ingrid Chieh. 2021, Proceedings of the International Joint Conference on Neural Networks. https://doi.org/10.1109/IJCNN52387.2021.9533944 (Academic article)

EXPOSE: Experimental Performance Evaluation of Stream Processing Engines Made Easy. Volnes, Espen; Plagemann, Thomas Peter; Goebel, Vera Hermine & Kristiansen, Stein. 2021, Springer. https://doi.org/10.1007/978-3-030-84924-5_2 (Academic chapter/article/Conference paper)

Formal Relations over Ontology Patterns in Templating Frameworks. Kindermann, Christian; Lupp, Daniel P.; Skjæveland, Martin G & Karlsen, Leif Harald. 2021, IOS Press. https://doi.org/10.3233/SSW210010 (Academic chapter/article/Conference paper)

Hierarchy-based semantic embeddings for single-valued & multi-valued categorical variables. Mumtaz, Summaya & Giese, Martin. 2021, Journal of Intelligent Information Systems. https://doi.org/10.1007/s10844-021-00693-2 (Academic article)

Improving the Accuracy of Timing in Scalable WSN Simulations with Communication Software Execution Models. Volnes, Espen; Kristiansen, Stein & Plagemann, Thomas Peter. 2021, Computer Networks. https://doi.org/10.1016/j.comnet.2021.107855 (Academic article)

Learning realistic patterns from visually unrealistic stimuli: Generalization and data anonymization. Nikolaidis, Konstantinos; Kristiansen, Stein; Plagemann, Thomas Peter; Goebel, Vera Hermine; Liestøl, Knut; Kankanhalli, Mohan; Traaen, Gunn Marit; Øverland, Britt; Akre, Harriet; Aakerøy, Lars et al.. 2021, The journal of artificial intelligence research. https://doi.org/10.1613/JAIR.1.13252 (Academic article)

Logical Methods. Antonsen, Roger. 2021, Springer Nature. (Textbook)

Machine learning for sleep apnea detection with unattended sleep monitoring at home. Kristiansen, Stein; Nikolaidis, Konstantinos; Plagemann, Thomas Peter; Goebel, Vera Hermine; Traaen, Gunn Marit; Øverland, Britt; Aakerøy, Lars; Hunt, Tove Elizabeth Frances; Loennechen, Jan Pål; Steinshamn, Sigurd Loe et al.. 2021, ACM Transactions on Computing for Healthcare (HEALTH). https://doi.org/10.1145/3433987 (Academic article)

On subrecursive representation of irrational numbers: Contractors and Baire sequences. Kristiansen, Lars. 2021, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-030-80049-9_28 (Academic article)

Order preserving hierarchical agglomerative clustering. Bakkelund, Daniel Rygh. 2021, Machine Learning. https://doi.org/10.1007/s10994-021-06125-0 (Academic article)

OTTR: Formal Templates for Pattern-Based Ontology Engineering. Skjæveland, Martin G; Lupp, Daniel P.; Karlsen, Leif Harald & Kluwer, Johan Wilhelm. 2021, IOS Press. https://doi.org/10.3233/SSW210025 (Academic chapter/article/Conference paper)

OWL2Vec*: embedding of OWL ontologies . Chen, Jiaoyan; Hu, Pan; Jimenez-Ruiz, Ernesto; Holter, Ole Magnus; Antonyrajah, Denvar & Horrocks, Ian. 2021, Machine Learning. https://doi.org/10.1007/s10994-021-05997-6 (Academic article)

Preface. Blomqvist, Eva; Hahmann, Torsten; Hammar, Karl; Hitzler, Pascal; Hoekstra, Rinke; Mutharaju, Raghava; Poveda-Villalón, María; Shimizu, Cogan; Skjæveland, Martin G; Solanki, Monika et al.. 2021, Studies in Health Technology and Informatics. (Editoral)

Programming and Debugging with Semantically Lifted States (Full Paper). Kamburjan, Eduard; Klungre, Vidar; Schlatte, Rudolf; Johnsen, Einar Broch & Giese, Martin. 2021, Springer. (Report)

Question Answering on RDF Data based on Grammars Automatically Generated from Lemon Models. Elahi, Mohammad Fazleh; Ell, Basil; Grimm, Frank & Cimiano, Philipp. 2021, None. (Report)

Reversible Computing and Implicit Computational Complexity. Kristiansen, Lars. 2021, Science of Computer Programming. https://doi.org/10.1016/j.scico.2021.102723 (Academic article)

SemML: Facilitating development of ML models for condition monitoring with semantics. Zhou, Baifan; Svetashova, Yulia; Silva Gusmao, Andre; Soylu, Ahmet; Cheng, Gong; Mikut, Ralf; Waaler, Arild Torolv Søetorp & Kharlamov, Evgeny. 2021, Journal of Web Semantics. https://doi.org/10.1016/j.websem.2021.100664 (Academic article)

Stratified Negation in Datalog with Metric Temporal Operators. Tena Cucala, David; Wałęga, Przemysław; Grau, Bernardo Cuenca & Kostylev, Egor. 2021, AAAI Press. (Academic chapter/article/Conference paper)

The Core OTTR Template Library. Skjæveland, Martin G. 2021, IOS Press. https://doi.org/10.3233/SSW210026 (Academic chapter/article/Conference paper)

The excess method: a multiwinner approval voting procedure to allocate wasted votes. Brams, Steven; Brill, Markus & George, Anne-Marie. 2021, Social Choice and Welfare. https://doi.org/10.1007/s00355-021-01358-3 (Academic article)

The nanoCoP 2.0 Connection Provers for Classical, Intuitionistic and Modal Logics. Otten, Jens. 2021, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-030-86059-2_14 (Academic article)

Type Checking Semantically Lifted Programs via Query Containment under Entailment Regimes. Kamburjan, Eduard & Kostylev, Egor. 2021, CEUR Workshop Proceedings. (Academic article)

Using neural networks to support high-quality evidence mapping. Røst, Thomas Brox; Slaughter, Laura; Nytrø, Øystein; Muller, Ashley Elizabeth & Vist, Gunn Elisabeth. 2021, BMC Bioinformatics. https://doi.org/10.1186/s12859-021-04396-x (Academic article)

Using Under-Trained Deep Ensembles to Learn Under Extreme Label Noise: A Case Study for Sleep Apnea Detection. Nikolaidis, Konstantinos; Plagemann, Thomas Peter; Kristiansen, Stein; Goebel, Vera Hermine & Kankanhalli, Mohan. 2021, IEEE Access. https://doi.org/10.1109/ACCESS.2021.3067455 (Academic article)

2020

3D Printed Card Shuffling and Permutations / Perspectives on the Hilbert Curve. Antonsen, Roger. 2020, American Mathematical Society (AMS). (Chapter)

A Configurable and Executable Model of Spark Streaming on Apache YARN. Lin, Jia-Chun; Lee, Ming-Chang; Yu, Ingrid Chieh & Johnsen, Einar Broch. 2020, International Journal of Grid and Utility Computing (IJGUC). https://doi.org/10.1504/IJGUC.2020.105531 (Academic article)

A scalable semantic framework for IoT healthcare applications. Zgheib, Rita; Kristiansen, Stein; Conchon, Emmanuel; Plagemann, Thomas Peter; Goebel, Vera Hermine & Bastide, Rémi. 2020, Journal of Ambient Intelligence and Humanized Computing. https://doi.org/10.1007/s12652-020-02136-2 (Academic article)

Augmenting Physiological Time Series Data: A Case Study for Sleep Apnea Detection. Nikolaidis, Konstantinos; Kristiansen, Stein; Goebel, Vera Hermine; Plagemann, Thomas Peter; Liestøl, Knut & Kankanhalli, Mohan. 2020, Springer. https://doi.org/10.1007/978-3-030-46133-1_23 (Academic chapter/article/Conference paper)

Comparing manual and automatic scoring of sleep monitoring data from portable polygraphy. Kristiansen, Stein; Traaen, Gunn Marit; Øverland, Britt; Plagemann, Thomas Peter; Gullestad, Lars; Akre, Harriet; Nikolaidis, Konstantinos; Aakerøy, Lars; Hunt, Tove Elizabeth Frances; Loennechen, Jan Pål et al.. 2020, Journal of Sleep Research. https://doi.org/10.1111/jsr.13036 (Academic article)

Computable Irrational Numbers with Representations of Surprising Complexity. Georgiev, Ivan; Kristiansen, Lars & Stephan, Frank. 2020, Annals of Pure and Applied Logic. https://doi.org/10.1016/j.apal.2020.102893 (Academic article)

Consistency-Preserving Evolution Planning on Feature Models. Hoff, Adrian; Nieke, Michael; Seidl, Christoph; Sæther, Eirik; Motzfeldt, Ida; Din, Crystal Chang; Yu, Ingrid Chieh & Schaefer, Ina. 2020, Association for Computing Machinery (ACM). https://doi.org/10.1145/3382025.3414964 (Academic chapter/article/Conference paper)

Correction to: Data-based support for petroleum prospect evaluation (Earth Science Informatics, (2020), 13, 4, (1305-1324), 10.1007/s12145-020-00502-4). Mumtaz, Summaya; Pene, Irina; Latif, Adnan & Giese, Martin. 2020, Earth Science Informatics [ESIN]. https://doi.org/10.1007/s12145-020-00536-8 (Errata)

Data-based support for petroleum prospect evaluation. Mumtaz, Summaya; Pene, Irina; Latif, Adnan & Giese, Martin. 2020, Earth Science Informatics [ESIN]. https://doi.org/10.1007/s12145-020-00502-4 (Academic article)

Deductive module extraction for expressive description logics. Koopmann, Patrick & Chen, Jieying. 2020, CEUR Workshop Proceedings. (Academic article)

Equality Preprocessing in Connection Calculi. Oliver, Benjamin & Otten, Jens. 2020, CEUR Workshop Proceedings. (Academic article)

EXPLAN: Explaining Black-box Classifiers using Adaptive Neighborhood Generation. Rasouli, Peyman & Yu, Ingrid Chieh. 2020, Proceedings of the International Joint Conference on Neural Networks. https://doi.org/10.1109/IJCNN48605.2020.9206710 (Academic article)

First-Order Concatenation Theory with Bounded Quantifiers. Kristiansen, Lars & Murwanashyaka, Juvenal. 2020, Archive for Mathematical Logic. https://doi.org/10.1007/s00153-020-00735-6 (Academic article)

Frequency-Based vs. Knowledge-Based Similarity Measures for Categorical Data. Mumtaz, Summaya & Giese, Martin. 2020, None. (Academic chapter/article/Conference paper)

From Schütte’s Formal Systems to Modern Automated Deduction. Bibel, Wolfgang & Otten, Jens. 2020, Springer. https://doi.org/10.1007/978-3-030-49424-7_13 (Academic chapter/article/Conference paper)

Generating Posets Beyond N. Fahrenberg, Uli; Johansen, Christian; Struth, Georg & Thapa, Ratan Bahadur. 2020, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-030-43520-2_6 (Academic article)

Model checking starvation for resource-aware active objects with coloured petri nets. Gkolfi, Anastasia; Johnsen, Einar Broch; Kristensen, Lars Michael & Yu, Ingrid Chieh. 2020, CEUR Workshop Proceedings. (Academic article)

On equivalence and cores for incomplete databases in open and closed worlds. Forssell, Henrik; Kharlamov, Evgeny & Thorstensen, Evgenij. 2020, Leibniz International Proceedings in Informatics. https://doi.org/10.4230/LIPIcs.ICDT.2020.10 (Academic article)

On Interpretability between some weak essentially undecidable theories. Kristiansen, Lars & Murwanashyaka, Juvenal. 2020, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-030-51466-2_6 (Academic article)

On the Complexity of Conversion Between Classic Real Number Representations. Kristiansen, Lars & Simonsen, Jakob Grue. 2020, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-030-51466-2_7 (Academic article)

Preface. Gutiérrez-Basulto, Víctor; Soylu, Ahmet; Roman, Dumitru; Kliegr, Tomáš & Giese, Martin. 2020, Lecture Notes in Computer Science (LNCS). (Editoral)

Reversible programming languages capturing complexity classes.. Kristiansen, Lars. 2020, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-030-52482-1_6 (Academic article)

Semantic Parsing of Textual Requirements. Holter, Ole Magnus. 2020, Springer. https://doi.org/10.1007/978-3-030-62327-2_39 (Academic chapter/article/Conference paper)

Template Libraries for Industrial Asset Maintenance: A Methodology for Scalable and Maintainable Ontologies. Lupp, Daniel P.; Hodkiewicz, Melinda & Skjæveland, Martin G. 2020, CEUR Workshop Proceedings. (Academic article)

2019

Aggregating Probabilistic Judgments. Ivanovska, Magdalena & Slavkovik, Marija. 2019, Electronic Proceedings in Theoretical Computer Science (EPTCS). https://doi.org/10.4204/EPTCS.297.18 (Academic article)

An empirical evaluation of the approximation of subjective logic operators using Monte Carlo simulations. Zennaro, Fabio Massimo; Ivanovska, Magdalena & Jøsang, Audun. 2019, International Journal of Approximate Reasoning. https://doi.org/10.1016/j.ijar.2019.05.005 (Academic article)

Bayesian fairness. Dimitrakakis, Christos; Liu, Yang; Parkes, David C. & Radanovic, Goran. 2019, AAAI Press. https://doi.org/10.1609/aaai.v33i01.3301509 (Academic chapter/article/Conference paper)

Bayesian optimization in ab initio nuclear physics . Ekström, Andreas; Forssen, Christian; Dimitrakakis, Christos; Dubhashi, Devdatt; Johansson, H. T.; Salomonsson, Hans & Schliep, Alexander. 2019, Journal of Physics G: Nuclear and Particle Physics. https://doi.org/10.1088/1361-6471/ab2b14 (Academic article)

Communication Software Execution Model of a WSN Device for More Accurate Simulation in ns-3. Volnes, Espen; Kristiansen, Stein & Plagemann, Thomas Peter. 2019, Association for Computing Machinery (ACM). https://doi.org/10.1145/3307363.3307371 (Academic chapter/article/Conference paper)

Converting ALC connection proofs into ALC sequents. Palmeira, Eunice; Freitas, Fred & Otten, Jens. 2019, Electronic Proceedings in Theoretical Computer Science (EPTCS). https://doi.org/10.4204/EPTCS.301.3 (Academic article)

Counterfactually Fair Prediction Using Multiple Causal Models. Zennaro, Fabio Massimo & Ivanovska, Magdalena. 2019, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-030-14174-5_17 (Academic article)

Embedding OWL ontologies with OWL2Vec. Holter, Ole Magnus; Myklebust, Erik B; Chen, Jiaoyan & Jimenez-Ruiz, Ernesto. 2019, CEUR Workshop Proceedings. (Academic article)

Geological Multi-scenario Reasoning. Din, Crystal Chang; Karlsen, Leif Harald; Pene, Irina; Stahl, Oliver; Yu, Ingrid Chieh & Østerlie, Thomas. 2019, NIKT: Norsk IKT-konferanse for forskning og utdanning. (Academic article)

Human cognition and the AI revolution. Paulson, Steve; Grosz, Barbara J. & Antonsen, Roger. 2019, Annals of the New York Academy of Sciences. https://doi.org/10.1111/nyas.14122 (Academic article)

Linked Data Exploration With RDF Surveyor. Vega-Gorgojo, Guillermo; Slaughter, Laura; Zernichow, Bjørn Marius von; Nikolov, Nikolay & Roman, Dumitru. 2019, IEEE Access. https://doi.org/10.1109/ACCESS.2019.2956345 (Academic article)

Many Cores and Still Delays: Simulating Multi-Core Communication Software Execution. Dale, Øystein; Kristiansen, Stein; Plagemann, Thomas Peter & Volnes, Espen. 2019, Association for Computing Machinery (ACM). https://doi.org/10.1145/3307363.3307384 (Academic chapter/article/Conference paper)

Meaningful Data Sampling for a Faithful Local Explanation Method. Rasouli, Peyman & Yu, Ingrid Chieh. 2019, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-030-33607-3_4 (Academic article)

Modeling the Software Execution of CEP in DCEP-Sim. Volnes, Espen; Kristiansen, Stein; Plagemann, Thomas Peter; Goebel, Vera Hermine & Lindeberg, Morten Gunnar Bjørner. 2019, ACM Publications. https://doi.org/10.1145/3328905.3332508 (Academic chapter/article/Conference paper)

Qualitatively correct bintrees: an efficient representation of qualitative spatial information. Karlsen, Leif Harald & Giese, Martin. 2019, Geoinformatica. https://doi.org/10.1007/s10707-019-00348-z (Academic article)

Query Extension Suggestions for Visual Query Systems Through Ontology Projection and Indexing. Klungre, Vidar Norstein; Soylu, Ahmet; Jimenez-Ruiz, Ernesto; Kharlamov, Evgeny & Giese, Martin. 2019, New generation computing. https://doi.org/10.1007/s00354-019-00071-1 (Academic article)

Seeing the whole picture: Integrated pre-surgery reports with PreOptique. Vega-Gorgojo, Guillermo; Slaughter, Laura & Giese, Martin. 2019, Journal of Biomedical Semantics. https://doi.org/10.1186/s13326-019-0197-1 (Academic article)

Special issues on “User-Centric Social Multimedia Computing” and “Multimedia Cloud Computing for Smarter Cities”. Plagemann, Thomas Peter. 2019, Multimedia Systems. https://doi.org/10.1007/s00530-019-00634-8 (Editoral)

Translating active objects into colored Petri nets for communication analysis. Gkolfi, Anastasia; Din, Crystal Chang; Johnsen, Einar Broch; Kristensen, Lars Michael; Steffen, Martin & Yu, Ingrid Chieh. 2019, Science of Computer Programming. https://doi.org/10.1016/j.scico.2019.04.002 (Academic article)

2018

A modular reasoning system using uninterpreted predicates for code reuse. Din, Crystal Chang; Johnsen, Einar Broch; Owe, Olaf & Yu, Ingrid Chieh. 2018, Journal of Logical and Algebraic Methods in Programming. https://doi.org/10.1016/j.jlamp.2017.11.004 (Academic article)

Aggregation of probabilisitic logically related judgments. Ivanovska, Magdalena & Slavkovik, Marija. 2018, NIKT: Norsk IKT-konferanse for forskning og utdanning. (Academic article)

An Activity Rule Based Approach to Simulate ADL Sequences. Kristiansen, Stein; Plagemann, Thomas Peter & Goebel, Vera Hermine. 2018, IEEE Access. https://doi.org/10.1109/ACCESS.2018.2807761 (Academic article)

Anomaly Analyses for Feature-Model Evolution. Nieke, Michael; Mauro, Jacopo; Seidl, Christoph; Thum, Thomas; Yu, Ingrid Chieh & Franzke, Felix. 2018, ACM Publications. https://doi.org/10.1145/3278122.3278123 (Academic chapter/article/Conference paper)

Approximating Faceted Search for Graph Queries. Klungre, Vidar Norstein & Giese, Martin. 2018, CEUR Workshop Proceedings. (Academic article)

Automatic Parameter Optimisation of Service Quality and Resource Usage. Mauro, Jacopo; Tapia Tarifa, Silvia Lizeth & Yu, Ingrid Chieh. 2018, NIKT: Norsk IKT-konferanse for forskning og utdanning. (Academic article)

Book Reviews. Antonsen, Roger & Nakkerud, Andreas. 2018, Studia Logica: An International Journal for Symbolic Logic. https://doi.org/10.1007/s11225-018-9783-y (Book review)

Context-aware reconfiguration in evolving software product lines. Mauro, Jacopo; Nieke, Michael; Seidl, Christoph & Yu, Ingrid Chieh. 2018, Science of Computer Programming. https://doi.org/10.1016/j.scico.2018.05.002 (Academic article)

Data Mining for Patient Friendly Apnea Detection. Kristiansen, Stein; Sønsteby Hugaas, Mari; Goebel, Vera Hermine; Plagemann, Thomas Peter; Nikolaidis, Konstantinos & Liestøl, Knut. 2018, IEEE Access. https://doi.org/10.1109/ACCESS.2018.2882270 (Academic article)

DCEP-Sim: An Open Simulation Framework for Distributed CEP: Introduction for Users and Prospective Developers. Starks, Fabrice; Kristiansen, Stein & Plagemann, Thomas Peter. 2018, Association for Computing Machinery (ACM). https://doi.org/10.1145/3210284.3219501 (Academic chapter/article/Conference paper)

Decidable and Undecidable Fragments of First-Order Concatenation Theory. Kristiansen, Lars & Murwanashyaka, Juvenal. 2018, Springer Nature. https://doi.org/10.1007/978-3-319-94418-0_25 (Academic chapter/article/Conference paper)

Efficient belief propagation in second-order Bayesian networks for singly-connected graphs. Kaplan, Lance & Ivanovska, Magdalena. 2018, International Journal of Approximate Reasoning. https://doi.org/10.1016/j.ijar.2017.10.031 (Academic article)

Efficient Ontology-Based Data Integration with Canonical IRIs. Xiao, Guohui; Hovland, Dag; Bilidas, Dimitris; Rezk, Martin; Giese, Martin & Calvanese, Diego. 2018, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-319-93417-4_45 (Academic article)

Evaluating a Faceted Search Index for Graph Data. Klungre, Vidar Norstein & Giese, Martin. 2018, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-030-02671-4_36 (Academic article)

Evaluating the influence of twitter on the saudi arabian stock market indicators. Alshahrani, Mohammed; Zhu, Fuxi; Sameh, Ahmed; Zheng, Lin & Mumtaz, Summaya. 2018, Advances in Intelligent Systems and Computing. https://doi.org/10.1007/978-3-319-78753-4_10 (Academic article)

Event-Based Methodology for Real-Time Data Analysis in Cyber Physical Systems. Kristiansen, Stein; Goebel, Vera Hermine; Øyri, Karl & Plagemann, Thomas Peter. 2018, Springer. https://doi.org/10.1007/978-3-319-67618-0_17 (Academic chapter/article/Conference paper)

Finding Data Should be Easier than Finding Oil. Kharlamov, Evgeny; Skjæveland, Martin G; Hovland, Dag; Mailis, Theofilos; Jimenez-Ruiz, Ernesto; Xiao, Guohui; Soylu, Ahmet; Horrocks, Ian & Waaler, Arild. 2018, IEEE (Institute of Electrical and Electronics Engineers). https://doi.org/10.1109/BigData.2018.8622035 (Academic chapter/article/Conference paper)

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

HyVar: Scalable Hybrid Variability for Distributed Evolving Software Systems. Røst, Thomas Brox; Seidl, Christoph; Yu, Ingrid Chieh; Damiani, Ferruccio; Johnsen, Einar Broch & Chesta, Cristina. 2018, Communications in Computer and Information Science (CCIS). https://doi.org/10.1007/978-3-319-79090-9_12 (Academic article)

Making a Case for Formal Relations over Ontology Patterns. Lupp, Daniel Paul; Karlsen, Leif Harald & Skjæveland, Martin G. 2018, CEUR Workshop Proceedings. (Academic article)

Mapping Data to Ontologies with Exceptions Using Answer Set Programming. Lupp, Daniel Paul & Thorstensen, Evgenij. 2018, NIKT: Norsk IKT-konferanse for forskning og utdanning. (Academic article)

Mobile Distributed Complex Event Processing - Ubi Sumus? Quo Vadimus?. Starks, Fabrice; Goebel, Vera Hermine; Kristiansen, Stein & Plagemann, Thomas Peter. 2018, Springer. https://doi.org/10.1007/978-3-319-67925-9_7 (Academic chapter/article/Conference paper)

Modeling and simulation of spark streaming. Lin, Jia-Chun; Lee, Ming-Chang; Yu, Ingrid Chieh & Johnsen, Einar Broch. 2018, Advanced Information Networking and Applications. https://doi.org/10.1109/AINA.2018.00068 (Academic article)

On Enhancing Visual Query Building over KGs Using Query Logs. Klungre, Vidar Norstein; Soylu, Ahmet; Giese, Martin; Waaler, Arild & Kharlamov, Evgeny. 2018, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-030-04284-4_6 (Academic article)

On General Sum Approximations of Irrational Numbers. Georgiev, Ivan; Kristiansen, Lars & Stephan, Frank. 2018, Springer Nature. https://doi.org/10.1007/978-3-319-94418-0_20 (Academic chapter/article/Conference paper)

On subrecursive representability of irrational numbers, part II. Kristiansen, Lars. 2018, Computability - The Journal of the Assosiation. https://doi.org/10.3233/COM-170081 (Academic article)

Practical Ontology Pattern Instantiation, Discovery, and Maintanence with Reasonable Ontology Templates - Demo paper. Skjæveland, Martin G; Karlsen, Leif Harald & Lupp, Daniel P.. 2018, CEUR Workshop Proceedings. (Academic article)

Practical Ontology Pattern Instantiation, Discovery, and Maintenance with Reasonable Ontology Templates. Skjæveland, Martin G; Lupp, Daniel P.; Karlsen, Leif Harald & Forssell, Jon Henrik. 2018, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-030-00671-6_28 (Academic article)

Proceedings of the 3rd International Workshop on Automated Reasoning in Quantified Non-Classical Logics . Benzmüller, Christoph & Otten, Jens. 2018, CEUR Workshop Proceedings. (Editoral)

Proof search optimizations for non-clausal connection calculi. Otten, Jens. 2018, CEUR Workshop Proceedings. (Academic article)

Release the Beasts: When Formal Methods Meet Real World Data. Schlatte, Rudolf; Johnsen, Einar Broch; Mauro, Jacopo; Tapia Tarifa, Silvia Lizeth & Yu, Ingrid Chieh. 2018, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-319-90089-6_8 (Academic article)

RODI: Benchmarking Relational-to-Ontology Mapping Generation Quality. Pinkel, Christoph; Binning, Carsten; Jimenez-Ruiz, Ernesto; Kharlamov, Evgeny; May, Wolfgang; Nikolov, Andriy; Bastinos, Ana Sasa; Skjæveland, Martin G; Solimando, Alessandro; Taheriyan, Mohsen et al.. 2018, Semantic Web Journal. https://doi.org/10.3233/SW-170268 (Academic article)

Search for Good Examples of Hall's Conjecture. Aanderaa, Stål; Kristiansen, Lars & Ruud, Hans-Kristian. 2018, Mathematics of Computation. https://doi.org/10.1090/mcom/3298 (Academic article)

Semantic Material Master Data Management at Aibel. Skjæveland, Martin G; Gjerver, Anders; Hansen, Christian Mahesh; Kluwer, Johan Wilhelm; Strand, Morten Rørvik; Waaler, Arild & Øverli, Per Øyvind. 2018, CEUR Workshop Proceedings. (Academic article)

Subjective bayesian networks and human-in-the-loop situational understanding. Braines, Dave; Thomas, Anna; Kaplan, Lance; Sensoy, Murat; Bakdash, Jonathan Z.; Ivanovska, Magdalena; Preece, Alun & Cerutti, Federico. 2018, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-319-78102-0_2 (Academic article)

The Pocket Reasoner - Automatic Reasoning on Small Devices. Otten, Jens. 2018, NIKT: Norsk IKT-konferanse for forskning og utdanning. (Academic article)

Using coloured Petri nets for resource analysis of active objects. Gkolfi, Anastasia; Johnsen, Einar Broch; Kristensen, Lars Michael & Yu, Ingrid Chieh. 2018, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-030-02146-7_8 (Academic article)

2017

A Faceted Search Index for OptiqueVQS. Klungre, Vidar Norstein & Giese, Martin. 2017, CEUR Workshop Proceedings. (Academic article)

A model-Based Scalability Optimization Methodology for Cloud Applications. Lin, Jia-Chun; Mauro, Jacopo; Røst, Thomas Brox & Yu, Ingrid Chieh. 2017, Proceedings of the IEEE. https://doi.org/10.1109/SC2.2017.32 (Academic article)

An Efficient Representation of General Qualitative Spatial Information using Bintrees. Karlsen, Leif Harald & Giese, Martin. 2017, Leibniz International Proceedings in Informatics. https://doi.org/10.4230/LIPIcs.COSIT.2017.4 (Academic article)

Anomaly Detection and Explanation in Context-Aware Software Product Lines. Mauro, Jacopo; Seidl, Christoph; Nieke, Michael & Yu, Ingrid Chieh. 2017, Association for Computing Machinery (ACM). https://doi.org/10.1145/3109729.3109752 (Academic chapter/article/Conference paper)

CaSPL-gen: a Context-aware Software Product Line benchmark generator. Hestvik, Magnus Røed; Mauro, Jacopo & Yu, Ingrid Chieh. 2017, NIKT: Norsk IKT-konferanse for forskning og utdanning. (Academic article)

Differential privacy for Bayesian inference through posterior sampling. Dimitrakakis, Christos; Nelson, Blaine; Zhang, Zuhe; Mitrokotsa, Aikateirni & Rubinstein, Benjamin I.P.. 2017, Journal of machine learning research. (Academic article)

Exploring semantic datasets with RDF surveyor. Vega-Gorgojo, Guillermo; Giese, Martin & Slaughter, Laura. 2017, CEUR Workshop Proceedings. (Academic article)

Joint subjective opinions. Ivanovska, Magdalena; Jøsang, Audun; Zhang, Jie & Chen, Shuo. 2017, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-319-67422-3_19 (Academic article)

Mapping Repair in Ontology-based Data Access Evolving Systems. Lembo, Domenico; Rosati, Riccardo; Santarelli, Valerio; Savo, Domenico Fabio & Thorstensen, Evgenij. 2017, None. https://doi.org/10.24963/ijcai.2017/161 (Academic chapter/article/Conference paper)

Mapping repair in ontology-based data access evolving systems (extended abstract). Lembo, Domenico; Rosati, Riccardo; Santarelli, Valerio; Savo, Domenico Fabio & Thorstensen, Evgenij. 2017, CEUR Workshop Proceedings. (Academic article)

MDE TECHNIQUES FOR MODELING AND ANALYSIS OF COMPLEX SOFTWARE SYSTEMS. Rabbi, Fazle; Yu, Ingrid Chieh; Lamo, Yngve & Kristensen, Lars Michael. 2017, None. (Doctoral dissertation)

nanoCoP: Natural Non-clausal Theorem Proving. Otten, Jens. 2017, IJCAI International Joint Conference on Artificial Intelligence. https://doi.org/10.24963/ijcai.2017/695 (Academic article)

nanoCP: Natural Non-clausal Theorem Proving. Otten, Jens. 2017, IJCAI International Joint Conference on Artificial Intelligence. (Academic article)

Non-clausal Connection Calculi for Non-classical Logics. Otten, Jens. 2017, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-319-66902-1_13 (Academic article)

On adopting ontology alignment techniques within the phenotype acquisition process. Jimenez-Ruiz, Ernesto; Hovland, Dag; Slaughter, Laura; Håndstad, Tony & Waaler, Arild. 2017, CEUR Workshop Proceedings. (Abstract)

On Resource Analysis of Imperative Programs. Kristiansen, Lars. 2017, Electronic Proceedings in Theoretical Computer Science (EPTCS). https://doi.org/10.4204/EPTCS.248 (Abstract)

On subrecursive representability of irrational numbers. Kristiansen, Lars. 2017, Computability - The Journal of the Assosiation. https://doi.org/10.3233/COM-160063 (Academic article)

Ontology Based Data Access in Statoil. Kharlamov, Evgeny; Hovland, Dag; Skjæveland, Martin G; Bilidas, Dimitris; Jimenez-Ruiz, Ernesto; Xiao, Guohui; Soylu, Ahmet; Lanti, Davide; Rezk, Martin; Zheleznyakov, Dmitriy et al.. 2017, Journal of Web Semantics. https://doi.org/10.1016/j.websem.2017.05.005 (Academic article)

Ontology-Based Data Access to Slegge. Hovland, Dag; Kontchakov, Roman; Skjæveland, Martin G; Waaler, Arild & Zakharyaschev, Michael. 2017, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-319-68204-4_12 (Academic article)

OptiqueVQS: a Visual Query System over Ontologies for Industry . Soylu, Ahmet; Kharlamov, Evgeny; Zheleznyakov, Dmitriy; Jimenez-Ruiz, Ernesto; Giese, Martin; Skjæveland, Martin G; Hovland, Dag; Schlatte, Rudolf; Brandt, Sebastian; Lie, Hallstein et al.. 2017, Semantic Web Journal. https://doi.org/10.3233/sw-180293 (Academic article)

Pattern-Based Ontology Design and Instantiation with Reasonable Ontology Templates. Skjæveland, Martin G; Forssell, Jon Henrik; Kluwer, Johan Wilhelm; Lupp, Daniel Paul; Thorstensen, Evgenij & Waaler, Arild. 2017, CEUR Workshop Proceedings. (Academic article)

Querying industrial stream-temporal data: An ontology-based visual approach. Soylu, Ahmet; Giese, Martin; Schlatte, Rudolf; Jimenez-Ruiz, Ernesto; Kharlamov, Evgeny; Özçep, Özgür; Neuenstadt, Christian & Brandt, Sebastian. 2017, Journal of Ambient Intelligence and Smart Environments. https://doi.org/10.3233/AIS-160415 (Academic article)

Reasonable macros for ontology construction and maintenance. Forssell, Jon Henrik; Lupp, Daniel Paul; Skjæveland, Martin G & Thorstensen, Evgenij. 2017, CEUR Workshop Proceedings. (Academic article)

Reasonable ontology templates: APIs for OWL: Efficient and practical ontology design and maintenance. Skjæveland, Martin G; Forssell, Jon Henrik; Klüwer, Johan W.; Lupp, Daniel Paul; Thorstensen, Evgenij & Waaler, Arild. 2017, CEUR Workshop Proceedings. (Academic article)

Semantic access to streaming and static data at Siemens. Kharlamov, Evgeny; Mailis, Theofilos; Mehdi, Gulnar; Neuenstadt, Christian; Özçep, Özgür Lütfü; Roshchin, Mikhail; Solomakhina, Nina; Soylu, Ahmet; Svingos, Christoforos; Brandt, Sebastian et al.. 2017, Journal of Web Semantics. https://doi.org/10.1016/j.websem.2017.02.001 (Academic article)

Studiebok til Logiske metoder. Antonsen, Roger. 2017, Universitetsforlaget. (Textbook)

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

Towards characterising data exchange solutions in open and closedwords (extended abstract). Forssell, Jon Henrik; Kharlamov, Evgeny & Thorstensen, Evgenij. 2017, CEUR Workshop Proceedings. (Short communication)

TRAMP Real-Time Application Mobility Platform. Vatne Hansen, Hans; Goebel, Vera Hermine & Plagemann, Thomas Peter. 2017, IEEE Transactions on Mobile Computing. https://doi.org/10.1109/TMC.2017.2688421 (Academic article)

Translating Active Objects into Colored Petri Nets for Communication Analysis. Gkolfi, Anastasia; Din, Crystal Chang; Johnsen, Einar Broch; Steffen, Martin & Yu, Ingrid Chieh. 2017, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-319-68972-2_6 (Academic article)

Using Firefighter Mobility Traces to Understand Ad-Hoc Networks in Wildfires. Cabrero, Sergio Cabrero; Pañeda, Xabiel Garcia; Melendi, David; Garcia, Roberto & Plagemann, Thomas Peter. 2017, IEEE Access. https://doi.org/10.1109/ACCESS.2017.2778347 (Academic article)

2016

A Semantic Approach to Polystores. Kharlamov, Evgeny; Mailis, Theofilis P.; Bereta, Konstantina; Bilidas, Dimitris; Brandt, Sebastian; Jimenez-Ruiz, Ernesto; Lamparter, Steffen; Neuenstadt, Christian; Özcep, Özgür; Soylu, Ahmet et al.. 2016, IEEE (Institute of Electrical and Electronics Engineers). https://doi.org/10.1109/BigData.2016.7840898 (Academic chapter/article/Conference paper)

A visual query system for stream data access over ontologies. Soylu, Ahmet; Giese, Martin; Schlatte, Rudolf; Jiménez-Ruiz, Ernesto; Özcep, Özgür & Brandt, Sebastian. 2016, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-319-47602-5_32 (Academic article)

ABS-YARN: A Formal Framework for Modeling Hadoop YARN Clusters. Lin, Jia-Chun; Yu, Ingrid Chieh; Johnsen, Einar Broch & Lee, Ming-Chang. 2016, Springer. https://doi.org/10.1007/978-3-662-49665-7_4 (Academic chapter/article/Conference paper)

Approaching OBDA evolution through mapping repairs. Lembo, Domenico; Rosati, Riccardo; Santarelli, Valerio; Savo, Domenico Fabio & Thorstensen, Evgenij. 2016, CEUR Workshop Proceedings. (Academic article)

Automatic translation from FBD-PLC-programs to NuSMV for model checking safety-critical control systems. Li, Jingyue; Qeriqi, Altin; Steffen, Martin & Yu, Ingrid Chieh. 2016, NIKT: Norsk IKT-konferanse for forskning og utdanning. (Academic article)

Bayesian Deduction with Subjective Opinions. Ivanovska, Magdalena; Jøsang, Audun & Sambo, Francesco. 2016, AAAI Press. (Academic chapter/article/Conference paper)

Comparing AWS Deployments Using Model-Based Predictions. Johnsen, Einar Broch; Lin, Jia-Chun & Yu, Ingrid Chieh. 2016, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-319-47169-3_39 (Academic article)

Context Aware Reconfiguration in Software Product Lines. Mauro, Jacopo; Nieke, Michael; Seidl, Christoph & Yu, Ingrid Chieh. 2016, Association for Computing Machinery (ACM). https://doi.org/10.1145/2866614.2866620 (Academic chapter/article/Conference paper)

DevCom: Device communities for user-friendly and trustworthy communication, sharing, and collaboration. Vatne Hansen, Hans; Goebel, Vera Hermine & Plagemann, Thomas Peter. 2016, Computer Communications. https://doi.org/10.1016/j.comcom.2016.02.001 (Academic article)

Diagrammatic development of domain specific modelling languages with WebDPF. Rabbi, Fazle; Lamo, Yngve; Yu, Ingrid Chieh & Kristensen, Lars Michael. 2016, International Journal of Information System Modeling and Design. https://doi.org/10.4018/IJISMD.2016070105 (Academic article)

Domain experts surfing on stream sensor data over ontologies. Soylu, Ahmet; Giese, Martin; Schlatte, Rudolf; Jiménez-Ruiz, Ernesto; Ozcep, Ozgur & Brandt, Sebastian. 2016, CEUR Workshop Proceedings. (Academic article)

Enabling semantic access to static and streaming distributed data with optique: demo. Kharlamov, Evgeny; Brandt, Sebastian; Giese, Martin; Jimenez-Ruiz, Ernesto; Kotidis, Yannis; Lamparter, Steffen; Mailis, Theofilis P.; Neuenstadt, Christian; Özcep, Özgür; Pinkel, Christoph et al.. 2016, ACM Publications. https://doi.org/10.1145/2933267.2933290 (Academic chapter/article/Conference paper)

Introduction to the track on variability modeling for scalable software evolution. Damiani, Ferruccio; Seidl, Christoph & Yu, Ingrid Chieh. 2016, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-319-47169-3_35 (Academic article)

KeywDB: A system for keyword-driven ontology-to-RDB mapping construction. Zheleznyakov, Dmitriy; Kharlamov, Evgeny; Klungre, Vidar Norstein; Skjæveland, Martin G; Hovland, Dag; Giese, Martin; Horrocks, Ian & Waaler, Arild. 2016, CEUR Workshop Proceedings. (Academic article)

Meeting Deadlines, Elastically. Johnsen, Einar Broch; Pun, Ka I; Steffen, Martin; Tapia Tarifa, Silvia Lizeth & Yu, Ingrid Chieh. 2016, CRC Press. https://doi.org/10.1201/b20053-11 (Academic chapter/article/Conference paper)

NanoCoP: A non-clausal connection prover. Otten, Jens. 2016, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-319-40229-1_21 (Academic article)

Non-clausal connection-based theorem proving in intuitionistic first-order logic. Otten, Jens. 2016, CEUR Workshop Proceedings. (Academic article)

OBDA constraints for effective query answering. Hovland, Dag; Lanti, Davide; Rezk, Martin & Xiao, Guohui. 2016, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-319-42019-6_18 (Academic article)

On subrecursive representability of irrational numbers.. Kristiansen, Lars. 2016, Computability - The Journal of the Assosiation. https://doi.org/10.3233/COM-160063 (Academic article)

Ontology-based end-user visual query formulation: Why, what, who, how, and which?. Soylu, Ahmet; Giese, Martin; Jiménez-Ruiz, Ernesto; Kharlamov, Evgeny; Zheleznyakov, Dmitriy & Horrocks, Ian. 2016, Universal Access in the Information Society. https://doi.org/10.1007/s10209-016-0465-0 (Academic article)

Ontology-based visual querying with OptiqueVQS: Statoil and Siemens cases. Soylu, Ahmet; Giese, Martin; Jimenez-Ruiz, Ernesto; Kharlamov, Evgeny; Schlatte, Rudolf; Neuenstadt, Christian; Ozcep, Ozgur; Lie, Hallstein; Klungre, Vidar Norstein; Brandt, Sebastian et al.. 2016, CEUR Workshop Proceedings. (Academic article)

Ontology-based Visual Querying with OptiqueVQS: Statoil and Siemens Cases. Soylu, Ahmet; Giese, Martin; Jimenez-Ruiz, Ernesto; Kharlamov, Evgeny; Schlatte, Rudolf; Neuenstadt, Christian; Özcep, Özgür; Lie, Hallstein; Klungre, Vidar Norstein; Brandt, Sebastian et al.. 2016, CEUR Workshop Proceedings. (Article in business/trade/industry journal)

Optique: Simple, Oil & Gas-oriented access to big data in exploration. Cameron, David B.; Skjæveland, Martin G; Giese, Martin; Hovland, Dag; Waaler, Arild; Bjørge, Eldar & Tungland, Knut Sebastian. 2016, Society of Petroleum Engineers. https://doi.org/10.2118/181111-MS (Academic chapter/article/Conference paper)

Pepesearch: Easy to use and easy to install semantic data search. Vega-Gorgojo, Guillermo; Slaughter, Laura; Giese, Martin; Heggestøyl, Simen; Kluwer, Johan Wilhelm & Waaler, Arild. 2016, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-319-47602-5_29 (Academic article)

PepeSearch: Semantic Data for the masses. Vega-Gorgojo, Guillermo; Giese, Martin; Heggestøyl, Simen; Soylu, Ahmet & Waaler, Arild. 2016, PLOS ONE. https://doi.org/10.1371/journal.pone.0151573 (Academic article)

Predictive Reasoning in Subjective Bayesian Networks. Ivanovska, Magdalena & Jøsang, Audun. 2016, NIKT: Norsk IKT-konferanse for forskning og utdanning. (Academic article)

Preface. Wang, Meng; Tie, Yun; Tian, Qi; Saddik, Abdulmotaleb Ei; Gong, Yihong; Plagemann, Thomas Peter; Lu, Ke & Fan, Jianping. 2016, Lecture Notes in Computer Science (LNCS). (Editoral)

Preface. Wang, Meng; Tie, Yun; Tian, Qi; Saddik, Abdulmotaleb Ei; Gong, Yihong; Plagemann, Thomas Peter; Lu, Ke & Fan, Jianping. 2016, Lecture Notes in Computer Science (LNCS). (Editoral)

Proceedings of the 2nd International Workshop on Automated Reasoning in Quantified Non-Classical Logics. Benzmüller, Christoph & Otten, Jens. 2016, CEUR Workshop Proceedings. (Editoral)

Proof Repositories for Compositional Verification of Evolving Software Systems - Managing Change When Proving Software Correct. Bubel, Richard; Damiani, Ferruccio; Hähnle, Reiner; Johnsen, Einar Broch; Owe, Olaf; Schaefer, Ina & Yu, Ingrid Chieh. 2016, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-319-46508-1_8 (Academic article)

Smooth and crispy - integrating continuous event proximity calculation and discrete event detection. Kristiansen, Stein; Plagemann, Thomas Peter & Goebel, Vera Hermine. 2016, ACM Publications. https://doi.org/10.1145/2933267.2933302 (Academic chapter/article/Conference paper)

Towards a categorical approach for meta-modelling epistemic game theory. Rabbi, Fazle; Lamo, Yngve & Yu, Ingrid Chieh. 2016, Association for Computing Machinery (ACM). https://doi.org/10.1145/2976767.2976771 (Academic chapter/article/Conference paper)

User profiles for context-aware reconfiguration in software product lines. Nieke, Michael; Mauro, Jacopo; Seidl, Christoph & Yu, Ingrid Chieh. 2016, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-319-47169-3_44 (Academic article)

Using Semantic Technology to Tame the Data Variety Challenge. Horrocks, Ian; Giese, Martin; Kharlamov, Evgeny & Waaler, Arild. 2016, IEEE Internet Computing. https://doi.org/10.1109/MIC.2016.121 (Academic article)

Visual query interfaces for semantic datasets: An evaluation study. Vega-Gorgojo, Guillermo; Slaughter, Laura; Giese, Martin; Heggestøyl, Simen; Soylu, Ahmet & Waaler, Arild. 2016, Journal of Web Semantics. https://doi.org/10.1016/j.websem.2016.01.002 (Academic article)

WebDPF: A Web-based Metamodelling and Model Transformation Environment. Rabbi, Fazle; Lamo, Yngve; Yu, Ingrid Chieh & Kristensen, Lars Michael. 2016, SciTePress. https://doi.org/10.5220/0005686900870098 (Academic chapter/article/Conference paper)

2015

A diagrammatic approach to model completion. Rabbi, Fazle; Lamo, Yngve; Yu, Ingrid Chieh & Kristensen, Lars Michael. 2015, CEUR Workshop Proceedings. (Academic article)

A Formalisation of Analysis-based Model Migration. Yu, Ingrid Chieh & Berg, Henning. 2015, SciTePress. https://doi.org/10.5220/0005240900860098 (Academic chapter/article/Conference paper)

A Framework for Constructing Correct Qualitative Representations of Geometries using Mereology over Bintrees. Karlsen, Leif Harald & Giese, Martin. 2015, None. https://doi.org/10.15439/978-83-60810-78-1 (Academic chapter/article/Conference paper)

A Methodology to Model the Execution of Communication Software for Accurate Network Simulation. Kristiansen, Stein; Plagemann, Thomas Peter & Goebel, Vera Hermine. 2015, ACM Transactions on Modeling and Computer Simulation. https://doi.org/10.1145/2746233 (Academic article)

A proof system for adaptable class hierarchies. Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf & Yu, Ingrid Chieh. 2015, Journal of Logical and Algebraic Methods in Programming. https://doi.org/10.1016/j.jlamp.2014.09.001 (Academic article)

Android Based Toolset for NFC Tag Testing and Performance Evaluation. Dahl, Aage Andre Håland; Zaher, Ali & Plagemann, Thomas Peter. 2015, VDE Verlag GmbH. (Academic chapter/article/Conference paper)

BOOTOX: Bootstrapping OWL 2 ontologies and R2RML mappings from relational databases. Jiménez-Ruiz, Ernesto; Kharlamov, Evgeny; Zheleznyakov, Dmitriy; Horrocks, Ian; Pinkel, Christoph; Skjæveland, Martin G; Thorstensen, Evgenij & Mora, Jose. 2015, CEUR Workshop Proceedings. (Academic article)

BOOTOX: Practical mapping of RDBs to OWL 2. Jiménez-Ruiz, Ernesto; Kharlamov, Evgeny; Zheleznyakov, Dmitriy; Horrocks, Ian; Pinkel, Christoph; Skjæveland, Martin G; Thorstensen, Evgenij & Mora, Jose. 2015, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-319-25010-6_7 (Academic article)

Climbing Mount ε0. Jervell, Herman Ruge. 2015, Springer Publishing Company. https://doi.org/10.1007/978-3-319-10103-3_12 (Academic chapter/article/Conference paper)

Computer-interpretable clinical guidelines: a review and analysis of evaluation criteria for authoring methods. Khodambashi, Soudabeh; Slaughter, Laura & Nytrø, Øystein. 2015, Studies in Health Technology and Informatics. https://doi.org/10.3233/978-1-61499-564-7-954 (Short communication)

Deciding Twig-definability of Node Selecting Tree Automata. Antonopoulos, Timos; Hovland, Dag; Martens, Wim & Neven, Frank. 2015, Theory of Computing Systems. https://doi.org/10.1007/s00224-015-9623-7 (Academic article)

Dynamic clustering in Sparse MANETs. Drugan, Ovidiu Valentin; Plagemann, Thomas Peter & Munthe-Kaas, Ellen. 2015, Computer Communications. https://doi.org/10.1016/j.comcom.2014.12.005 (Academic article)

Enabling Living Systematic Reviews and Clinical Guidelines Through Semantic Technologies. Slaughter, Laura; Berntsen, Christopher Friis; Brandt, Linn & Mavergames, Chris. 2015, D-Lib Magazine. https://doi.org/10.1045/january2015-slaughter (Academic article)

Engineering ontology-based access to real-world data sources. Skjæveland, Martin G; Giese, Martin; Hovland, Dag; Lian, Espen Hallenstvedt & Waaler, Arild. 2015, Journal of Web Semantics. https://doi.org/10.1016/j.websem.2015.03.002 (Academic article)

Engineering Semantic Data. Skjæveland, Martin G. 2015, Akademika forlag. (Doctoral dissertation)

Experiencing OptiqueVQS: A Multi-paradigm and Ontology-based Visual Query System for End Users. Soylu, Ahmet; Giese, Martin; Jimenez-ruiz, Ernesto; Vega, Gorgojo Guillermo & Horrocks, Ian. 2015, Universal Access in the Information Society. https://doi.org/10.1007/s10209-015-0404-5 (Academic article)

Heuristics for Applying Cached OBDA Rewritings. Nakkerud, Andreas & Thorstensen, Evgenij. 2015, CEUR Workshop Proceedings. (Academic article)

Mapping analysis in ontology-based data access: Algorithms and complexity. Lembo, Domenico; Mora, Jose; Rosati, Riccardo; Savo, Domenico Fabio & Thorstensen, Evgenij. 2015, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-319-25007-6_13 (Academic article)

Mapping Analysis in Ontology-Based Data Access: Algorithms and Complexity. Lembo, Domenico; Mora, Jose; Rosati, Riccardo; Savo, Domenico Fabio & Thorstensen, Evgenij. 2015, Springer. https://doi.org/10.1007/978-3-319-25007-6_13 (Academic chapter/article/Conference paper)

Ontology based access to exploration data at statoil. Kharlamov, Evgeny; Hovland, Dag; Jiménez-Ruiz, Ernesto; Lanti, Davide; Lie, Hallstein; Pinkel, Christoph; Rezk, Martin; Skjæveland, Martin G; Thorstensen, Evgenij; Xiao, Guohui et al.. 2015, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-319-25010-6_6 (Academic article)

Ontology-Based Integration of Cross-Linked Datasets. Calvanese, Diego; Giese, Martin; Hovland, Dag & Rezk, Martin. 2015, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-319-25007-6_12 (Academic article)

Ontology-Based Visual Query Formulation: An Industry Experience. Soylu, Ahmet; Kharlamov, Evgeny; Zheleznyakov, Dmitriy; Jiménez-Ruiz, Ernesto; Giese, Martin & Horrocks, Ian. 2015, Springer. https://doi.org/10.1007/978-3-319-27857-5_75 (Academic chapter/article/Conference paper)

Operator placement for efficient distributed complex event processing in MANETs. Starks, Fabrice & Plagemann, Thomas Peter. 2015, IEEE International Conference on Wireless and Mobile Computing, Networking, and Communications. https://doi.org/10.1109/WiMOB.2015.7347944 (Academic article)

OPTIQUE: Ontology-based data access platform. Kharlamov, Evgeny; Jiménez-Ruiz, Ernesto; Pinkel, Christoph; Rezk, Martin; Skjæveland, Martin G; Soylu, Ahmet; Xiao, Guohui; Zheleznyakov, Dmitriy; Giese, Martin; Horrocks, Ian et al.. 2015, CEUR Workshop Proceedings. (Academic article)

Optique: Zooming in on Big Data. Giese, Martin; Soylu, Ahmet; Vega, Gorgojo Guillermo; Waaler, Arild; Haase, Peter; Jimenez-Ruiz, Ernesto; Lanti, Davide; Rezk, Martin; Xiao, Guohui; Oezcep, Oezguer et al.. 2015, Computer. https://doi.org/10.1109/MC.2015.82 (Academic article)

OptiqueVQS: Ontology-based visual querying. Soylu, Ahmet; Kharlamov, Evgeny; Zheleznyakov, Dmitriy; Jiménez-Ruiz, Ernesto; Giese, Martin & Horrocks, Ian. 2015, CEUR Workshop Proceedings. (Academic article)

Qualifying Ontology-Based Visual Query Formulation. Soylu, Ahmet & Giese, Martin. 2015, Springer. https://doi.org/10.1007/978-3-319-26154-6_19 (Academic chapter/article/Conference paper)

RODI: A benchmark for automatic mapping generation in relational-to-ontology data integration. Pinkel, Christoph; Binning, Carsten; Jiménez-Ruiz, Ernesto; May, Wolfgang; Ritze, Dominique; Skjæveland, Martin G; Solimando, Alessandro & Kharlamov, Evgeny. 2015, Springer. https://doi.org/10.1007/978-3-319-18818-8_2 (Academic chapter/article/Conference paper)

Semantic access to siemens streaming data: The OPTIQUE way. Kharlamov, Evgeny; Brandt, Sebastian; Giese, Martin; Jiménez-Ruiz, Ernesto; Lamparter, Steffen; Neuenstadt, Christian; Ozcep, Ozgur; Pinkel, Christoph; Soylu, Ahmet; Zheleznyakov, Dmitriy et al.. 2015, CEUR Workshop Proceedings. (Academic article)

Sgvizler: A JavaScript Wrapper for Easy Visualization of SPARQL Result Sets. Skjæveland, Martin G. 2015, Springer. https://doi.org/10.1007/978-3-662-46641-4_27 (Academic chapter/article/Conference paper)

Structural decompositions for problems with global constraints. Thorstensen, Evgenij. 2015, Constraints. https://doi.org/10.1007/s10601-015-9181-2 (Academic article)

Subjective Networks: Perspectives and Challenges. Ivanovska, Magdalena; Jøsang, Audun; Kaplan, Lance & Sambo, Francesco. 2015, Springer. https://doi.org/10.1007/978-3-319-28702-7_7 (Academic chapter/article/Conference paper)

Tiny network caches with large performance gains for popular downloads. Srebrny, Piotr; Sørbø, Dag Henning Liodden & Plagemann, Thomas Peter. 2015, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-319-22572-2_14 (Academic article)

Towards a Multi Metamodelling Approach for Developing Distributed Healthcare Applications. Rabbi, Fazle; Lamo, Yngve; Yu, Ingrid Chieh & Kristensen, Lars Michael. 2015, NIKT: Norsk IKT-konferanse for forskning og utdanning. (Academic article)

Towards Subjective Networks: Extending Conditional Reasoning in Subjective Logic. Kaplan, Lance; Jøsang, Audun & Ivanovska, Magdalena. 2015, IEEE conference proceedings. (Academic chapter/article/Conference paper)

Trust Revision for Conflicting Sources. Jøsang, Audun; Ivanovska, Magdalena & Muller, Tim. 2015, IEEE conference proceedings. (Academic chapter/article/Conference paper)

2014

Deadlock detection of active objects with synchronous and asynchronous method calls. Owe, Olaf & Yu, Ingrid Chieh. 2014, NIKT: Norsk IKT-konferanse for forskning og utdanning. https://doi.org/10.1016/j.entcs.2004.06.012 (Academic article)

Energy saving for activity recognition through sensor selection, scheduling and sampling rate tuning. Nguyen, Viet Hoang; Munthe-Kaas, Ellen & Plagemann, Thomas Peter. 2014, IEEE Press. https://doi.org/10.1109/WMNC.2014.6878873 (Academic chapter/article/Conference paper)

Logiske metoder. Antonsen, Roger. 2014, Universitetsforlaget. (Textbook)

OptiqueVQS: Visual Query Formulation for OBDA. Soylu, Ahmet; Kharlamov, Evgeny; Zheleznyakov, Dmitriy; Jimenez-ruiz, Ernesto; Giese, Martin & Horrocks, Ian. 2014, CEUR Workshop Proceedings. (Academic article)

Towards Exploiting Query History for Adaptive Ontology-based Visual Query Formulation. Soylu, Ahmet; Giese, Martin; Jimenez-ruiz, Ernesto; Kharlamov, Evgeny; Zheleznyakov, Dmitriy & Horrocks, Ian. 2014, Communications in Computer and Information Science (CCIS). https://doi.org/10.1007/978-3-319-13674-5_11 (Academic article)

Towards Mapping Analysis in Ontology-Based Data Access. Lembo, Domenico; Mora, Jose; Rosati, Riccardo; Savo, Domenico Fabio & Thorstensen, Evgenij. 2014, Springer. https://doi.org/10.1007/978-3-319-11113-1_8 (Academic chapter/article/Conference paper)

Visual Query Formulation for Linked Open Data: The Norwegian Entity Registry Case. Heggestøyl, Simen; Vega-Gorgojo, Guillermo & Giese, Martin. 2014, NIKT: Norsk IKT-konferanse for forskning og utdanning. (Academic article)

Why not simply Google?. Soylu, Ahmet; Giese, Martin; Jimenez-ruiz, Ernesto; Kharlamov, Evgeny; Zheleznyakov, Dmitriy & Horrocks, Ian. 2014, Association for Computing Machinery (ACM). https://doi.org/10.1145/2639189.2670270 (Academic chapter/article/Conference paper)

2013

A Preliminary Approach on Ontology-Based Visual Query Formulation for Big Data. Soylu, Ahmet; Skjæveland, Martin G; Giese, Martin; Horrocks, Ian; Jimenez-ruiz, Ernesto; Kharlamov, Evgeny & Zheleznyakov, Dmitriy. 2013, Springer. https://doi.org/10.1007/978-3-319-03437-9_21 (Academic chapter/article/Conference paper)

A reconfigurable distributed CEP middleware for diverse mobility scenarios. Kamisinski, Piotr; Goebel, Vera Hermine & Plagemann, Thomas Peter. 2013, IEEE (Institute of Electrical and Electronics Engineers). https://doi.org/10.1109/PerComW.2013.6529568 (Academic chapter/article/Conference paper)

Benefits of Publishing the Norwegian Petroleum Directorate's FactPages as Linked Open Data. Skjæveland, Martin G & Lian, Espen Hallenstvedt. 2013, Akademika forlag. (Academic chapter/article/Conference paper)

Clinical documentation as a source of information for patients - possibilities and limitations. Wibe, Torunn; Ekstedt, Mirjam; Hellesø, Ragnhild; Øyri, Karl & Slaughter, Laura. 2013, Studies in Health Technology and Informatics. (Academic article)

Extending network simulators with communication software execution models. Kristiansen, Stein; Plagemann, Thomas Peter & Goebel, Vera Hermine. 2013, IEEE Press. https://doi.org/10.1109/COMSNETS.2013.6465549 (Academic chapter/article/Conference paper)

Modeling communication software execution for accurate simulation of distributed systems. Kristiansen, Stein; Plagemann, Thomas Peter & Goebel, Vera Hermine. 2013, Association for Computing Machinery (ACM). https://doi.org/10.1145/2486092.2486102 (Academic chapter/article/Conference paper)

No more Déjà Vu - Eliminating Redundancy with CacheCast: Feasibility and Performance Gains. Plagemann, Thomas Peter; Goebel, Vera Hermine; Mauthe, Andreas & Srebrny, Piotr. 2013, IEEE/ACM Transactions on Networking. https://doi.org/10.1109/TNET.2012.2236104 (Academic article)

Optique System: Towards Ontology and Mapping Management in OBDA Solutions. Haase, Peter; Horrocks, Ian; Hovland, Dag; Hubauer, Thomas; Jimenez-ruiz, Ernesto; Kharlamov, Evgeny; Kluwer, Johan Wilhelm; Christoph, Pinkel; Rosati, Riccardo; Santarelli, Valerio et al.. 2013, CEUR Workshop Proceedings. (Academic article)

Optique: OBDA Solution for Big Data. Calvanese, Diego; Giese, Martin; Haase, Peter; Horrocks, Ian; Hubauer, Thomas; Ioannidis, Yannis; Jimenez-ruiz, Ernesto; Kharlamov, Evgeny; Kllapi, Herald; Kluwer, Johan Wilhelm et al.. 2013, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-642-41242-4_48 (Academic article)

Optique: Towards OBDA Systems for Industry. Kharlamov, Evgeny; Jimenez-ruiz, Ernesto; Zheleznyakov, Dmitriy; Bilidas, Dimitris; Giese, Martin; Haase, Peter; Horrocks, Ian; Kllapi, Herald; Koubarakis, Manolis; Oezcep, Oezguer et al.. 2013, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-642-41242-4_11 (Academic article)

OptiqueVQS—Towards an Ontology-based Visual Query System for Big Data. Soylu, Ahmet; Giese, Martin; Jimenez-ruiz, Ernesto; Kharlamov, Evgeny; Zheleznyakov, Dmitriy & Horrocks, Ian. 2013, Association for Computing Machinery (ACM). https://doi.org/10.1145/2536146.2536149 (Academic chapter/article/Conference paper)

Publishing the Norwegian Petroleum Directorate's FactPages as Semantic Web Data. Skjæveland, Martin G; Lian, Espen Hallenstvedt & Horrocks, Ian. 2013, Springer. https://doi.org/10.1007/978-3-642-41338-4_11 (Academic chapter/article/Conference paper)

Quality and energy aware data acquisition for activity and locomotion recognition. Nguyen, Viet Hoang; Munthe-Kaas, Ellen & Plagemann, Thomas Peter. 2013, IEEE Press. https://doi.org/10.1109/PerComW.2013.6529547 (Academic chapter/article/Conference paper)

Scalable End-user Access to Big Data. Giese, Martin; Calvanese, Diego; Haase, Peter; Horrocks, Ian; Ioannidis, Yannis; Kllapi, Herald; Koubarakis, Manolis; Lenzerini, Maurizio; Moeller, Ralf; Oezcep, Oezguer et al.. 2013, Taylor & Francis. https://doi.org/10.1201/b16014-9 (Academic chapter/article/Conference paper)

The Optique Project: Towards OBDA Systems for Industry. Calvanese, Diego; Giese, Martin; Haase, Peter; Ioannidis, Yannis; Jimenez-ruiz, Ernesto; Kharlamov, Evgeny; Kllapi, Herald; Koubarakis, Manolis; Lampater, Steffen; Moeller, Ralf et al.. 2013, CEUR Workshop Proceedings. (Academic article)

Towards quality and energy aware complex event processing. Nguyen, Viet Hoang; Munthe-Kaas, Ellen & Plagemann, Thomas Peter. 2013, IEEE Press. https://doi.org/10.1109/WiMOB.2013.6673384 (Academic chapter/article/Conference paper)

Towards Query Formulation and Query-Driven Ontology Extensions in OBDA Systems. Cuenca grau, Bernardo; Giese, Martin; Horrocks, Ian; Hubauer, Thomas; Jimenez-ruiz, Ernesto; Kharlamov, Evgeny; Schmidt, Michael; Soylu, Ahmet & Zheleznyakov, Dmitriy. 2013, CEUR Workshop Proceedings. (Academic article)

2012

A Transformational Proof System for Delta-Oriented Programming. Damiani, Ferruccio; Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf; Schaefer, Ina & Yu, Ingrid Chieh. 2012, ACM Publications. https://doi.org/10.1145/2364412.2364422 (Academic chapter/article/Conference paper)

A type system for counting instances of software components. Bezem, Marcus A.; Hovland, Dag & Truong, Anh Hoang. 2012, Theoretical Computer Science. https://doi.org/10.1016/j.tcs.2012.07.032 (Academic article)

An assessment of the potential for personalization in patient decision aids. Eiring, Øystein & Slaughter, Laura. 2012, Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering. https://doi.org/10.1007/978-3-642-29262-0_7 (Academic article)

CLiSuite: Simplifying the development of cross-layer adaptive applications. Lindeberg, Morten Gunnar Bjørner; Goebel, Vera Hermine & Plagemann, Thomas Peter. 2012, Association for Computing Machinery (ACM). https://doi.org/10.1145/2405178.2405180 (Academic chapter/article/Conference paper)

Deciding Twig-definability of Node Selecting Tree Automata. Antonopoulos, Timos; Hovland, Dag; Martens, Wim & Neven, Frank. 2012, Association for Computing Machinery (ACM). https://doi.org/10.1145/2274576.2274584 (Academic chapter/article/Conference paper)

Degrees of Total Algorithms versus Degrees of Honest Functions. Kristiansen, Lars. 2012, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-642-30870-3_43 (Academic article)

Dynamic Temporal Scalability: Video adaptation in sparse Mobile Ad-Hoc Networks. Cabrero, Sergio; Paneda, Xabiel G.; Gracia, Roberto; Melendi, David & Plagemann, Thomas Peter. 2012, IEEE conference proceedings. https://doi.org/10.1109/wimob.2012.6379097 (Academic chapter/article/Conference paper)

Efficient Data Sharing for Multi-device Multimedia Applications. Hansen, Hans Vatne; Velazquez, Francisco Javier; Goebel, Vera Hermine & Plagemann, Thomas Peter. 2012, Association for Computing Machinery (ACM). https://doi.org/10.1145/2405172.2405174 (Academic chapter/article/Conference paper)

Efficient Rule-Matching for Automated Coherent Logic. Holen, Bjarne; Hovland, Dag & Giese, Martin. 2012, NIKT: Norsk IKT-konferanse for forskning og utdanning. https://doi.org/10.29007/r5m4 (Academic article)

Energy-balanced sensor selection for social context detection. Nguyen, Viet Hoang; Munthe-Kaas, Ellen & Plagemann, Thomas Peter. 2012, IEEE (Institute of Electrical and Electronics Engineers). (Academic chapter/article/Conference paper)

Higher Types, Finite Domains and Resource-bounded Turing Machines. Kristiansen, Lars. 2012, Journal of Logic and Computation. https://doi.org/10.1093/logcom/exq009 (Academic article)

ILORIN: Identifier-LOcator Resolution for Infrastructure-less Networks. Rodriguez-Fernandez, Daniel ; Martinez-Yelmo, Isaias; Munthe-Kaas, Ellen & Plagemann, Thomas Peter. 2012, IEEE conference proceedings. https://doi.org/10.1109/nof.2012.6463992 (Academic chapter/article/Conference paper)

Incremental variable splitting. Hansen, Christian Mahesh; Antonsen, Roger; Giese, Martin & Waaler, Arild. 2012, Journal of symbolic computation. https://doi.org/10.1016/j.jsc.2011.12.032 (Academic article)

Juno: a middleware platform for supporting delivery-centric applications. Tyson, Gareth; Mauthe, Andreas; Kaune, Sebastian; Grace, Paul; Taweel, Adel & Plagemann, Thomas Peter. 2012, ACM Transactions on Internet Technology. https://doi.org/10.1145/2390209.2390210 (Academic article)

Juno: An Adaptive Delivery-Centric Middleware. Tyson, Gareth; Mauthe, Andreas; Kaune, Sebastian; Grace, Paul; Taweel, Adel & Plagemann, Thomas Peter. 2012, IEEE Sarnoff Symposium. https://doi.org/10.1109/ccnc.2012.6181010 (Academic chapter/article/Conference paper)

Message lost or message taken - on message ferry selection in DTNs -. Lindeberg, Morten Gunnar Bjørner; Haavet, Jan Erik; Barros, Sergio Cabrero; Goebel, Vera Hermine & Plagemann, Thomas Peter. 2012, IEEE conference proceedings. https://doi.org/10.1109/wd.2012.6402815 (Academic chapter/article/Conference paper)

Migration of Fine-grained Multimedia Applications. Hansen, Hans Vatne; Velazquez-Garcia, Francisco Javier; Goebel, Vera Hermine; Munthe-Kaas, Ellen & Plagemann, Thomas Peter. 2012, Association for Computing Machinery (ACM). https://doi.org/10.1145/2405153.2405165 (Academic chapter/article/Conference paper)

Non-determinism in Gödel's System T. Kristiansen, Lars & Mender, Bedeho. 2012, Theory of Computing Systems. https://doi.org/10.1007/s00224-011-9377-9 (Academic article)

On the edge of decidability in complexity analysis of loop programs. Ben-Amram, Amir & Kristiansen, Lars. 2012, International Journal of Foundations of Computer Science. https://doi.org/10.1142/S0129054112400588 (Academic article)

Preserving Information Content in RDF using Bounded Homomorphisms. Stolpe, Audun & Skjæveland, Martin G. 2012, Springer. https://doi.org/10.1007/978-3-642-30284-8_12 (Academic chapter/article/Conference paper)

Streamlined subrecursive degree theory. Kristiansen, Lars; Schlage-Puchta, Jan-Christoph & Weiermann, Andreas. 2012, Annals of Pure and Applied Logic. https://doi.org/10.1016/j.apal.2011.11.004 (Academic article)

The inclusion problem for regular expressions. Hovland, Dag. 2012, Journal of computer and system sciences. https://doi.org/10.1016/j.jcss.2011.12.003 (Academic article)

The Membership Problem for Regular Expressions with Unordered Concatenation and Numerical Constraints. Hovland, Dag. 2012, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-642-28332-1_27 (Academic article)

Tracking Behavioral Constraints during Object-Oriented Software Evolution. Dovland, Johan; Johnsen, Einar Broch & Yu, Ingrid Chieh. 2012, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-642-34026-0_19 (Academic article)

Using Semantic Technology to Auto-generate Reports: Case Study of Daily Drilling Reports. Giese, Martin; Ornæs, Jens I.; Overå, Lars; Svensson, Inge & Waaler, Arild. 2012, Society of Petroleum Engineers. https://doi.org/10.2118/150225-ms (Academic chapter/article/Conference paper)