Projects per year

## Fingerprint Dive into the research topics where Paola Bruscoli is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

Proof System
Mathematics

Proof Complexity
Mathematics

Inference Rules
Mathematics

Switch
Mathematics

Substitution reactions
Engineering & Materials Science

Switches
Engineering & Materials Science

Associativity
Mathematics

Commutativity
Mathematics

##
Network
Recent external collaboration on country level. Dive into details by clicking on the dots.

## Projects 2007 2016

- 3 Finished

### Efficient and Natural Proof Systems

Guglielmi, A., Bruscoli, P. & McCusker, G.

Engineering and Physical Sciences Research Council

1/02/13 → 12/05/16

Project: Research council

Computer systems

Formal languages

Rigidity

Computer programming languages

Formal verification

### Sharing and Sequentiality in Proof Systems with Locality

Guglielmi, A., Bruscoli, P., Laird, J., McCusker, G. & Power, J.

29/03/12 → 30/06/14

Project: Research council

### COMPLEXITY AND NON-DETERMINISM IN DEEP INFERENCE

Engineering and Physical Sciences Research Council

1/02/07 → 30/06/08

Project: Research council

Computer science

Computer systems

Theorem proving

Computer programming languages

Costs

## Research Output 2009 2017

81
Downloads
(Pure)

### On the Length of Medial-Switch-Mix Derivations

Bruscoli, P. & Strassburger, L., Jun 2017,*Logic, Language and Computation: 24th International Workshop, WoLLIC 2017, London, UK, July 18–21, 2017: Proceedings.*Kennedy, J. & de Queiroz, R. J. G. B. (eds.). Berlin, Germany: Springer Verlag, p. 68-79 (Lecture Notes in Computer Science; vol. 10388).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access

File

Inference Rules

Proof System

Switch

Switches

Associativity

3
Citations
(Scopus)

80
Downloads
(Pure)

### Quasipolynomial normalisation in deep inference via atomic flows and threshold formulae

Guglielmi, A., Bruscoli, P., Gundersen, T. & Parigot, M., 3 May 2016, In : Logical Methods in Computer Science. 12, 2, p. 1-30 30 p., 5.Research output: Contribution to journal › Article

Open Access

36
Citations
(Scopus)

105
Downloads
(Pure)

### On the proof complexity of deep inference

Bruscoli, P. & Guglielmi, A., Feb 2009, In : ACM Transactions on Computational Logic. 10, 2, 34 p., 14.Research output: Contribution to journal › Article

Open Access

File

Proof Complexity

Proof System

Substitution reactions

Substitution

Speedup