FAU.de
Deutsch
Login
Home
Publications
Research Grants
Inventions & Patents
Awards
Additional Research Activities
Faculties & Institutions
Research Areas
Marius Kamp
List of publications:
BibTeX-Download
Lehrstuhl für Informatik 2 (Programmiersysteme)
Project Memberships
(2)
Publications
(9)
Types of publications
Toggle all
Journal article
Journal article
Book chapter / Article in edited volumes
Book chapter / Article in edited volumes
Authored book
Authored book
Translation
Translation
Thesis
Thesis
Edited Volume
Edited Volume
Conference contribution
Conference contribution
Other publication type
Other publication type
Unpublished / Preprint
Unpublished / Preprint
Publication year
From
To
Abstract
Journal
Filters (inactive)
Replication Package for "Detecting Unrealizable Bit Vector Program Synthesis Problems" (2024)
Kamp M
Other publication type, Forschungsdaten
Approximate Bit Dependency Analysis to Identify Program Synthesis Problems as Infeasible (2021)
Kamp M, Philippsen M
Conference contribution, Original article
Artifact for "Approximate Bit Dependency Analysis to Identify Program Synthesis Problems as Infeasible" (2020)
Kamp M, Philippsen M
Other publication type, Forschungsdaten
SeSaMe: A Data Set of Semantically Similar Java Methods (2019)
Kamp M, Kreutzer P, Philippsen M
Conference contribution, Original article
SeSaMe: A Data Set of Semantically Similar Java Methods [Data set] (2019)
Kamp M, Kreutzer P, Philippsen M
Other publication type, Forschungsdaten
AuDoscore: Automatic Grading of Java or Scala Homework (2017)
Oster N, Kamp M, Philippsen M
Conference contribution, Original article
More Accurate Recommendations for Method-Level Changes (2017)
Dotzler G, Kamp M, Kreutzer P, Philippsen M
Conference contribution, Original article
Entwicklung eines Werkzeugs zum Vergleich von Code-Fragmenten durch symbolische Ausführung (2014)
Kamp M
Thesis
Entwicklung eines Werkzeugs zur Extraktion von Mustern aus Software-Archiven zur Quellcode-Optimierung (2012)
Kamp M
Thesis