| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2023 | — | book |
Logic and Language Models for Computer Science, 4th Ed.
|
| 2021 | J | jnl |
SIGACT News
|
| 2019 | J | jnl |
Parallel Process. Lett.
|
| 2019 | B | conf |
SOFSEM
|
| 2018 | J | jnl |
CoRR
|
| 2017 | — | book |
Logic and Language Models for Computer Science (3rd Ed.)
|
| 2017 | J | jnl |
Discret. Appl. Math.
|
| 2017 | B | conf |
FCT
|
| 2016 | B | conf |
LATIN
|
| 2016 | J | jnl |
CoRR
|
| 2015 | — | conf |
CCCG
|
| 2015 | J | jnl |
CoRR
|
| 2015 | J | jnl |
CoRR
|
| 2011 | J | jnl |
Auton. Agents Multi Agent Syst.
|
| 2009 | B | conf |
ICCCN
|
| 2009 | J | jnl |
Internet Math.
|
| 2008 | — | conf |
Security, Forensics, Steganography, and Watermarking of Multimedia Contents
|
| 2007 | — | conf |
VISAPP (2)
|
| 2006 | — | conf |
Security, Steganography, and Watermarking of Multimedia Contents
|
| 2006 | — | conf |
Information Hiding
|
| 2006 | C | conf |
IWDW
|
| 2005 | — | conf |
ICIAR
|
| 2002 | J | jnl |
SIGACT News
|
| 2000 | J | jnl |
J. Interconnect. Networks
|
| 2000 | J | jnl |
SIGACT News
|
| 1999 | B | conf |
SIROCCO
|
| 1990 | J | jnl |
Discret. Appl. Math.
|
| 1988 | A | conf |
ICCAD
|
| 1988 | J | jnl |
Networks
|
| 1984 | J | jnl |
IEEE Trans. Computers
|
| 1982 | J | jnl |
ACM SIGCSE Bull.
|
| 1981 | J | jnl |
ACM SIGCSE Bull.
|
| 1980 | J | jnl |
SIGARCH Comput. Archit. News
|