Martin Vatshelle
Stilling
førsteamanuensis, i Didaktikkgruppen
Tilhørighet
Forskergrupper
Forskning
Mine forskningsinteresser er først og fremst innen graf algoritmer. Jeg har i hovedsak studert graf bredde parametere.
Undervisning
Jeg underviser kursene
INF101 - Objektorientert programmering
INF102 - Aloritmer og datastrukturer
Jeg ønsker masterstudenter som er interessert i graf algoritmer. Jeg veileder gjerne både teoretiske oppgaver og oppgaver som inneholder programmering.
Om du har noe spesielt du ønsker å studere som del av mastergraden er jeg åpen for utfordringer og ser på det å veilede en masterstudent som en mulighet til å lære noe nytt.
Jeg er opptatt av klimaendringene og om noen ønsker å studere hvordan algoritmer kan hjelpe oss i kampen mot klimaendringene så hadde det vært spennende.
F.eks. videreutvikling av semesteroppgaven om roboter som vedlikeholder solcellepaneler.
Tidligere masterprosjekt:
Master i Algoritmer: Improving Java Standard Library PriorityQueue
Marie N. Berg, 2023.
Master i Maskinlæring: Tapered Arithmetic Mean a Better Mean for Periodic Data?
Per H. Mjelde, 2022
Master i Algoritmer: Routing of Offshore Survey Vessels
Ingrid N. Johansen, 2021
Publikasjoner
Vitenskapelig artikkel
- Jan Arne Telle; Daniel Meister; Martin Vatshelle (2007). Characterization and recognition of graphs of bounded Kelly-width. (ekstern lenke)
- Bart Maarten Paul Jansen; Venkatesh Raman; Martin Vatshelle (2014). Parameter ecology for Feedback Vertex Set. (ekstern lenke)
- Martin Vatshelle; Rémy Belmonte (2013). Graph classes with structured neighborhoods and algorithmic applications. (ekstern lenke)
- Fedor Fomin; Serge Gaspers; Petr Golovach et al. (2012). k-Gap Interval Graphs. (ekstern lenke)
- Binh-Minh Bui-Xuan; Jan Arne Telle; Martin Vatshelle (2010). H-join decomposable graphs and algorithms with runtime single exponential in rankwidth. (ekstern lenke)
- Binh-Minh Bui-Xuan; Jan Arne Telle; Martin Vatshelle (2013). Fast dynamic programming for locally checkable vertex subset and vertex partitioning problems. (ekstern lenke)
- Daniel Meister; Jan Arne Telle; Martin Vatshelle (2010). Recognizing digraphs of Kelly-width 2. (ekstern lenke)
- Binh-Minh Bui-Xuan; Jan Arne Telle; Martin Vatshelle (2011). Boolean-width of graphs. (ekstern lenke)
- Sigve Hortemo Sæther; Jan Arne Telle; Martin Vatshelle (2015). Solving #SAT and MaxSAT by dynamic programming. (ekstern lenke)
- Sigve Hortemo Sæther; Martin Vatshelle (2016). Hardness of computing width parameters based on branch decompositions over the vertex set. (ekstern lenke)
- J. Mark Keil; Joseph S.B. Mitchell; Dinabandhu Pradhan et al. (2017). An algorithm for the maximum weight independent set problem on outerstring graphs. (ekstern lenke)
- Jan Arne Telle; Ondra Suchy; Binh-Minh Bui-Xuan et al. (2013). Feedback vertex set on graphs of low cliquewidth. (ekstern lenke)
- Sigve Hortemo Sæther; Martin Vatshelle (2015). Hardness of computing width parameters based on branch decompositions over the vertex set. (ekstern lenke)
- Rémy Belmonte; Martin Vatshelle (2011). Graph Classes with Structured Neighbourhoods and Algorithmic Applications. (ekstern lenke)
- Jan Arne Telle; Martin Vatshelle; Eivind Hvidevold et al. (2012). Finding good decompositions for dynamic programming on dense graphs. (ekstern lenke)
- Hans L. Bodlaender; Erik Jan Van Leeuwen; Johan M. M. van Rooij et al. (2010). Faster Algorithms on Branch and Clique Decompositions. (ekstern lenke)
- Isolde Marianne Adler; Binh-Minh Bui-Xuan; Jan Arne Telle et al. (2010). On the boolean-width of a graph: structure and applications. (ekstern lenke)
- Yuri Rabinovich; Jan Arne Telle; Martin Vatshelle (2013). Upper bounds on boolean-width with applications to exact algorithms. (ekstern lenke)
- Binh-Minh Bui-Xuan; Jan Arne Telle; Martin Vatshelle (2009). Boolean-width of graphs. (ekstern lenke)
- Jan Arne Telle; Binh-Minh Bui-Xuan; Martin Vatshelle (2009). Feedback Vertex Set on Graphs of low Cliquewidth. (ekstern lenke)
- Sang-il Oum; Sigve Hortemo Sæther; Martin Vatshelle (2014). Faster algorithms for vertex partitioning problems parameterized by clique-width. (ekstern lenke)
- Jan Arne Telle; Martin Vatshelle; Sigve Hortemo Sæther (2014). Solving MAXSAT and #SAT on structured CNF formulas. (ekstern lenke)
- Benjamin Bergougnoux; Svein Høgemo; Jan Arne Telle et al. (2022). Recognition of Linear and Star Variants of Leaf Powers is in P. (ekstern lenke)
Vitenskapelig bokkapittel
Konferanseabstrakt
- Remy Agersborg; Lars T. Hille; Martha Lien et al. (2017). Mapping water influx and hydrocarbon depletion in offshore reservoirs using gravimetry: Requirements on gravimeter calibration. (ekstern lenke)
- Hugo Ruiz; Remy Agersborg; Lars T. Hille et al. (2016). Monitoring offshore reservoirs using 4D gravity and subsidence with improved tide corrections. (ekstern lenke)