IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 51 a 100 di 173
Titolo Data di pubblicazione Autore(i) File
Simulation as Coarsest Partition Problem 1-gen-2002 Gentilini, R.; Piazza, Carla; Policriti, Alberto
Xs-systems: extended s-systems and algebraic differential automata for modeling cellular behavior 1-gen-2002 M., Antoniotti; B., Mishra; Policriti, Alberto; N., Ugel
Alternative Translation Techniques for Propositional and First-Order Modal Logics 1-gen-2002 Montanari, Angelo; Policriti, Alberto; Slanina, M.
Foundations of a query and simulation system for the modeling of biochemical and biological processes 1-gen-2003 M., Antoniotti; B., Mishra; F., Park; Policriti, Alberto; N., Ugel
A sense of life: computational and experimental investigations with models of biochemical and evolutionary processes 1-gen-2003 Mishra, Bud; Daruwala, Raoul Sam; Zhou, Yi; Ugel, Nadia; Policriti, Alberto; Antoniotti, Marco; Paxia, Salvatore; Rejali, Marc; Rudra, Archisman; Cherepinsky, Vera; Silver, Naomi; Casey, William; Piazza, Carla; Simeoni, Marta; Barbano, Paolo; Spivak, Marina; Feng, Jiawu; Gill, Ofer; Venkatesh, Mysore; Cheng, Fang; Sun, Bing; Ioniata, Iuliana; Anantharaman, Thomas; Hubbard, E. Jane Albert; Pnueli, Amir; Harel, David; Chandru, Vijay; Hariharan, Ramesh; Wigler, Michael; Park, Frank; Lin, Shih Chieh; Lazebnik, Yuri; Winkler, Franz; Cantor, Charles R; Carbone, Alessandra; Gromov, Mikhael
Model building and model checking for biochemical processes 1-gen-2003 M., Antoniotti; Policriti, Alberto; N., Ugel; B., Mishra
Computing strongly connected components in a linear number of symbolic steps 1-gen-2003 Gentilini, R; Piazza, Carla; Policriti, Alberto
From Bisimulation to Simulation: Coarsest Partition Problems 1-gen-2003 Gentilini, R.; Piazza, Carla; Policriti, Alberto
Modeling Cellular Behavior with Hybrid Automata: Bisimulation and Collapsing 1-gen-2003 Antoniotti, M.; Mishra, B.; Piazza, Carla; Policriti, Alberto; Simeoni, M.
Improving reachability analysis of hybrid automata for engine control 1-gen-2004 Casagrande, A; Balluchi, A; Benvenuti, L; Policriti, A; Villa, T; Sangiovanni-Vincentelli, A
Structured Motifs Search 1-gen-2004 Morgante, Michele; Policriti, Alberto; Vitacolonna, Nicola; Zuccolo, Andrea
Taming the complexity of biochemical models through bisimulation and collapsing: theory and practice 1-gen-2004 Antoniotti, M.; Piazza, Carla; Policriti, Alberto; Simeoni, M.; Mishra, B.
Three-variable statements of set-pairing 1-gen-2004 Formisano, A.; Omodeo, E.; Policriti, Alberto
Ackermann Encodings, Bisimulations, and OBDDs 1-gen-2004 Policriti, Alberto; Piazza, Carla
An Efficient Algorithm for Computing Bisimulation Equivalence 1-gen-2004 Dovier, Agostino; Piazza, Carla; Policriti, Alberto
Algorithmic Algebraic Model Checking I: Challenges from Systems Biology⋆ 1-gen-2005 Piazza, Carla; M., Antoniotti; V., Mysore; Policriti, Alberto; F., Winkler; B., Mishra
The axiom of elementary sets on the edge of Peircean expressibility 1-gen-2005 Formisano, A.; Omodeo, E.; Policriti, Alberto
An algorithmic account of winning strategies in Ehrenfeucht games on labelled successor structures 1-gen-2005 Montanari, Angelo; Policriti, Alberto; Vitacolonna, Nicola
Structured motifs search 1-gen-2005 Morgante, Michele; Policriti, Alberto; Vitacolonna, Nicola; Zuccolo, Andrea
Stem-loop structure search for helitron discovery 1-gen-2006 S., Scalabrin; Morgante, Michele; Policriti, Alberto
Finding regulatory elements fixing error layouts 1-gen-2006 Zantoni, M.; Dalla, E.; Policriti, Alberto; Schneider, C.
Extensions of S1S and the composition method 1-gen-2006 D'Agostino, Giovanna; Montanari, Angelo; Policriti, Alberto
Views on Time in Systems Biology 1-gen-2006 Formisano, A; Omodeo, E; Policriti, Alberto
Connecting process algebras and differential equations for Systems Biology 1-gen-2006 Bortolussi, L; Policriti, Alberto
A Computerized Referee 1-gen-2006 EUGENIO G., Omodeo; Domenico, Cantone; Policriti, Alberto; AND SCHWARTZ JACOB, T.
Modeling Biological Systems in Stochastic Concurrent Constraint Programming 1-gen-2006 Bortolussi, L; Policriti, Alberto
BuST: Bundled Suffix Trees 1-gen-2006 L., Bortolussi; F., Fabris; Policriti, Alberto
On Devising Algorithms for Ehrenfeucht-Fraïssé Games 1-gen-2007 Montanari, Angelo; Policriti, Alberto; Vitacolonna, Nicola
Stochastic concurrent constraint programming and differential equations 1-gen-2007 L., Bortolussi; Policriti, Alberto
Module Identification Using Biological Constraints 1-gen-2007 DE MARIA, Elisabetta; Dovier, Agostino; Policriti, Alberto; Zantoni, Marco
Motif discovery fixing mismatch positions 1-gen-2007 Zantoni, M; Dalla, E; Policriti, Alberto; Schneider, Claudio
The grapevine genome sequence suggests ancestral hexaploidization in major angiosperm phyla 1-gen-2007 Jaillon, O; Aury, J. M.; Noel, B; Policriti, Alberto; Clepet, C; Casagrande, A; Choisne, N; Aubourg, S; Vitulo, N; Jubin, C; Vezzi, A; Legeai, F; Hugueney, P; Dasilva, C; Horner, D; Mica, E; Jublot, D; Poulain, J; Bruyère, C; Billault, A; Segurens, B; Gouyvenoux, M; Ugarte, E; Cattonaro, F; Anthouard, V; Vico, V; DEL FABBRO, Cristian; Alaux, M; DI GASPERO, Gabriele; Dumas, V; Felice, N; Paillard, S; Juman, I; Moroldo, M; Scalabrin, S; Canaguier, A; LE CLAINCHE, I; Malacrida, G; Durand, E; Pesole, G; Laucou, V; Chatelet, P; Merdinoglu, D; Delledonne, M; Pezzotti, M; Lecharny, A; Scarpelli, C; Artiguenave, F; Pè, Me; Valle, G; Morgante, Michele; Caboche, M; ADAM BLONDON, A. F.; Weissenbach, J; Quétier, F; Wincker, P.
Symbolic Graphs: Linear Solutions to Connectivity Related Problems 1-gen-2008 Gentilini, R.; Piazza, Carla; Policriti, Alberto
Hybrid systems and biology. continuous and discrete modeling for systems biology 1-gen-2008 Bortolussi, L; Policriti, Alberto
The importance of being (a little bit) discrete 1-gen-2008 L., Bortolussi; Policriti, Alberto
Discreteness, hybrid automata, and biology 1-gen-2008 Casagrande, A; Piazza, Carla; Policriti, Alberto
Modeling Biological Systems in Stochastic Concurrent Constraint Programming 1-gen-2008 L., Bortolussi; Policriti, Alberto
Hybrid approximation of stochastic process algebras for systems biology 1-gen-2008 L., Bortolussi; Policriti, Alberto
Hybrid semantics for stochastic pi-calculus 1-gen-2008 L., Bortolussi; Policriti, Alberto
Inclusion dynamics hybrid automata 1-gen-2008 Casagrande, Alberto; Piazza, Carla; Policriti, Alberto; Mishra, Bud
A complete axiomatic system for a process-based spatial logic 1-gen-2008 R., Mardare; Policriti, Alberto
Systems Biology: Models and Logics 1-gen-2008 Piazza, Carla; Policriti, Alberto
TEA: a Transposable Elements Annotator 1-gen-2009 DEL FABBRO, Cristian; Policriti, Alberto; Vitacolonna, Nicola
The Importance of Being (A Little Bit) Discrete 1-gen-2009 Luca, Bortolussi; Policriti, Alberto
Ehrenfeucht Games on Labelled Successor Structures: Remoteness and Optimal Strategies 1-gen-2009 Montanari, Angelo; Policriti, Alberto; Vitacolonna, Nicola
Discrete Semantics for Hybrid Automata 1-gen-2009 Casagrande, Alberto; Piazza, Carla; Policriti, Alberto
Dynamical Systems and Stochastic Programming: To Ordinary Differential Equations and Back 1-gen-2009 Luca, Bortolussi; Policriti, Alberto
GAM: Genomic Assemblies Merger: A Graph Based Method to Integrate Different Assemblies 1-gen-2009 Casagrande, Alberto; DEL FABBRO, Cristian; Scalabrin, Simone; Policriti, Alberto
Hybrid dynamics of stochastic pi-calculus 1-gen-2009 Luca, Bortolussi; Policriti, Alberto
Automated FingerPrint Background removal: FPB 1-gen-2009 Scalabrin, S; Morgante, Michele; Policriti, Alberto
Mostrati risultati da 51 a 100 di 173
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile