| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2026 | C | ed. |
WoLLIC
|
| 2025 | J | jnl |
J. Log. Comput.
|
| 2025 | J | jnl |
Log. J. IGPL
|
| 2025 | J | jnl |
CoRR
|
| 2025 | J | jnl |
CoRR
|
| 2025 | J | jnl |
J. Log. Comput.
|
| 2025 | J | jnl |
CoRR
|
| 2025 | J | jnl |
CoRR
|
| 2025 | J | jnl |
CoRR
|
| 2025 | J | jnl |
CoRR
|
| 2025 | J | jnl |
CoRR
|
| 2025 | J | jnl |
Math. Struct. Comput. Sci.
|
| 2024 | C | ed. |
WoLLIC
|
| 2024 | J | jnl |
J. Cryptogr. Eng.
|
| 2023 | J | jnl |
CoRR
|
| 2023 | C | ed. |
WoLLIC
|
| 2023 | J | jnl |
Arch. Math. Log.
|
| 2022 | J | jnl |
J. Log. Lang. Inf.
|
| 2022 | J | jnl |
Inf. Comput.
|
| 2022 | J | jnl |
Internet Policy Rev.
|
| 2022 | J | jnl |
IEEE Access
|
| 2022 | C | ed. |
WoLLIC
|
| 2022 | J | jnl |
Log. J. IGPL
|
| 2021 | J | jnl |
Arch. Math. Log.
|
| 2021 | C | ed. |
WoLLIC
|
| 2021 | J | jnl |
CoRR
|
| 2021 | J | jnl |
CoRR
|
| 2020 | — | conf |
Blockchain
|
| 2020 | J | jnl |
CoRR
|
| 2020 | J | jnl |
CoRR
|
| 2019 | J | jnl |
Ann. Pure Appl. Log.
|
| 2019 | J | jnl |
Log. J. IGPL
|
| 2019 | J | jnl |
Log. J. IGPL
|
| 2019 | J | jnl |
CoRR
|
| 2019 | J | jnl |
An alternative approach to the calculation of fundamental groups based on labeled natural deduction.
CoRR
|
| 2019 | J | jnl |
CoRR
|
| 2019 | C | ed. |
WoLLIC
|
| 2019 | J | jnl |
Math. Struct. Comput. Sci.
|
| 2019 | J | jnl |
Log. J. IGPL
|
| 2018 | C | ed. |
WoLLIC
|
| 2018 | J | jnl |
CoRR
|
| 2018 | J | jnl |
CoRR
|
| 2018 | J | jnl |
CoRR
|
| 2018 | — | conf |
LSFA
|
| 2017 | J | jnl |
J. Comput. Syst. Sci.
|
| 2017 | J | jnl |
Inf. Comput.
|
| 2017 | J | jnl |
Log. J. IGPL
|
| 2017 | C | ed. |
WoLLIC
|
| 2017 | J | jnl |
Log. J. IGPL
|
| 2016 | J | jnl |
Log. J. IGPL
|
| 2016 | B | conf |
NOMS
|
| 2016 | J | jnl |
CoRR
|
| 2016 | J | jnl |
Int. J. Law Inf. Technol.
|
| 2016 | C | ed. |
WoLLIC
|
| 2016 | C | conf |
WoLLIC
|
| 2016 | B | conf |
NOMS
|
| 2015 | J | jnl |
Log. J. IGPL
|
| 2015 | J | jnl |
CoRR
|
| 2015 | J | jnl |
CoRR
|
| 2015 | J | jnl |
CoRR
|
| 2015 | J | jnl |
CoRR
|
| 2015 | J | jnl |
CoRR
|
| 2015 | J | jnl |
Theor. Comput. Sci.
|
| 2015 | C | ed. |
WoLLIC
|
| 2015 | — | conf |
LSFA
|
| 2015 | J | jnl |
CoRR
|
| 2015 | J | jnl |
CoRR
|
| 2015 | J | jnl |
CoRR
|
| 2014 | J | jnl |
J. Comput. Syst. Sci.
|
| 2014 | J | jnl |
J. Comput. Syst. Sci.
|
| 2014 | J | jnl |
Log. J. IGPL
|
| 2014 | C | ed. |
WoLLIC
|
| 2014 | J | jnl |
CoRR
|
| 2014 | C | conf |
WoLLIC
|
| 2013 | C | conf |
WoLLIC
|
| 2013 | C | ed. |
WoLLIC
|
| 2013 | J | jnl |
Eur. J. Law Technol.
|
| 2013 | — | conf |
LatinCloud
|
| 2013 | — | conf |
TrustCom/ISPA/IUCC
|
| 2013 | — | conf |
TrustCom/ISPA/IUCC
|
| 2012 | — | conf |
SERE (Companion)
|
| 2012 | C | ed. |
WoLLIC
|
| 2011 | C | ed. |
WoLLIC
|
| 2011 | J | jnl |
Fundam. Informaticae
|
| 2011 | — | conf |
SocialCom/PASSAT
|
| 2011 | J | jnl |
Fundam. Informaticae
|
| 2011 | J | jnl |
CoRR
|
| 2011 | — | book |
|
| 2011 | — | conf |
SBSI
|
| 2010 | — | conf |
PETRA
|
| 2010 | J | jnl |
J. Comput. Syst. Sci.
|
| 2010 | C | ed. |
WoLLIC
|
| 2010 | J | jnl |
Inf. Comput.
|
| 2010 | — | conf |
LSFA
|
| 2009 | C | ed. |
WoLLIC
|
| 2009 | J | jnl |
Inf. Comput.
|
| 2009 | C | conf |
WoLLIC
|
| 2008 | C | ed. |
WoLLIC
|
| 2008 | J | jnl |
Ann. Pure Appl. Log.
|
| 2008 | J | jnl |
Stud Logica
|
| 2007 | C | ed. |
WoLLIC
|
| 2006 | J | jnl |
Theor. Comput. Sci.
|
| 2006 | C | conf |
WoLLIC
|
| 2006 | J | jnl |
Theor. Comput. Sci.
|
| 2006 | C | ed. |
WoLLIC
|
| 2006 | C | ed. |
WoLLIC
|
| 2005 | — | conf |
We Will Show Them! (2)
|
| 2005 | J | jnl |
Arch. Math. Log.
|
| 2005 | C | conf |
WoLLIC
|
| 2005 | C | ed. |
WoLLIC
|
| 2005 | J | jnl |
Ann. Pure Appl. Log.
|
| 2004 | C | conf |
WoLLIC
|
| 2003 | C | ed. |
WoLLIC
|
| 2003 | — | ch. |
Logic for Concurrency and Synchronisation
|
| 2003 | — | book |
|
| 2003 | C | conf |
WoLLIC
|
| 2002 | C | ed. |
WoLLIC
|
| 2002 | J | jnl |
Log. J. IGPL
|
| 2002 | C | conf |
WoLLIC
|
| 2001 | J | jnl |
Log. J. IGPL
|
| 2001 | J | jnl |
Log. J. IGPL
|
| 2001 | J | jnl |
Log. J. IGPL
|
| 2000 | J | jnl |
Log. J. IGPL
|
| 1999 | J | jnl |
Log. J. IGPL
|
| 1998 | J | jnl |
Log. J. IGPL
|
| 1998 | J | jnl |
Log. J. IGPL
|
| 1997 | J | jnl |
Log. J. IGPL
|
| 1996 | J | jnl |
Log. J. IGPL
|
| 1996 | J | jnl |
Log. J. IGPL
|
| 1995 | J | jnl |
Log. J. IGPL
|
| 1995 | J | jnl |
Log. J. IGPL
|
| 1995 | — | conf |
SBIA
|
| 1995 | J | jnl |
Log. J. IGPL
|
| 1995 | J | jnl |
Log. J. IGPL
|
| 1994 | J | jnl |
Log. J. IGPL
|
| 1992 | J | jnl |
J. Symb. Log.
|
| 1991 | J | jnl |
Math. Log. Q.
|
| 1990 | J | jnl |
Math. Log. Q.
|