| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2023 | — | conf |
PanAfriCon AI (2)
|
| 2023 | — | conf |
PanAfriCon AI (2)
|
| 2023 | — | conf |
PanAfriCon AI (2)
|
| 2023 | — | conf |
PanAfriCon AI (2)
|
| 2022 | B | conf |
ENASE
|
| 2022 | — | conf |
The Logic of Software. A Tasting Menu of Formal Methods
|
| 2021 | — | conf |
CyCon
|
| 2021 | Misc | conf |
PSC
|
| 2021 | Misc | conf |
PSC
|
| 2021 | C | conf |
Software Engineering
|
| 2021 | — | conf |
SecDev
|
| 2020 | Misc | conf |
PSC
|
| 2020 | — | conf |
CyCon
|
| 2020 | — | conf |
ISoLA (1)
|
| 2019 | — | conf |
AIAI (Workshops)
|
| 2019 | — | conf |
FM Workshops (2)
|
| 2019 | J | jnl |
Inf. Process. Lett.
|
| 2019 | — | conf |
AIAI (Workshops)
|
| 2019 | J | jnl |
CoRR
|
| 2019 | B | conf |
FASE
|
| 2018 | J | jnl |
Theory Comput. Syst.
|
| 2018 | Misc | conf |
PSC
|
| 2018 | — | conf |
ISoLA (1)
|
| 2018 | — | conf |
Principled Software Development
|
| 2018 | J | jnl |
Sci. Comput. Program.
|
| 2018 | — | conf |
ISoLA (1)
|
| 2017 | J | jnl |
South Afr. Comput. J.
|
| 2017 | — | conf |
The Role of Theory in Computer Science
|
| 2017 | J | jnl |
CoRR
|
| 2017 | J | jnl |
Math. Comput. Sci.
|
| 2017 | Misc | conf |
PSC
|
| 2017 | C | conf |
CIAA
|
| 2017 | J | jnl |
CoRR
|
| 2016 | C | conf |
CIAA
|
| 2016 | — | conf |
ISoLA (1)
|
| 2016 | — | conf |
ISoLA (1)
|
| 2016 | B | conf |
ICSR
|
| 2016 | Misc | conf |
PSC
|
| 2015 | — | conf |
CLA
|
| 2015 | J | jnl |
Sci. Comput. Program.
|
| 2015 | C | conf |
CIAA
|
| 2015 | — | ed. |
SAICSIT
|
| 2015 | Misc | conf |
PSC
|
| 2015 | — | conf |
SAICSIT
|
| 2014 | Misc | conf |
PSC
|
| 2014 | — | conf |
ICABD
|
| 2014 | — | conf |
CyCon
|
| 2014 | — | conf |
SAICSIT
|
| 2014 | J | jnl |
South Afr. Comput. J.
|
| 2014 | Misc | conf |
PSC
|
| 2014 | J | jnl |
South Afr. Comput. J.
|
| 2013 | C | conf |
Developments in Language Theory
|
| 2013 | — | conf |
SAICSIT
|
| 2013 | J | jnl |
J. Discrete Algorithms
|
| 2013 | — | conf |
EANN (2)
|
| 2013 | Misc | conf |
PSC
|
| 2012 | C | conf |
IWOCA
|
| 2012 | Misc | conf |
PSC
|
| 2012 | Misc | conf |
PSC
|
| 2012 | Misc | conf |
PSC
|
| 2012 | — | conf |
CLA
|
| 2012 | — | conf |
SAICSIT
|
| 2012 | — | book |
|
| 2011 | — | ch. |
Model-Based Testing for Embedded Systems
|
| 2011 | Misc | conf |
PSC
|
| 2010 | — | conf |
SAICSIT
|
| 2010 | J | jnl |
Sci. Comput. Program.
|
| 2010 | — | ed. |
FSMNLP
|
| 2010 | Misc | conf |
PSC
|
| 2010 | Misc | conf |
PSC
|
| 2010 | — | conf |
SAICSIT
|
| 2010 | — | conf |
ICSE (2)
|
| 2009 | J | jnl |
Sci. Comput. Program.
|
| 2009 | C | conf |
ICFCA
|
| 2009 | — | ed. |
FSMNLP
|
| 2009 | Misc | conf |
PSC
|
| 2009 | J | jnl |
Int. J. Found. Comput. Sci.
|
| 2009 | J | jnl |
IET Softw.
|
| 2008 | J | jnl |
South Afr. Comput. J.
|
| 2008 | J | jnl |
Int. J. Found. Comput. Sci.
|
| 2008 | Misc | conf |
PSC
|
| 2008 | — | conf |
CSSE (2)
|
| 2008 | J | jnl |
Int. J. Found. Comput. Sci.
|
| 2008 | J | jnl |
Int. J. Found. Comput. Sci.
|
| 2008 | Misc | conf |
PSC
|
| 2007 | J | jnl |
ARIMA J.
|
| 2007 | C | conf |
CIAA
|
| 2006 | Misc | conf |
PSC
|
| 2006 | J | jnl |
South Afr. Comput. J.
|
| 2006 | J | jnl |
Int. J. Found. Comput. Sci.
|
| 2006 | Misc | conf |
PSC
|
| 2006 | Misc | conf |
PSC
|
| 2006 | Misc | conf |
PSC
|
| 2006 | J | jnl |
Softw. Pract. Exp.
|
| 2006 | C | conf |
AICCSA
|
| 2006 | J | jnl |
South Afr. Comput. J.
|
| 2005 | J | jnl |
Int. J. Found. Comput. Sci.
|
| 2005 | J | jnl |
J. Autom. Lang. Comb.
|
| 2005 | — | conf |
FSMNLP
|
| 2005 | Misc | conf |
PSC
|
| 2005 | J | jnl |
IEE Proc. Softw.
|
| 2004 | Misc | conf |
PSC
|
| 2004 | C | conf |
SPIRE
|
| 2004 | C | conf |
CIAA
|
| 2004 | C | conf |
CIAA
|
| 2004 | J | jnl |
Theor. Comput. Sci.
|
| 2004 | J | jnl |
Softw. Pract. Exp.
|
| 2004 | J | jnl |
Softw. Pract. Exp.
|
| 2004 | J | jnl |
IEE Proc. Softw.
|
| 2003 | J | jnl |
Sci. Comput. Program.
|
| 2003 | — | conf |
Grammars and Automata for String Processing
|
| 2003 | J | jnl |
Sci. Comput. Program.
|
| 2003 | J | jnl |
South Afr. Comput. J.
|
| 2003 | J | jnl |
South Afr. Comput. J.
|
| 2003 | J | jnl |
Theor. Comput. Sci.
|
| 2003 | J | jnl |
Nat. Lang. Eng.
|
| 2003 | Misc | conf |
PSC
|
| 2003 | C | conf |
CIAA
|
| 2003 | C | conf |
CIAA
|
| 2002 | J | jnl |
J. Univers. Comput. Sci.
|
| 2002 | J | jnl |
South Afr. Comput. J.
|
| 2002 | C | ed. |
CIAA
|
| 2001 | J | jnl |
South Afr. Comput. J.
|
| 2000 | — | conf |
PSCW
|
| 2000 | C | conf |
CIAA
|
| 2000 | J | jnl |
Comput. Linguistics
|
| 2000 | J | jnl |
CoRR
|
| 1999 | — | conf |
WIA
|
| 1998 | — | conf |
Workshop on Implementing Automata
|
| 1998 | — | conf |
PSCW
|
| 1997 | — | conf |
PSCW
|
| 1997 | — | conf |
PSCW
|
| 1997 | — | conf |
Workshop on Implementing Automata
|
| 1997 | — | conf |
PSCW
|
| 1996 | — | conf |
PSCW
|
| 1996 | A | conf |
ESA
|
| 1996 | J | jnl |
Sci. Comput. Program.
|
| 1996 | — | conf |
Workshop on Implementing Automata
|
| 1996 | J | jnl |
Nat. Lang. Eng.
|