| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2025 | J | jnl |
CoRR
|
| 2025 | J | jnl |
CoRR
|
| 2023 | — | conf |
PKDD/ECML Workshops (5)
|
| 2023 | J | jnl |
PeerJ Comput. Sci.
|
| 2023 | J | jnl |
R J.
|
| 2022 | — | conf |
CCIA
|
| 2022 | — | conf |
CCIA
|
| 2022 | — | conf |
CCIA
|
| 2022 | — | conf |
PKDD/ECML Workshops (2)
|
| 2021 | J | jnl |
PeerJ Comput. Sci.
|
| 2021 | J | jnl |
J. Bank. Financial Technol.
|
| 2021 | J | jnl |
CoRR
|
| 2020 | J | jnl |
Neural Process. Lett.
|
| 2020 | — | conf |
ICANN (1)
|
| 2019 | — | conf |
MIDAS@PKDD
|
| 2017 | — | conf |
CCIA
|
| 2017 | J | jnl |
CoRR
|
| 2017 | — | conf |
IWANN (2)
|
| 2017 | J | jnl |
Methods of class field theory to separate logics over finite residue classes and circuit complexity.
J. Log. Comput.
|
| 2016 | — | conf |
MIDAS@PKDD/ECML
|
| 2016 | J | jnl |
Inf. Syst.
|
| 2016 | — | conf |
ICANN (2)
|
| 2016 | — | conf |
ICMS
|
| 2016 | — | conf |
MIDAS@PKDD/ECML
|
| 2015 | J | jnl |
Methods of Class Field Theory to Separate Logics over Finite Residue Classes and Circuit Complexity.
CoRR
|
| 2014 | — | book |
|
| 2014 | B | conf |
IDA
|
| 2013 | C | conf |
WoLLIC
|
| 2013 | J | jnl |
ACM Trans. Intell. Syst. Technol.
|
| 2011 | J | jnl |
CoRR
|
| 2011 | J | jnl |
CoRR
|
| 2009 | J | jnl |
Log. J. IGPL
|
| 2008 | C | conf |
CiE
|
| 2006 | B | conf |
LATIN
|
| 2006 | J | jnl |
J. Log. Comput.
|
| 2006 | J | jnl |
Electron. Colloquium Comput. Complex.
|
| 2004 | B | conf |
LATIN
|
| 2002 | J | jnl |
Log. J. IGPL
|