The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Alberto Policriti" ( http://dblp.L3S.de/Authors/Alberto_Policriti )

  Author page on DBLP  Author page in RDF  Community of Alberto Policriti in ASPL-2

Publication years (Num. hits)
1989-1996 (17) 1997-2000 (18) 2001-2003 (20) 2004-2008 (20) 2009-2011 (18) 2012-2013 (15) 2014-2016 (20) 2017-2019 (19)
Publication types (Num. hits)
article(69) book(3) incollection(1) inproceedings(72) proceedings(2)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 17 occurrences of 15 keywords

Results
Found 148 publication records. Showing 147 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Jarno Alanko, Alberto Policriti, Nicola Prezza On Prefix-Sorting Finite Automata. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Laura Giordano 0001, Alberto Policriti Adding the Power-Set to Description Logics. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Massimo Bartoletti, Annalisa Barla, Andrea Bracciali, Gunnar W. Klau, Leif E. Peterson, Alberto Policriti, Roberto Tagliaferri (eds.) Computational Intelligence Methods for Bioinformatics and Biostatistics - 14th International Meeting, CIBB 2017, Cagliari, Italy, September 7-9, 2017, Revised Selected Papers Search on Bibsonomy CIBB The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Laura Giordano 0001, Alberto Policriti Extending ALC with the power-set construct. Search on Bibsonomy CILC The full citation details ... 2019 DBLP  BibTeX  RDF
1Laura Giordano 0001, Alberto Policriti Extending ALC with the Power-Set Construct. Search on Bibsonomy JELIA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Alberto Policriti, Nicola Prezza LZ77 Computation Based on the Run-Length Encoded BWT. Search on Bibsonomy Algorithmica The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Domenico Cantone, Alberto Policriti Encoding Sets as Real Numbers (Extended version). Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Dominik Kempa, Alberto Policriti, Nicola Prezza, Eva Rotenberg String Attractors: Verification and Optimization. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Laura Giordano 0001, Alberto Policriti Power (Set) ALC (Extended Abstract). Search on Bibsonomy CILC The full citation details ... 2018 DBLP  BibTeX  RDF
1Dominik Kempa, Alberto Policriti, Nicola Prezza, Eva Rotenberg String Attractors: Verification and Optimization. Search on Bibsonomy ESA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Laura Giordano 0001, Alberto Policriti Power (Set) ALC. Search on Bibsonomy ICTCS The full citation details ... 2018 DBLP  BibTeX  RDF
1Domenico Cantone, Alberto Policriti Encoding Sets as Real Numbers. Search on Bibsonomy SETS@ABZ The full citation details ... 2018 DBLP  BibTeX  RDF
1Eugenio G. Omodeo, Alberto Policriti, Alexandru I. Tomescu Set-syllogistics meet combinatorics. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Simone Silvetti, Alberto Policriti, Luca Bortolussi An Active Learning Approach to the Falsification of Black Box Cyber-Physical Systems. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Alberto Policriti, Nicola Prezza From LZ77 to the Run-Length Encoded Burrows-Wheeler Transform, and Back. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Eugenio G. Omodeo, Alberto Policriti, Alexandru I. Tomescu On Sets and Graphs: Perspectives on Logic and Combinatorics Search on Bibsonomy 2017   RDF
1Alberto Policriti, Nicola Prezza From LZ77 to the Run-Length Encoded Burrows-Wheeler Transform, and Back. Search on Bibsonomy CPM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Alice Tarzariol, Agostino Dovier, Alberto Policriti Towards a Logic Programming Tool for Cancer Analysis. Search on Bibsonomy ICTCS/CILC The full citation details ... 2017 DBLP  BibTeX  RDF
1Simone Silvetti, Alberto Policriti, Luca Bortolussi An Active Learning Approach to the Falsification of Black Box Cyber-Physical Systems. Search on Bibsonomy IFM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Alberto Casagrande, Carla Piazza, Alberto Policriti Is Hyper-extensionality Preservable Under Deletions of Graph Elements? Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Nicola Prezza, Francesco Vezzi, Max Käller, Alberto Policriti Fast, accurate, and lightweight analysis of BS-treated reads with ERNE 2. Search on Bibsonomy BMC Bioinformatics The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Alberto Policriti, Nicola Prezza Fast Longest Common Extensions in Small Space. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Eugenio G. Omodeo, Alberto Policriti (eds.) Martin Davis on Computability, Computational Logic, and Mathematical Foundations. Search on Bibsonomy 2016 DBLP  DOI  BibTeX  RDF
1Domenico Cantone, Eugenio G. Omodeo, Alberto Policriti Banishing Ultrafilters from Our Consciousness. Search on Bibsonomy Martin Davis on Computability, Computational Logic, and Mathematical Foundations The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, Alberto Policriti, Enrico Pontelli Logic Programming Applied to Genome Evolution in Cancer. Search on Bibsonomy CILC The full citation details ... 2016 DBLP  BibTeX  RDF
1Alberto Policriti, Nicola Prezza Computing LZ77 in Run-Compressed Space. Search on Bibsonomy DCC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Luca Bortolussi, Alberto Policriti, Simone Silvetti Logic-Based Multi-objective Design of Chemical Reaction Networks. Search on Bibsonomy HSB The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Giovanna D'Agostino, Eugenio G. Omodeo, Alberto Policriti, Alexandru I. Tomescu Mapping Sets and Hypersets into Numbers. Search on Bibsonomy Fundam. Inform. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Alberto Policriti, Nicola Prezza Fast randomized approximate string matching with succinct hash data structures. Search on Bibsonomy BMC Bioinformatics The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Nicola Prezza, Alberto Policriti Computing LZ77 in Run-Compressed Space. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Chiara Bodei, Luca Bortolussi, Davide Chiarugi, Maria Luisa Guerriero, Alberto Policriti, Alessandro Romanel On the impact of discreteness and abstractions on modelling noise in gene regulatory networks. Search on Bibsonomy Computational Biology and Chemistry The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Raffaella Gentilini, Carla Piazza, Alberto Policriti Rank and simulation: the well-founded case. Search on Bibsonomy J. Log. Comput. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Alberto Policriti, Nicola Gigante, Nicola Prezza Average Linear Time and Compressed Space Construction of the Burrows-Wheeler Transform. Search on Bibsonomy LATA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Riccardo Vicedomini, Francesco Vezzi, Simone Scalabrin, Lars Arvestad, Alberto Policriti Hierarchical Assembly of Pools. Search on Bibsonomy IWBBIO (2) The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Alberto Policriti, Nicola Prezza Fast Online Lempel-Ziv Factorization in Compressed Space. Search on Bibsonomy SPIRE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Marco Beccuti, Matteo Carrara, Francesca Cordero, Fulvio Lazzarato, Susanna Donatelli, Francesca Nadalin, Alberto Policriti, Raffaele Calogero Chimera: a Bioconductor package for secondary analysis of fusion products. Search on Bibsonomy Bioinformatics The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Alberto Policriti, Nicola Prezza Hashing and Indexing: Succinct DataStructures and Smoothed Analysis. Search on Bibsonomy ISAAC The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Cristian Del Fabbro, Fabio Tardivo, Alberto Policriti A Parallel Algorithm for the Best k-Mismatches Alignment Problem. Search on Bibsonomy PDP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Eugenio G. Omodeo, Carla Piazza, Alberto Policriti, Alexandru I. Tomescu Hyper-Extensionality and One-Node Elimination on Membership Graphs. Search on Bibsonomy CILC The full citation details ... 2014 DBLP  BibTeX  RDF
1Alberto Policriti, Alexandru I. Tomescu Well-quasi-ordering hereditarily finite sets. Search on Bibsonomy Int. J. Comput. Math. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Riccardo Vicedomini, Francesco Vezzi, Simone Scalabrin, Lars Arvestad, Alberto Policriti GAM-NGS: genomic assemblies merger for next generation sequencing. Search on Bibsonomy BMC Bioinformatics The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Luca Bortolussi, Alberto Policriti (Hybrid) automata and (stochastic) programsThe hybrid automata lattice of a stochastic program. Search on Bibsonomy J. Log. Comput. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Alberto Policriti, Alexandru I. Tomescu Markov chain algorithms for generating sets uniformly at random. Search on Bibsonomy Ars Math. Contemp. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Alberto Policriti Encodings of Sets and Hypersets. Search on Bibsonomy CILC The full citation details ... 2013 DBLP  BibTeX  RDF
1Alberto Policriti On the Decidability of the ∃*∀* Prefix Class in Set Theory. Search on Bibsonomy CILC The full citation details ... 2013 DBLP  BibTeX  RDF
1Eugenio G. Omodeo, Alberto Policriti The Bernays - Schönfinkel - Ramsey class for set theory: decidability. Search on Bibsonomy J. Symb. Log. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Francesca Nadalin, Francesco Vezzi, Alberto Policriti GapFiller: a de novo assembly approach to fill the gap within paired reads. Search on Bibsonomy BMC Bioinformatics The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Alberto Policriti, Alexandru I. Tomescu, Francesco Vezzi A randomized Numerical Aligner (rNA). Search on Bibsonomy J. Comput. Syst. Sci. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Francesco Vezzi, Cristian Del Fabbro, Alexandru I. Tomescu, Alberto Policriti rNA: a fast and accurate short reads numerical aligner. Search on Bibsonomy Bioinformatics The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Eugenio G. Omodeo, Alberto Policriti, Alexandru I. Tomescu Infinity, in short. Search on Bibsonomy J. Log. Comput. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Luca Bortolussi, Alberto Policriti Studying cancer-cell populations by programmable models of networks. Search on Bibsonomy NetMAHIB The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Raffaella Gentilini, Carla Piazza, Alberto Policriti Rank-Based Simulation on Acyclic Graphs. Search on Bibsonomy CILC The full citation details ... 2012 DBLP  BibTeX  RDF
1Francesca Nadalin, Francesco Vezzi, Alberto Policriti A Multi-objective Optimisation Approach to the Design of Experiment in De Novo Assembly Projects. Search on Bibsonomy DEXA Workshops The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Nicola Prezza, Cristian Del Fabbro, Francesco Vezzi, Emanuale De Paoli, Alberto Policriti ERNE-BS5: aligning BS-treated sequences by multiple hits on a 5-letters alphabet. Search on Bibsonomy BCB The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Alberto Policriti, Alexandru I. Tomescu Counting extensional acyclic digraphs. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Luca Bortolussi, Alberto Policriti Programmable models of growth and mutation of cancer-cell populations Search on Bibsonomy CompMod The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Alberto Policriti, Alexandru I. Tomescu Well-Quasi-Ordering Hereditarily Finite Sets. Search on Bibsonomy LATA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Cristian Del Fabbro, Francesco Vezzi, Alberto Policriti mrNA: The MPI Randomized Numerical Aligner. Search on Bibsonomy BIBM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Eugenio G. Omodeo, Alberto Policriti The Bernays-Schönfinkel-Ramsey class for set theory: semidecidability. Search on Bibsonomy J. Symb. Log. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Luca Bortolussi, Alberto Policriti Hybrid dynamics of stochastic programs. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Alberto Policriti, Alexandru I. Tomescu, Francesco Vezzi A Randomized Numerical Aligner (rNA). Search on Bibsonomy LATA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Luca Bortolussi, Alberto Policriti Perspectives on Constraints, Process Algebras, and Hybrid Systems. Search on Bibsonomy WCB@ICLP The full citation details ... 2010 DBLP  BibTeX  RDF
1Federica Cattonaro, Alberto Policriti, Francesco Vezzi Enhanced reference guided assembly. Search on Bibsonomy BIBM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Alberto Casagrande, Carla Piazza, Alberto Policriti Discrete Semantics for Hybrid Automata. Search on Bibsonomy Discrete Event Dynamic Systems The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Luca Bortolussi, Alberto Policriti The Importance of Being (A Little Bit) Discrete. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Luca Bortolussi, Alberto Policriti Dynamical Systems and Stochastic Programming: To Ordinary Differential Equations and Back. Search on Bibsonomy Trans. Computational Systems Biology The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Simone Scalabrin, Michele Morgante, Alberto Policriti Automated FingerPrint Background removal: FPB. Search on Bibsonomy BMC Bioinformatics The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Luca Bortolussi, Alberto Policriti Hybrid Semantics of Stochastic Programs with Dynamic Reconfiguration Search on Bibsonomy COMPMOD The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Luca Bortolussi, Alberto Policriti Hybrid Dynamics of Stochastic pi-Calculus. Search on Bibsonomy Mathematics in Computer Science The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification (2000). 92C99, 68U20, 93A99
1Alberto Casagrande, Cristian Del Fabbro, Simone Scalabrin, Alberto Policriti GAM: Genomic Assemblies Merger: A Graph Based Method to Integrate Different Assemblies. Search on Bibsonomy BIBM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Cristian Del Fabbro, Michele Morgante, Alberto Policriti, Nicola Vitacolonna TEA: a Transposable Elements Annotator. Search on Bibsonomy BIOCOMP The full citation details ... 2009 DBLP  BibTeX  RDF
1Luca Bortolussi, Alberto Policriti Stochastic Programs and Hybrid Automata for (Biological) Modeling. Search on Bibsonomy CiE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Raffaella Gentilini, Carla Piazza, Alberto Policriti Symbolic Graphs: Linear Solutions to Connectivity Related Problems. Search on Bibsonomy Algorithmica The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Massive graphs, Model checking, Ordered binary decision diagrams, Biconnected components, Strongly connected components
1Luca Bortolussi, Alberto Policriti Modeling Biological Systems in Stochastic Concurrent Constraint Programming. Search on Bibsonomy Constraints The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Stochastic concurrent constraint programming, Stochastic modeling, Biological systems
1Alberto Casagrande, Carla Piazza, Alberto Policriti, Bud Mishra Inclusion dynamics hybrid automata. Search on Bibsonomy Inf. Comput. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Carla Piazza, Alberto Policriti Systems Biology: Models and Logics. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Radu Mardare, Alberto Policriti A Complete Axiomatic System for a Process-Based Spatial Logic. Search on Bibsonomy MFCS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Luca Bortolussi, Alberto Policriti Hybrid Systems and Biology. Search on Bibsonomy SFM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Luca Bortolussi, Alberto Policriti Hybrid Semantics for Stochastic pi-Calculus. Search on Bibsonomy AB The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Luca Bortolussi, Alberto Policriti Stochastic Concurrent Constraint Programming and Differential Equations. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Luca Bortolussi, Simone Fonda, Alberto Policriti Constraint-Based Simulation of Biological Systems Described by Molecular Interaction Maps. Search on Bibsonomy BIBM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Eugenio G. Omodeo, Domenico Cantone, Alberto Policriti, Jacob T. Schwartz A Computerized Referee. Search on Bibsonomy Reasoning, Action and Interaction in AI Theories and Systems The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Luca Bortolussi, Francesco Fabris, Alberto Policriti BuST-Bundled Suffix Trees. Search on Bibsonomy IFIP TCS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Andrea Formisano, Eugenio G. Omodeo, Alberto Policriti The axiom of elementary sets on the edge of Peircean expressibility. Search on Bibsonomy J. Symb. Log. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Michele Morgante, Alberto Policriti, Nicola Vitacolonna, Andrea Zuccolo Structured Motifs Search. Search on Bibsonomy Journal of Computational Biology The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Angelo Montanari, Alberto Policriti, Nicola Vitacolonna An Algorithmic Account of Ehrenfeucht Games on Labeled Successor Structures. Search on Bibsonomy LPAR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Carla Piazza, Marco Antoniotti, Venkatesh Mysore, Alberto Policriti, Franz Winkler 0001, Bud Mishra Algorithmic Algebraic Model Checking I: Challenges from Systems Biology. Search on Bibsonomy CAV The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Agostino Dovier, Carla Piazza, Alberto Policriti An efficient algorithm for computing bisimulation equivalence. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Andrea Formisano, Eugenio G. Omodeo, Alberto Policriti Three-variable statements of set-pairing. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Marco Antoniotti, Carla Piazza, Alberto Policriti, Marta Simeoni, Bud Mishra Taming the complexity of biochemical models through bisimulation and collapsing: theory and practice. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Carla Piazza, Alberto Policriti Ackermann Encoding, Bisimulations, and OBDDs. Search on Bibsonomy TPLP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Alberto Policriti, Nicola Vitacolonna, Michele Morgante, Andrea Zuccolo Structured motifs search. Search on Bibsonomy RECOMB The full citation details ... 2004 DBLP  DOI  BibTeX  RDF graph data structures, interval constraints, structured motifs
1Carla Piazza, Alberto Policriti Ackermann Encoding, Bisimulations, and OBDDs Search on Bibsonomy CoRR The full citation details ... 2003 DBLP  BibTeX  RDF
1Raffaella Gentilini, Carla Piazza, Alberto Policriti From Bisimulation to Simulation: Coarsest Partition Problems. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2003 DBLP  DOI  BibTeX  RDF partition refinement problems, simulation, bisimulation
1Marco Antoniotti, F. Park, Alberto Policriti, Nadia Ugel, Bud Mishra Foundations of a Query and Simulation System for the Modeling of Biochemical and Biological Processes. Search on Bibsonomy Pacific Symposium on Biocomputing The full citation details ... 2003 DBLP  BibTeX  RDF
1Eugenio G. Omodeo, Ewa Orlowska, Alberto Policriti Rasiowa-Sikorski Style Relational Elementary Set Theory. Search on Bibsonomy RelMiCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF translation methods, Modal logic, relational systems
1Raffaella Gentilini, Alberto Policriti Biconnectivity on Symbolically Represented Graphs: A Linear Solution. Search on Bibsonomy ISAAC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Raffaella Gentilini, Carla Piazza, Alberto Policriti Computing strongly connected components in a linear number of symbolic steps. Search on Bibsonomy SODA The full citation details ... 2003 DBLP  BibTeX  RDF
1Enrico Marzano, Angelo Montanari, Alberto Policriti Binary Extensions of S1S and the Composition Method. Search on Bibsonomy Verification: Theory and Practice The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Marco Antoniotti, Bhubaneswar Mishra, Carla Piazza, Alberto Policriti, Marta Simeoni Modeling Cellular Behavior with Hybrid Automata: Bisimulation and Collapsing. Search on Bibsonomy CMSB The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 147 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license