| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2026 | J | jnl |
J. Symb. Comput.
|
| 2024 | B | conf |
ISSAC
|
| 2024 | B | conf |
ISSAC
|
| 2022 | J | jnl |
CoRR
|
| 2022 | B | conf |
ISSAC
|
| 2022 | B | conf |
ISSAC
|
| 2021 | B | conf |
ISSAC
|
| 2021 | J | jnl |
J. Symb. Comput.
|
| 2021 | B | conf |
ISSAC
|
| 2021 | J | jnl |
J. Symb. Comput.
|
| 2021 | J | jnl |
IEEE Trans. Inf. Theory
|
| 2020 | J | jnl |
ACM Commun. Comput. Algebra
|
| 2020 | J | jnl |
Found. Comput. Math.
|
| 2020 | J | jnl |
J. Symb. Comput.
|
| 2020 | B | conf |
CASC
|
| 2019 | J | jnl |
CoRR
|
| 2019 | J | jnl |
CoRR
|
| 2018 | B | conf |
ISSAC
|
| 2017 | J | jnl |
CoRR
|
| 2017 | B | conf |
ISSAC
|
| 2017 | B | conf |
ISSAC
|
| 2016 | B | conf |
ISSAC
|
| 2016 | J | jnl |
CoRR
|
| 2016 | B | conf |
ISSAC
|
| 2016 | J | jnl |
J. Symb. Comput.
|
| 2015 | B | conf |
ISSAC
|
| 2015 | J | jnl |
CoRR
|
| 2015 | J | jnl |
ACM Commun. Comput. Algebra
|
| 2015 | — | ed. |
PASCO
|
| 2014 | — | conf |
SNC
|
| 2014 | B | conf |
ISSAC
|
| 2014 | J | jnl |
CoRR
|
| 2014 | J | jnl |
ACM Commun. Comput. Algebra
|
| 2014 | — | conf |
SNC
|
| 2014 | J | jnl |
CoRR
|
| 2014 | B | conf |
ISSAC
|
| 2014 | B | conf |
ISSAC
|
| 2013 | — | ch. |
Handbook of Finite Fields
|
| 2013 | J | jnl |
ACM Commun. Comput. Algebra
|
| 2013 | J | jnl |
ACM Commun. Comput. Algebra
|
| 2013 | J | jnl |
ACM Trans. Algorithms
|
| 2013 | B | conf |
ISSAC
|
| 2012 | B | conf |
ISSAC
|
| 2012 | J | jnl |
J. Symb. Comput.
|
| 2012 | J | jnl |
J. Symb. Comput.
|
| 2012 | — | conf |
ASCM
|
| 2012 | B | conf |
ISSAC
|
| 2012 | J | jnl |
J. Symb. Comput.
|
| 2012 | — | conf |
ASCM
|
| 2011 | — | conf |
SNC
|
| 2011 | B | conf |
ISSAC
|
| 2011 | B | conf |
ISSAC
|
| 2011 | A | conf |
STACS
|
| 2011 | Misc | conf |
SYNASC
|
| 2010 | B | conf |
ISSAC
|
| 2010 | J | jnl |
Comput. Complex.
|
| 2010 | — | conf |
PASCO
|
| 2010 | J | jnl |
CoRR
|
| 2009 | — | conf |
Computer-assisted proofs - tools, methods and applications
|
| 2009 | — | conf |
Computer-assisted proofs - tools, methods and applications
|
| 2009 | — | conf |
SNC
|
| 2009 | — | ed. |
Computer-assisted proofs - tools, methods and applications
|
| 2009 | B | ed. |
ISSAC
|
| 2008 | J | jnl |
J. Symb. Comput.
|
| 2008 | J | jnl |
ACM Commun. Comput. Algebra
|
| 2008 | B | conf |
ISSAC
|
| 2008 | B | conf |
ISSAC
|
| 2007 | J | jnl |
ACM Commun. Comput. Algebra
|
| 2007 | — | conf |
SNC
|
| 2007 | B | conf |
ISSAC
|
| 2007 | — | conf |
SNC
|
| 2006 | — | conf |
Challenges in Symbolic Computation Software
|
| 2006 | — | conf |
Challenges in Symbolic Computation Software
|
| 2006 | B | conf |
ISSAC
|
| 2006 | — | ed. |
Challenges in Symbolic Computation Software
|
| 2006 | B | conf |
ISSAC
|
| 2006 | B | conf |
ISSAC
|
| 2005 | B | conf |
ISSAC
|
| 2005 | J | jnl |
Comput. Complex.
|
| 2005 | B | conf |
ISSAC
|
| 2004 | B | conf |
ISSAC
|
| 2004 | J | jnl |
J. Symb. Comput.
|
| 2003 | J | jnl |
J. Symb. Comput.
|
| 2003 | J | jnl |
J. Symb. Comput.
|
| 2003 | B | conf |
ISSAC
|
| 2003 | B | conf |
ISSAC
|
| 2002 | B | conf |
ISSAC
|
| 2002 | B | conf |
ISSAC
|
| 2001 | B | ed. |
ISSAC
|
| 2000 | J | jnl |
J. Symb. Comput.
|
| 2000 | B | conf |
ISSAC
|
| 1999 | — | ch. |
Algorithms and Theory of Computation Handbook
|
| 1999 | J | jnl |
Algorithmica
|
| 1999 | J | jnl |
SIGSAM Bull.
|
| 1999 | B | conf |
ISSAC
|
| 1999 | B | conf |
ISSAC
|
| 1999 | B | conf |
ISSAC
|
| 1998 | B | conf |
ISSAC
|
| 1998 | B | conf |
ISSAC
|
| 1998 | J | jnl |
Math. Comput.
|
| 1997 | — | ch. |
The Computer Science and Engineering Handbook
|
| 1997 | B | conf |
ISSAC
|
| 1997 | B | conf |
ISSAC
|
| 1997 | — | ed. |
PASCO
|
| 1997 | J | jnl |
J. Symb. Comput.
|
| 1996 | B | conf |
ISSAC
|
| 1996 | B | conf |
ISSAC
|
| 1995 | J | jnl |
J. Comput. Syst. Sci.
|
| 1995 | J | jnl |
IEEE Trans. Computers
|
| 1995 | B | conf |
ISSAC
|
| 1995 | A* | conf |
PODC
|
| 1995 | — | conf |
LCR
|
| 1995 | J | jnl |
J. Symb. Comput.
|
| 1995 | A* | conf |
STOC
|
| 1994 | B | conf |
ISSAC
|
| 1994 | B | conf |
ISSAC
|
| 1994 | — | conf |
PASCO
|
| 1993 | — | conf |
AAECC
|
| 1993 | J | jnl |
SIGSAM Bull.
|
| 1993 | — | conf |
DISCO
|
| 1992 | B | conf |
ISSAC
|
| 1992 | B | conf |
LATIN
|
| 1992 | A* | conf |
FOCS
|
| 1991 | B | conf |
ISSAC
|
| 1991 | A* | conf |
STOC
|
| 1991 | J | jnl |
Acta Informatica
|
| 1991 | — | conf |
AAECC
|
| 1991 | B | conf |
SPAA
|
| 1990 | J | jnl |
Appl. Algebra Eng. Commun. Comput.
|
| 1990 | J | jnl |
J. Symb. Comput.
|
| 1990 | B | conf |
ISSAC
|
| 1990 | J | jnl |
J. Symb. Comput.
|
| 1989 | B | conf |
ISSAC
|
| 1989 | — | ed. |
Computers and Mathematics
|
| 1989 | — | book |
|
| 1989 | — | conf |
SCG
|
| 1989 | J | jnl |
Adv. Comput. Res.
|
| 1989 | B | conf |
ISSAC
|
| 1988 | J | jnl |
SIGSAM Bull.
|
| 1988 | A* | conf |
FOCS
|
| 1988 | J | jnl |
ACM Trans. Math. Softw.
|
| 1988 | J | jnl |
SIAM J. Comput.
|
| 1988 | J | jnl |
J. ACM
|
| 1988 | B | conf |
ISSAC
|
| 1987 | J | jnl |
J. Symb. Comput.
|
| 1987 | — | conf |
EUROCAL
|
| 1987 | A* | conf |
STOC
|
| 1986 | — | conf |
SYMSAC
|
| 1986 | — | conf |
Aegean Workshop on Computing
|
| 1986 | — | conf |
SYMSAC
|
| 1986 | A* | conf |
STOC
|
| 1985 | — | conf |
European Conference on Computer Algebra (2)
|
| 1985 | A* | conf |
STOC
|
| 1985 | A* | conf |
FOCS
|
| 1985 | J | jnl |
Inf. Control.
|
| 1985 | J | jnl |
J. Comput. Syst. Sci.
|
| 1985 | J | jnl |
J. Symb. Comput.
|
| 1985 | J | jnl |
SIAM J. Comput.
|
| 1985 | — | conf |
European Conference on Computer Algebra (2)
|
| 1984 | — | conf |
EUROSAM
|
| 1984 | — | conf |
EUROSAM
|
| 1984 | — | conf |
EUROSAM
|
| 1983 | J | jnl |
SIAM J. Comput.
|
| 1983 | — | conf |
EUROCAL
|
| 1983 | A* | conf |
ICALP
|
| 1982 | A* | conf |
STOC
|
| 1982 | A* | conf |
FOCS
|
| 1982 | J | jnl |
SIGSAM Bull.
|
| 1981 | — | conf |
SYMSACC
|