Lutz Straßburger

Cited by

	All	Since 2020
Citations	2066	679
h-index	26	14
i10-index	55	29

200

100

150

20022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202510 29 56 39 69 76 91 67 53 86 65 52 79 93 76 100 92 190 98 117 149 145 136 32

Public access

View all

19 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 Science of the Czech Academy of SciencesVerified 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
Anupam DasUniversity of BirminghamVerified email at bham.ac.uk
Marianna GirlandoILLC, University of AmsterdamVerified email at uva.nl
Ross HorneUniversity of StrathclydeVerified email at strath.ac.uk
Agata CiabattoniVienna University of TechnologyVerified email at logic.at
Davide CattaLIPNVerified email at lipn.univ-paris13.fr
Prakash PanangadenProfessor of Computer Science, McGill UniversityVerified email at cs.mcgill.ca
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
Sjouke MauwProfessor in Security and Trust of Software Systems, University of LuxembourgVerified email at uni.lu
Benjamin RalphSenior Lecturer in Computer Science, University of BathVerified email at bath.ac.uk
Janis VoigtländerAssociate Professor, Formal Methods in Computer Science, University of Duisburg-EssenVerified email at uni-due.de

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	152	2001
Linear logic and noncommutativity in the calculus of structures L Straßburger	121	2003
Naming proofs in classical propositional logic F Lamarche, L Straßburger International Conference on Typed Lambda Calculi and Applications, 246-261, 2005	81	2005
Cut elimination in nested sequents for intuitionistic modal logics L Straßburger Foundations of Software Science and Computation Structures: 16th …, 2013	77	2013
A Local System for Linear Logic L Straβburger Logic for Programming, Artificial Intelligence, and Reasoning 2514, 388-402, 2002	77	2002
MELL in the calculus of structures L Straßburger Theoretical Computer Science 309 (1-3), 213-285, 2003	73	2003
Label-free modular systems for classical and intuitionistic modal logics S Marin, L Straßburger Advances in Modal Logic 10, 2014	67	2014
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	51	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	50*	2011
The focused calculus of structures K Chaudhuri, N Guenot, L Straßburger 20th EACSL Annual Conference on Computer Science Logic 12, 159-173, 2011	46	2011
From Proof Nets to the Free *-Autonomous Category F Lamarche, L Straßburger Logical Methods in Computer Science (LMCS) 2 (4), 2006	46	2006
System NEL is undecidable L Straßburger Electronic Notes in Theoretical Computer Science 84, 166-177, 2003	46	2003
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
On nested sequents for constructive modal logics A Das, R Arisaka, L Straßburger arXiv preprint arXiv:1505.06896, 2015	42*	2015
Extension without cut L Straßburger Annals of Pure and Applied Logic 163 (12), 1995-2007, 2012	41	2012
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	41	2011
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
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
A characterization of medial as rewriting rule L Straßburger International Conference on Rewriting Techniques and Applications, 344-358, 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