Giancarlo Mauri
#141,625
Most Influential Person Now
Researcher
Giancarlo Mauri's AcademicInfluence.com Rankings
Giancarlo Mauricomputer-science Degrees
Computer Science
#6826
World Rank
#7192
Historical Rank
Artificial Intelligence
#2617
World Rank
#2658
Historical Rank
Database
#3906
World Rank
#4064
Historical Rank
Download Badge
Computer Science
Giancarlo Mauri's Degrees
- PhD Computer Science University of Milan
- Masters Computer Science University of Milan
- Bachelors Computer Science University of Milan
Similar Degrees You Can Earn
Why Is Giancarlo Mauri Influential?
(Suggest an Edit or Addition)Giancarlo Mauri's Published Works
Number of citations in a given year to any of this author's works
Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author
Published Works
- Weeder Web: discovery of transcription factor binding sites in a set of sequences from co-regulated genes (2004) (532)
- An algorithm for finding signals of unknown length in DNA sequences (2001) (384)
- Solving NP-Complete Problems Using P Systems with Active Membranes (2000) (202)
- GAN-based synthetic brain MR image generation (2018) (202)
- Fuzzy Self-Tuning PSO: A settings-free algorithm for global optimization (2017) (157)
- USE-Net: incorporating Squeeze-and-Excitation blocks into U-Net for prostate zonal segmentation of multi-institutional MRI datasets (2019) (150)
- OBJSA Nets: a Class of High- level Nets Having Objects as Domains (1987) (143)
- Model building and model checking for biochemical processes (2007) (114)
- Combining Noise-to-Image and Image-to-Image GANs: Brain MR Image Augmentation for Tumor Detection (2019) (110)
- Massive Exploration of Perturbed Conditions of the Blood Coagulation Cascade through GPU Parallelization (2014) (110)
- Dynamical probabilistic P systems (2006) (106)
- Uniform solutions to SAT and Subset Sum by spiking neural P systems (2009) (106)
- In silico representation and discovery of transcription factor binding sites (2004) (106)
- Cellular automata: From a theoretical parallel computational model to its application to complex systems (2001) (88)
- MoD Tools: regulatory motif discovery in nucleotide sequences from co-regulated or homologous genes (2006) (87)
- Discrete event models+temporal logic=supervisory controller: automatic synthesis of locomotion controllers (1995) (86)
- Cellular automata in fuzzy backgrounds (1997) (83)
- MTGO: PPI Network Analysis Via Topological and Functional Module Identification (2018) (83)
- MedGA: A novel evolutionary method for image enhancement in medical imaging systems (2019) (82)
- Algorithmic methods to infer the evolutionary trajectories in cancer progression (2015) (80)
- Algorithmic methods to infer the evolutionary trajectories in cancer progression (2015) (80)
- Algorithmic Algebraic Model Checking I: Challenges from Systems Biology (2005) (78)
- CAPRI: Efficient Inference of Cancer Progression Models from Cross-sectional Data (2014) (77)
- CAPRI: Efficient Inference of Cancer Progression Models from Cross-sectional Data (2014) (77)
- 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 (2017) (73)
- Infinite Brain MR Images: PGGAN-based Data Augmentation for Tumor Detection (2019) (72)
- From protein-protein interactions to protein co-expression networks: a new perspective to evaluate large-scale proteomic data (2017) (70)
- From Bytes to Bedside: Data Integration and Computational Biology for Translational Cancer Research (2007) (68)
- Solving Numerical NP-Complete Problems with Spiking Neural P Systems (2007) (67)
- On the Computational Power of Spiking Neural P Systems (2009) (65)
- On-Line Construction of Compact Directed Acyclic Word Graphs (2005) (64)
- Learning fuzzy rules with tabu search-an application to control (1999) (63)
- Integration of single-cell RNA-seq data into population models to characterize cancer metabolism (2019) (62)
- Computational Methods for Resting-State EEG of Patients With Disorders of Consciousness (2019) (62)
- Evaluating Performance and Quality of Knowledge-Based Systems: Foundation and Methodology (1993) (60)
- Inferring Tree Causal Models of Cancer Progression with Probability Raising (2013) (59)
- Inferring Tree Causal Models of Cancer Progression with Probability Raising (2013) (59)
- Biowep: a workflow enactment portal for bioinformatics applications (2007) (59)
- A review of spatial computational models for multi-cellular systems, with regard to intestinal crypts and colorectal cancer development (2013) (58)
- Integration of mRNA Expression Profile, Copy Number Alterations, and microRNA Expression Levels in Breast Cancer to Improve Grade Definition (2014) (57)
- Modelling metapopulations with stochastic membrane systems (2008) (57)
- The Interplay of Intrinsic and Extrinsic Bounded Noises in Biomolecular Networks (2012) (56)
- Social media and mobile applications in chronic disease prevention and management (2015) (54)
- Simulating the Fredkin Gate with Energy-Based P Systems (2004) (53)
- Foundations of a Query and Simulation System for the Modeling of Biochemical and Biological Processes (2002) (52)
- Computational Strategies for a System-Level Understanding of Metabolism (2014) (52)
- A GPU-Based Multi-swarm PSO Method for Parameter Estimation in Stochastic Biological Systems Exploiting Discrete-Time Target Series (2012) (52)
- A comparison of machine learning techniques for survival prediction in breast cancer (2011) (49)
- SpidermiR: An R/Bioconductor Package for Integrative Analysis with miRNA Data (2017) (49)
- A comparison of machine learning techniques for survival prediction in breast cancer (2011) (49)
- Modeling and stochastic simulation of the Ras/cAMP/PKA pathway in the yeast Saccharomyces cerevisiae evidences a key regulatory function for intracellular guanine nucleotides pools. (2008) (47)
- Tau Leaping Stochastic Simulation Method in P Systems (2006) (47)
- Taming the complexity of biochemical models through bisimulation and collapsing: theory and practice (2004) (46)
- GPU-accelerated simulations of mass-action kinetics models with cupSODA (2014) (44)
- Equivalence and Membership Problems for Regular Trace Languages (1982) (43)
- Application of Evolutionary Algorithms to Protein Folding Prediction (1997) (42)
- Experimenting an approximation algorithm for the LCS (2001) (42)
- A Comparison of Genetic Algorithms and Particle Swarm Optimization for Parameter Estimation in Stochastic Biochemical Systems (2009) (42)
- Some Recursive Unsolvable Problems Relating to Isolated Cutpoints in Probabilistic Automata (1977) (42)
- Automated Prostate Gland Segmentation Based on an Unsupervised Fuzzy C-Means Clustering Technique Using Multispectral T1w and T2w MR Imaging (2017) (42)
- Multilayered Cellular Automata (1999) (41)
- A novel framework for MR image segmentation and quantification by using MedGA (2019) (41)
- A fully automatic approach for multimodal PET and MR image segmentation in gamma knife treatment planning (2017) (41)
- Biochemical parameter estimation vs. benchmark functions: A comparative study of optimization performance and representation design (2019) (41)
- An excursion in reaction systems: From computer science to biology (2012) (40)
- NeXt for neuro‐radiosurgery: A fully automatic approach for necrosis extraction in brain tumor MRI using an unsupervised machine learning technique (2018) (38)
- cuTauLeaping: A GPU-Powered Tau-Leaping Stochastic Simulator for Massive Parallel Analyses of Biological Systems (2014) (38)
- Introducing a Space Complexity Measure for P Systems (2009) (38)
- Complexity classes for membrane systems (2006) (38)
- On three variants of rewriting P systems (2003) (38)
- Membership Problems for Regular and Context-Free Trace Languages (1989) (38)
- On the power of model theory in specifying abstract data types and in capturing their recursiveness (1983) (37)
- Synthesis and verification of discrete controllers for robotics and manufacturing devices with temporal logic and the control-D system (1996) (36)
- Approximation algorithms for protein folding prediction (1999) (36)
- TRONCO: an R package for the inference of cancer progression models from heterogeneous genomic data (2015) (35)
- TRONCO: an R package for the inference of cancer progression models from heterogeneous genomic data (2015) (35)
- Modeling Cellular Behavior with Hybrid Automata: Bisimulation and Collapsing (2003) (35)
- An approximation algorithm for the shortest common supersequence problem: an experimental analysis (2001) (34)
- Urinary Signatures of Renal Cell Carcinoma Investigated by Peptidomic Approaches (2014) (34)
- Membrane Division, Oracles, and the Counting Hierarchy (2015) (34)
- Simulating Elementary Active Membranes - with an Application to the P Conjecture (2014) (33)
- On the Computational Efficiency of Polarizationless Recognizer P Systems with Strong Division and Dissolution (2008) (33)
- Zooming-in on cancer metabolic rewiring with tissue specific constraint-based models (2016) (32)
- On the Dynamical Behavior of Chaotic Cellular Automata (1999) (32)
- Microsimulation analysis of multiple merge junctions under autonomous AHS operation (1997) (32)
- Managing chronic pathologies with a stepped mHealth-based approach in clinical psychology and medicine (2015) (32)
- Space complexity equivalence of P systems with active membranes and Turing machines (2014) (31)
- Word Design for Molecular Computing: A Survey (2003) (31)
- Cancer cell growth and survival as a system-level property sustained by enhanced glycolysis and mitochondrial metabolic remodeling (2012) (31)
- The role of feedback control mechanisms on the establishment of oscillatory regimes in the Ras/cAMP/PKA pathway in S. cerevisiae (2012) (31)
- Computational Intelligence for Parameter Estimation of Biochemical Systems (2018) (31)
- Reverse engineering dynamic temporal models of biological processes and their relationships (2010) (30)
- SHIFT and SMART-AHS: A Language for Hybrid System Engineering Modeling and Simulation (1997) (30)
- A characterization of the class of functions computable in polynomial time on Random Access Machines (1981) (30)
- m-Asynchronous cellular automata: from fairness to quasi-fairness (2013) (30)
- GTVcut for neuro-radiosurgery treatment planning: an MRI brain cancer seeded image segmentation method based on a cellular automata model (2018) (29)
- A Comparative Study of Four Parallel and Distributed PSO Methods (2011) (29)
- Simulation of the Ras/cAMP/PKA pathway in budding yeast highlights the establishment of stable oscillatory states. (2012) (29)
- Proactive Particles in Swarm Optimization: A self-tuning algorithm based on Fuzzy Logic (2015) (28)
- Monodirectional P systems (2016) (28)
- Algorithms for pattern matching and discovery in RNA secondary structure (2005) (28)
- Multimodal medical image registration using Particle Swarm Optimization: A review (2016) (28)
- Tumor size, stage and grade alterations of urinary peptidome in RCC (2015) (28)
- Sublinear-Space P Systems with Active Membranes (2012) (28)
- XS-systems: eXtended S-Systems and Algebraic Differential Automata for Modeling Cellular Behavior (2002) (28)
- Separating some splicing models (2001) (27)
- Reversible P Systems to Simulate Fredkin Circuits (2006) (27)
- A Comprehensive View of Fitness Landscapes with Neutrality and Fitness Clouds (2007) (27)
- An Application of the Theory of Free Partially Commutative Monoids: Asymptotic Densities of Trace Languages (1981) (26)
- P Systems with Active Membranes Working in Polynomial Space (2011) (26)
- popFBA: tackling intratumour heterogeneity with Flux Balance Analysis (2017) (26)
- An algorithm for finding conserved secondary structure motifs in unaligned RNA sequences (2008) (26)
- Estimating reaction constants in stochastic biological systems with a multi-swarm PSO running on GPUs (2012) (26)
- Proteomic profiles of thyroid tumors by mass spectrometry-imaging on tissue microarrays. (2017) (26)
- CNN-based Prostate Zonal Segmentation on T2-weighted MR Images: A Cross-dataset Study (2019) (26)
- Unambiguous regular trace languages (1985) (25)
- Improving Universality Results on Parallel Enzymatic Numerical P Systems (2013) (25)
- VERSO: A comprehensive framework for the inference of robust phylogenies and the quantification of intra-host genomic diversity of viral samples (2020) (25)
- Flattening in (Tissue) P Systems (2013) (24)
- LASSIE: simulating large-scale models of biochemical systems on GPUs (2017) (24)
- How interacting pathways are regulated by miRNAs in breast cancer subtypes (2016) (24)
- Analysis and Simulation of Dynamics in Probabilistic P Systems (2005) (24)
- P Systems with Gemmation of Mobile Membranes (2001) (24)
- Multi-agent modeling and analysis of the Brazilian food-poisoning scenario (2005) (23)
- Evaluation of natural language processing systems: Issues and approaches (1986) (23)
- P systems with active membranes: trading time for space (2011) (23)
- Multi-agent modeling and analysis of the Brazilian food-poisoning scenario (2005) (23)
- Complexity aspects of polarizationless membrane systems (2009) (22)
- P Systems with Elementary Active Membranes: Beyond NP and coNP (2010) (22)
- Parallel simulation of reaction-diffusion phenomena in percolation processes : A model based on cellular automata (2001) (22)
- Detecting Alternative Gene Structures from Spliced ESTs: A Computational Approach (2009) (22)
- Reverse engineering of kinetic reaction networks by means of Cartesian Genetic Programming and Particle Swarm Optimization (2013) (22)
- GenHap: a novel computational method based on genetic algorithms for haplotype assembly (2018) (22)
- A review of computational strategies for denoising and imputation of single-cell transcriptomic data. (2020) (22)
- Algorithmic Aspects in Information and Management (2016) (22)
- Machine learning approaches in MALDI-MSI: clinical applications (2016) (22)
- Integration of transcriptomic data and metabolic networks in cancer samples reveals highly significant prognostic power (2018) (21)
- Characterising the complexity of tissue P systems with fission rules (2017) (21)
- Characterizing PSPACE with shallow non-confluent P systems (2019) (21)
- Elementary Active Membranes Have the Power of Counting (2011) (21)
- Integration of transcriptomic data and metabolic networks in cancer samples reveals highly significant prognostic power (2018) (21)
- Orthology Correction for Gene Tree Reconstruction: Theoretical and Experimental Results (2017) (20)
- P System Models for Mechanosensitive Channels (2006) (20)
- Simulations Among Classes of Random Access Machines and Equivalence Among Numbers Succinctly Represented11A preliminary version of the first part of this paper has been published in the Proceedings of the ACM Symp. on theory of Computation, Milwaukee, 1991. (1985) (20)
- Supporting Action-at-a-distance in Situated Cellular Agents (2006) (20)
- GeneSyn: a tool for detecting conserved gene order across genomes. (2004) (20)
- Heterogeneous cooperative coevolution: strategies of integration between GP and GA (2006) (19)
- An ensemble evolutionary constraint-based approach to understand the emergence of metabolic phenotypes (2014) (19)
- Complex Chaotic Behavior of a Class of Subshift Cellular Automata (1993) (19)
- Detecting similarities among distant homologous proteins by comparison of domain flexibilities. (2007) (19)
- P Systems Simulating Oracle Computations (2011) (19)
- cupSODA: A CUDA-Powered Simulator of Mass-Action Kinetics (2013) (19)
- Pathway-based classification of breast cancer subtypes. (2017) (19)
- Unconventional Computation and Natural Computation (2013) (19)
- An ontological modeling approach to cerebrovascular disease studies: The NEUROWEB case (2010) (19)
- Modular Algebraic Nets to Specify Concurrent Systems (1996) (18)
- Two Normal Forms for Rewriting P Systems (2001) (18)
- Regular splicing languages and subclasses (2005) (18)
- Copy-Number Alterations for Tumor Progression Inference (2013) (18)
- Combined analysis of chromosomal instabilities and gene expression for colon cancer progression inference (2014) (18)
- Combined analysis of chromosomal instabilities and gene expression for colon cancer progression inference (2014) (18)
- Investigating the Relation between Stochastic Differentiation, Homeostasis and Clonal Expansion in Intestinal Crypts via Multiscale Modeling (2014) (18)
- Learning mutational graphs of individual tumour evolution from single-cell and multi-region sequencing data (2019) (18)
- Pattern Discovery in RNA Secondary Structure Using Affix Trees (2003) (18)
- Morphisms and minimal models for OBJSA nets (1991) (18)
- Copy-Number Alterations for Tumor Progression Inference (2013) (18)
- Constant-Space P Systems with Active Membranes (2014) (18)
- Stochastic Approaches in P Systems for Simulating Biological Systems (2006) (18)
- Combination of gene expression and genome copy number alteration has a prognostic value for breast cancer (2013) (18)
- A Support Vector Machine Classification of Thyroid Bioptic Specimens Using MALDI-MSI Data (2016) (17)
- Reconstructing formal temporal models of cellular events using the GO process ontology (2005) (17)
- A surveillance system for early-stage diagnosis of endogenous diseases by swarms of nanobots (2010) (17)
- Implementing Cellular Automata Based Models on Parallel Architectures: The CAPP Project (1999) (17)
- Availability of MudPIT data for classification of biological samples (2013) (17)
- Decision Problems for Linear and Circular Splicing Systems (2002) (17)
- Reconstructing formal temporal models of cellular events using the GO process ontology (2005) (17)
- The counting power of P systems with antimatter (2017) (17)
- Investigating local evolutions in dynamical probabilistic P systems (2005) (17)
- Using Subtree Crossover Distance to Investigate Genetic Programming Dynamics (2006) (16)
- Universality and Normal Forms on Membrane Systems (2000) (16)
- DNA and Circular Splicing (2000) (16)
- Non-confluence in divisionless P systems with active membranes (2010) (16)
- Abstract Data Types and Their Extensions within a Constructive Logic (1984) (16)
- Computational complexity of finite asynchronous cellular automata (2017) (16)
- Modeling Cumulative Biological Phenomena with Suppes-Bayes Causal Networks (2016) (16)
- An empirical comparison of parallel and distributed particle swarm optimization methods (2010) (16)
- New Technologies for the Management and Rehabilitation of Chronic Diseases and Conditions (2015) (16)
- Mathematical modeling of the formation of apoptosome in intrinsic pathway of apoptosis (2008) (16)
- Quantum Sequential P Systems with Unit Rules and Energy Assigned to Membranes (2005) (15)
- Different regulation of miR‐29a‐3p in glomeruli and tubules in an experimental model of angiotensin II‐dependent hypertension: potential role in renal fibrosis (2016) (15)
- A study of the neutrality of Boolean function landscapes in genetic programming (2012) (15)
- Area-based cell colony surviving fraction evaluation: A novel fully automatic approach using general-purpose acquisition hardware (2017) (15)
- HaraliCU: GPU-Powered Haralick Feature Extraction on Medical Images Exploiting the Full Dynamics of Gray-Scale Levels (2019) (15)
- CABeRNET: a Cytoscape app for augmented Boolean models of gene regulatory NETworks (2015) (15)
- CABeRNET: a Cytoscape app for augmented Boolean models of gene regulatory NETworks (2015) (15)
- An Efficient Simulation of Polynomial-Space Turing Machines by P Systems with Active Membranes (2009) (15)
- A coherent framework for multiresolution analysis of biological networks with "memory": Ras pathway, cell cycle, and immune system. (2005) (15)
- A Characterization of Abstract Data as Model-Theoretic Invariants (1979) (15)
- On different approaches to abstract data types and the existence of recursive models (1979) (15)
- BioSimWare: A Software for the Modeling, Simulation and Analysis of Biological Systems (2010) (14)
- GPU-powered model analysis with PySB/cupSODA (2017) (14)
- Fuzzy cellular automata and their 'chaotic behavior' (1993) (14)
- Circular splicing and regularity (2004) (14)
- Transformations of the One-Dimensional Cellular Automata Rule Space (1997) (14)
- Simulation of a bounded symport/antiport P system with Brane calculi (2008) (14)
- CoGNaC: A Chaste Plugin for the Multiscale Simulation of Gene Regulatory Networks Driving the Spatial Dynamics of Tissues and Cancer (2015) (13)
- Parallel Rewriting P Systems with Deadlock (2002) (13)
- Using membrane features in P-systems (2001) (13)
- A GAP IN THE SPACE HIERARCHY OF P SYSTEMS WITH ACTIVE MEMBRANES (2014) (13)
- A GAP IN THE SPACE HIERARCHY OF P SYSTEMS WITH ACTIVE MEMBRANES (2014) (13)
- Shallow Non-confluent P Systems (2016) (13)
- Top-k overlapping densest subgraphs: approximation algorithms and computational complexity (2020) (13)
- Surfing on Fitness Landscapes: A Boost on Optimization by Fourier Surrogate Modeling (2020) (13)
- Genomics via Optical Mapping IV: Sequence Validation via Optical Map Matching (2001) (13)
- Extending the Entity-Relationship Approach to Take in Account Historical Aspects of Systems (1979) (13)
- Enzymatic Numerical P Systems Using Elementary Arithmetic Operations (2013) (13)
- Seasonal variance in P system models for metapopulations (2007) (13)
- CoGNaC: A Chaste Plugin for the Multiscale Simulation of Gene Regulatory Networks Driving the Spatial Dynamics of Tissues and Cancer (2015) (13)
- Longitudinal cancer evolution from single cells (2020) (12)
- A study of parallel and distributed particle swarm optimization methods (2010) (12)
- Covering a Graph with Clubs (2019) (12)
- Gemmating P systems: collapsing hierarchies (2003) (12)
- A Turing machine simulation by P systems without charges (2019) (12)
- P Systems with Active Membranes Working in Logarithmic Space (2014) (12)
- Counting Techniques for Inclusion, Equivalence and Membership Problems (1995) (12)
- The l-Diversity problem: Tractability and approximability (2013) (12)
- Preface [to WMC 2003 - 4th International Workshop on Membrane Computing, Revised selected papers] (2004) (12)
- Mutual Information Optimization for Mass Spectra Data Alignment (2012) (11)
- Kernel Methods: Support Vector Machines (2019) (11)
- Fully Automatic Multispectral MR Image Segmentation of Prostate Gland Based on the Fuzzy C-Means Clustering Algorithm (2018) (11)
- A survey on space complexity of P systems with active membranes (2018) (11)
- On Automata on Infinite Trees (1992) (11)
- Coupling Mechanistic Approaches and Fuzzy Logic to Model and Simulate Complex Systems (2020) (11)
- Semantics Frameworks for a Class of Modular Algebraic Nets (1993) (11)
- Discovering Relations Among GO-Annotated Clusters by Graph Kernel Methods (2007) (11)
- A Formal Basis for Performance Evaluation of Natural Language Understanding Systems (1984) (11)
- In-Silico Integration Approach to Identify a Key miRNA Regulating a Gene Network in Aggressive Prostate Cancer (2018) (11)
- On the power of circular splicing (2005) (11)
- On the tractability of finding disjoint clubs in a network (2019) (11)
- Mutual Information Optimization for Mass Spectra Data Alignment (2012) (11)
- Approximating the Maximum Isomorphic Agreement Subtree Is Hard (2000) (11)
- Gene switching rate determines response to extrinsic perturbations in the self-activation transcriptional network motif (2016) (11)
- Discovering Relations Among GO-Annotated Clusters by Graph Kernel Methods (2007) (11)
- Grid Computing for Sensitivity Analysis of Stochastic Biological Models (2011) (11)
- Solving the factorization problem with P systems (2007) (11)
- On the Universality of Post and Splicing Systems (2000) (11)
- Characterization of intra-host SARS-CoV-2 variants improves phylogenomic reconstruction and may reveal functionally convergent mutations (2020) (11)
- A toolbox for simpler active membrane algorithms (2017) (11)
- Single-cell Digital Twins for Cancer Preclinical Investigation. (2020) (10)
- An application of kernel methods to gene cluster temporal meta-analysis (2010) (10)
- Nine Test Tubes Generate any RE Language (2000) (10)
- An Analysis on the Influence of Network Topologies on Local and Global Dynamics of Metapopulation Systems (2010) (10)
- A hierarchy of regular trace languages and some combinatorial applications (1982) (10)
- An Optimal Control Framework for the Automated Design of Personalized Cancer Treatments (2020) (10)
- The Computational Power of Exponential-Space P Systems with Active Membranes (2012) (10)
- An application of kernel methods to gene cluster temporal meta-analysis (2010) (10)
- A Parallel Model Based on Cellular Automata for the Simulation of Pesticide Percolation in the Soil (1999) (10)
- On a Paun's Conjecture in Membrane Systems (2007) (10)
- Universal Families of Reversible P Systems (2004) (10)
- Methods for Pattern Discovery in Unaligned Biological Sequences (2001) (10)
- Simpathica: A Computational Systems Biology Tool Within the Valis Bioinformatics Environment (2006) (10)
- A framework for validating AI in precision medicine: considerations from the European ITFoC consortium (2021) (10)
- Recent complexity-theoretic results on P systems with active membranes (2015) (10)
- Clique Editing to Support Case Versus Control Discrimination (2016) (10)
- Fuzzy modeling and global optimization to predict novel therapeutic targets in cancer cells (2019) (10)
- Regular Languages Generated by Reflexive Finite Splicing Systems (2003) (10)
- Efficient Simulation of Reaction Systems on Graphics Processing Units (2017) (9)
- Parallel implementation of efficient search schemes for the inference of cancer progression models (2016) (9)
- Infinite Brain Tumor Images : Can GAN-based Data Augmentation Improve Tumor Detection on MR Images ? (2018) (9)
- The Genopolis Microarray Database (2007) (9)
- Towards Human Cell Simulation (2019) (9)
- Modelling Spatial Heterogeneity and Macromolecular Crowding with Membrane Systems (2010) (9)
- The Supervisor Synthesis Problem for Unrestricted CTL is NP-complete (1995) (9)
- Algortihmic algebraic model checking I: The case of biochemical systems and their reachability analysis (2005) (9)
- Learning mutational graphs of individual tumor evolution from multi-sample sequencing data (2017) (9)
- Efficient computational strategies to learn the structure of probabilistic graphical models of cumulative phenomena (2017) (9)
- Resource-Efficient Hardware Implementation of a Neural-based Node for Automatic Fingerprint Classification (2017) (9)
- Identification of Individualized Feature Combinations for Survival Prediction in Breast Cancer: A Comparison of Machine Learning Techniques (2010) (9)
- Identification of Individualized Feature Combinations for Survival Prediction in Breast Cancer: A Comparison of Machine Learning Techniques (2010) (9)
- Parallel implementation of efficient search schemes for the inference of cancer progression models (2016) (9)
- Shallow laconic P systems can count (2020) (9)
- Tissue P Systems Can be Simulated Efficiently with Counting Oracles (2015) (9)
- JESTER: An Esterel-based Reactive Java Extension for Reactive Embedded Systems Co-Design (2001) (8)
- Efficient inference of cancer progression models (2014) (8)
- Stochastic Simulations on a Grid Framework for Parameter Sweep Applications in Biological Models (2009) (8)
- Modeling cell proliferation in human acute myeloid leukemia xenografts (2019) (8)
- Linear splicing and syntactic monoid (2006) (8)
- Subroutines in P systems and closure properties of their complexity classes (2020) (8)
- Solving QSAT in Sublinear Depth (2018) (8)
- Efficient inference of cancer progression models (2014) (8)
- Improved Universality Results for Parallel Enzymatic Numerical P Systems (2013) (8)
- m-Asynchronous Cellular Automata (2012) (8)
- NP-completeness of the Supervisor Synthesis Problem for Unrestricted CTL Specifications (1996) (8)
- A sense of life: computational and experimental investigations with models of biochemical and evolutionary processes. (2003) (8)
- A Sense of Life ∗ (2003) (7)
- GeStoDifferent: a Cytoscape plugin for the generation and the identification of gene regulatory networks describing a stochastic cell differentiation process (2013) (7)
- Cellular automata: From modeling to applications (2001) (7)
- Accelerated Analysis of Biological Parameters Space Using GPUs (2017) (7)
- Linear and circular splicing (1999) (7)
- Tissue P Systems with Small Cell Volume (2017) (7)
- A Low-Dose CT-Based Radiomic Model to Improve Characterization and Screening Recall Intervals of Indeterminate Prevalent Pulmonary Nodules (2021) (7)
- Early-Stage Diagnosis of Endogenous Diseases by Swarms of Nanobots: An Applicative Scenario (2010) (7)
- CIMS-TR 2005-859 Algorithmic Algebraic Model Checking I: The Case of Biochemical Systems and their Reachability Analysis ? (2005) (7)
- A Reduced Distributed Splicing System for RE Languages (1997) (7)
- GeStoDifferent: a Cytoscape plugin for the generation and the identification of gene regulatory networks describing a stochastic cell differentiation process (2013) (7)
- LACE: Inference of cancer evolution models from longitudinal single-cell sequencing data (2021) (7)
- Combining Image Processing Operators and Neural Networks in A Face Recognition System (1992) (7)
- Effects of delayed immune-response in tumor immune-system interplay (2012) (6)
- Computing with Shapes (2001) (6)
- mHealth and eHealth for Obesity and Types 2 and 1 Diabetes (2016) (6)
- Hierarchies of parallel rewriting P systems — A survey (2004) (6)
- The Longest Filled Common Subsequence Problem (2017) (6)
- Stochastic Hybrid Automata with delayed transitions to model biochemical systems with delays (2014) (6)
- A Hybrid Monte Carlo Ant Colony Optimization Approach for Protein Structure Prediction in the HP Model (2013) (6)
- P Systems with String Objects (2009) (6)
- Linking Alterations in Metabolic Fluxes with Shifts in Metabolite Levels by Means of Kinetic Modeling (2016) (6)
- ginSODA: massive parallel integration of stiff ODE systems on GPUs (2018) (6)
- A study on the combined interplay between stochastic fluctuations and the number of flagella in bacterial chemotaxis (2009) (6)
- Towards a Theory of Abstract Data Types: A Discussion on Problems and Tools (1980) (6)
- Computing with a Distributed Reaction-Diffusion Model (2004) (6)
- Top-k Overlapping Densest Subgraphs: Approximation and Complexity (2018) (6)
- The foundation of Evolutionary Petri Nets (2013) (6)
- GP Generation of Pedestrian Behavioral Rules in an Evacuation Model Based on SCA (2008) (6)
- Model theoretic aspects of abstract data specification (1979) (6)
- Effects of delayed immune-response in tumor immune-system interplay (2012) (6)
- Covering with Clubs: Complexity and Approximability (2018) (6)
- System of Nudge Theory-Based ICT Applications for Older Citizens: The SENIOR Project (2019) (6)
- ACDC: Automated Cell Detection and Counting for Time-Lapse Fluorescence Microscopy (2020) (6)
- A new classification of cellular automata and their algebraic properties (1993) (6)
- Design of the TRONCO BioConductor Package for TRanslational ONCOlogy (2015) (6)
- Stochastic Hybrid Automata with delayed transitions to model biochemical systems with delays (2014) (6)
- Design of the TRONCO BioConductor Package for TRanslational ONCOlogy (2015) (6)
- Fifth IFIP International Conference On Theoretical Computer Science - TCS 2008, IFIP 20th World Computer Congress, TC 1, Foundations of Computer Science, September 7-10, 2008, Milano, Italy (2008) (5)
- Proceedings of the Second Conference on Cellular Automata for Research and Industry (1996) (5)
- An Empirical Study of Parallel and Distributed Particle Swarm Optimization (2012) (5)
- A multiscale model of intestinal crypts dynamics (2012) (5)
- NoisySim: exact simulation of stochastic chemically reacting systems with extrinsic bounded noises (WIP) (2013) (5)
- A study on learning robustness using asynchronous 1D cellular automata rules (2012) (5)
- Context-free trace languages (1982) (5)
- MaREA4Galaxy: Metabolic reaction enrichment analysis and visualization of RNA-seq data within Galaxy (2020) (5)
- DNA Computing, 10th International Workshop on DNA Computing, DNA 10, Milan, Italy, June 7-10, 2004, Revised Selected Papers (2005) (5)
- Analysis of Correlation Structures in Renal Cell Carcinoma Patient Data (2012) (5)
- Analysis of Correlation Structures in Renal Cell Carcinoma Patient Data (2012) (5)
- MaREA4Galaxy: Metabolic reaction enrichment analysis and visualization of RNA-seq data within Galaxy (2020) (5)
- A mathematical model for analysing and structuring musical texts (1978) (5)
- Parallel Rewriting P Systems without Target Conflicts (2002) (5)
- Modeling Diffusion in a Signal Transduction Pathway: the Use of Virtual Volumes in P Systems (2011) (5)
- Investigating the Compositional Structure Of Deep Neural Networks (2020) (5)
- A multiscale model of intestinal crypts dynamics (2012) (5)
- Chemotherapy after PD‐1 inhibitors in relapsed/refractory Hodgkin lymphoma: Outcomes and clonal evolution dynamics (2022) (5)
- A Multi-volume Approach to Stochastic Modeling with Membrane Systems (2009) (5)
- Conservative Computations in Energy-Based P Systems (2004) (5)
- COSYS: A Computational Infrastructure for Systems Biology (2016) (5)
- A Study on the Automatic Generation of Asynchronous Cellular Automata Rules by Means of Genetic Algorithms (2010) (5)
- A distance between populations for one-point crossover in genetic algorithms (2012) (5)
- A Common Lisp Application to Discover Kripke Models : Redescribing Biological Processes from Time-Course Data ∗ (2005) (5)
- Neuro-Radiosurgery Treatments: MRI Brain Tumor Seeded Image Segmentation Based on a Cellular Automata Model (2016) (5)
- Constraint-Based Modeling and Simulation of Cell Populations (2016) (5)
- Large-scale analysis of SARS-CoV-2 synonymous mutations reveals the adaptation to the human codon usage during the virus evolution (2022) (5)
- Solving a Special Case of the P Conjecture Using Dependency Graphs with Dissolution (2017) (5)
- Membrane Computing, 5th International Workshop, WMC 2004, Milan, Italy, June 14-16, 2004, Revised Selected and Invited Papers (2005) (5)
- Dynamical Probabilistic P Systems: Definitions and Applications (2005) (4)
- Parallel Generation of Percolation Beds Based on Stochastic Cellular Automata (2001) (4)
- Multilayered cellular automata in modeling biological systems (1996) (4)
- Constraining Mechanism Based Simulations to Identify Ensembles of Parametrizations to Characterize Metabolic Features (2016) (4)
- Implementation of the TRONCO package for TRanslational ONCOlogy (2015) (4)
- An Algebraic Approach to Problem Solution and Problem Semantics (1977) (4)
- Implementation of the TRONCO package for TRanslational ONCOlogy (2015) (4)
- Clustering Dependencies with Support Vectors (2008) (4)
- A Membrane Computing System Mapped on an Asynchronous, Distributed Computational Environment (2005) (4)
- Sensitivity Analysis for Studying the Relation between biochemical reactions and metabolic phenotypes (2013) (4)
- Learning to solve PP-attachment ambiguities in natural language processing through neural networks (1992) (4)
- High Performance Computing for Haplotyping: Models and Platforms (2018) (4)
- An Attention-based Architecture for EEG Classification (2020) (4)
- Chaos and subshift rules in neural networks and cellular automata (1993) (4)
- Restricted and Swap Common Superstring: A Multivariate Algorithmic Perspective (2015) (4)
- A CUDA-powered method for the feature extraction and unsupervised analysis of medical images (2021) (4)
- Grammars Working on Layered Strings (1998) (4)
- Corrigendum: Computational Methods for Resting-State EEG of Patients With Disorders of Consciousness (2019) (4)
- Optimizing Social Interaction - A Computational Approach to Support Patient Engagement (2018) (4)
- Communication via Mobile Vesicles in Brane Calculi (2007) (4)
- Remembrance of Experiments Past: Analyzing Time Course Datasets to Discover Complex Temporal Invariants (2005) (4)
- Naturally Speaking: A Systems Biology Tool With Natural Language Interfaces (2004) (4)
- Oncology over Internet: integrating data and analysis of oncology interest on the net by means of workflows (2005) (3)
- Inferring causal models of cancer progression with a shrinkage estimator and probability raising (2013) (3)
- A memetic hybrid method for the Molecular Distance Geometry Problem with incomplete information (2014) (3)
- Integration of single-cell RNA-seq data into metabolic models to characterize tumour cell populations (2018) (3)
- A Novel Variant of P Systems for the Modelling and Simulation of Biochemical Systems (2009) (3)
- Using structured input patterns for neural based image recognition (1992) (3)
- Quantification of Intra-Host Genomic Diversity of SARS-CoV-2 Allows a High-Resolution Characterization of Viral Evolution and Reveals Functionally Convergent Variants (2020) (3)
- Emergent Pattern Interpretation in Vegetable Population Dynamics (2007) (3)
- Recognizing sets of labelled acyclic graphs (1992) (3)
- Membrane systems in systems biology (2008) (3)
- Recombinant DNA , Gene Splicing as Generative Devices of Formal Languages (2005) (3)
- Bounded Extrinsic Noises Affecting Biochemical Networks with Low Molecule Numbers (2013) (3)
- Complexity Issues of String to Graph Approximate Matching (2020) (3)
- Inferring causal models of cancer progression with a shrinkage estimator and probability raising (2013) (3)
- Parallel Algorithms and the Classification of Problems (1986) (3)
- Natural Language Translations of Formal Specifications for Complex Industrial Systems (1999) (3)
- Computer-Assisted Approaches for Uterine Fibroid Segmentation in MRgFUS Treatments: Quantitative Evaluation and Clinical Feasibility Analysis (2018) (3)
- Bidimensional Contextual Grammars (2000) (3)
- A Novel Variant of Tissue P Systems for the Modelling of Biochemical Systems (2009) (3)
- The Comparison of Phylogenetic Networks: Algorithms and Complexity (2008) (3)
- Network integration of data and analysis of oncology interest (2006) (3)
- Simulating Turing Machines by Extended mH Systems (1998) (3)
- Preface [to WMC 5 – 5th Int. Workshop on Membrane Computing, Selected papers] (2005) (3)
- Splicing systems with marked rules (1998) (3)
- Alternative space definitions for P systems with active membranes (2021) (3)
- Three Efficient Algorithms for Counting Problems (1979) (3)
- (Tissue) P systems with cell polarity (2009) (3)
- A duality theorem for two connectivity-preserving parallel shrinking transformations (2002) (3)
- Investigating the relation between stochastic differentiation and homeostasis in intestinal crypts via multiscale modeling (2013) (3)
- Towards the Use of Genetic Programming for the Prediction of Survival in Cancer (2014) (3)
- On the Power of Pictorial Languages (2000) (3)
- Structural Learning of Probabilistic Graphical Models of Cumulative Phenomena (2018) (3)
- Frequency Membrane Systems (2008) (3)
- Spectral-based printer modeling and characterization (2005) (3)
- DIABESITY: A Study for mHealth Integrated Solutions (2016) (3)
- cuProCell: GPU-Accelerated Analysis of Cell Proliferation With Flow Cytometry Data (2020) (3)
- Gillespie’s Stochastic Simulation Algorithm on MIC coprocessors (2017) (3)
- First Steps Towards a Wet Implementation for t-DPP (2009) (3)
- P systems with deadlock. (2003) (3)
- Investigating the Role of Network Topology and Dynamical Regimes on the Dynamics of a Cell Differentiation Model (2014) (3)
- A Decision Procedure for Reflexive Regular Splicing Languages (2006) (3)
- A study of search algorithms’ optimization speed (2014) (3)
- Variant calling from scRNA-seq data allows the assessment of cellular identity in patient-derived cell lines (2021) (3)
- On Efficient Computation of the Coefficients of Some Polynomials with Applications to Some Enumeration Problems (1981) (3)
- On characterizing classes of efficiently parallelizable problems (1985) (3)
- Personalized Therapy Design for Liquid Tumors via Optimal Control Theory (2019) (3)
- On the Complexity of the l-diversity Problem (2011) (3)
- Comparing incomplete sequences via longest common subsequence (2019) (3)
- A new clustering approach for learning transcriptional modules (2012) (3)
- Towards Multilayered Automata Networks (1996) (3)
- ProCell: Investigating cell proliferation with Swarm Intelligence (2019) (2)
- Ordering copy number alteration data to analyze colorectal cancer progression (2012) (2)
- Using genetic algorithms for spectral-based printer characterization (2003) (2)
- An Explicit Upper Bound for the Approximation Ratio of the Maximum Gene Regulatory Network Problem (2004) (2)
- A New Evolutionary Gene Regulatory Network Reverse Engineering Tool (2011) (2)
- Evolutionary inference of biochemical reaction networks accelerated on graphics processing units (2013) (2)
- Ontological modeling at a domain interface: bridging clinical and biomolecular knowledge (2009) (2)
- An Empirical Approach for Spectral Color Printers Characterization (2004) (2)
- A parallel algorithm for pattern discovery in biological sequences (2002) (2)
- Emerging ensembles of kinetic parameters to characterize observed metabolic phenotypes (2018) (2)
- Optimization speed and fair sets of functions (2010) (2)
- Spectral-Based Characterization of Inkjet Printers by Neural and Genetic Algorithms (2003) (2)
- A Study on Gene Regulatory Network Reconstruction and Simulation (2011) (2)
- Parallelizing Biochemical Stochastic Simulations: A Comparison of GPUs and Intel Xeon Phi Processors (2015) (2)
- Online Social Space Identification. A Computational Tool for Optimizing Social Recommendations (2020) (2)
- Simulation and Analysis of the Blood Coagulation Cascade Accelerated on GPU (2014) (2)
- Kernel Machines: Introduction (2019) (2)
- On the use of genetic programming for the prediction of survival in cancer (2010) (2)
- Optimized Social Explanation for Educational Platforms (2019) (2)
- Restricted and Swap Common Superstring: A Parameterized View (2012) (2)
- Identification of an intracellular signalling complex for Ras/CAMP pathway in yeast: experimental evidences and modeling (2006) (2)
- Attentional Neural Mechanisms for Social Recommendations in Educational Platforms (2020) (2)
- Approximation Algorithms for String Folding Problems (2000) (2)
- A Computational Model for Promoting Targeted Communication and Supplying Social Explainable Recommendations (2019) (2)
- Evaluating Graph Kernel Methods for Relation Discovery in GO-Annotated Clusters (2007) (2)
- Ordering copy number alteration data to analyze colorectal cancer progression (2012) (2)
- Automatising the analysis of stochastic biochemical time-series (2015) (2)
- Multiple Biological Model Classification: From System Biology to Synthetic Biology (2006) (2)
- Ontological modeling at a domain interface: bridging clinical and biomolecular knowledge (2009) (2)
- On the automatic calibration of fully analogical spiking neuromorphic chips (2020) (2)
- NYU Educational Robotics Project: A Pedagogic Overview (1993) (2)
- A review of spatial computational models for multi-cellular systems, with regard to intestinal crypts and colorectal cancer development (2012) (2)
- J-SPACE: a Julia package for the simulation of spatial models of cancer evolution and of sequencing experiments (2022) (2)
- Learning the Probabilistic Structure of Cumulative Phenomena with Suppes-Bayes Causal Networks (2017) (2)
- Modeling systems biology from the point of view of discrete and hybrid systems (2008) (2)
- Large-scale analysis of synonymous viral variants reveals global adaptation of the SARS-CoV-2 to the human codon usage (2021) (2)
- Evaluating Graph Kernel Methods for Relation Discovery in GO-Annotated Clusters (2007) (2)
- Characterizing the computational power of energy-based P systems (2013) (2)
- Trading Geometric Realism for Efficiency in Tissue P Systems (2016) (2)
- Some Notes on Computational Learing Theory (1991) (2)
- Flowshop and TSP (1989) (2)
- Coordination through Group Rewriting (1999) (2)
- PP-attachment disambiguation in natural language processing through neural networks (1992) (2)
- Developments in Language Theory (2011) (2)
- Tissue P systems in the Euclidean space (2015) (2)
- Spiking neural P systems: main ideas and results (2022) (2)
- Computational Complexity Aspects in Membrane Computing (2010) (2)
- Deadlock Decidability in Partial Parallel P Systems (2003) (2)
- On the Computational Complexity of Conservative Computing (2003) (2)
- Simulating counting oracles with cooperation (2020) (2)
- ANALYSIS AND COMPACTING OF MUSICAL TEXTS (1978) (2)
- Hierarchies of Parallel Rewriting P Systems (2003) (2)
- UNIX-Tutor: An Experiment for the Use of Deep Knowledge for Tutoring (1989) (2)
- Identifying Regular Languages over Partially-Commutative Monoids (1994) (2)
- A local landscape mapping method for protein structure prediction in the HP model (2014) (2)
- Size and Power of Extended Gemmating P Pystems (2004) (2)
- Implementing Neural Networks (1989) (2)
- Identifying Unrecognizable Regular Languages by Queries (1994) (2)
- Simulating Turing machines through extended mH systems (1997) (2)
- Synthesis and Verification of Controllers for Robotics and Manufacturing Devices with Temporal Logic and the "Control-D" System (1995) (1)
- Distributed Heuristics for Optimizing Cohesive Groups: A Support for Clinical Patient Engagement in Social Network Analysis (2018) (1)
- Open Problems in Membrane Computing and How Not to Solve Them (2018) (1)
- Complexity Classes for Membrane Systems: A Survey (2015) (1)
- Rule Space Transformations and One-Dimensional Cellular Automata (1995) (1)
- Self-Stabilization in Membrane Systems (2012) (1)
- A survey of latest results on P System with deadlock (2004) (1)
- On the complexity of approximately matching a string to a directed graph (2021) (1)
- OBJ-SAN: Towards the Definition of a Class of High-Level Nets using OBJ2 (1986) (1)
- Fragment assembly system for DNA sequencing projects (1998) (1)
- Non deterministic machines and their generalizations (1984) (1)
- The Influence of Nutrients Diffusion on a Metabolism-driven Model of a Multi-cellular System (2019) (1)
- Proceedings of the Italian Workshop on Artificial Life and Evolutionary Computation (WIVACE 2012) (2012) (1)
- Use of bipartite graphs as a notation for data bases (1979) (1)
- Collapsing Hierarchies of Parallel Rewriting P Systems without Target Conflicts (2003) (1)
- Genetic programming for survival prediction in breast cancer (2009) (1)
- A unified approach to learnability (1990) (1)
- Combinatorial and Machine Learning Approaches in Clustering Microarray Data (2004) (1)
- Proceedings of the Italian Workshop on Artificial Life and Evolutionary Computation (WIVACE 2012) (2012) (1)
- On the power and size of extended gemmating P systems (2005) (1)
- FiCoS: a fine- and coarse-grained GPU-powered deterministic simulator for biochemical networks (2021) (1)
- Energy-Based Models of P Systems (2009) (1)
- A multiple network architecture for face recognition (1991) (1)
- A GA Approach to the Definition of Regulatory Signals in Genomic Sequences (2004) (1)
- Formal models of learning from examples (1992) (1)
- Molecular Diffusion and Compartmentalization in Signal Transduction Pathways: An Application of Membrane Systems to the Study of Bacterial Chemotaxis (2014) (1)
- Reference Ontology Design for a Neurovascular Knowledge Network (2007) (1)
- Automatic Synthesis Algorithms for Supervisory Controllers (Preliminary Report) (1994) (1)
- Picture Languages Generated by Assembling Tiles (2009) (1)
- Explainable Attentional Neural Recommendations for Personalized Social Learning (2020) (1)
- Genetic programming for survival prediction in breast cancer (2009) (1)
- Top-k overlapping densest subgraphs: approximation algorithms and computational complexity (2020) (1)
- Proceedings Wivace 2013 - Italian Workshop on Artificial Life and Evolutionary Computation: Preface (2013) (1)
- Investigating oscillatory regimens in the Ras/cAMP/PKA pathway in S. cerevisiae: the role of feedback control mechanisms (2011) (1)
- A Mutual Information Approach to Data Integration for Alzheimer's Disease Patients (2009) (1)
- Remarks on Relativisations and DNA Encodings (2004) (1)
- MaREA: Metabolic feature extraction, enrichment and visualization of RNAseq data (2018) (1)
- Inferring P systems from their computing steps: An evolutionary approach (2022) (1)
- Candidate biomarkers for response to tamoxifen in breast cancer metastatic patients (2013) (1)
- Ordering cancer mutational profiles of cross-sectional copy number alterations (2016) (1)
- Self-Stabilization in Membrane Systems (2012) (1)
- Synchronization Effects in a Metabolism-Driven Model of Multi-cellular System (2018) (1)
- Parallel Algorithms for the Analysis of Biological Sequences (2001) (1)
- Simulation of the Ras/cAMP/PKA Pathway in Budding Yeast Evidences the Presence of Stable Oscillatory States (2010) (1)
- Editorial: Network Bioscience (2019) (1)
- GPU-powered sensitivity analysis and parameter estimation of a reaction-based model of the Post Replication Repair pathway in yeast (2013) (1)
- Integration of Single-Cell RNA-Sequencing Data into Flux Balance Cellular Automata (2019) (1)
- Applying Random Graphs for Proteomic Data Analysis of RCC Patients (2010) (1)
- A # P-Complete Problem over Arithmetical Trees (1981) (1)
- Synchronization Effects in a Metabolism-Driven Model of Multi-cellular System (2018) (1)
- ACRI '96 : proceedings of the Second Conference on Cellular Automata for Research and Industry, Milan, Italy, 16-18 October 1996 (1997) (1)
- Membrane Systems for Computing (2002) (1)
- Experimenting an Approximation Algorithm for the Lcs 1 (1998) (1)
- Support Vector Clustering of Dependencies in Microarray Data (2007) (1)
- Probabilistic/Stochastic Models (2009) (1)
- Proceedings of the 15th international conference on Developments in language theory (2011) (1)
- Algebraic and informational aspects of Zielonka's Theorem (1993) (1)
- Distance space evolutionary algorithms for protein folding prediction (1998) (1)
- Applying Random Graphs for Proteomic Data Analysis of RCC Patients (2010) (1)
- On the Logic of Concurrency and Conflict (1980) (1)
- Predicting conserved hairpin motifs in unaligned RNA sequences (2003) (1)
- Computational aspects of learning in neural networks (1990) (1)
- FiCoS: A fine-grained and coarse-grained GPU-powered deterministic simulator for biochemical networks (2021) (1)
- Fingerprint Clustering with Bounded Number of Missing Values (2010) (1)
- DIABESITY: Design of mHealth integrated solutions for empowering diabetic and obese citizens in self-monitoring and self-management using mobile devices, apps, social media and web-based technologies (2017) (1)
- Understanding Deep Learning with Activation Pattern Diagrams (2020) (1)
- A Model of Colonic Crypts using SBML Spatial (2013) (1)
- CA based computational models and percolation: the generation of porous media and filler networks (1998) (1)
- Membrane Systems and Their Application to Systems Biology (2007) (1)
- Stratification of biological samples based on proteomics data (2013) (1)
- Flowshop and Travelling Salesman Problem (1989) (1)
- OBJSA Nets: OBJ and Petri Nets for Specifying Concurrent Systems (2000) (1)
- A new clustering approach for learning transcriptional regulatory modules (2009) (1)
- Proceedings Wivace 2013 - Italian Workshop on Artificial Life and Evolutionary Computation: Preface (2013) (1)
- Fingerprint Clustering with Bounded Number of Missing Values (2006) (1)
- Depth-two P systems can simulate Turing machines with NP oracles (2021) (1)
- Systems Biology via Redescription and Ontologies (II): A Tool for Discovery in Complex Systems (2010) (1)
- GPU-powered sensitivity analysis of a large-scale model of death cell signaling and proliferation in cancer cells (2015) (1)
- MaREA: Metabolic feature extraction, enrichment and visualization of RNAseq data (2018) (1)
- Modal Logic, Temporal Models and Neural Circuits: What Connects Them (2007) (1)
- Ordering cancer mutational profiles of cross-sectional copy number alterations (2016) (1)
- Embedded system design specification: merging reactive control and data computation (2001) (1)
- Unconventional computation and natural computation : 12th International Conference, UCNC 2013, Milan, Italy, July 1-5, 2013, proceedings (2013) (1)
- SparseSignatures: An R package using LASSO-regularized non-negative matrix factorization to identify mutational signatures from human tumor samples (2022) (1)
- Bio Molecular Engine: a bio-inspired environment for models of growing and evolvable computation (2005) (1)
- Solving PSPACE-complete Problems by Polarizationless Recognizer P Systems with Strong Division and Dissolution (2009) (1)
- An algorithm for the efficient inference of cancer progression models (2015) (0)
- Ontological Modelling for Neurovascular Disease Study: Issues in the Adoption of Description Logic (2007) (0)
- NNET: some tools for neural networks simulation (1990) (0)
- CABeRNET: a Cytoscape app for augmented Boolean models of gene regulatory NETworks (2016) (0)
- Approximating the Maximum Isomorphi Agreement Subtree is (2007) (0)
- A GPU-powered computational analysis of PCNA ubiquitylation processes involved in UV-induced DNA lesions bypass (2013) (0)
- Developments in Circular Splicing (2001) (0)
- Shallow laconic P systems can count (2020) (0)
- GALOIS: an instructional system for a first course in university algebra (1988) (0)
- Poster: Characterization of distinguishing regions for Renal Cell Carcinoma discrimination (2012) (0)
- Clique Editing to Support Case vs Control Discrimination (2016) (0)
- A novel approach to gene-set enrichment for two-class time-course expression data (2008) (0)
- Effects of stochastic fluctuations on the coordination of flagella in bacterial chemotaxis (2010) (0)
- Methods for pattern discovery in unaligned biological (2001) (0)
- Chromosome instability for tumor progression inference (2012) (0)
- Towards a High-Level Programming Language of Spiking Neural P Systems (2009) (0)
- LASSIE: simulating large-scale models of biochemical systems on GPUs (2017) (0)
- Complete Problems for a Variant of P Systems with Active Membranes (2010) (0)
- Special issue unconventional computation and natural computation 2013 preface guest editors (2014) (0)
- Tenth International Meeting on DNA Computing (DNA 10) (2005) (0)
- Gillespie’s Stochastic Simulation Algorithm on MIC coprocessors (2016) (0)
- P Systems with Memory (2005) (0)
- 2004. To appear. (2010) (0)
- A Resource-Efficient Hardware Neural Architecture for Automatic Fingerprint Classification (2017) (0)
- Foreword: asynchronous behavior of cellular automata and discrete models (2015) (0)
- MTGO: PPI Network Analysis Via Topological and Functional Module Identification (2018) (0)
- Chaotic Behavior of (n,m) Alternating Subshifts One-Dimensional Cellular Automata (2000) (0)
- Nudges Driven Networks: Towards More Acceptable Recommendations for Inducing Targeted Social Communities (2019) (0)
- Preface (2017) (0)
- Proceedings Wivace 2013 - Italian Workshop on Artificial Life and Evolutionary Computation, Milan, Italy, July 1-2, 2013 (2013) (0)
- Patient Engagement: Theoretical and Heuristic Approaches for Supporting the Clinical Practice (2018) (0)
- Graph Algorithms (2019) (0)
- BITS 2015: the annual meeting of the Italian Society of Bioinformatics (2016) (0)
- 5th International Workshop on Membrane Computing (2005) (0)
- Emerging ensembles of kinetic parameters to characterize observed metabolic phenotypes (2018) (0)
- Special Issue on Membrane Computing, Seventh Brainstorming Week on Membrane Computing (2009) (0)
- Correction: cuTauLeaping: A GPU-Powered Tau-Leaping Stochastic Simulator for Massive Parallel Analyses of Biological Systems (2014) (0)
- Chapter 7 OBJSANETS : OBJ AND PETRI NETS FOR SPECIFYING CONCURRENT SYSTEMS (0)
- PAC learning and neural networks (1993) (0)
- Graph Isomorphism (2019) (0)
- Modeling and simulation of the blood coagulation cascade (2014) (0)
- Pattern Discovery on Large Scale Genomic Data (2002) (0)
- A Duality in Two Connectivity-Preserving Parallel Shrinking Algorithms for Binary Images (2000) (0)
- Approximation of Optimization Problems and Learnability (2007) (0)
- The Neuroweb Project: Integration and sharing of information and knowledge in neurology and neurosciences (2007) (0)
- Evaluating space measures in P systems (2022) (0)
- Towards a GPU-powered toolbox for the computational analysis of biological systems (2015) (0)
- Preface (2003) (0)
- Preface [11th International Conference on Algorithmic Aspects in Information and Management, AAIM 2016; Bergamo; Italy; 18 July 2016 through 20 July 2016] (2016) (0)
- Measures to characterize search in evolutionary algorithms (2007) (0)
- Self-adaptive simulation time for sensitivity analysis of a stochastic computational model (2014) (0)
- A study on learning robustness using asynchronous 1D cellular automata rules (2012) (0)
- An ensemble approach to the study of the emergence of metabolic and proliferative disorders via Flux Balance Analysis (2013) (0)
- A Turing machine simulation by P systems without charges (2020) (0)
- Accelerating the computational analysis of biological systems by means of Graphics Processing Units (2013) (0)
- Essential Dynamics Data for a Deeper Insight in Motif Analysis: the PAS case (2002) (0)
- On Controlling Rewriting by Properties of Strings and Symbols (1997) (0)
- DEVS 13 Proceedings of the Symposium on Theory of Modeling & Simulation - DEVS Integrative M&S Symposium (2013) (0)
- An ensemble evolutionary constraint-based approach to understand the emergence of metabolic phenotypes (2014) (0)
- P Systems with Active Membranes Working in Sublinear Space (2014) (0)
- Computational Intelligence II: Proceedings of the International Symposium Computational Intelligence 89' Milan, Italy, 25-27 September, 1989 (1990) (0)
- A study of particle swarm optimization for parameters estimation in biochemical systems (2009) (0)
- ginSODA: massive parallel integration of stiff ODE systems on GPUs (2018) (0)
- Clustering Causal Relationships in Genes Expression Data (2005) (0)
- Top k 2-Clubs in a Network: A Genetic Algorithm (2019) (0)
- Approaching Explainable Recommendations for Personalized Social Learning: the Current Stage in the Educational Platform "WhoTeach" (2020) (0)
- Italian Society of Bioinformatics (BITS): Annual Meeting 2015 (2016) (0)
- How interacting pathways are regulated by miRNAs in breast cancer subtypes (2016) (0)
- Deterministic simulations of large-scale models of cellular processes accelerated on Graphics Processing Units (2015) (0)
- Preface (2022) (0)
- Emerging ensembles of kinetic parameters to identify experimentally observed phenotypes (2018) (0)
- Definition of a crossover based distance for genetic algorithms (2010) (0)
- A PTAS for the Maximum Consensus Clustering (2006) (0)
- Foreword: asynchronous behavior of cellular automata and discrete models (2015) (0)
- BioSimWare: A Simulation Environment for Stochastic Modelling of Complex Biological Systems (2010) (0)
- Proceedings of CIBB 2015 1 DETERMINISTIC SIMULATIONS OF LARGE-SCALE MODELS OF CELLULAR PROCESSES ACCELERATED ON GRAPHICS PROCESSING UNITS (2016) (0)
- Metabolic enrichment through functional gene rules (2017) (0)
- Preface (2014) (0)
- CNN-based Prostate Zonal Segmentation on Magnetic Resonance Images (2018) (0)
- GenHap: a novel computational method based on genetic algorithms for haplotype assembly (2019) (0)
- Modeling and Analysis of Cellular Processes with Dynamical Probabilistic P Systems: Questions, Methods and Results (2015) (0)
- in divisionless P systems with active membranes (2009) (0)
- On the class NL with oracle (1987) (0)
- CABeRNET: a Cytoscape app for augmented Boolean models of gene regulatory NETworks (2016) (0)
- Ontological Modelling for Neurovascular Disease Study: Issues in the Adoption of Description Logic (2007) (0)
- Analysis of the spatial and dynamical properties of a multiscale model of intestinal crypts (2013) (0)
- An algorithm for the efficient inference of cancer progression models (2015) (0)
- Poster: Characterization of distinguishing regions for Renal Cell Carcinoma discrimination (2012) (0)
- Unity is strength: Improving the Detection of Adversarial Examples with Ensemble Approaches (2021) (0)
- A Computational Framework To Infer The Order Of Accumulating Mutations In Individual Tumors (2017) (0)
- Differential Expression Profiles of Microrna in the Heart of Diabetic Rats: Pp.11.291 (2011) (0)
- Sub-interval Numerical Types for Common Lisp (2008) (0)
- GOALIE, a common lisp application to discover "Hidden Kripke Models": Redescribing biological processes from time-coarse data (2005) (0)
- CLAZY: Lazy Calling for Common Lisp (2008) (0)
- GOALIE, a common lisp application to discover "Hidden Kripke Models": Redescribing biological processes from time-coarse data (2005) (0)
- Proceedings Wivace 2013 - Italian Workshop on Artificial Life and Evolutionary Computation, Milan, Italy, July 1-2, 2013 (2013) (0)
- Learning mutational graphs of individual tumour evolution from single-cell and multi-region sequencing data (2019) (0)
- Edinburgh Explorer CABeRNET: a Cytoscape app for augmented Boolean models of gene regulatory NETworks (2018) (0)
- OG-SPACE: Optimized Stochastic Simulation of Spatial Models of Cancer Evolution (2021) (0)
- LACE 2.0: an interactive R tool for the inference and visualization of longitudinal cancer evolution (2023) (0)
- Why You Cannot (Yet) Write an "Interval Arithmetic" Library in Common Lisp (2020) (0)
- Optimal Control of a Discrete Time Stochastic Model of an Epidemic Spreading in Arbitrary Networks (2021) (0)
- cyTRON and cyTRON/JS: two Cytoscape-based applications for the inference of cancer evolution models (2017) (0)
- Preface - Proc. Wivace 2013 - Italian Workshop on Artificial Life and Evolutionary Computation (2013) (0)
- CAPRI: efficient inference of selective advantage relationships in cancer progression (2015) (0)
- PP.42.15: ANGIOTENSIN II-DEPENDENT DIFFERENTIAL MIRNA EXPRESSION IN RAT RENAL EPITHELIAL TUBULAR CELLS (2015) (0)
- Preface (2014) (0)
- ED I: NYU Educational Robot Design and Evaluation (1993) (0)
- J-SPACE: a Julia package for the simulation of spatial models of cancer evolution and of sequencing experiments (2022) (0)
- Spectral Techniques for Depth-3 Threshold Circuits (1998) (0)
- On the Use of Topological Features of Metabolic Networks for the Classification of Cancer Samples (2021) (0)
- A Symbolic Manipulation System for Combinatorial Problems (1986) (0)
- A Gentle Introduction to Membrane Systems and Their Computational Properties (2019) (0)
- A multinetwork architecture for classification (1992) (0)
- Characterizing PSPACE with shallow non-confluent P systems (2019) (0)
- EAD: an ensemble approach to detect adversarial examples from the hidden features of deep neural networks (2021) (0)
- Controlled Generation of Two-Dimensional Patterns through Probabilistic Cellular Automata: the Case of Percolation Beds (2000) (0)
- A survey and latest results on P systems with Deadlock (2005) (0)
- Simulating EXPSPACE Turing machines using P systems with active membranes (2012) (0)
- A Bayesian method to infer copy number clones from single-cell RNA and ATAC sequencing (2023) (0)
- Early detection and improved genomic surveillance of SARS-CoV-2 variants from deep sequencing data (2021) (0)
- Colonic Crypts with VCell and SBML/Spatial (2013) (0)
- Automating Analysis of Biochemical Pathways * (2004) (0)
- Foreword - Special Issue on Cellular Automata - Theoretical Computer Science 217 (1999) (0)
- Obituary Alberto Bertoni (1946-2014) (2014) (0)
- Metabolic enrichment through functional gene rules (2017) (0)
- Recognizing faces with a massively parallel system (1991) (0)
- Special Issue on Developments in Language Theory. Preface (2012) (0)
- Automatising the analysis of stochastic biochemical time-series (2015) (0)
- ISwap: a bioinformatics tool for index switching detection in vector integration site studies (2019) (0)
- Scription, Speciication and Planning, Tech- Nical Report Experiment 4. Control of a D.c. Motor. Experiment 5. Robot Arm Dynamics and Control. Experiment 1: System Familiarization And (0)
- A closed-loop optimization framework for personalized cancer therapy design (2020) (0)
- Explorer CABeRNET : a Cytoscape app for augmented Boolean models of gene regulatory NETworks (2016) (0)
- Chromosome instability for tumor progression inference (2012) (0)
- GTVcut for neuro-radiosurgery treatment planning: an MRI brain cancer seeded image segmentation method based on a cellular automata model (2017) (0)
- Stochastic modelling and parameter estimation of bacterial chemotaxis (2009) (0)
- Editorial [to: Theoretical Computer Science Vol. 717] (2018) (0)
- HyperBeta: characterizing the structural dynamics of proteins and self-assembling peptides (2021) (0)
- A study of search algorithms’ optimization speed (2012) (0)
- A Unifying Framework to Characterize the Power of a Language to Express Relations (2012) (0)
- Scientific papers: NEUROWEB: A web portal for neurosciences (2002) (0)
- Bio-Molecular Engine: A Simulation Environment for Bio-Inspired Architectural Models of Molecular-Scale Devices Based Machines (2005) (0)
- Algorithmic Aspects in Information and Management11th International Conference, AAIM 2016, Bergamo, Italy, July 18-20, 2016, Proceedings (2016) (0)
- Explorer CABeRNET : a Cytoscape app for augmented Boolean models of gene regulatory NETworks (2016) (0)
- CAPRI: efficient inference of selective advantage relationships in cancer progression (2015) (0)
- Preface (2012) (0)
- OP-CBIO190063 3378..3386 (2019) (0)
- BITS 2015: the annual meeting of the Italian Society of Bioinformatics (2016) (0)
- MP85-19 URINARY PEPTIDOME AND PROTEOME ALTERATIONS RELATED TO TUMOR PROGRESSION AND INVASION IN RCC (2016) (0)
- Preface - Proc. Wivace 2013 - Italian Workshop on Artificial Life and Evolutionary Computation (2013) (0)
- BioPySDS: an Object-Oriented Interface to Manage Protein Dynamics in an Evolutionary Framework (2004) (0)
- m-Asynchronous cellular automata: from fairness to quasi-fairness (2013) (0)
- Space complexity of P Systems with Active Membranes: a Survey (2017) (0)
- A Probabilistic Neural Networks System to Recognize 3D Face of People (2003) (0)
- Tumor size, stage and grade alterations of urinary peptidome in RCC (2015) (0)
- High-performance computing in systems biology: accelerating the simulation and analysis of large and complex biological systems (2016) (0)
- A local landscape mapping method for protein structure prediction in the HP model (2014) (0)
- Mining complex networks: A new challenge for supporting diagnostic decisions (2017) (0)
- Proceedings of the 10th international conference on DNA computing (2004) (0)
- Essential Transformations of the One Dimensional Cellular Automata Rule Space and Endomorphisms of Compact Abelian Groups (1996) (0)
- Splicing systems using merge and separate operations (2001) (0)
- GPU-accelerated simulations of mass-action kinetics models with cupSODA (2014) (0)
- Computational Tools for the Discovery of Regulatory Elements in Nucleotide Sequences from Co-Regulated or Homologous Genes (2006) (0)
- Editorial (2018) (0)
- Edinburgh Explorer CABeRNET: a Cytoscape app for augmented Boolean models of gene regulatory NETworks (2018) (0)
- Kernel Machines: Applications (2019) (0)
- Rule spaces transformations and one-dimension cellular automata (1995) (0)
- SOME RECURS!VELY UNSOLVABLE PROBLEMS RELATING TO ISOLATED CUTP01NTS IN PROBABILISTIC AUTOMATA (2005) (0)
- Natural Computing: Preface (2014) (0)
- A survey on space complexity of P systems with active membranes (2018) (0)
- Towards an integrated toolbox for GPU-powered computational analysis of complex biological systems (2015) (0)
- The role of Ras modulators and feedback control mechanisms on the establishment of oscillations in the Ras/cAMP/PKA pathway in S. cerevisiae (2011) (0)
- Developments in Language Theory - Proceedings of the 15th International Conference (DLT 2011) (2011) (0)
- GPU computing for accelerated analyses of a large-scale model of cell fate in cancer cells (2015) (0)
- Monodirectional P systems (2016) (0)
- Introduction to the Special theme - Molecular and Cellular Computing (2011) (0)
- New Robustness Paradigms: from Nature to Computing (2011) (0)
- Restricted and Swap Common Superstring: A Multivariate Algorithmic Perspective (2014) (0)
- Trend of FEV1 in Cystic Fibrosis patients: A telehomecare experience (2016) (0)
- Special issue on Membrane Computing - Foreword (2009) (0)
- Robust Conclusions in Mass Spectrometry Analysis (2015) (0)
- How Redundant Is Your Universal Computation Device? (2009) (0)
- Overview of BITS2005, the Second Annual Meeting of the Italian Bioinformatics Society (2005) (0)
- Preface (2019) (0)
This paper list is powered by the following services:
What Schools Are Affiliated With Giancarlo Mauri?
Giancarlo Mauri is affiliated with the following schools:
