| 2026 |
J |
jnl |
Int. J. Found. Comput. Sci.
Kevin Lotz, Mitja Kulczynski, Dirk Nowotka, Danny Bøgsted Poulsen, Anders Schlichtkrull
|
| 2025 |
B |
conf |
FMCAD
Kevin Lotz, Mitja Kulczynski, Dirk Nowotka
|
| 2024 |
— |
conf |
SBMF
Mitja Kulczynski, Kevin Lotz, Florin Manea, Danny Bøgsted Poulsen, Paul Sarnighausen-Cahn
|
| 2024 |
— |
conf |
Wirtschaftsinformatik
Hanna Fritzke, Ann-Kristin Cordes, Mitja Kulczynski
|
| 2023 |
J |
jnl |
Theor. Comput. Sci.
Murphy Berzish, Joel D. Day, Vijay Ganesh, Mitja Kulczynski, Florin Manea, Federico Mora, Dirk Nowotka
|
| 2023 |
C |
conf |
CIAA
Kevin Lotz, Mitja Kulczynski, Dirk Nowotka, Danny Bøgsted Poulsen, Anders Schlichtkrull
|
| 2023 |
J |
jnl |
J. Softw. Evol. Process.
Mitja Kulczynski, Florin Manea, Dirk Nowotka, Danny Bøgsted Poulsen
|
| 2022 |
J |
jnl |
CoRR
Joel D. Day, Adrian Kröger, Mitja Kulczynski, Florin Manea, Dirk Nowotka, Danny Bøgsted Poulsen
|
| 2022 |
— |
— |
Mitja Kulczynski
|
| 2022 |
— |
conf |
SPIN
Mitja Kulczynski, Kevin Lotz, Dirk Nowotka, Danny Bøgsted Poulsen
|
| 2021 |
— |
conf |
CAV (2)
Murphy Berzish, Mitja Kulczynski, Federico Mora, Florin Manea, Joel D. Day, Dirk Nowotka, Vijay Ganesh
|
| 2021 |
— |
conf |
F-IDE@NFM
Mitja Kulczynski, Axel Legay, Dirk Nowotka, Danny Bøgsted Poulsen
|
| 2021 |
C |
conf |
RAMiCS
Rudolf Berghammer, Mitja Kulczynski
|
| 2021 |
— |
conf |
WORDS
Murphy Berzish, Joel D. Day, Vijay Ganesh, Mitja Kulczynski, Florin Manea, Federico Mora, Dirk Nowotka
|
| 2021 |
J |
jnl |
CoRR
Murphy Berzish, Joel D. Day, Vijay Ganesh, Mitja Kulczynski, Florin Manea, Federico Mora, Dirk Nowotka
|
| 2021 |
J |
jnl |
CoRR
Pamela Fleischmann, Mitja Kulczynski, Dirk Nowotka
|
| 2021 |
C |
conf |
DLT
Yannik Eikmeier, Pamela Fleischmann, Mitja Kulczynski, Dirk Nowotka
|
| 2021 |
B |
conf |
FM
Federico Mora, Murphy Berzish, Mitja Kulczynski, Dirk Nowotka, Vijay Ganesh
|
| 2020 |
J |
jnl |
CoRR
Murphy Berzish, Mitja Kulczynski, Federico Mora, Florin Manea, Joel D. Day, Dirk Nowotka, Vijay Ganesh
|
| 2020 |
C |
conf |
LATA
Pamela Fleischmann, Mitja Kulczynski, Dirk Nowotka, Danny Bøgsted Poulsen
|
| 2020 |
— |
conf |
FormaliSE@ICSE
Joel D. Day, Mitja Kulczynski, Florin Manea, Dirk Nowotka, Danny Bøgsted Poulsen
|
| 2020 |
C |
conf |
AST
Mitja Kulczynski, Florin Manea, Dirk Nowotka, Danny Bøgsted Poulsen
|
| 2019 |
— |
conf |
FMTea
Pamela Fleischmann, Mitja Kulczynski, Dirk Nowotka, Thomas Wilke
|
| 2019 |
J |
jnl |
CoRR
Pamela Fleischmann, Mitja Kulczynski, Dirk Nowotka
|
| 2019 |
— |
conf |
RP
Joel D. Day, Thorsten Ehlers, Mitja Kulczynski, Florin Manea, Dirk Nowotka, Danny Bøgsted Poulsen
|
| 2019 |
J |
jnl |
CoRR
Joel D. Day, Thorsten Ehlers, Mitja Kulczynski, Florin Manea, Dirk Nowotka, Danny Bøgsted Poulsen
|