Giancarlo Mauri
Orcid: 0000-0003-3520-4022Affiliations:
- University of Milano-Bicocca, Milan, Italy
According to our database1,
Giancarlo Mauri
authored at least 382 papers
between 1977 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on scopus.com
-
on orcid.org
On csauthors.net:
Bibliography
2024
2023
An overview of bioinformatics courses delivered at the academic level in Italy: Reflections and recommendations from BITS.
PLoS Comput. Biol., February, 2023
Swarm Evol. Comput., 2023
2022
Theor. Comput. Sci., 2022
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
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
Proceedings of the Neural Approaches to Dynamics of Signal Exchanges, 2020
IEEE J. Biomed. Health Informatics, 2020
Coupling Mechanistic Approaches and Fuzzy Logic to Model and Simulate Complex Systems.
IEEE Trans. Fuzzy Syst., 2020
Theor. Comput. Sci., 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
Proceedings of the Language and Automata Theory and Applications, 2020
Proceedings of the 12th International Conference on Computer Supported Education, 2020
Proceedings of the 13th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2020), 2020
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
Proceedings of the High-Performance Modelling and Simulation for Big Data Applications, 2019
Proceedings of the Encyclopedia of Bioinformatics and Computational Biology - Volume 1, 2019
Proceedings of the Encyclopedia of Bioinformatics and Computational Biology - Volume 1, 2019
Proceedings of the Encyclopedia of Bioinformatics and Computational Biology - Volume 1, 2019
Proceedings of the Encyclopedia of Bioinformatics and Computational Biology - Volume 1, 2019
Proceedings of the Encyclopedia of Bioinformatics and Computational Biology - Volume 1, 2019
J. Supercomput., 2019
Theor. Comput. Sci., 2019
Theor. Comput. Sci., 2019
Integration of single-cell RNA-seq data into population models to characterize cancer metabolism.
PLoS Comput. Biol., 2019
USE-Net: Incorporating Squeeze-and-Excitation blocks into U-Net for prostate zonal segmentation of multi-institutional MRI datasets.
Neurocomputing, 2019
Expert Syst. Appl., 2019
CNN-based Prostate Zonal Segmentation on T2-weighted MR Images: A Cross-dataset Study.
CoRR, 2019
CoRR, 2019
Comput. Methods Programs Biomed., 2019
GenHap: a novel computational method based on genetic algorithms for haplotype assembly.
BMC Bioinform., 2019
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
Proceedings of the 20th Italian Conference on Theoretical Computer Science, 2019
Proceedings of the Computational Science - ICCS 2019, 2019
Proceedings of the 11th International Conference on Computer Supported Education, 2019
Proceedings of the IEEE Conference on Computational Intelligence in Bioinformatics and Computational Biology, 2019
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
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
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
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
Proceedings of the Combinatorial Algorithms - 29th International Workshop, 2018
Proceedings of the 15th IEEE International Symposium on Biomedical Imaging, 2018
Proceedings of the Euro-Par 2018: Parallel Processing Workshops, 2018
Proceedings of the 2018 IEEE Congress on Evolutionary Computation, 2018
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
J. Supercomput., 2017
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
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
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
BMC Bioinform., 2017
Bioinform., 2017
Proceedings of the Parallel Computing Technologies, 2017
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
Proceedings of the 28th Annual Symposium on Combinatorial Pattern Matching, 2017
2016
Int. J. Data Min. Bioinform., 2016
Zooming-in on cancer metabolic rewiring with tissue specific constraint-based models.
Comput. Biol. Chem., 2016
BMC Bioinform., 2016
BMC Bioinform., 2016
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
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
Proceedings of the 2016 IEEE Symposium Series on Computational Intelligence, 2016
Proceedings of the Wireless Mobile Communication and Healthcare, 2016
Proceedings of the Membrane Computing - 17th International Conference, CMC 2016, Milan, 2016
Proceedings of the Intelligent Decision Technologies 2016 - Proceedings of the 8th KES International Conference on Intelligent Decision Technologies (KES-IDT 2016), 2016
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
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
Nat. Comput., 2015
J. Log. Comput., 2015
Bioinform., 2015
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
Proceedings of the Membrane Computing, 2015
Proceedings of the Language and Automata Theory and Applications, 2015
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
J. Supercomput., 2014
Theor. Comput. Sci., 2014
An ensemble evolutionary constraint-based approach to understand the emergence of metabolic phenotypes.
Nat. Comput., 2014
Nat. Comput., 2014
Combined analysis of chromosomal instabilities and gene expression for colon cancer progression inference.
J. Clin. Bioinform., 2014
J. Autom. Lang. Comb., 2014
Stochastic Hybrid Automata with delayed transitions to model biochemical systems with delays.
Inf. Comput., 2014
Proceedings of the 22nd Euromicro International Conference on Parallel, 2014
Proceedings of the Membrane Computing, 2014
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
Proceedings of the Evolution, Complexity and Artificial Life, 2014
2013
Nat. Comput., 2013
J. Clin. Bioinform., 2013
Sensitivity Analysis for Studying the Relation between biochemical reactions and metabolic phenotypes.
J. Bioinform. Comput. Biol., 2013
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
Proceedings of the Parallel Computing Technologies - 12th International Conference, 2013
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
Proceedings of the 13th IEEE International Conference on BioInformatics and BioEngineering, 2013
Proceedings of the International Workshop on Biological Processes & Petri Nets, 2013
Proceedings of the Artificial Intelligence in Medicine, 2013
2012
Proceedings of the Parallel Architectures and Bioinspired Algorithms, 2012
Theor. Comput. Sci., 2012
Theor. Comput. Sci., 2012
Theor. Comput. Sci., 2012
IEEE ACM Trans. Comput. Biol. Bioinform., 2012
Nat. Comput., 2012
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
Proceedings of the Proceedings First International Workshop on Hybrid Systems and Biology, 2012
CoRR, 2012
Proceedings of the Membrane Computing, 2012
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
2011
New Gener. Comput., 2011
Int. J. Nat. Comput. Res., 2011
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
ERCIM News, 2011
A comparison of machine learning techniques for survival prediction in breast cancer.
BioData Min., 2011
Proceedings of the Parallel Computing Technologies - 11th International Conference, 2011
Proceedings of the Mathematical Foundations of Computer Science 2011, 2011
Proceedings of the Membrane Computing, 2011
Proceedings of the Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics, 2011
2010
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
Comput. Oper. Res., 2010
Proceedings of the Neural Nets WIRN10, 2010
Proceedings of the Membrane Computing, 2010
Proceedings of the Membrane Computing, 2010
BioSimWare: A Software for the Modeling, Simulation and Analysis of Biological Systems.
Proceedings of the Membrane Computing, 2010
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
Proceedings of the Genetic and Evolutionary Computation Conference, 2010
Proceedings of the Genetic and Evolutionary Computation Conference, 2010
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
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
Nat. Comput., 2009
Ontological modeling at a domain interface: bridging clinical and biomolecular knowledge.
Knowl. Eng. Rev., 2009
J. Comput. Biol., 2009
Int. J. Unconv. Comput., 2009
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
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
Proceedings of the Algorithmic Bioprocesses, 2009
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
Proceedings of the Membrane Computing - 9th International Workshop, 2008
Proceedings of the Membrane Computing - 9th International Workshop, 2008
Proceedings of the Cellular Automata, 2008
2007
J. Cell. Autom., 2007
BMC Bioinform., 2007
Proceedings of the Metadata and Semantics, 2007
Proceedings of the Membrane Computing, 8th International Workshop, 2007
Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2007
Proceedings of the Bio-inspired Modeling of Cognitive Tasks, 2007
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
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
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
J. Integr. Bioinform., 2006
Fundam. Informaticae, 2006
Proceedings of the First Workshop on Membrane Computing and Biologically Inspired Process Calculi, 2006
Proceedings of the Applications of Membrane Computing, 2006
Proceedings of the Membrane Computing, 7th International Workshop, 2006
Proceedings of the Genetic and Evolutionary Computation Conference, 2006
Proceedings of the Genetic Programming, 9th European Conference, 2006
Proceedings of the Developments in Language Theory, 10th International Conference, 2006
2005
Theor. Comput. Sci., 2005
Discret. Appl. Math., 2005
Overview of BITS2005, the Second Annual Meeting of the Italian Bioinformatics Society.
BMC Bioinform., 2005
Proceedings of the Neural Nets, 16th Italian Workshop on Neural Nets, 2005
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
Proceedings of the Membrane Computing, 6th International Workshop, 2005
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
Proceedings of the DNA Computing, 11th International Workshop on DNA Computing, 2005
Proceedings of the New Computational Paradigms, 2005
2004
Weeder Web: discovery of transcription factor binding sites in a set of sequences from co-regulated genes.
Nucleic Acids Res., 2004
J. Univers. Comput. Sci., 2004
An Algorithm for Finding Conserved Secondary Structure Motifs in Unaligned RNA Sequences.
J. Comput. Sci. Technol., 2004
Briefings Bioinform., 2004
Proceedings of the Biological and Artificial Intelligence Environments, 2004
Proceedings of the Membrane Computing, 5th International Workshop, 2004
Proceedings of the Machines, Computations, and Universality, 4th International Conference, 2004
Proceedings of the Machines, Computations, and Universality, 4th International Conference, 2004
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
Proceedings of the Second European Conference on Colour in Graphics, Imaging, and Vision, 2004
Proceedings of the Aspects of Molecular Computing, 2004
2003
Proceedings of the Neural Nets, 14th Italian Workshop on Neural Nets, 2003
Proceedings of the PICS 2003: The PICS Conference, 2003
Proceedings of the Mathematical Foundations of Computer Science 2003, 2003
Proceedings of the Membrane Computing, International Workshop, 2003
Proceedings of the 15th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2003), 2003
Proceedings of the DNA Computing, 9th International Workshop on DNA Based Computers, 2003
Proceedings of the DNA Computing, 9th International Workshop on DNA Based Computers, 2003
Proceedings of the Developments in Language Theory, 7th International Conference, 2003
Proceedings of the Combinatorial Pattern Matching, 14th Annual Symposium, 2003
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
Future Gener. Comput. Syst., 2002
Proceedings of the Membrane Computing, International Workshop, 2002
Proceedings of the DNA Computing, 8th International Workshop on DNA Based Computers, 2002
Proceedings of the Developments in Language Theory, 6th International Conference, 2002
2001
Cellular automata: From a theoretical parallel computational model to its application to complex systems.
Parallel Comput., 2001
Parallel simulation of reaction-diffusion phenomena in percolation processes : A model based on cellular automata.
Future Gener. Comput. Syst., 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
Proceedings of the Parallel Computing Technologies, 2001
Proceedings of the Parallel Computing Technologies, 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
Proceedings of the Theoretical Computer Science, 7th Italian Conference, 2001
Splicing systems using merge and separate operations.
Proceedings of the Where Mathematics, 2001
2000
Int. J. Found. Comput. Sci., 2000
Solving NP-Complete Problems Using P Systems with Active Membranes.
Proceedings of the Unconventional Models of Computation, 2000
Proceedings of the Theoretical Computer Science, 2000
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
IEEE Trans. Fuzzy Syst., 1999
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
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
Proceedings of the Mathematical Support for Molecular Biology, 1998
1997
Parallel Comput., 1997
Proceedings of the New Trends in Formal Languages, 1997
Proceedings of the New Trends in Formal Languages, 1997
Proceedings of the Artificial Evolution, Third European Conference, 1997
1996
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
1995
Rule Space Transformations and One-Dimensional Cellular Automata.
Proceedings of the Developments in Language Theory II, 1995
Proceedings of the Book of Traces, 1995
1994
Proceedings of the Machine Learning: ECML-94, 1994
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 Syst., 1993
Semantics Frameworks for a Class of Modular Algebraic Nets.
Proceedings of the Algebraic Methodology and Software Technology (AMAST '93), 1993
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
Inf. Comput., August, 1989
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
Proceedings of the Advances in Petri Nets 1988, 1987
1986
Proc. IEEE, 1986
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
Proceedings of the Applied Algebra, 1986
1984
A Formal Basis for Performance Evaluation of Natural Language Understanding Systems.
Comput. Linguistics, 1984
Proceedings of the Semantics of Data Types, International Symposium, 1984
1982
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
Proceedings of the Application and Theory of Petri Nets, 1981
1980
Proceedings of the International Symposium on Programming, 1980
1979
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
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