Paolo Torrini

Citata da

	Tutte	Dal 2018
Citazioni	473	107
Indice H	12	6
i10-index	13	4

20002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202314 16 9 9 10 6 9 15 21 19 26 27 36 41 21 17 37 23 31 33 6 13 16 8

Accesso pubblico

Visualizza tutto

5 articoli

0 articoli

Disponibili

Non disponibili

In base ai mandati di finanziamento

Coautori

Reiko HeckelProfessor of Software Engineering, Dept. of Computer Science, University of LeicesterEmail verificata su mcs.le.ac.uk
Brandon BennettLecturer in Computer Science, University of LeedsEmail verificata su leeds.ac.uk
István RáthResearch associate, Budapest University of Technology and Economics; CEO, IncQuery Labs LtdEmail verificata su mit.bme.hu
Shyamanta M. HazarikaProfessor of Mechanical Engineering, Indian Institute of Technology Guwahati, INDIAEmail verificata su iitg.ac.in
Anthony (Tony) G CohnProfessor of Automated Reasoning, University of LeedsEmail verificata su leeds.ac.uk
Peter D MossesSwansea University and Delft University of TechnologyEmail verificata su tudelft.nl
Gábor BergmannBudapesti Műszaki és Gazdaságtudományi EgyetemEmail verificata su mit.bme.hu
Juan de LaraProfessor, Computer Science Department, Universidad Autónoma de MadridEmail verificata su uam.es
Daniel VarroProfessor of Software Engineering at Linköping University / Adjunct Professor at McGillEmail verificata su liu.se
Esther GuerraAssociate Professor of Computer Science, Universidad Autónoma de MadridEmail verificata su uam.es
Martin ChurchillSwansea UniversityEmail verificata su swansea.ac.uk
Karsten SohrUniversität Bremen, GermanyEmail verificata su tzi.de
Till MossakowskiProfessor of Computer Science, University of MagdeburgEmail verificata su ovgu.de
John StellSchool of Computing, University of LeedsEmail verificata su leeds.ac.uk
Christoph LüthDeutsches Forschungszentrum für Künstliche Intelligenz, Universität BremenEmail verificata su dfki.de
Pascal RaymondCNRS VERIMAGEmail verificata su univ-grenoble-alpes.fr

Segui

Paolo Torrini

Research Assistant, Department of Computer Science, Swansea University

Email verificata su swansea.ac.uk - Home page

Computer Science Formal Methods Semantics Verification Modelling


Titolo Ordina per citazioni Ordina per anno Ordina per titolo	Citata da Citata da	Anno
A foundation for region-based qualitative geometry B Bennett, AG Cohn, P Torrini, SM Hazarika ECAI, 204-208, 2000	91	2000
Reusable components of semantic specifications M Churchill, PD Mosses, P Torrini Proceedings of the 13th international conference on Modularity, 145-156, 2014	59	2014
Describing rigid body motions in a qualitative theory of spatial regions B Bennett, AG Cohn, P Torrini, SM Hazarika AAAI/IAAI 30, 503-509, 2000	52	2000
A first step towards formal verification of security policy properties for RBAC M Drouineaud, M Bortin, P Torrini, K Sohr Fourth International Conference onQuality Software, 2004. QSIC 2004 …, 2004	45	2004
Stochastic simulation of graph transformation systems P Torrini, R Heckel, I Ráth Fundamental Approaches to Software Engineering: 13th International …, 2010	42	2010
Region-based qualitative geometry B Bennett, AG Cohn, P Torrini, SM Hazarika University of Leeds, School of Computer Studies, Research Report Series, Report, 2000	23	2000
Incremental Pattern Matching for the Efficient Computation of Transitive Closure. G Bergmann, I Ráth, T Szabó, P Torrini, D Varró ICGT, 386-400, 2012	22	2012
Domain-specific discrete event modelling and simulation using graph transformation J de Lara, E Guerra, A Boronat, R Heckel, P Torrini Software & Systems Modeling 13, 209-238, 2014	19	2014
Model-based stochastic simulation of P2P VoIP using graph transformation system A Khan, R Heckel, P Torrini, I Ráth Analytical and Stochastic Modeling Techniques and Applications: 17th …, 2010	16	2010
Model-Based Analysis of Network Reconfigurations Using Graph Transformation Systems A Khan Graph Transformations: 4th International Conference, ICGT 2008, Leicester …, 2008	15	2008
Proof-oriented design of a separation kernel with minimal trusted computing base N Jomaa, P Torrini, D Nowak, G Grimaud, S Hym 18th International Workshop on Automated Verification of Critical Systems …, 2018	14	2018
Stochastic Modelling and Simulation of Mobile Systems. R Heckel, P Torrini Graph transformations and model-driven engineering 5765, 87-101, 2010	13	2010
A Modular Structural Operational Semantics for Delimited Continuations N Sculthorpe, P Torrini, PD Mosses EPTCS - Proc. Workshop on Continuations, 18 pp, 2016	11	2016
Stochastic graph transformation with regions P Torrini, R Heckel, I Rath, G Bergmann Electronic Communications of the EASST 29, 2010	8	2010
Graph transformation for domain-specific discrete event time simulation J de Lara, E Guerra, A Boronat, R Heckel, P Torrini Graph Transformations: 5th International Conference, ICGT 2010, Enschede …, 2010	7	2010
Translating haskell to isabelle P Torrini, C Lueth, C Maeder, T Mossakowski CADE-21, 14, 2007	6	2007
Reasoning about modular datatypes with Mendler induction P Torrini, T Schrijvers arXiv preprint arXiv:1509.03021, 2015	5	2015
Towards an embedding of graph transformation in intuitionistic linear logic P Torrini, R Heckel arXiv preprint arXiv:0911.5525, 2009	5	2009
Advances in model transformations by graph transformation: Specification, execution and analysis G Bergmann, A Boronat, R Heckel, P Torrini, I Ráth, D Varró Rigorous Software Engineering for Service-Oriented Systems: Results of the …, 2011	4	2011
Mereotopology in 2nd-order and modal extensions of intuitionistic propositional logic P Torrini, JG Stell, B Bennett Journal of Applied Non-Classical Logics 12 (3-4), 495-525, 2002	3	2002

Il sistema al momento non può eseguire l'operazione. Riprova più tardi.

Articoli 1–20

Citazioni per anno

Citazioni duplicate

Citazioni unite

Aggiungi coautoriCoautori

Segui

Citata da

Coautori