Jas Semrl

11 papers A* 1C 3Journal 5Unranked 2
YearRankTypeTitle / Venue / Authors
2023 C conf
RAMiCS
Andrew Lewis-Smith, Jas Semrl
2023 C conf
RAMiCS
Peter Jipsen, Jas Semrl
2023 J jnl
CoRR
Peter Jipsen, Jas Semrl
2021 A* conf
LICS
Robin Hirsch, Jas Semrl
2021 J jnl
CoRR
Robin Hirsch, Jas Semrl
2021 C conf
RAMiCS
Jas Semrl
2021 J jnl
CoRR
Jas Semrl
2021 J jnl
CoRR
Jas Semrl
2020 J jnl
CoRR
Robin Hirsch, Jas Semrl
2017 conf
BESC
Jas Semrl, Alexandru Matei
2017 conf
BESC
Jas Semrl, Alexandru Matei