Andreas Nakkerud

Image of Andreas Nakkerud
Norwegian version of this page
Room 804
Visiting address Moltke Moes vei 35 Niels Henrik Abels hus 0851 Oslo


No current assignments.


INF1080: Logical Methods for Computer Science

INF2080: Logic and Computation

INF3170: Logic

INF4171: Logic

Tags: Statistics, Optimization, Innovation, Big Data, Logic, Mathematical Logic, Data Science, OBDA, Knowledge Representation


  • Mannino, Carlo; Nakkerud, Andreas & Sartor, Giorgio (2020). Air Traffic Flow Management with Layered Workload Constraints. Computers & Operations Research. ISSN 0305-0548. 127. doi: 10.1016/j.cor.2020.105159. Full text in Research Archive
  • Mannino, Carlo; Nakkerud, Andreas; Sartor, Giorgio & Schittekat, Patrick (2018). Hotspot Resolution with Sliding Window Capacity Constraints using the Path&Cycle Algorithm. SESAR Innovation Days. ISSN 0770-1268. Full text in Research Archive
  • Nakkerud, Andreas & Thorstensen, Evgenij (2015). Heuristics for Applying Cached OBDA Rewritings. CEUR Workshop Proceedings. ISSN 1613-0073. 1350(58), p. 493–503.
  • Amundsen, David Skålid; Kirkemo, Camilla Nestande; Nakkerud, Andreas; Trømborg, Jørgen & Vistnes, Arnt Inge (2009). The rainbow as a student project involving numerical calculations. American Journal of Physics (AJP). ISSN 0002-9505. 77(9), p. 795–798. doi: 10.1119/1.3152991. Full text in Research Archive

View all works in Cristin

View all works in Cristin

Published Dec. 6, 2016 2:02 PM - Last modified Nov. 6, 2018 2:02 PM

Research groups