| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2026 | J | jnl |
J. Comput. Appl. Math.
|
| 2022 | J | jnl |
BMC Bioinform.
|
| 2020 | J | jnl |
BMC Bioinform.
|
| 2014 | J | jnl |
J. Clin. Bioinform.
|
| 2014 | J | jnl |
Math. Struct. Comput. Sci.
|
| 2011 | J | jnl |
Math. Struct. Comput. Sci.
|
| 2008 | J | jnl |
Math. Log. Q.
|
| 2008 | J | jnl |
Math. Log. Q.
|
| 2005 | — | conf |
Mathematics, Algorithms, Proofs
|
| 2005 | J | jnl |
Math. Log. Q.
|
| 2004 | J | jnl |
Am. Math. Mon.
|
| 2004 | J | jnl |
J. Symb. Comput.
|