Carla Piazza

Cituota

	Visi	Nuo 2019
Šaltiniai	2283	532
h-rodyklė	26	11
i10-rodyklė	54	15

140

105

20002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320248 14 28 54 76 96 118 119 135 130 114 101 101 109 107 98 103 106 89 66 69 99 82 73 140

Viešas pasiekiamumas

Peržiūrėti viską

25 straipsniai

5 straipsniai

pasiekiami

nepasiekiami

Pagal finansavimo įpareigojimus

Bendraautoriai

Alberto PolicritiUniversity of UdinePatvirtintas el. paštas uniud.it
Sabina RossiUniversità Ca' Foscari VeneziaPatvirtintas el. paštas dais.unive.it
Agostino DovierProfessor of Computer Science, University of UdinePatvirtintas el. paštas uniud.it
Bud MishraProfessor of Computer Science and MathematicsPatvirtintas el. paštas nyu.edu
Alberto CasagrandeUniversità di UdinePatvirtintas el. paštas units.it
Riccardo FocardiDAIS, Ca' Foscari University, VenicePatvirtintas el. paštas unive.it
Tommaso DreossiStaff ML Scientist, insitroPatvirtintas el. paštas amazon.com
ROSSI GIANFRANCOProfessor of Computer Science, Univ. of Parma, ItalyPatvirtintas el. paštas math.unipr.it
Thao DangCNRS Research Director, Laboratory VERIMAG, Grenoble, FrancePatvirtintas el. paštas imag.fr
Andrea MarinUniversità Ca' Foscari VeneziaPatvirtintas el. paštas dais.unive.it
Marco AntoniottiProfessor of Computer Science, Università degli Studi di Milano-BicoccaPatvirtintas el. paštas unimib.it
Enrico PontelliNew Mexico State UniversityPatvirtintas el. paštas cs.nmsu.edu
Angelo MontanariProfessor of Computer Science, Univ. of UdinePatvirtintas el. paštas uniud.it
Jane HillstonProfessor of Quantitative Modelling, University of EdinburghPatvirtintas el. paštas ed.ac.uk
Flaminia LUCCIOAssociate Professor, DAIS, Ca' Foscari University, VenicePatvirtintas el. paštas unive.it
Massimo FranceschetProfessor of Computer Science, University of UdinePatvirtintas el. paštas uniud.it
Donatella GubianiUniversity of Nova GoricaPatvirtintas el. paštas ung.si
George GoguadzeResearcher at Leuphana University LüneburgPatvirtintas el. paštas leuphana.de
Marino MiculanUniversity of Udine, ItalyPatvirtintas el. paštas uniud.it
Alexandru I. TomescuDepartment of Computer Science, University of HelsinkiPatvirtintas el. paštas helsinki.fi

Stebėti

Carla Piazza

Professor of Computer Science, University of Udine

Patvirtintas el. paštas uniud.it

Algorithms Hybrid Automata Systems Biology


Pavadinimas Rūšiuoti pagal šaltinius Rūšiuoti pagal metus Rūšiuoti pagal pavadinimą	Cituota Cituota	Metai
An efficient algorithm for computing bisimulation equivalence A Dovier, C Piazza, A Policriti Theoretical Computer Science 311 (1-3), 221-256, 2004	221	2004
Sets and constraint logic programming A Dovier, C Piazza, E Pontelli, G Rossi ACM Transactions on Programming Languages and Systems (TOPLAS) 22 (5), 861-931, 2000	156	2000
From bisimulation to simulation: Coarsest partition problems R Gentilini, C Piazza, A Policriti Journal of Automated Reasoning 31, 73-103, 2003	142	2003
Computing strongly connected components in a linear number of symbolic steps. R Gentilini, C Piazza, A Policriti SODA 3, 573-582, 2003	111	2003
Algorithmic algebraic model checking I: Challenges from systems biology C Piazza, M Antoniotti, V Mysore, A Policriti, F Winkler, B Mishra International Conference on Computer Aided Verification, 5-19, 2005	97	2005
A fast bisimulation algorithm A Dovier, C Piazza, A Policriti Computer Aided Verification: 13th International Conference, CAV 2001 Paris …, 2001	89	2001
Verifying persistent security properties A Bossi, R Focardi, C Piazza, S Rossi Computer Languages, Systems & Structures 30 (3-4), 231-258, 2004	61	2004
Parallelotope bundles for polynomial reachability T Dreossi, T Dang, C Piazza Proceedings of the 19th International Conference on Hybrid Systems …, 2016	60	2016
Modelling downgrading in information flow security A Bossi, C Piazza, S Rossi Proceedings. 17th IEEE Computer Security Foundations Workshop, 2004., 187-201, 2004	54	2004
Algorithmic algebraic model checking II: Decidability of semi-algebraic model checking and its applications to systems biology V Mysore, C Piazza, B Mishra International Symposium on Automated Technology for Verification and …, 2005	52	2005
Taming the complexity of biochemical models through bisimulation and collapsing: theory and practice M Antoniotti, C Piazza, A Policriti, M Simeoni, B Mishra Theoretical Computer Science 325 (1), 45-67, 2004	52	2004
AI-enhanced blockchain technology: A review of advancements and opportunities D Ressi, R Romanello, C Piazza, S Rossi Journal of Network and Computer Applications, 103858, 2024	41	2024
Refinement operators and information flow security A Bossi, R Focardi, C Piazza, S Rossi First International Conference onSoftware Engineering and Formal Methods …, 2003	41	2003
Modeling cellular behavior with hybrid automata: Bisimulation and collapsing M Antoniotti, B Mishra, C Piazza, A Policriti, M Simeoni Computational Methods in Systems Biology: First International Workshop, CMSB …, 2003	37	2003
A uniform approach to constraint-solving for lists, multisets, compact lists, and sets A Dovier, C Piazza, G Rossi ACM Transactions on Computational Logic (TOCL) 9 (3), 1-30, 2008	36	2008
Contextual lumpability J Hillston, C Piazza, A Marin, S Rossi ValueTools 2013--7th International Conference on Performance Evaluation …, 2013	35	2013
Symbolic graphs: linear solutions to connectivity related problems R Gentilini, C Piazza, A Policriti Algorithmica 50, 120-158, 2008	35	2008
CoPS–checker of persistent security C Piazza, E Pivato, S Rossi International Conference on Tools and Algorithms for the Construction and …, 2004	34	2004
Compositional information flow security for concurrent programs A Bossi, C Piazza, S Rossi Journal of Computer Security 15 (3), 373-416, 2007	33	2007
Ackermann encoding, bisimulations and OBDDs C Piazza, A Policriti Theory and Practice of Logic Programming 4 (5-6), 695-718, 2004	33	2004

Sistema negali atlikti operacijos. Bandykite vėliau dar kartą.

Straipsniai 1–20

Šaltinių per metus

Dubliuoti šaltiniai

Sujungti šaltiniai

Pridėti bendraautoriusBendraautoriai

Stebėti

Cituota

Bendraautoriai