| A system of interaction and structure A Guglielmi ACM Transactions on Computational Logic (TOCL) 8 (1), 1, 2007 | 316* | 2007 |
| Non-commutativity and MELL in the calculus of structures A Guglielmi, L Straßburger Computer Science Logic, 54-68, 2001 | 144 | 2001 |
| On the proof complexity of deep inference P Bruscoli, A Guglielmi ACM Transactions on Computational Logic 10 (2), 14:1-34, 2009 | 114 | 2009 |
| Normalisation control in deep inference via atomic flows A Guglielmi, T Gundersen Logical Methods in Computer Science 4 (1:9), 1-36, 2008 | 100 | 2008 |
| A proof calculus which reduces syntactic bureaucracy A Guglielmi, T Gundersen, M Parigot 21st International Conference on Rewriting Techniques and Applications 6 …, 2010 | 79 | 2010 |
| A non-commutative extension of MELL A Guglielmi, L Straßburger Logic for Programming, Artificial Intelligence, and Reasoning, 231-246, 2002 | 59* | 2002 |
| Breaking paths in atomic flows for classical logic A Guglielmi, T Gundersen, L Straßburger 2010 25th Annual IEEE Symposium on Logic in Computer Science, 284-293, 2010 | 49 | 2010 |
| A system of interaction and structure IV: The exponentials and decomposition L Straßburger, A Guglielmi ACM Transactions on Computational Logic (TOCL) 12 (4), 23, 2011 | 47* | 2011 |
| A quasipolynomial cut-elimination procedure in deep inference via atomic flows and threshold formulae P Bruscoli, A Guglielmi, T Gundersen, M Parigot Logic for Programming, Artificial Intelligence, and Reasoning, 136-153, 2010 | 45* | 2010 |
| Deep inference A Guglielmi Web site at http://alessio.guglielmi.name/res/cos, 0 | 43* | |
| A system of interaction and structure V: The exponentials and splitting A Guglielmi, L Straßburger Mathematical Structures in Computer Science 21 (3), 563-584, 2011 | 39 | 2011 |
| Concurrency and Plan Generation in a Logic Programming Language with a Sequential Operator. A Guglielmi ICLP, 240-254, 1994 | 23 | 1994 |
| A logical basis for quantum evolution and entanglement RF Blute, A Guglielmi, IT Ivanov, P Panangaden, L Straßburger Lecture Notes in Computer Science 8222, 90-107, 2010 | 21* | 2010 |
| Subatomic proof systems: Splittable systems AA Tubella, A Guglielmi ACM Transactions on Computational Logic (TOCL) 19 (1), 1-33, 2018 | 20* | 2018 |
| Abstract logic programming in linear logic independence and causality in a first order calculus A Guglielmi BULLETIN-EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE 59, 416-417, 1996 | 20 | 1996 |
| A first order system with finite choice of premises K Brünnler, A Guglielmi First-Order Logic Revisited, Logische Philosophie, 59-74, 2004 | 18 | 2004 |
| Formalism A A Guglielmi Manuscript. http://cs.bath.ac.uk/ag/p/AG11.pdf, 2004 | 16* | 2004 |
| Removing cycles from proofs AA Tubella, A Guglielmi, B Ralph 26th EACSL Annual Conference on Computer Science Logic 2017, 2017 | 15 | 2017 |
| On analyticity in deep inference P Bruscoli, A Guglielmi | 15* | 2009 |
| A linear logic view of Gamma style computations as proof searches P Bruscoli, A Guglielmi Coordination programming: mechanisms, models and semantics, 249-273, 1996 | 15 | 1996 |
Paola BruscoliResearch Fellow, University of BathVerified email at Bath.ac.uk
