Lutz Straßburger

Cited by

	All	Since 2019
Citations	1979	804
h-index	25	18
i10-index	55	34

200

100

150

2002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202410 29 52 53 68 76 76 67 53 85 65 52 79 88 78 98 90 188 94 119 169 125 106

Public access

View all

17 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Alessio GuglielmiUniversity of BathVerified email at Bath.Ac.UK
Matteo AcclavioUniversity of SussexVerified email at sussex.ac.uk
Sonia MarinLecturer, University of BirminghamVerified email at bham.ac.uk
Roman KuznetsInstitute of Computer Engineering, Technische Universität WienVerified email at logic.at
Willem HeijltjesUniversity of BathVerified email at bath.ac.uk
Kaustuv ChaudhuriINRIAVerified email at chaudhuri.info
Dominic J. D. HughesVerified email at theory.stanford.edu
Marianna GirlandoILLC, University of AmsterdamVerified email at uva.nl
Anupam DasUniversity of BirminghamVerified email at bham.ac.uk
Ross HorneUniversity of StrathclydeVerified email at strath.ac.uk
Agata CiabattoniVienna University of TechnologyVerified email at logic.at
Prakash PanangadenProfessor of Computer Science, McGill UniversityVerified email at cs.mcgill.ca
Davide CattaUniversità di Napoli, Federico IIVerified email at telecom-paris.fr
Tom GundersenVerified email at jklm.no
Ryuta ArisakaKyoto UniversityVerified email at kyoto-u.ac.jp
Kai BrünnlerProfessor of Computer Science, Bern University of Applied SciencesVerified email at bfh.ch
Andrea Aler TubellaUniversitat Politecnica de CatalunyaVerified email at upc.edu
Novak NovakovicMicrosoftVerified email at mi.sanu.ac.rs
Benjamin RalphLecturer in Computer Science, University of BathVerified email at bath.ac.uk
Sjouke MauwProfessor in Security and Trust of Software Systems, University of LuxembourgVerified email at uni.lu

Lutz Straßburger

Inria

Verified email at lix.polytechnique.fr - Homepage


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Non-commutativity and MELL in the calculus of structures A Guglielmi, L Straßburger Computer Science Logic: 15th International Workshop, CSL 2001 10th Annual …, 2001	147	2001
Linear logic and noncommutativity in the calculus of structures L Straßburger	116	2003
Naming proofs in classical propositional logic F Lamarche, L Straßburger International Conference on Typed Lambda Calculi and Applications, 246-261, 2005	80	2005
A Local System for Linear Logic L Straβburger Logic for Programming, Artificial Intelligence, and Reasoning 2514, 388-402, 2002	74	2002
Cut elimination in nested sequents for intuitionistic modal logics L Straßburger Foundations of Software Science and Computation Structures: 16th …, 2013	72	2013
MELL in the calculus of structures L Straßburger Theoretical Computer Science 309 (1-3), 213-285, 2003	70	2003
Label-free modular systems for classical and intuitionistic modal logics S Marin, L Straßburger Advances in Modal Logic 10, 2014	65	2014
A non-commutative extension of MELL A Guglielmi, L Straßburger Logic for Programming, Artificial Intelligence, and Reasoning, 231-246, 2002	58	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	48*	2011
System NEL is undecidable L Straßburger Electronic Notes in Theoretical Computer Science 84, 166-177, 2003	46	2003
The focused calculus of structures K Chaudhuri, N Guenot, L Straßburger 20th EACSL Annual Conference on Computer Science Logic 12, 159-173, 2011	44	2011
From Proof Nets to the Free *-Autonomous Category F Lamarche, L Straßburger Logical Methods in Computer Science (LMCS) 2 (4), 2006	44	2006
Constructing free Boolean categories F Lamarche, L Straßburger 20th Annual IEEE Symposium on Logic in Computer Science (LICS'05), 209-218, 2005	44	2005
Extension without cut L Straßburger Annals of Pure and Applied Logic 163 (12), 1995-2007, 2012	41	2012
On proof nets for multiplicative linear logic with units L Straßburger, F Lamarche Computer Science Logic: 18th International Workshop, CSL 2004, 13th Annual …, 2004	41	2004
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	40	2011
Expanding the realm of systematic proof theory A Ciabattoni, L Straßburger, K Terui International Workshop on Computer Science Logic, 163-178, 2009	40	2009
On nested sequents for constructive modal logics A Das, R Arisaka, L Straßburger arXiv preprint arXiv:1505.06896, 2015	39*	2015
What is a Logic, and What is a Proof? L Straßurger Logica Universalis, 135-152, 2007	37	2007

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors