FIND PROFESSORS AND RESEARCH OPPORTUNITIES

YourScholar.ai helps discover professors by research area, explore academic profiles, and find potential collaboration opportunities for Master's, PhD, and scholarship applications.

4673_citations---2026-02-14t225335.051.jpg

Andre Scedrov

Formal Methods Linear Logic Cryptographic Protocol Verification Multiset Rewriting Framework Lambek Calculus

Research Performance Summary

260
Total Papers
8859
Total Citations
43
H-Index
1982-2025
Active Research Span

First Recorded Paper

A note on the Friedman slash and Freyd covers

Year: 1982

Citations: 15

Venue: Studies in Logic and the Foundations of Mathematics 110

Latest Recorded Paper

WoLLIC 2023-29th Workshop on Logic, Language, Information and Computation

Year: 2025

Citations: 0

Venue: Mathematical Structures in Computer Science 35, e35

Last 10 Years Publication Activity

This timeline shows the professor's yearly publication activity.

2025
2
2024
5
2023
5
2022
7
2021
10
2020
6
2019
12
2018
8
2017
4
2016
4
2015
3

Publication Venues and Collaboration

Journal, Conference, and Book Publication Breakdown

Conference 81
Journal 26
Book 9

Top Coauthors

Scedrov Kanovich Nigam

Research Impact by Period

2025-2026

Period Stats
Papers 2
Citations 0
Avg. Citations / Paper 0
H-Index 0

2020-2024

Period Stats
Papers 33
Citations 103
Avg. Citations / Paper 3.1
H-Index 7

2015-2019

Period Stats
Papers 31
Citations 386
Avg. Citations / Paper 12.5
H-Index 12

2010-2014

Period Stats
Papers 29
Citations 445
Avg. Citations / Paper 15.3
H-Index 13

2005-2009

Period Stats
Papers 40
Citations 1214
Avg. Citations / Paper 30.4
H-Index 17

2000-2004

Period Stats
Papers 28
Citations 964
Avg. Citations / Paper 34.4
H-Index 13

1995-1999

Period Stats
Papers 29
Citations 952
Avg. Citations / Paper 32.8
H-Index 10

1990-1994

Period Stats
Papers 30
Citations 4175
Avg. Citations / Paper 139.2
H-Index 15

1985-1989

Period Stats
Papers 31
Citations 500
Avg. Citations / Paper 16.1
H-Index 11

1980-1984

Period Stats
Papers 7
Citations 120
Avg. Citations / Paper 17.1
H-Index 5

Contact and Professional Links

Contact Information

SCEDROV@MATH.UPENN.EDU

Professional Links

Google Scholar
University Page

Detected Research Keywords

Probabilistic Polynomial Time Security Protocol Analysis Distance Bounding Protocols Multiplicative Additive Lambek Additive Lambek Calculus Public Key Kerberos Multiset Rewriting Security Rewriting Security Protocol Commutative Linear Logic Impossibility Realizable Ideal