| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2026 | J | jnl |
CoRR
|
| 2025 | J | jnl |
Artif. Life
|
| 2025 | J | jnl |
Nat. Comput.
|
| 2025 | — | conf |
UCNC
|
| 2025 | J | jnl |
CoRR
|
| 2025 | — | conf |
UCNC
|
| 2025 | J | jnl |
Nat. Comput.
|
| 2025 | J | jnl |
CoRR
|
| 2025 | J | jnl |
Int. J. Parallel Emergent Distributed Syst.
|
| 2024 | — | conf |
UCNC
|
| 2024 | J | jnl |
Artif. Life
|
| 2024 | J | jnl |
Artif. Life
|
| 2024 | J | jnl |
Artif. Life
|
| 2024 | — | conf |
UCNC
|
| 2024 | — | conf |
UCNC
|
| 2024 | J | jnl |
Neuromorph. Comput. Eng.
|
| 2024 | J | jnl |
Artif. Life
|
| 2024 | J | jnl |
CoRR
|
| 2024 | J | jnl |
Nat. Comput.
|
| 2024 | J | jnl |
CoRR
|
| 2024 | — | conf |
ICANN (10)
|
| 2024 | J | jnl |
CoRR
|
| 2024 | J | jnl |
Artif. Life
|
| 2023 | B | conf |
IJCNN
|
| 2023 | B | conf |
GI
|
| 2023 | J | jnl |
Mach. Learn.
|
| 2023 | J | jnl |
Artif. Life
|
| 2023 | J | jnl |
Artif. Life
|
| 2023 | — | conf |
UCNC
|
| 2023 | — | conf |
UCNC
|
| 2023 | — | conf |
UCNC
|
| 2023 | — | conf |
UCNC
|
| 2023 | J | jnl |
CoRR
|
| 2022 | J | jnl |
CoRR
|
| 2022 | J | jnl |
Artif. Life
|
| 2022 | J | jnl |
Artif. Life
|
| 2022 | — | conf |
GPTP
|
| 2022 | J | jnl |
SN Comput. Sci.
|
| 2021 | C | conf |
EvoMUSART
|
| 2021 | — | conf |
UCNC
|
| 2021 | Misc | conf |
CogSIMA
|
| 2021 | J | jnl |
Artif. Life
|
| 2021 | J | jnl |
Nat. Comput.
|
| 2021 | — | conf |
UCNC
|
| 2021 | J | jnl |
CoRR
|
| 2021 | — | ch. |
Reservoir Computing
|
| 2021 | J | jnl |
CoRR
|
| 2021 | J | jnl |
Nat. Comput.
|
| 2021 | J | jnl |
Nat. Comput.
|
| 2021 | — | conf |
SSCI
|
| 2021 | C | conf |
ALIFE
|
| 2020 | C | conf |
ALIFE
|
| 2020 | J | jnl |
Genet. Program. Evolvable Mach.
|
| 2020 | C | conf |
ALIFE
|
| 2020 | J | jnl |
Artif. Life
|
| 2020 | C | conf |
ALIFE
|
| 2019 | C | conf |
ALIFE
|
| 2019 | C | conf |
ALIFE
|
| 2019 | — | conf |
UCNC
|
| 2019 | J | jnl |
Nat. Comput.
|
| 2019 | A | conf |
GECCO
|
| 2019 | J | jnl |
CoRR
|
| 2019 | — | conf |
UCNC
|
| 2019 | — | conf |
UCNC
|
| 2019 | J | jnl |
Nat. Comput.
|
| 2018 | J | jnl |
CoRR
|
| 2018 | — | conf |
ICSE (Companion Volume)
|
| 2018 | — | ch. |
Computational Matter
|
| 2018 | — | book |
|
| 2018 | C | conf |
EvoMUSART
|
| 2018 | — | ch. |
Computational Matter
|
| 2018 | — | book |
|
| 2018 | B | conf |
EuroGP
|
| 2018 | B | conf |
SSBSE
|
| 2018 | — | ch. |
Computational Matter
|
| 2018 | C | conf |
ALIFE
|
| 2018 | — | ch. |
Computational Matter
|
| 2018 | B | conf |
ICGT
|
| 2018 | — | ch. |
Computational Matter
|
| 2018 | J | jnl |
CoRR
|
| 2018 | — | ch. |
Computational Matter
|
| 2018 | — | ed. |
UCNC
|
| 2017 | J | jnl |
PLoS Comput. Biol.
|
| 2017 | B | conf |
SSBSE
|
| 2017 | J | jnl |
IEEE Trans. Neural Networks Learn. Syst.
|
| 2017 | J | jnl |
Artif. Life
|
| 2017 | J | jnl |
CoRR
|
| 2017 | — | conf |
ECAL
|
| 2017 | — | ch. |
Guide to Unconventional Computing for Music
|
| 2017 | B | conf |
IJCNN
|
| 2017 | J | jnl |
Int. J. Found. Comput. Sci.
|
| 2017 | J | jnl |
Commun. ACM
|
| 2017 | — | conf |
ECAL
|
| 2016 | C | conf |
EvoMUSART
|
| 2016 | C | conf |
ALIFE
|
| 2016 | J | jnl |
Theory Biosci.
|
| 2016 | J | jnl |
Artif. Life
|
| 2016 | C | conf |
ALIFE
|
| 2016 | — | conf |
UCNC
|
| 2016 | C | conf |
ALIFE
|
| 2016 | J | jnl |
Artif. Life
|
| 2016 | J | jnl |
Bull. EATCS
|
| 2016 | J | jnl |
Bull. EATCS
|
| 2016 | — | conf |
SSCI
|
| 2015 | — | conf |
ECAL
|
| 2015 | J | jnl |
Nat. Comput.
|
| 2015 | — | conf |
ECAL
|
| 2015 | J | jnl |
Nat. Comput.
|
| 2015 | — | conf |
ECAL
|
| 2015 | — | ed. |
ECAL
|
| 2015 | J | jnl |
Bull. EATCS
|
| 2015 | — | conf |
ECAL
|
| 2014 | J | jnl |
Int. J. Found. Comput. Sci.
|
| 2014 | J | jnl |
IEEE Trans. Evol. Comput.
|
| 2014 | J | jnl |
Int. J. Gen. Syst.
|
| 2014 | C | conf |
ALIFE
|
| 2014 | C | conf |
ALIFE
|
| 2013 | B | conf |
IEEE Congress on Evolutionary Computation
|
| 2013 | J | jnl |
Formal Aspects Comput.
|
| 2013 | J | jnl |
Nat. Comput.
|
| 2013 | J | jnl |
Biosyst.
|
| 2013 | — | conf |
UCNC
|
| 2013 | — | conf |
UCNC
|
| 2013 | J | jnl |
Nat. Comput.
|
| 2013 | — | conf |
ICES
|
| 2013 | J | jnl |
Biosyst.
|
| 2013 | J | jnl |
CoRR
|
| 2013 | J | jnl |
CoRR
|
| 2012 | J | jnl |
Int. J. Unconv. Comput.
|
| 2012 | — | conf |
IPCAT
|
| 2012 | — | conf |
UCNC
|
| 2012 | — | conf |
UCNC
|
| 2012 | — | ch. |
Handbook of Natural Computing
|
| 2012 | J | jnl |
Nat. Comput.
|
| 2012 | J | jnl |
Entropy
|
| 2012 | J | jnl |
Int. J. Unconv. Comput.
|
| 2012 | — | conf |
IPCAT
|
| 2011 | — | conf |
QPL
|
| 2011 | — | conf |
ECAL
|
| 2011 | J | jnl |
J. Cell. Autom.
|
| 2011 | J | jnl |
CoRR
|
| 2011 | — | conf |
ECAL
|
| 2011 | — | conf |
ECAL
|
| 2011 | J | jnl |
Nat. Comput.
|
| 2011 | — | conf |
ECAL
|
| 2011 | — | conf |
ECAL
|
| 2011 | — | conf |
ECAL
|
| 2011 | C | conf |
UC
|
| 2011 | — | conf |
ECAL
|
| 2010 | C | conf |
ALIFE
|
| 2010 | J | jnl |
Int. J. Unconv. Comput.
|
| 2010 | B | conf |
EuroGP
|
| 2010 | J | jnl |
J. Cell. Autom.
|
| 2010 | C | conf |
ALIFE
|
| 2010 | — | conf |
ANTS Conference
|
| 2010 | C | conf |
ALIFE
|
| 2010 | — | conf |
ICES
|
| 2010 | J | jnl |
J. Cell. Autom.
|
| 2010 | C | conf |
ALIFE
|
| 2010 | B | conf |
ICECCS
|
| 2010 | — | ch. |
Game of Life Cellular Automata
|
| 2009 | J | jnl |
J. Cell. Autom.
|
| 2009 | J | jnl |
J. Cell. Autom.
|
| 2009 | — | conf |
ECAL (1)
|
| 2009 | B | conf |
IEEE Congress on Evolutionary Computation
|
| 2009 | B | conf |
IEEE Congress on Evolutionary Computation
|
| 2009 | — | conf |
ECAL (1)
|
| 2009 | J | jnl |
Int. J. Unconv. Comput.
|
| 2009 | — | conf |
ECAL (1)
|
| 2009 | B | conf |
IEEE Congress on Evolutionary Computation
|
| 2009 | — | conf |
ECAL (1)
|
| 2009 | A | conf |
GECCO
|
| 2008 | — | conf |
EvoWorkshops
|
| 2008 | — | conf |
Automata
|
| 2008 | C | conf |
ALIFE
|
| 2008 | C | conf |
SecureComm
|
| 2008 | — | conf |
BCS Int. Acad. Conf.
|
| 2008 | — | conf |
BICC
|
| 2008 | C | conf |
ALIFE
|
| 2008 | C | conf |
ALIFE
|
| 2008 | — | conf |
Automata
|
| 2008 | C | conf |
ALIFE
|
| 2008 | J | jnl |
Formal Aspects Comput.
|
| 2008 | — | ed. |
CPA
|
| 2008 | J | jnl |
Int. J. Unconv. Comput.
|
| 2007 | J | jnl |
Sci. Comput. Program.
|
| 2007 | B | conf |
FPL
|
| 2007 | — | conf |
ECAL
|
| 2007 | J | jnl |
Int. J. Unconv. Comput.
|
| 2007 | — | conf |
ECAL
|
| 2007 | — | conf |
ECAL
|
| 2007 | J | jnl |
Retrenching the Purse: The Balance Enquiry Quandary, and Generalised and (1, 1) Forward Refinements.
Fundam. Informaticae
|
| 2007 | B | conf |
SEFM
|
| 2007 | J | jnl |
Int. J. Unconv. Comput.
|
| 2007 | A | conf |
GECCO
|
| 2006 | B | conf |
FM
|
| 2006 | B | conf |
ICECCS
|
| 2006 | B | conf |
IEEE Congress on Evolutionary Computation
|
| 2006 | J | jnl |
Evol. Comput.
|
| 2006 | J | jnl |
Int. J. Unconv. Comput.
|
| 2006 | J | jnl |
Int. J. Parallel Emergent Distributed Syst.
|
| 2006 | C | conf |
SEW
|
| 2006 | C | conf |
ISoLA
|
| 2006 | C | ed. |
UC
|
| 2005 | — | conf |
SPC
|
| 2005 | — | conf |
ICARIS
|
| 2005 | — | conf |
ECAL
|
| 2005 | — | conf |
ZB
|
| 2005 | — | conf |
REFINE
|
| 2005 | J | jnl |
Int. J. Unconv. Comput.
|
| 2005 | J | jnl |
Autom. Softw. Eng.
|
| 2005 | — | conf |
REFINE
|
| 2005 | A | conf |
GECCO
|
| 2005 | — | conf |
IFM Doctoral Symposium
|
| 2005 | — | conf |
EvoWorkshops
|
| 2005 | J | jnl |
Int. J. Unconv. Comput.
|
| 2005 | J | jnl |
Parallel Algorithms Appl.
|
| 2005 | — | conf |
ECAL
|
| 2005 | — | conf |
ZB
|
| 2005 | B | conf |
FM
|
| 2005 | — | conf |
Abstract State Machines
|
| 2005 | J | jnl |
New Gener. Comput.
|
| 2004 | J | jnl |
Genet. Program. Evolvable Mach.
|
| 2004 | — | conf |
GECCO (2)
|
| 2004 | C | conf |
ICFEM
|
| 2004 | J | jnl |
SIGCAS Comput. Soc.
|
| 2004 | B | conf |
IEEE Congress on Evolutionary Computation
|
| 2004 | B | conf |
ITiCSE
|
| 2004 | B | conf |
IEEE Congress on Evolutionary Computation
|
| 2004 | — | conf |
ICARIS
|
| 2003 | — | conf |
ZB
|
| 2003 | — | conf |
ICARIS
|
| 2003 | C | conf |
APSEC
|
| 2003 | B | conf |
IEEE Congress on Evolutionary Computation
|
| 2003 | — | conf |
ZB
|
| 2003 | A | conf |
GECCO
|
| 2003 | — | conf |
SPC
|
| 2003 | A | conf |
GECCO
|
| 2002 | — | conf |
ZB
|
| 2002 | — | conf |
FASec
|
| 2002 | Misc | conf |
INDOCRYPT
|
| 2002 | — | conf |
Refine
|
| 2000 | — | conf |
ZB
|
| 2000 | — | conf |
ZB
|
| 2000 | — | conf |
ZB
|
| 2000 | — | conf |
ZB
|
| 1999 | — | conf |
World Congress on Formal Methods
|
| 1998 | — | conf |
HASE
|
| 1998 | — | conf |
ZUM
|
| 1997 | — | conf |
FME
|
| 1995 | J | jnl |
Inf. Softw. Technol.
|
| 1995 | — | conf |
ZUM
|
| 1995 | — | book |
Z in practice.
|
| 1993 | — | book |
High integrity compilation - a case study.
|
| 1992 | J | jnl |
Softw. Eng. J.
|
| 1992 | — | book |
|
| 1992 | — | conf |
Z User Workshop
|
| 1991 | J | jnl |
Formal Aspects Comput.
|
| 1991 | — | conf |
Z User Workshop
|
| 1987 | J | jnl |
Softw. Pract. Exp.
|