Giancarlo Mauri

According to our database1, Giancarlo Mauri authored at least 316 papers between 1977 and 2018.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Editorial.
Theor. Comput. Sci., 2018

Fuzzy Self-Tuning PSO: A settings-free algorithm for global optimization.
Swarm and Evolutionary Computation, 2018

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

Preface.
Natural Computing, 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 Systems and Technology, 2018

Top-k Overlapping Densest Subgraphs: Approximation and Complexity.
CoRR, 2018

Covering with Clubs: Complexity and Approximability.
CoRR, 2018

Emerging ensembles of kinetic parameters to characterize observed metabolic phenotypes.
BMC Bioinformatics, 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

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

Computational Intelligence for Parameter Estimation of Biochemical Systems.
Proceedings of the 2018 IEEE Congress on Evolutionary Computation, 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

2017
Gillespie's Stochastic Simulation Algorithm on MIC coprocessors.
The Journal of Supercomputing, 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 Computational Biology, 2017

GenHap: A novel computational method based on genetic algorithms for haplotype assembly.
PeerJ PrePrints, 2017

Resource-Efficient Hardware Implementation of a Neural-based Node for Automatic Fingerprint Classification.
JoWUA, 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.
Information, 2017

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

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

From protein-protein interactions to protein co-expression networks: a new perspective to evaluate large-scale proteomic data.
EURASIP J. Bioinformatics and Systems Biology, 2017

Parallel Implementation of Efficient Search Schemes for the Inference of Cancer Progression Models.
CoRR, 2017

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

Area-based cell colony surviving fraction evaluation: A novel fully automatic approach using general-purpose acquisition hardware.
Comp. in Bio. and Med., 2017

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

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

popFBA: tackling intratumour heterogeneity with Flux Balance Analysis.
Bioinformatics, 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
Monodirectional P systems.
Natural Computing, 2016

Ordering cancer mutational profiles of cross-sectional copy number alterations.
IJDMB, 2016

Zooming-in on cancer metabolic rewiring with tissue specific constraint-based models.
Computational Biology and Chemistry, 2016

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

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

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

TRONCO: an R package for the inference of cancer progression models from heterogeneous genomic data.
Bioinformatics, 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

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.
Natural Computing, 2015

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

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

CAPRI: efficient inference of cancer progression models from cross-sectional data.
Bioinformatics, 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.
The Journal of Supercomputing, 2014

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

Preface.
Natural Computing, 2014

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

A local landscape mapping method for protein structure prediction in the HP model.
Natural Computing, 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. Clinical Bioinformatics, 2014

P Systems with Active Membranes Working in Logarithmic Space.
Journal of Automata, Languages and Combinatorics, 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. Inform., 2014

Obituary Alberto Bertoni (1946-2014).
Bulletin of the 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 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.
Natural Computing, 2013

Availability of MudPIT data for classification of biological samples.
J. Clinical Bioinformatics, 2013

Sensitivity Analysis for Studying the Relation between biochemical reactions and metabolic phenotypes.
J. Bioinformatics and Computational Biology, 2013

Improved Universality Results for Parallel Enzymatic Numerical P Systems.
IJUC, 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.
Bioinformatics, 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. Biology Bioinform., 2012

A study on learning robustness using asynchronous 1D cellular automata rules.
Natural Computing, 2012

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

A new clustering approach for learning transcriptional modules.
IJDMB, 2012

The role of feedback control mechanisms on the establishment of oscillatory regimes in the Ras/cAMP/PKA pathway in S. cerevisiae.
EURASIP J. Bioinformatics and Systems Biology, 2012

Self-Stabilization in Membrane Systems.
The Computer Science Journal of 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 Generation Comput., 2011

P systems with active membranes: trading time for space.
Natural Computing, 2011

Elementary Active Membranes Have the Power of Counting.
IJNCR, 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. Inform., 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 Mining, 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.
Computers & OR, 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

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.
Natural Computing, 2009

Complexity aspects of polarizationless membrane systems.
Natural Computing, 2009

(Tissue) P systems with cell polarity.
Mathematical Structures in Computer Science, 2009

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

Detecting Alternative Gene Structures from Spliced ESTs: A Computational Approach.
Journal of Computational Biology, 2009

On the Computational Power of Spiking Neural P Systems.
IJUC, 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

Picture Languages Generated by Assembling Tiles.
Proceedings of the Language and Automata Theory and Applications, 2009

A Comparison of Genetic Algorithms and Particle Swarm Optimization for Parameter Estimation in Stochastic Biochemical Systems.
Proceedings of the Evolutionary Computation, 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. Inform., 2008

Frequency Membrane Systems.
Computing and Informatics, 2008

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

Modelling metapopulations with stochastic membrane systems.
Biosystems, 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. Cellular Automata, 2007

Communication via Mobile Vesicles in Brane Calculi.
Electr. Notes Theor. Comput. Sci., 2007

The Genopolis Microarray Database.
BMC Bioinformatics, 2007

Biowep: a workflow enactment portal for bioinformatics applications.
BMC Bioinformatics, 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 Research, 2006

Network integration of data and analysis of oncology interest.
J. Integrative Bioinformatics, 2006

Complexity classes for membrane systems.
ITA, 2006

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

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

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

Linear splicing and syntactic monoid.
Discrete Applied Mathematics, 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

Fingerprint Clustering with Bounded Number of Missing Values.
Proceedings of the Combinatorial Pattern Matching, 17th Annual Symposium, 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.
Discrete Applied Mathematics, 2005

On the power of circular splicing.
Discrete Applied Mathematics, 2005

Overview of BITS2005, the Second Annual Meeting of the Italian Bioinformatics Society.
BMC Bioinformatics, 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 Generation Comput., 2004

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

Simulating the Fredkin Gate with Energy-Based P Systems.
J. UCS, 2004

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

Circular splicing and regularity.
ITA, 2004

In silico representation and discovery of transcription factor binding sites.
Briefings in Bioinformatics, 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 Generation Comp. Syst., 2002

A parallel algorithm for pattern discovery in biological sequences.
Future Generation Comp. 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 Computing, 2001

Cellular automata: From modeling to applications.
Parallel Computing, 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 Generation Comp. Syst., 2001

Experimenting an approximation algorithm for the LCS.
Discrete Applied Mathematics, 2001

Methods for Pattern Discovery in Unaligned Biological Sequences.
Briefings in Bioinformatics, 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

On-Line Construction of Compact Directed Acyclic Word Graphs.
Proceedings of the Combinatorial Pattern Matching, 12th Annual Symposium, 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.
IJPRAI, 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

Approximating the Maximum Isomorphic Agreement Subtree Is Hard.
Proceedings of the Combinatorial Pattern Matching, 11th Annual Symposium, 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 Systems, 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 RE Language.
Proceedings of the International Colloquium Universal Machines and Computations, 1998

On the Universality of Post and Splicing Systems.
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 Computing, 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

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 Systems, 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.
IJPRAI, 1992

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

1991
Some Notes on Computational Learing Theory.
Bulletin of the 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.
IFIP Congress, 1989

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

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.
ADT, 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.
Computational 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...