Martin Vatshelle
Stilling
Førsteamanuensis, i Didaktikkgruppen
Tilhørighet
- E-post
- martin.vatshelle@uib.no
- Besøksadresse
-
Thormøhlensgate 55 Høyteknologisenteret, Datablokken, 4. etg
5006 Bergen - Rom: 406P2
- Postadresse
-
Postboks 7803
5020 Bergen
Følg meg
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
- Bergougnoux, Benjamin; Høgemo, Svein; Telle, Jan Arne et al. (2022). Recognition of Linear and Star Variants of Leaf Powers is in P. (ekstern lenke)
- Keil, J. Mark; Mitchell, Joseph S.B.; Pradhan, Dinabandhu et al. (2017). An algorithm for the maximum weight independent set problem on outerstring graphs. (ekstern lenke)
- Sæther, Sigve Hortemo; Vatshelle, Martin (2016). Hardness of computing width parameters based on branch decompositions over the vertex set. (ekstern lenke)
- Sæther, Sigve Hortemo; Telle, Jan Arne; Vatshelle, Martin (2015). Solving #SAT and MaxSAT by dynamic programming. (ekstern lenke)
- Sæther, Sigve Hortemo; Vatshelle, Martin (2015). Hardness of computing width parameters based on branch decompositions over the vertex set. (ekstern lenke)
- Oum, Sang-il; Sæther, Sigve Hortemo; Vatshelle, Martin (2014). Faster algorithms for vertex partitioning problems parameterized by clique-width. (ekstern lenke)
- Jansen, Bart Maarten Paul; Raman, Venkatesh; Vatshelle, Martin (2014). Parameter ecology for Feedback Vertex Set. (ekstern lenke)
- Telle, Jan Arne; Vatshelle, Martin; Sæther, Sigve Hortemo (2014). Solving MAXSAT and #SAT on structured CNF formulas. (ekstern lenke)
- Rabinovich, Yuri; Telle, Jan Arne; Vatshelle, Martin (2013). Upper bounds on boolean-width with applications to exact algorithms. (ekstern lenke)
- Bui-Xuan, Binh-Minh; Telle, Jan Arne; Vatshelle, Martin (2013). Fast dynamic programming for locally checkable vertex subset and vertex partitioning problems. (ekstern lenke)
- Telle, Jan Arne; Suchy, Ondra; Bui-Xuan, Binh-Minh et al. (2013). Feedback vertex set on graphs of low cliquewidth. (ekstern lenke)
- Vatshelle, Martin; Belmonte, Rémy (2013). Graph classes with structured neighborhoods and algorithmic applications. (ekstern lenke)
- Telle, Jan Arne; Vatshelle, Martin; Hvidevold, Eivind et al. (2012). Finding good decompositions for dynamic programming on dense graphs. (ekstern lenke)
- Fomin, Fedor; Gaspers, Serge; Golovach, Petr et al. (2012). k-Gap Interval Graphs. (ekstern lenke)
- Belmonte, Rémy; Vatshelle, Martin (2011). Graph Classes with Structured Neighbourhoods and Algorithmic Applications. (ekstern lenke)
- Bui-Xuan, Binh-Minh; Telle, Jan Arne; Vatshelle, Martin (2011). Boolean-width of graphs. (ekstern lenke)
- Bodlaender, Hans L.; Van Leeuwen, Erik Jan; van Rooij, Johan M. M. et al. (2010). Faster Algorithms on Branch and Clique Decompositions. (ekstern lenke)
- Adler, Isolde Marianne; Bui-Xuan, Binh-Minh; Telle, Jan Arne et al. (2010). On the boolean-width of a graph: structure and applications. (ekstern lenke)
- Meister, Daniel; Telle, Jan Arne; Vatshelle, Martin (2010). Recognizing digraphs of Kelly-width 2. (ekstern lenke)
- Bui-Xuan, Binh-Minh; Telle, Jan Arne; Vatshelle, Martin (2010). H-join decomposable graphs and algorithms with runtime single exponential in rankwidth. (ekstern lenke)
- Telle, Jan Arne; Bui-Xuan, Binh-Minh; Vatshelle, Martin (2009). Feedback Vertex Set on Graphs of low Cliquewidth. (ekstern lenke)
- Bui-Xuan, Binh-Minh; Telle, Jan Arne; Vatshelle, Martin (2009). Boolean-width of graphs. (ekstern lenke)
- Telle, Jan Arne; Meister, Daniel; Vatshelle, Martin (2007). Characterization and recognition of graphs of bounded Kelly-width. (ekstern lenke)
Sammendrag/abstract
- Agersborg, Remy; Hille, Lars T.; Lien, Martha et al. (2017). Mapping water influx and hydrocarbon depletion in offshore reservoirs using gravimetry: Requirements on gravimeter calibration. (ekstern lenke)
- Ruiz, Hugo; Agersborg, Remy; Hille, Lars T. et al. (2016). Monitoring offshore reservoirs using 4D gravity and subsidence with improved tide corrections. (ekstern lenke)