| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2017 | A | conf |
On the Combination of the Bernays-Schönfinkel-Ramsey Fragment with Simple Linear Integer Arithmetic.
CADE
|
| 2017 | J | jnl |
On the Combination of the Bernays-Schönfinkel-Ramsey Fragment with Simple Linear Integer Arithmetic.
CoRR
|
| 2017 | J | jnl |
CoRR
|
| 2016 | J | jnl |
CoRR
|
| 2015 | — | conf |
FroCos
|
| 2014 | A | conf |
IJCAR
|
| 2013 | — | ed. |
GI-Jahrestagung
|
| 2013 | — | conf |
Automated Reasoning and Mathematics
|
| 2013 | — | conf |
FroCos
|
| 2011 | A | conf |
CADE
|
| 2011 | A | conf |
CADE
|
| 2010 | — | conf |
LPAR (Dakar)
|
| 2010 | — | — |
|
| 2010 | J | jnl |
ACM Trans. Comput. Log.
|
| 2009 | A | conf |
CADE
|
| 2009 | B | conf |
CSL
|
| 2008 | J | jnl |
CoRR
|
| 2008 | B | conf |
CSL
|