Giancarlo Mauri

Affiliations:
  • University of Milano-Bicocca, Milan, Italy


According to our database1, Giancarlo Mauri authored at least 381 papers between 1977 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
An overview of bioinformatics courses delivered at the academic level in Italy: Reflections and recommendations from BITS.
PLoS Comput. Biol., February, 2023

Inferring P systems from their computing steps: An evolutionary approach.
Swarm Evol. Comput., 2023

2022
Depth-two P systems can simulate Turing machines with NP oracles.
Theor. Comput. Sci., 2022

Spiking neural P systems: main ideas and results.
Nat. Comput., 2022

Preface.
Nat. Comput., 2022

Evaluating space measures in P systems.
J. Membr. Comput., 2022

On the complexity of approximately matching a string to a directed graph.
Inf. Comput., 2022

2021
A CUDA-powered method for the feature extraction and unsupervised analysis of medical images.
J. Supercomput., 2021

FiCoS: A fine-grained and coarse-grained GPU-powered deterministic simulator for biochemical networks.
PLoS Comput. Biol., 2021

A framework for validating AI in precision medicine: considerations from the European ITFoC consortium.
BMC Medical Informatics Decis. Mak., 2021

Alternative space definitions for P systems with active membranes.
J. Membr. Comput., 2021

Top-k overlapping densest subgraphs: approximation algorithms and computational complexity.
J. Comb. Optim., 2021

2020
CNN-Based Prostate Zonal Segmentation on T2-Weighted MR Images: A Cross-Dataset Study.
Proceedings of the Neural Approaches to Dynamics of Signal Exchanges, 2020

Infinite Brain MR Images: PGGAN-Based Data Augmentation for Tumor Detection.
Proceedings of the Neural Approaches to Dynamics of Signal Exchanges, 2020

cuProCell: GPU-Accelerated Analysis of Cell Proliferation With Flow Cytometry Data.
IEEE J. Biomed. Health Informatics, 2020

Coupling Mechanistic Approaches and Fuzzy Logic to Model and Simulate Complex Systems.
IEEE Trans. Fuzzy Syst., 2020

Subroutines in P systems and closure properties of their complexity classes.
Theor. Comput. Sci., 2020

Simulating counting oracles with cooperation.
J. Membr. Comput., 2020

A Turing machine simulation by P systems without charges.
J. Membr. Comput., 2020

Shallow laconic P systems can count.
J. Membr. Comput., 2020

Preface.
J. Cell. Autom., 2020

Surfing on Fitness Landscapes: A Boost on Optimization by Fourier Surrogate Modeling.
Entropy, 2020

Fuzzy modeling and global optimization to predict novel therapeutic targets in cancer cells.
Bioinform., 2020

Complexity Issues of String to Graph Approximate Matching.
Proceedings of the Language and Automata Theory and Applications, 2020

Attentional Neural Mechanisms for Social Recommendations in Educational Platforms.
Proceedings of the 12th International Conference on Computer Supported Education, 2020

An Attention-based Architecture for EEG Classification.
Proceedings of the 13th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2020), 2020

Explainable Attentional Neural Recommendations for Personalized Social Learning.
Proceedings of the AIxIA 2020 - Advances in Artificial Intelligence, 2020

Approaching Explainable Recommendations for Personalized Social Learning: the Current Stage in the Educational Platform "WhoTeach".
Proceedings of the Italian Workshop on Explainable Artificial Intelligence co-located with 19th International Conference of the Italian Association for Artificial Intelligence, 2020

2019
Computer-Assisted Approaches for Uterine Fibroid Segmentation in MRgFUS Treatments: Quantitative Evaluation and Clinical Feasibility Analysis.
Proceedings of the Quantifying and Processing Biomedical and Behavioral Signals, 2019

Towards Human Cell Simulation.
Proceedings of the High-Performance Modelling and Simulation for Big Data Applications, 2019

Kernel Machines: Applications.
Proceedings of the Encyclopedia of Bioinformatics and Computational Biology - Volume 1, 2019

Kernel Methods: Support Vector Machines.
Proceedings of the Encyclopedia of Bioinformatics and Computational Biology - Volume 1, 2019

Kernel Machines: Introduction.
Proceedings of the Encyclopedia of Bioinformatics and Computational Biology - Volume 1, 2019

Graph Algorithms.
Proceedings of the Encyclopedia of Bioinformatics and Computational Biology - Volume 1, 2019

Graph Isomorphism.
Proceedings of the Encyclopedia of Bioinformatics and Computational Biology - Volume 1, 2019

ginSODA: massive parallel integration of stiff ODE systems on GPUs.
J. Supercomput., 2019

On the tractability of finding disjoint clubs in a network.
Theor. Comput. Sci., 2019

Comparing incomplete sequences via longest common subsequence.
Theor. Comput. Sci., 2019

Integration of single-cell RNA-seq data into population models to characterize cancer metabolism.
PLoS Comput. Biol., 2019

Characterizing PSPACE with shallow non-confluent P systems.
J. Membr. Comput., 2019

Covering a Graph with Clubs.
J. Graph Algorithms Appl., 2019

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

MedGA: A novel evolutionary method for image enhancement in medical imaging systems.
Expert Syst. Appl., 2019

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

Infinite Brain MR Images: PGGAN-based Data Augmentation for Tumor Detection.
CoRR, 2019

A novel framework for MR image segmentation and quantification by using MedGA.
Comput. Methods Programs Biomed., 2019

GenHap: a novel computational method based on genetic algorithms for haplotype assembly.
BMC Bioinform., 2019

Modeling cell proliferation in human acute myeloid leukemia xenografts.
Bioinform., 2019

Biochemical parameter estimation vs. benchmark functions: A comparative study of optimization performance and representation design.
Appl. Soft Comput., 2019

Combining Noise-to-Image and Image-to-Image GANs: Brain MR Image Augmentation for Tumor Detection.
IEEE Access, 2019

HaraliCU: GPU-Powered Haralick Feature Extraction on Medical Images Exploiting the Full Dynamics of Gray-Scale Levels.
Proceedings of the Parallel Computing Technologies, 2019

System of Nudge Theory-Based ICT Applications for Older Citizens: The SENIOR Project.
Proceedings of the Pervasive Computing Paradigms for Mental Health, 2019

Nudges Driven Networks: Towards More Acceptable Recommendations for Inducing Targeted Social Communities.
Proceedings of the Internet Science - 6th International Conference, 2019

Top-k Overlapping Densest Subgraphs: Approximation and Complexity.
Proceedings of the 20th Italian Conference on Theoretical Computer Science, 2019

Top k 2-Clubs in a Network: A Genetic Algorithm.
Proceedings of the Computational Science - ICCS 2019, 2019

Optimized Social Explanation for Educational Platforms.
Proceedings of the 11th International Conference on Computer Supported Education, 2019

ProCell: Investigating cell proliferation with Swarm Intelligence.
Proceedings of the IEEE Conference on Computational Intelligence in Bioinformatics and Computational Biology, 2019

Integration of Single-Cell RNA-Sequencing Data into Flux Balance Cellular Automata.
Proceedings of the Computational Intelligence Methods for Bioinformatics and Biostatistics, 2019

A Computational Model for Promoting Targeted Communication and Supplying Social Explainable Recommendations.
Proceedings of the 32nd IEEE International Symposium on Computer-Based Medical Systems, 2019

2018
Fully Automatic Multispectral MR Image Segmentation of Prostate Gland Based on the Fuzzy C-Means Clustering Algorithm.
Proceedings of the Multidisciplinary Approaches to Neural Computing, 2018

Editorial.
Theor. Comput. Sci., 2018

Fuzzy Self-Tuning PSO: A settings-free algorithm for global optimization.
Swarm Evol. Comput., 2018

GTVcut for neuro-radiosurgery treatment planning: an MRI brain cancer seeded image segmentation method based on a cellular automata model.
Nat. Comput., 2018

Preface.
Nat. Comput., 2018

Integration of transcriptomic data and metabolic networks in cancer samples reveals highly significant prognostic power.
J. Biomed. Informatics, 2018

NeXt for neuro-radiosurgery: A fully automatic approach for necrosis extraction in brain tumor MRI using an unsupervised machine learning technique.
Int. J. Imaging Syst. Technol., 2018

Emerging ensembles of kinetic parameters to characterize observed metabolic phenotypes.
BMC Bioinform., 2018

Synchronization Effects in a Metabolism-Driven Model of Multi-cellular System.
Proceedings of the Artificial Life and Evolutionary Computation - 13th Italian Workshop, 2018

Distributed Heuristics for Optimizing Cohesive Groups: A Support for Clinical Patient Engagement in Social Network Analysis.
Proceedings of the 26th Euromicro International Conference on Parallel, 2018

Solving QSAT in Sublinear Depth.
Proceedings of the Membrane Computing, 2018

Covering with Clubs: Complexity and Approximability.
Proceedings of the Combinatorial Algorithms - 29th International Workshop, 2018

GAN-based synthetic brain MR image generation.
Proceedings of the 15th IEEE International Symposium on Biomedical Imaging, 2018

High Performance Computing for Haplotyping: Models and Platforms.
Proceedings of the Euro-Par 2018: Parallel Processing Workshops, 2018

Computational Intelligence for Parameter Estimation of Biochemical Systems.
Proceedings of the 2018 IEEE Congress on Evolutionary Computation, 2018

Open Problems in Membrane Computing and How Not to Solve Them.
Proceedings of the Enjoying Natural Computing, 2018

Optimizing Social Interaction - A Computational Approach to Support Patient Engagement.
Proceedings of the 11th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2018), 2018

Patient Engagement: Theoretical and Heuristic Approaches for Supporting the Clinical Practice.
Proceedings of the Fourth Italian Workshop on Artificial Intelligence for Ambient Assisted Living 2018 co-located with 17th International Conference of the Italian Association for Artificial Intelligence, 2018

2017
Gillespie's Stochastic Simulation Algorithm on MIC coprocessors.
J. Supercomput., 2017

The counting power of P systems with antimatter.
Theor. Comput. Sci., 2017

A toolbox for simpler active membrane algorithms.
Theor. Comput. Sci., 2017

Computational complexity of finite asynchronous cellular automata.
Theor. Comput. Sci., 2017

A metabolic core model elucidates how enhanced utilization of glucose and glutamine, with enhanced glutamine-dependent lactate production, promotes cancer cell growth: The WarburQ effect.
PLoS Comput. Biol., 2017

Resource-Efficient Hardware Implementation of a Neural-based Node for Automatic Fingerprint Classification.
J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl., 2017

Characterising the complexity of tissue P systems with fission rules.
J. Comput. Syst. Sci., 2017

Automated Prostate Gland Segmentation Based on an Unsupervised Fuzzy C-Means Clustering Technique Using Multispectral T1w and T2w MR Imaging.
Inf., 2017

Efficient Simulation of Reaction Systems on Graphics Processing Units.
Fundam. Informaticae, 2017

Tissue P Systems with Small Cell Volume.
Fundam. Informaticae, 2017

From protein-protein interactions to protein co-expression networks: a new perspective to evaluate large-scale proteomic data.
EURASIP J. Bioinform. Syst. Biol., 2017

A fully automatic approach for multimodal PET and MR image segmentation in gamma knife treatment planning.
Comput. Methods Programs Biomed., 2017

Area-based cell colony surviving fraction evaluation: A novel fully automatic approach using general-purpose acquisition hardware.
Comput. Biol. Medicine, 2017

LASSIE: simulating large-scale models of biochemical systems on GPUs.
BMC Bioinform., 2017

GPU-powered model analysis with PySB/cupSODA.
Bioinform., 2017

popFBA: tackling intratumour heterogeneity with Flux Balance Analysis.
Bioinform., 2017

Accelerated Analysis of Biological Parameters Space Using GPUs.
Proceedings of the Parallel Computing Technologies, 2017

Solving a Special Case of the P Conjecture Using Dependency Graphs with Dissolution.
Proceedings of the Membrane Computing, 2017

Orthology Correction for Gene Tree Reconstruction: Theoretical and Experimental Results.
Proceedings of the International Conference on Computational Science, 2017

The Longest Filled Common Subsequence Problem.
Proceedings of the 28th Annual Symposium on Combinatorial Pattern Matching, 2017

2016
Design of the TRONCO BioConductor Package for TRanslational ONCOlogy.
R J., 2016

Monodirectional P systems.
Nat. Comput., 2016

Ordering cancer mutational profiles of cross-sectional copy number alterations.
Int. J. Data Min. Bioinform., 2016

Zooming-in on cancer metabolic rewiring with tissue specific constraint-based models.
Comput. Biol. Chem., 2016

CABeRNET: a Cytoscape app for augmented Boolean models of gene regulatory NETworks.
BMC Bioinform., 2016

BITS 2015: the annual meeting of the Italian Society of Bioinformatics.
BMC Bioinform., 2016

How interacting pathways are regulated by miRNAs in breast cancer subtypes.
BMC Bioinform., 2016

TRONCO: an R package for the inference of cancer progression models from heterogeneous genomic data.
Bioinform., 2016

A Support Vector Machine Classification of Thyroid Bioptic Specimens Using MALDI-MSI Data.
Adv. Bioinformatics, 2016

Constraint-Based Modeling and Simulation of Cell Populations.
Proceedings of the Advances in Artificial Life, Evolutionary Computation, and Systems Chemistry, 2016

Linking Alterations in Metabolic Fluxes with Shifts in Metabolite Levels by Means of Kinetic Modeling.
Proceedings of the Advances in Artificial Life, Evolutionary Computation, and Systems Chemistry, 2016

Multimodal medical image registration using Particle Swarm Optimization: A review.
Proceedings of the 2016 IEEE Symposium Series on Computational Intelligence, 2016

DIABESITY: A Study for mHealth Integrated Solutions.
Proceedings of the Wireless Mobile Communication and Healthcare, 2016

Shallow Non-confluent P Systems.
Proceedings of the Membrane Computing - 17th International Conference, CMC 2016, Milan, 2016

Clique Editing to Support Case Versus Control Discrimination.
Proceedings of the Intelligent Decision Technologies 2016 - Proceedings of the 8th KES International Conference on Intelligent Decision Technologies (KES-IDT 2016), 2016

Trend of FEV1 in Cystic Fibrosis patients: A telehomecare experience.
Proceedings of the IEEE Symposium on Computers and Communication, 2016

Parallel implementation of efficient search schemes for the inference of cancer progression models.
Proceedings of the 2016 IEEE Conference on Computational Intelligence in Bioinformatics and Computational Biology, 2016

COSYS: A Computational Infrastructure for Systems Biology.
Proceedings of the Computational Intelligence Methods for Bioinformatics and Biostatistics, 2016

Constraining Mechanism Based Simulations to Identify Ensembles of Parametrizations to Characterize Metabolic Features.
Proceedings of the Computational Intelligence Methods for Bioinformatics and Biostatistics, 2016

Neuro-Radiosurgery Treatments: MRI Brain Tumor Seeded Image Segmentation Based on a Cellular Automata Model.
Proceedings of the Cellular Automata, 2016

2015
Foreword: asynchronous behavior of cellular automata and discrete models.
Nat. Comput., 2015

Recent complexity-theoretic results on P systems with active membranes.
J. Log. Comput., 2015

Membrane Division, Oracles, and the Counting Hierarchy.
Fundam. Informaticae, 2015

CAPRI: efficient inference of cancer progression models from cross-sectional data.
Bioinform., 2015

Restricted and Swap Common Superstring: A Multivariate Algorithmic Perspective.
Algorithmica, 2015

Parallelizing Biochemical Stochastic Simulations: A Comparison of GPUs and Intel Xeon Phi Processors.
Proceedings of the Parallel Computing Technologies - 13th International Conference, PaCT 2015, Petrozavodsk, Russia, August 31, 2015

Tissue P Systems Can be Simulated Efficiently with Counting Oracles.
Proceedings of the Membrane Computing, 2015

Complexity Classes for Membrane Systems: A Survey.
Proceedings of the Language and Automata Theory and Applications, 2015

Robust Conclusions in Mass Spectrometry Analysis.
Proceedings of the International Conference on Computational Science, 2015

Proactive Particles in Swarm Optimization: A self-tuning algorithm based on Fuzzy Logic.
Proceedings of the 2015 IEEE International Conference on Fuzzy Systems, 2015

2014
GPU-accelerated simulations of mass-action kinetics models with cupSODA.
J. Supercomput., 2014

Space complexity equivalence of P systems with active membranes and Turing machines.
Theor. Comput. Sci., 2014

Preface.
Nat. Comput., 2014

An ensemble evolutionary constraint-based approach to understand the emergence of metabolic phenotypes.
Nat. Comput., 2014

A local landscape mapping method for protein structure prediction in the HP model.
Nat. Comput., 2014

A study of search algorithms' optimization speed.
J. Comb. Optim., 2014

Combined analysis of chromosomal instabilities and gene expression for colon cancer progression inference.
J. Clin. Bioinform., 2014

P Systems with Active Membranes Working in Logarithmic Space.
J. Autom. Lang. Comb., 2014

Preface.
Int. J. Found. Comput. Sci., 2014

Stochastic Hybrid Automata with delayed transitions to model biochemical systems with delays.
Inf. Comput., 2014

Constant-Space P Systems with Active Membranes.
Fundam. Informaticae, 2014

Obituary Alberto Bertoni (1946-2014).
Bull. EATCS, 2014

Simulation and Analysis of the Blood Coagulation Cascade Accelerated on GPU.
Proceedings of the 22nd Euromicro International Conference on Parallel, 2014

P Systems with Active Membranes Working in Sublinear Space.
Proceedings of the Membrane Computing, 2014

Simulating Elementary Active Membranes - with an Application to the P Conjecture.
Proceedings of the Membrane Computing, 2014

Self-adaptive simulation time for sensitivity analysis of a stochastic computational model.
Proceedings of the 13th European Control Conference, 2014

A memetic hybrid method for the Molecular Distance Geometry Problem with incomplete information.
Proceedings of the IEEE Congress on Evolutionary Computation, 2014

Towards the Use of Genetic Programming for the Prediction of Survival in Cancer.
Proceedings of the Evolution, Complexity and Artificial Life, 2014

2013
The l-Diversity problem: Tractability and approximability.
Theor. Comput. Sci., 2013

m-Asynchronous cellular automata: from fairness to quasi-fairness.
Nat. Comput., 2013

Availability of MudPIT data for classification of biological samples.
J. Clin. Bioinform., 2013

Sensitivity Analysis for Studying the Relation between biochemical reactions and metabolic phenotypes.
J. Bioinform. Comput. Biol., 2013

Improved Universality Results for Parallel Enzymatic Numerical P Systems.
Int. J. Unconv. Comput., 2013

An ensemble approach to the study of the emergence of metabolic and proliferative disorders via Flux Balance Analysis.
Proceedings of the Proceedings Wivace 2013, 2013

A Hybrid Monte Carlo Ant Colony Optimization Approach for Protein Structure Prediction in the HP Model.
Proceedings of the Proceedings Wivace 2013, 2013

GeStoDifferent: a Cytoscape plugin for the generation and the identification of gene regulatory networks describing a stochastic cell differentiation process.
Bioinform., 2013

NoisySim: exact simulation of stochastic chemically reacting systems with extrinsic bounded noises (WIP).
Proceedings of the 2013 Spring Simulation Multiconference, SpringSim '13, 2013

cupSODA: A CUDA-Powered Simulator of Mass-Action Kinetics.
Proceedings of the Parallel Computing Technologies - 12th International Conference, 2013

Enzymatic Numerical P Systems Using Elementary Arithmetic Operations.
Proceedings of the Membrane Computing, 2013

Flattening in (Tissue) P Systems.
Proceedings of the Membrane Computing, 2013

Evolutionary inference of biochemical reaction networks accelerated on graphics processing units.
Proceedings of the International Conference on High Performance Computing & Simulation, 2013

Combination of gene expression and genome copy number alteration has a prognostic value for breast cancer.
Proceedings of the 35th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2013

Reverse engineering of kinetic reaction networks by means of Cartesian Genetic Programming and Particle Swarm Optimization.
Proceedings of the IEEE Congress on Evolutionary Computation, 2013

Candidate biomarkers for response to tamoxifen in breast cancer metastatic patients.
Proceedings of the 13th IEEE International Conference on BioInformatics and BioEngineering, 2013

The foundation of Evolutionary Petri Nets.
Proceedings of the International Workshop on Biological Processes & Petri Nets, 2013

Copy-Number Alterations for Tumor Progression Inference.
Proceedings of the Artificial Intelligence in Medicine, 2013

2012
An Empirical Study of Parallel and Distributed Particle Swarm Optimization.
Proceedings of the Parallel Architectures and Bioinspired Algorithms, 2012

A study of the neutrality of Boolean function landscapes in genetic programming.
Theor. Comput. Sci., 2012

A distance between populations for one-point crossover in genetic algorithms.
Theor. Comput. Sci., 2012

An excursion in reaction systems: From computer science to biology.
Theor. Comput. Sci., 2012

Mutual Information Optimization for Mass Spectra Data Alignment.
IEEE ACM Trans. Comput. Biol. Bioinform., 2012

A study on learning robustness using asynchronous 1D cellular automata rules.
Nat. Comput., 2012

Preface.
Int. J. Found. Comput. Sci., 2012

A new clustering approach for learning transcriptional modules.
Int. J. Data Min. Bioinform., 2012

The role of feedback control mechanisms on the establishment of oscillatory regimes in the Ras/cAMP/PKA pathway in S. cerevisiae.
EURASIP J. Bioinform. Syst. Biol., 2012

Self-Stabilization in Membrane Systems.
Comput. Sci. J. Moldova, 2012

Effects of delayed immune-response in tumor immune-system interplay
Proceedings of the Proceedings First International Workshop on Hybrid Systems and Biology, 2012

A Unifying Framework to Characterize the Power of a Language to Express Relations
CoRR, 2012

Sublinear-Space P Systems with Active Membranes.
Proceedings of the Membrane Computing, 2012

Restricted and Swap Common Superstring: A Parameterized View.
Proceedings of the Parameterized and Exact Computation - 7th International Symposium, 2012

Poster: Characterization of distinguishing regions for Renal Cell Carcinoma discrimination.
Proceedings of the IEEE 2nd International Conference on Computational Advances in Bio and Medical Sciences, 2012

Estimating reaction constants in stochastic biological systems with a multi-swarm PSO running on GPUs.
Proceedings of the Genetic and Evolutionary Computation Conference, 2012

A GPU-Based Multi-swarm PSO Method for Parameter Estimation in Stochastic Biological Systems Exploiting Discrete-Time Target Series.
Proceedings of the Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics, 2012

Analysis of Correlation Structures in Renal Cell Carcinoma Patient Data.
Proceedings of the BIOINFORMATICS 2012 - Proceedings of the International Conference on Bioinformatics Models, Methods and Algorithms, Vilamoura, Algarve, Portugal, 1, 2012

m-Asynchronous Cellular Automata.
Proceedings of the Cellular Automata, 2012

2011
A Comparative Study of Four Parallel and Distributed PSO Methods.
New Gener. Comput., 2011

P systems with active membranes: trading time for space.
Nat. Comput., 2011

Elementary Active Membranes Have the Power of Counting.
Int. J. Nat. Comput. Res., 2011

P Systems with Active Membranes Working in Polynomial Space.
Int. J. Found. Comput. Sci., 2011

Modeling Diffusion in a Signal Transduction Pathway: the Use of Virtual Volumes in P Systems.
Int. J. Found. Comput. Sci., 2011

Picture Languages Generated by Assembling Tiles.
Fundam. Informaticae, 2011

New Robustness Paradigms: from Nature to Computing.
ERCIM News, 2011

Introduction to the Special theme - Molecular and Cellular Computing.
ERCIM News, 2011

A comparison of machine learning techniques for survival prediction in breast cancer.
BioData Min., 2011

Grid Computing for Sensitivity Analysis of Stochastic Biological Models.
Proceedings of the Parallel Computing Technologies - 11th International Conference, 2011

On the Complexity of the l-diversity Problem.
Proceedings of the Mathematical Foundations of Computer Science 2011, 2011

P Systems Simulating Oracle Computations.
Proceedings of the Membrane Computing, 2011

A New Evolutionary Gene Regulatory Network Reverse Engineering Tool.
Proceedings of the Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics, 2011

2010
Non-confluence in divisionless P systems with active membranes.
Theor. Comput. Sci., 2010

An Analysis on the Influence of Network Topologies on Local and Global Dynamics of Metapopulation Systems
Proceedings of the Proceedings First Workshop on Applications of Membrane computing, 2010

An application of kernel methods to gene cluster temporal meta-analysis.
Comput. Oper. Res., 2010

Fingerprint Clustering with Bounded Number of Missing Values.
Algorithmica, 2010

A Study on Gene Regulatory Network Reconstruction and Simulation.
Proceedings of the Neural Nets WIRN10, 2010

P Systems with Elementary Active Membranes: Beyond NP and coNP.
Proceedings of the Membrane Computing, 2010

Modelling Spatial Heterogeneity and Macromolecular Crowding with Membrane Systems.
Proceedings of the Membrane Computing, 2010

BioSimWare: A Software for the Modeling, Simulation and Analysis of Biological Systems.
Proceedings of the Membrane Computing, 2010

A study of parallel and distributed particle swarm optimization methods.
Proceedings of the 2nd Workshop on Bio-Inspired Algorithms for Distributed Systems, 2010

An empirical comparison of parallel and distributed particle swarm optimization methods.
Proceedings of the Genetic and Evolutionary Computation Conference, 2010

Optimization speed and fair sets of functions.
Proceedings of the Genetic and Evolutionary Computation Conference, 2010

Definition of a crossover based distance for genetic algorithms.
Proceedings of the Genetic and Evolutionary Computation Conference, 2010

On the use of genetic programming for the prediction of survival in cancer.
Proceedings of the Genetic and Evolutionary Computation Conference, 2010

Identification of Individualized Feature Combinations for Survival Prediction in Breast Cancer: A Comparison of Machine Learning Techniques.
Proceedings of the Evolutionary Computation, 2010

Computational Complexity Aspects in Membrane Computing.
Proceedings of the Programs, Proofs, Processes, 6th Conference on Computability in Europe, 2010

Early-Stage Diagnosis of Endogenous Diseases by Swarms of Nanobots: An Applicative Scenario.
Proceedings of the Swarm Intelligence - 7th International Conference, 2010

A Study on the Automatic Generation of Asynchronous Cellular Automata Rules by Means of Genetic Algorithms.
Proceedings of the Cellular Automata, 2010

2009
Uniform solutions to SAT and Subset Sum by spiking neural P systems.
Nat. Comput., 2009

Complexity aspects of polarizationless membrane systems.
Nat. Comput., 2009

(Tissue) P systems with cell polarity.
Math. Struct. Comput. Sci., 2009

Ontological modeling at a domain interface: bridging clinical and biomolecular knowledge.
Knowl. Eng. Rev., 2009

Detecting Alternative Gene Structures from Spliced ESTs: A Computational Approach.
J. Comput. Biol., 2009

On the Computational Power of Spiking Neural P Systems.
Int. J. Unconv. Comput., 2009

Introducing a Space Complexity Measure for P Systems.
Int. J. Comput. Commun. Control, 2009

Special Issue on Membrane Computing, Seventh Brainstorming Week on Membrane Computing.
Int. J. Comput. Commun. Control, 2009

A study on the combined interplay between stochastic fluctuations and the number of flagella in bacterial chemotaxis
Proceedings of the Proceedings Second International Workshop on Computational Models for Cell Processes, 2009

An Efficient Simulation of Polynomial-Space Turing Machines by P Systems with Active Membranes.
Proceedings of the Membrane Computing, 10th International Workshop, 2009

Energy-Based Models of P Systems.
Proceedings of the Membrane Computing, 10th International Workshop, 2009

A Novel Variant of P Systems for the Modelling and Simulation of Biochemical Systems.
Proceedings of the Membrane Computing, 10th International Workshop, 2009

A Comparison of Genetic Algorithms and Particle Swarm Optimization for Parameter Estimation in Stochastic Biochemical Systems.
Proceedings of the Evolutionary Computation, 2009

A Multi-volume Approach to Stochastic Modeling with Membrane Systems.
Proceedings of the Algorithmic Bioprocesses, 2009

A Mutual Information Approach to Data Integration for Alzheimer's Disease Patients.
Proceedings of the Artificial Intelligence in Medicine, 2009

2008
On the Computational Efficiency of Polarizationless Recognizer P Systems with Strong Division and Dissolution.
Fundam. Informaticae, 2008

Frequency Membrane Systems.
Comput. Informatics, 2008

Simulation of a bounded symport/antiport P system with Brane calculi.
Biosyst., 2008

Modelling metapopulations with stochastic membrane systems.
Biosyst., 2008

First Steps Towards a Wet Implementation for t-DPP.
Proceedings of the Membrane Computing - 9th International Workshop, 2008

How Redundant Is Your Universal Computation Device?.
Proceedings of the Membrane Computing - 9th International Workshop, 2008

GP Generation of Pedestrian Behavioral Rules in an Evacuation Model Based on SCA.
Proceedings of the Cellular Automata, 2008

2007
Emergent Pattern Interpretation in Vegetable Population Dynamics.
J. Cell. Autom., 2007

The Genopolis Microarray Database.
BMC Bioinform., 2007

Biowep: a workflow enactment portal for bioinformatics applications.
BMC Bioinform., 2007

Reference Ontology Design for a Neurovascular Knowledge Network.
Proceedings of the Metadata and Semantics, 2007

Solving Numerical NP-Complete Problems with Spiking Neural P Systems.
Proceedings of the Membrane Computing, 8th International Workshop, 2007

Evaluating Graph Kernel Methods for Relation Discovery in GO-Annotated Clusters.
Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2007

On a Paun's Conjecture in Membrane Systems.
Proceedings of the Bio-inspired Modeling of Cognitive Tasks, 2007

Discovering Relations Among GO-Annotated Clusters by Graph Kernel Methods.
Proceedings of the Bioinformatics Research and Applications, Third International Symposium, 2007

Support Vector Clustering of Dependencies in Microarray Data.
Proceedings of the International MultiConference of Engineers and Computer Scientists 2007, 2007

A Comprehensive View of Fitness Landscapes with Neutrality and Fitness Clouds.
Proceedings of the Genetic Programming, 10th European Conference, 2007

Ontological Modelling for Neurovascular Disease Study: Issues in the Adoption of Description Logic.
Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007

Membrane Systems and Their Application to Systems Biology.
Proceedings of the Computation and Logic in the Real World, 2007

2006
MoD Tools: regulatory motif discovery in nucleotide sequences from co-regulated or homologous genes.
Nucleic Acids Res., 2006

Network integration of data and analysis of oncology interest.
J. Integr. Bioinform., 2006

Complexity classes for membrane systems.
RAIRO Theor. Informatics Appl., 2006

Dynamical probabilistic P systems.
Int. J. Found. Comput. Sci., 2006

Reversible P Systems to Simulate Fredkin Circuits.
Fundam. Informaticae, 2006

Supporting Action-at-a-distance in Situated Cellular Agents.
Fundam. Informaticae, 2006

Communication via Mobile Vesicles in Brane Calculi.
Proceedings of the First Workshop on Membrane Computing and Biologically Inspired Process Calculi, 2006

Linear splicing and syntactic monoid.
Discret. Appl. Math., 2006

P System Models for Mechanosensitive Channels.
Proceedings of the Applications of Membrane Computing, 2006

Tau Leaping Stochastic Simulation Method in P Systems.
Proceedings of the Membrane Computing, 7th International Workshop, 2006

Heterogeneous cooperative coevolution: strategies of integration between GP and GA.
Proceedings of the Genetic and Evolutionary Computation Conference, 2006

Using Subtree Crossover Distance to Investigate Genetic Programming Dynamics.
Proceedings of the Genetic Programming, 9th European Conference, 2006

A Decision Procedure for Reflexive Regular Splicing Languages.
Proceedings of the Developments in Language Theory, 10th International Conference, 2006

2005
Algorithms for pattern matching and discovery in RNA secondary structure.
Theor. Comput. Sci., 2005

Regular splicing languages and subclasses.
Theor. Comput. Sci., 2005

On the power and size of extended gemmating P systems.
Soft Comput., 2005

Spectral-based printer modeling and characterization.
J. Electronic Imaging, 2005

On-line construction of compact directed acyclic word graphs.
Discret. Appl. Math., 2005

On the power of circular splicing.
Discret. Appl. Math., 2005

Overview of BITS2005, the Second Annual Meeting of the Italian Bioinformatics Society.
BMC Bioinform., 2005

Clustering Causal Relationships in Genes Expression Data.
Proceedings of the Neural Nets, 16th Italian Workshop on Neural Nets, 2005

Investigating Local Evolutions in Dynamical Probabilistic P Systems.
Proceedings of the Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2005), 2005

Bio-Molecular Engine: A Simulation Environment for Bio-Inspired Architectural Models of Molecular-Scale Devices Based Machines.
Proceedings of The 2005 International Conference on Modeling, 2005

Quantum Sequential P Systems with Unit Rules and Energy Assigned to Membranes.
Proceedings of the Membrane Computing, 6th International Workshop, 2005

P Systems with Memory.
Proceedings of the Membrane Computing, 6th International Workshop, 2005

A Membrane Computing System Mapped on an Asynchronous, Distributed Computational Environment.
Proceedings of the Membrane Computing, 6th International Workshop, 2005

Bio Molecular Engine: a bio-inspired environment for models of growing and evolvable computation.
Proceedings of the Genetic and Evolutionary Computation Conference, 2005

Analysis and Simulation of Dynamics in Probabilistic P Systems.
Proceedings of the DNA Computing, 11th International Workshop on DNA Computing, 2005

Recombinant DNA , Gene Splicing as Generative Devices of Formal Languages.
Proceedings of the New Computational Paradigms, 2005

2004
Hierarchies of Parallel Rewriting P Systems - A Survey.
New Gener. Comput., 2004

Weeder Web: discovery of transcription factor binding sites in a set of sequences from co-regulated genes.
Nucleic Acids Res., 2004

Simulating the Fredkin Gate with Energy-Based P Systems.
J. Univers. Comput. Sci., 2004

An Algorithm for Finding Conserved Secondary Structure Motifs in Unaligned RNA Sequences.
J. Comput. Sci. Technol., 2004

Circular splicing and regularity.
RAIRO Theor. Informatics Appl., 2004

In silico representation and discovery of transcription factor binding sites.
Briefings Bioinform., 2004

Combinatorial and Machine Learning Approaches in Clustering Microarray Data.
Proceedings of the Biological and Artificial Intelligence Environments, 2004

Conservative Computations in Energy-Based P Systems.
Proceedings of the Membrane Computing, 5th International Workshop, 2004

Universal Families of Reversible P Systems.
Proceedings of the Machines, Computations, and Universality, 4th International Conference, 2004

Computing with a Distributed Reaction-Diffusion Model.
Proceedings of the Machines, Computations, and Universality, 4th International Conference, 2004

A GA Approach to the Definition of Regulatory Signals in Genomic Sequences.
Proceedings of the Genetic and Evolutionary Computation, 2004

An Explicit Upper Bound for the Approximation Ratio of the Maximum Gene Regulatory Network Problem.
Proceedings of the Computational Methods in Systems Biology, International Conference, 2004

An Empirical Approach for Spectral Color Printers Characterization.
Proceedings of the Second European Conference on Colour in Graphics, Imaging, and Vision, 2004

Remarks on Relativisations and DNA Encodings.
Proceedings of the Aspects of Molecular Computing, 2004

2003
On three variants of rewriting P systems.
Theor. Comput. Sci., 2003

Gemmating P systems: collapsing hierarchies.
Theor. Comput. Sci., 2003

A Probabilistic Neural Networks System to Recognize 3D Face of People.
Proceedings of the Neural Nets, 14th Italian Workshop on Neural Nets, 2003

Spectral-Based Characterization of Inkjet Printers by Neural and Genetic Algorithms.
Proceedings of the PICS 2003: The PICS Conference, 2003

On the Computational Complexity of Conservative Computing.
Proceedings of the Mathematical Foundations of Computer Science 2003, 2003

Collapsing Hierarchies of Parallel Rewriting P Systems without Target Conflicts.
Proceedings of the Membrane Computing, International Workshop, 2003

Predicting Conserved Hairpin Motifs in Unaligned RNA Sequences.
Proceedings of the 15th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2003), 2003

Word Design for Molecular Computing: A Survey.
Proceedings of the DNA Computing, 9th International Workshop on DNA Based Computers, 2003

Deadlock Decidability in Partial Parallel P Systems.
Proceedings of the DNA Computing, 9th International Workshop on DNA Based Computers, 2003

Regular Languages Generated by Reflexive Finite Splicing Systems.
Proceedings of the Developments in Language Theory, 7th International Conference, 2003

Pattern Discovery in RNA Secondary Structure Using Affix Trees.
Proceedings of the Combinatorial Pattern Matching, 14th Annual Symposium, 2003

Using genetic algorithms for spectral-based printer characterization.
Proceedings of the Color Imaging VIII: Processing, Hardcopy, and Applications, Santa Clara, 2003

2002
A duality theorem for two connectivity-preserving parallel shrinking transformations.
Future Gener. Comput. Syst., 2002

A parallel algorithm for pattern discovery in biological sequences.
Future Gener. Comput. Syst., 2002

Parallel Rewriting P Systems without Target Conflicts.
Proceedings of the Membrane Computing, International Workshop, 2002

Parallel Rewriting P Systems with Deadlock.
Proceedings of the DNA Computing, 8th International Workshop on DNA Based Computers, 2002

Decision Problems for Linear and Circular Splicing Systems.
Proceedings of the Developments in Language Theory, 6th International Conference, 2002

2001
Computing with Shapes.
J. Vis. Lang. Comput., 2001

Cellular automata: From a theoretical parallel computational model to its application to complex systems.
Parallel Comput., 2001

Cellular automata: From modeling to applications.
Parallel Comput., 2001

Separating some splicing models.
Inf. Process. Lett., 2001

Parallel simulation of reaction-diffusion phenomena in percolation processes : A model based on cellular automata.
Future Gener. Comput. Syst., 2001

Experimenting an approximation algorithm for the LCS.
Discret. Appl. Math., 2001

Methods for Pattern Discovery in Unaligned Biological Sequences.
Briefings Bioinform., 2001

An approximation algorithm for the shortest common supersequence problem: an experimental analysis.
Proceedings of the 2001 ACM Symposium on Applied Computing (SAC), 2001

Parallel Algorithms for the Analysis of Biological Sequences.
Proceedings of the Parallel Computing Technologies, 2001

Parallel Generation of Percolation Beds Based on Stochastic Cellular Automata.
Proceedings of the Parallel Computing Technologies, 2001

Two Normal Forms for Rewriting P Systems.
Proceedings of the Machines, 2001

An algorithm for finding signals of unknown length in DNA sequences.
Proceedings of the Ninth International Conference on Intelligent Systems for Molecular Biology, 2001

P Systems with Gemmation of Mobile Membranes.
Proceedings of the Theoretical Computer Science, 7th Italian Conference, 2001

Splicing systems using merge and separate operations.
Proceedings of the Where Mathematics, 2001

2000
Nine test tubes generate any RE language.
Theor. Comput. Sci., 2000

On the universality of Post and splicing systems.
Theor. Comput. Sci., 2000

On the Power of Pictorial Languages.
Int. J. Pattern Recognit. Artif. Intell., 2000

Approximating the Maximum Isomorphic Agreement Subtree is Hard.
Int. J. Found. Comput. Sci., 2000

Solving NP-Complete Problems Using P Systems with Active Membranes.
Proceedings of the Unconventional Models of Computation, 2000

Approximation Algorithms for String Folding Problems.
Proceedings of the Theoretical Computer Science, 2000

DNA and Circular Splicing.
Proceedings of the DNA Computing, 6th International Workshop on DNA-Based Computers, 2000

Bidimensional Contextual Grammars.
Proceedings of the Recent Topics in Mathematical and Computational Linguistics, 2000

A Duality in Two Connectivity-Preserving Parallel Shrinking Algorithms for Binary Images.
Proceedings of the Theoretical and Practical Issues on Cellular Automata, 2000

1999
Learning fuzzy rules with tabu search-an application to control.
IEEE Trans. Fuzzy Syst., 1999

On the Dynamical Behavior of Chaotic Cellular Automata.
Theor. Comput. Sci., 1999

Multilayered Cellular Automata.
Theor. Comput. Sci., 1999

Approximation Algorithms for Protein Folding Prediction.
Proceedings of the Tenth Annual ACM-SIAM Symposium on Discrete Algorithms, 1999

A Parallel Model Based on Cellular Automata for the Simulation of Pesticide Percolation in the Soil.
Proceedings of the Parallel Computing Technologies, 1999

Implementing Cellular Automata Based Models on Parallel Architectures: The CAPP Project.
Proceedings of the Parallel Computing Technologies, 1999

Coordination through Group Rewriting.
Proceedings of the Grammatical Models of Multi-Agent Systems, 1999

1998
Grammars Working on Layered Strings.
Acta Cybern., 1998

Distance space evolutionary algorithms for protein folding prediction.
Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1998

Nine Test Tubes Generate any <i>RE</i> Language.
Proceedings of the International Colloquium Universal Machines and Computations, 1998

Fragment assembly system for DNA sequencing projects.
Proceedings of the Mathematical Support for Molecular Biology, 1998

1997
Transformations of the One-Dimensional Cellular Automata Rule Space.
Parallel Comput., 1997

A Reduced Distributed Splicing System for RE Languages.
Proceedings of the New Trends in Formal Languages, 1997

On Controlling Rewriting by Properties of Strings and Symbols.
Proceedings of the New Trends in Formal Languages, 1997

Application of Evolutionary Algorithms to Protein Folding Prediction.
Proceedings of the Artificial Evolution, Third European Conference, 1997

1996
Modular Algebraic Nets to Specify Concurrent Systems.
IEEE Trans. Software Eng., 1996

Essential Transformations of the One Dimensional Cellular Automata Rule Space and Endomorphisms of Compact Abelian Groups.
Proceedings of the ACRI '96, 1996

Towards Multilayered Automata Networks.
Proceedings of the ACRI '96, 1996

1995
Rule Space Transformations and One-Dimensional Cellular Automata.
Proceedings of the Developments in Language Theory II, 1995

Counting Techniques for Inclusion, Equivalence and Membership Problems.
Proceedings of the Book of Traces, 1995

1994
Identifying Unrecognizable Regular Languages by Queries.
Proceedings of the Machine Learning: ECML-94, 1994

Identifying Regular Languages over Partially-Commutative Monoids.
Proceedings of the Algorithmic Learning Theory, 1994

1993
Evaluating Performance and Quality of Knowledge-Based Systems: Foundation and Methodology.
IEEE Trans. Knowl. Data Eng., 1993

Complex Chaotic Behavior of a Class of Subshift Cellular Automata.
Complex Syst., 1993

Semantics Frameworks for a Class of Modular Algebraic Nets.
Proceedings of the Algebraic Methodology and Software Technology (AMAST '93), 1993

1992
On Automata on Infinite Trees.
Theor. Comput. Sci., 1992

Combining Image Processing Operators and Neural Networks in A Face Recognition System.
Int. J. Pattern Recognit. Artif. Intell., 1992

Recognizing sets of labelled acyclic graphs.
Proceedings of the Tree Automata and Languages., 1992

1991
Some Notes on Computational Learing Theory.
Bull. EATCS, 1991

1989
Membership Problems for Regular and Context-Free Trace Languages
Inf. Comput., August, 1989

Flowshop and Travelling Salesman Problem.
Proceedings of the Parallelism, Learning, Evolution, Workshop on Evolutionary Models and Strategies, Neubiberg, Germany, March 10-11, 1989, Workshop on Parallel Processing: Logic, Organization, and Technology, 1989

UNIX-Tutor: An Experiment for the Use of Deep Knowledge for Tutoring.
Proceedings of the Information Processing 89, Proceedings of the IFIP 11th World Computer Congress, San Francisco, USA, August 28, 1989

1987
OBJSA Nets: a Class of High- level Nets Having Objects as Domains.
Proceedings of the Advances in Petri Nets 1988, 1987

1986
Evaluation of natural language processing systems: Issues and approaches.
Proc. IEEE, 1986

Parallel Algorithms and the Classification of Problems.
Proceedings of the WOPPLOT 86, 1986

OBJ-SAN: Towards the Definition of a Class of High-Level Nets using OBJ2.
Proceedings of the 4st Workshop on Abstract Data Type, 1986

A Symbolic Manipulation System for Combinatorial Problems.
Proceedings of the Applied Algebra, 1986

1984
A Formal Basis for Performance Evaluation of Natural Language Understanding Systems.
Comput. Linguistics, 1984

Abstract Data Types and Their Extensions within a Constructive Logic.
Proceedings of the Semantics of Data Types, International Symposium, 1984

1982
Equivalence and Membership Problems for Regular Trace Languages.
Proceedings of the Automata, 1982

1981
On Efficient Computation of the Coefficients of Some Polynomials with Applications to Some Enumeration Problems.
Inf. Process. Lett., 1981

A Characterization of the Class of Functions Computable in Polynomial Time on Random Access Machines
Proceedings of the 13th Annual ACM Symposium on Theory of Computing, 1981

An Application of the Theory of Free Partially Commutative Monoids: Asymptotic Densities of Trace Languages.
Proceedings of the Mathematical Foundations of Computer Science 1981, Strbske Pleso, Czechoslovakia, August 31, 1981

A # P-Complete Problem over Arithmetical Trees.
Proceedings of the CAAP '81, 1981

On the Logic of Concurrency and Conflict.
Proceedings of the Application and Theory of Petri Nets, 1981

1980
Towards a Theory of Abstract Data Types: A Discussion on Problems and Tools.
Proceedings of the International Symposium on Programming, 1980

1979
Use of bipartite graphs as a notation for data bases.
Inf. Syst., 1979

Three Efficient Algorithms for Counting Problems.
Inf. Process. Lett., 1979

A Characterization of Abstract Data as Model-Theoretic Invariants.
Proceedings of the Automata, 1979

Extending the Entity-Relationship Approach to Take in Account Historical Aspects of Systems.
Proceedings of the Entity-Relationship Approach to Systems Analysis and Design. Proc. 1st International Conference on the Entity-Relationship Approach, 1979

1977
An Algebraic Approach to Problem Solution and Problem Semantics.
Proceedings of the Mathematical Foundations of Computer Science 1977, 1977

Some Recursive Unsolvable Problems Relating to Isolated Cutpoints in Probabilistic Automata.
Proceedings of the Automata, 1977


  Loading...