Andrea Corradini

Citeret af

	Alle	Siden 2020
Henvisninger	6328	1071
h-index	40	15
i10-indeks	115	22

400

200

100

300

199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202531 26 25 52 109 115 118 180 161 129 251 128 234 295 283 233 387 252 259 214 213 233 226 222 182 139 162 230 186 143 206 283 226 24

Offentlig adgang

Se alle

27 artikler

3 artikler

tilgængelige

ikke tilgængelige

Baseret på krav i forbindelse med finansiering

Medforfattere

Paolo BaldanProfessor of Computer Science, University of PadovaVerificeret mail på math.unipd.it
Reiko HeckelProfessor of Software Engineering, Dept. of Computer Science, University of LeicesterVerificeret mail på mcs.le.ac.uk
Fabio GadducciProfessore di Informatica, Università di PisaVerificeret mail på unipi.it
Barbara KönigUniversität Duisburg-Essen, Theoretische InformatikVerificeret mail på uni-due.de
Leila RibeiroProfessor of Computer Science, Universidade Federal do Rio Grande do Sul, BrazilVerificeret mail på inf.ufrgs.br
Roberto BruniUniversity of PisaVerificeret mail på di.unipi.it
Francesca RossiIBM ResearchVerificeret mail på ibm.com
Alberto Lluch LafuenteTechnical University of DenmarkVerificeret mail på dtu.dk
Tobias HeindelTU BerlinVerificeret mail på tu-berlin.de
Frank HermannProduct Owner; CARIADVerificeret mail på frank-hermann.de
Andrea VandinSant'Anna School for Advanced Studies, Italy - DTU Technical University of DenmarkVerificeret mail på santannapisa.it
Pawel SobocinskiTallinn University of TechnologyVerificeret mail på cs.ioc.ee
Frédéric ProstMaître de conférences Université Grenoble AlpesVerificeret mail på imag.fr
Rachid EchahedResearch Fellow CNRS, GrenobleVerificeret mail på imag.fr
Fernando DottiProfessor of Computer Science at PUCRS BrazilVerificeret mail på pucrs.br
VINCENZO AMBRIOLAUniversità di Pisa Dipartimento di InformaticaVerificeret mail på unipi.it
G. Michele PinnaUniversità di Cagliari, Dipartimento di Matematica e InformaticaVerificeret mail på unica.it
Paolo CiancariniUniversità di BolognaVerificeret mail på unibo.it
Martin WirsingProfessor of Computer Science, LMU MunichVerificeret mail på lmu.de
Guilherme AzziPh.D. Candidate in Computer Science, Technische Universität BerlinVerificeret mail på tu-berlin.de

Følg

Andrea Corradini

Professor of Computer Science, University of Pisa

Verificeret mail på di.unipi.it - Startside

Theoretical Computer Science


Titel Sortér efter henvisninger Sortér efter årstal Sortér efter titel	Citeret af Citeret af	År
Algebraic approaches to graph transformation–part i: Basic concepts and double pushout approach A Corradini, U Montanari, F Rossi, H Ehrig, R Heckel, M Löwe Handbook Of Graph Grammars And Computing By Graph Transformation: Volume 1 …, 1997	763	1997
Algebraic approaches to graph transformation–part II: Single pushout approach and comparison with double pushout approach H Ehrig, R Heckel, M Korff, M Löwe, L Ribeiro, A Wagner, A Corradini Handbook Of Graph Grammars And Computing By Graph Transformation: Volume 1 …, 1997	443	1997
Graph processes A Corradini, U Montanari, F Rossi Fundamenta Informaticae 26 (3-4), 241-265, 1996	322	1996
Sesqui-pushout rewriting A Corradini, T Heindel, F Hermann, B König International Conference on Graph Transformation, 30-45, 2006	208*	2006
Global COVID-19 lockdown highlights humans as both threats and custodians of the environment AE Bates, RB Primack, BS Biggar, TJ Bird, ME Clinton, RJ Command, ... Biological conservation 263, 109175, 2021	169	2021
Contextual Petri nets, asymmetric event structures, and processes P Baldan, A Corradini, U Montanari Information and Computation 171 (1), 1-49, 2001	159	2001
An algebraic presentation of term graphs, via gs-monoidal categories A Corradini, F Gadducci Applied Categorical Structures 7, 299-331, 1999	126	1999
A static analysis technique for graph transformation systems P Baldan, A Corradini, B König International Conference on Concurrency Theory, 381-395, 2001	123	2001
A conceptual framework for adaptation R Bruni, A Corradini, F Gadducci, A Lluch Lafuente, A Vandin Fundamental Approaches to Software Engineering: 15th International …, 2012	111	2012
An algebraic semantics for structured transition systems and its application to logic programs A Corradini, U Montanari Theoretical Computer Science 103 (1), 51-106, 1992	95	1992
Multimodal input fusion in human-computer interaction E Shahbazian Data fusion for situation monitoring, incident detection, alert and response …, 2005	94	2005
Compositional semantics for open Petri nets based on deterministic processes P Baldan, A Corradini, H Ehrig, R Heckel Mathematical Structures in Computer Science 15 (1), 1-35, 2005	92	2005
Verifying finite-state graph grammars: an unfolding-based approach P Baldan, A Corradini, B König International Conference on Concurrency Theory, 83-98, 2004	84	2004
A framework for the verification of infinite-state graph transformation systems P Baldan, A Corradini, B König Information and Computation 206 (7), 869-907, 2008	79	2008
Domain and event structure semantics for Petri nets with read and inhibitor arcs P Baldan, N Busi, A Corradini, GM Pinna Theoretical Computer Science 323 (1-3), 129-189, 2004	79	2004
Concurrent semantics of algebraic graph transformation P Baldan, A Corradini, H Ehrig, M Löwe, U Montanari, F Rossi Handbook of Graph Grammars and Computing by Graph Transformation 3, 107-187, 1999	79	1999
The category of typed graph grammars and its adjunctions with categories of derivations A Corradini, H Ehrig, M Löwe, U Montanari, J Padberg Graph Grammars and Their Application to Computer Science: 5th International …, 1996	78	1996
Horizontal and vertical structuring of typed graph transformation systems ^† R Heckel, A Corradini, H Ehrig, M Löwe Mathematical Structures in Computer Science 6 (6), 613-648, 1996	71	1996
A 2-categorical presentation of term graph rewriting A Corradini, F Gadducci Category Theory and Computer Science: 7th International Conference, CTCS'97 …, 1997	70	1997
Efficient unfolding of contextual Petri nets P Baldan, A Bruni, A Corradini, B König, C Rodríguez, S Schwoon Theoretical Computer Science 449, 2-22, 2012	62	2012

Systemet kan ikke foretage handlingen nu. Prøv igen senere.

Artikler 1–20

Henvisninger pr. år

Dublerede henvisninger

Flettede henvisninger

Tilføj medforfattereMedforfattere

Følg

Citeret af

Medforfattere