Claudio Ferretti

Inf., April, 2023

Evolutionary Approaches for Adversarial Attacks on Neural Source Code Classifiers.

[BibT_eX]

[DOI]

Valeria Mercuri

Algorithms, 2023

Naturalness in Source Code Summarization. How Significant is it?

[BibT_eX]

[DOI]

Proceedings of the 31st IEEE/ACM International Conference on Program Comprehension, 2023

2022

Do Neural Transformers Learn Human-Defined Concepts? An Extensive Study in Source Code Processing Domain.

[BibT_eX]

[DOI]

Algorithms, 2022

Towards the evolutionary assessment of neural transformers trained on source code.

[BibT_eX]

[DOI]

Proceedings of the GECCO '22: Genetic and Evolutionary Computation Conference, Companion Volume, Boston, Massachusetts, USA, July 9, 2022

A Grammar-based Evolutionary Approach for Assessing Deep Neural Source Code Classifiers.

[BibT_eX]

[DOI]

Proceedings of the IEEE Congress on Evolutionary Computation, 2022

2021

Mining Program Properties From Neural Networks Trained on Source Code Embeddings.

[BibT_eX]

[DOI]

CoRR, 2021

Deceiving neural source code classifiers: finding adversarial examples with grammatical evolution.

[BibT_eX]

[DOI]

Proceedings of the GECCO '21: Genetic and Evolutionary Computation Conference, 2021

2020

CNN-Based Prostate Zonal Segmentation on T2-Weighted MR Images: A Cross-Dataset Study.

[BibT_eX]

[DOI]

Proceedings of the Neural Approaches to Dynamics of Signal Exchanges, 2020

The Many Roads to the Simulation of Reaction Systems.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2020

A Neural Embedding for Source Code: Security Analysis and CWE Lists.

[BibT_eX]

[DOI]

Proceedings of the IEEE Intl Conf on Dependable, 2020

2019

USE-Net: Incorporating Squeeze-and-Excitation blocks into U-Net for prostate zonal segmentation of multi-institutional MRI datasets.

[BibT_eX]

[DOI]

Neurocomputing, 2019

CNN-based Prostate Zonal Segmentation on T2-weighted MR Images: A Cross-dataset Study.

[BibT_eX]

[DOI]

CoRR, 2019

Transferable Anonymous Payments via TumbleBit in Permissioned Blockchains.

[BibT_eX]

[DOI]

Proceedings of the Second Distributed Ledger Technology Workshop, 2019

A blockchain technology for protection and probative value preservation of vehicle driver data.

[BibT_eX]

[DOI]

Proceedings of the IEEE 23rd International Symposium on Consumer Technologies, 2019

2014

The role of the fault model in DFA against AES.

[BibT_eX]

[DOI]

Silvia Mella

Filippo Melzani

Proceedings of the HASP 2014, 2014

2011

Picture Languages Generated by Assembling Tiles.

[BibT_eX]

[DOI]

Paola Bonizzoni

Anthonath Roslin Sagaya Mary

Fundam. Informaticae, 2011

2010

Computing with energy and chemical reactions.

[BibT_eX]

[DOI]

Nat. Comput., 2010

2009

Complexity aspects of polarizationless membrane systems.

[BibT_eX]

[DOI]

Alberto Leporati

Mario J. Pérez-Jiménez

Nat. Comput., 2009

(Tissue) P systems with cell polarity.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2009

On the Computational Power of Spiking Neural P Systems.

[BibT_eX]

[DOI]

Int. J. Unconv. Comput., 2009

2008

On the Computational Efficiency of Polarizationless Recognizer P Systems with Strong Division and Dissolution.

[BibT_eX]

[DOI]

Mario J. Pérez-Jiménez

Fundam. Informaticae, 2008

Frequency Membrane Systems.

[BibT_eX]

[DOI]

Davide Molteni

Comput. Informatics, 2008

First Steps Towards a Wet Implementation for t-DPP.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing - 9th International Workshop, 2008

2007

Solving Numerical NP-Complete Problems with Spiking Neural P Systems.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing, 8th International Workshop, 2007

An Automatic Compilation Framework for Configurable Architectures.

[BibT_eX]

[DOI]

Proceedings of the FPL 2007, 2007

2005

Bio-Molecular Engine: A Simulation Environment for Bio-Inspired Architectural Models of Molecular-Scale Devices Based Machines.

[BibT_eX]

Proceedings of The 2005 International Conference on Modeling, 2005

A Membrane Computing System Mapped on an Asynchronous, Distributed Computational Environment.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing, 6th International Workshop, 2005

Bio Molecular Engine: a bio-inspired environment for models of growing and evolvable computation.

[BibT_eX]

[DOI]

Alberto Gallini

Proceedings of the Genetic and Evolutionary Computation Conference, 2005

2004

Remarks on Relativisations and DNA Encodings.

[BibT_eX]

[DOI]

Proceedings of the Aspects of Molecular Computing, 2004

2003

On three variants of rewriting P systems.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2003

Word Design for Molecular Computing: A Survey.

[BibT_eX]

[DOI]

Proceedings of the DNA Computing, 9th International Workshop on DNA Based Computers, 2003

2002

Parallel Rewriting P Systems with Deadlock.

[BibT_eX]

[DOI]

Proceedings of the DNA Computing, 8th International Workshop on DNA Based Computers, 2002

2001

Separating some splicing models.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2001

Two Normal Forms for Rewriting P Systems.

[BibT_eX]

[DOI]

Proceedings of the Machines, 2001

Splicing systems using merge and separate operations.

[BibT_eX]

Proceedings of the Where Mathematics, 2001

2000

Nine test tubes generate any RE language.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2000

On the universality of Post and splicing systems.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2000

Solving NP-Complete Problems Using P Systems with Active Membranes.

[BibT_eX]

Proceedings of the Unconventional Models of Computation, 2000

1999

Splicing on Tree-Like Structures.

[BibT_eX]

[DOI]

Yasubumi Sakakibara

Theor. Comput. Sci., 1999

1998

Nine Test Tubes Generate any <i>RE</i> Language.

[BibT_eX]

Proceedings of the International Colloquium Universal Machines and Computations, 1998

1997

A Reduced Distributed Splicing System for RE Languages.

[BibT_eX]

[DOI]

Proceedings of the New Trends in Formal Languages, 1997

1994

Identifying Unrecognizable Regular Languages by Queries.

[BibT_eX]

[DOI]

Proceedings of the Machine Learning: ECML-94, 1994

Identifying Regular Languages over Partially-Commutative Monoids.

[BibT_eX]

[DOI]