| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2025 | — | conf |
SIGMOD Conference Companion
|
| 2025 | — | conf |
SIGMOD Conference Companion
|
| 2021 | J | jnl |
Astron. Comput.
|
| 2021 | J | jnl |
SIAM J. Discret. Math.
|
| 2021 | J | jnl |
J. Comb. Theory A
|
| 2020 | J | jnl |
CoRR
|
| 2020 | J | jnl |
J. Graph Theory
|
| 2018 | — | conf |
HCI (23)
|
| 2018 | — | conf |
DESIRES
|
| 2015 | — | conf |
MTSummit
|
| 2015 | C | conf |
EAMT
|
| 2011 | J | jnl |
Internet High. Educ.
|
| 2011 | J | jnl |
Eur. J. Law Technol.
|
| 2010 | A | conf |
FPGA
|
| 2009 | — | conf |
HCI (10)
|
| 2002 | J | jnl |
J. Comput. Sci. Coll.
|
| 2001 | — | conf |
Integrated Network Management
|
| 2000 | J | jnl |
J. Netw. Syst. Manag.
|
| 1999 | — | conf |
CICC
|
| 1999 | C | conf |
IEEE Symposium on Computer Arithmetic
|
| 1998 | Misc | conf |
SIGUCCS
|
| 1997 | A | conf |
ICCAD
|
| 1995 | J | jnl |
Br. J. Educ. Technol.
|
| 1981 | J | jnl |
J. Philos. Log.
|
| 1979 | J | jnl |
J. Philos. Log.
|
| 1978 | — | conf |
ACM Annual Conference (1)
|
| 1977 | J | jnl |
J. Philos. Log.
|
| 1974 | J | jnl |
J. Philos. Log.
|
| 1973 | J | jnl |
J. Philos. Log.
|
| 1971 | — | — |
Closure of Classes of Formal Languages under Substitution Operators.
|