Ben Li

Computer Science · Physical Sciences

6h-index86citations18works0.02yr avg
OpenAlex↗ORCID↗Google Scholar↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Petri Nets in System Modeling(8), Point processes and geometric inequalities(8), Formal Methods in Verification(7), Flexible and Reconfigurable Manufacturing Systems(7), Mathematical Inequalities and Applications(4)

Publications18 total

Asymptotic expected T$T$‐functionals of random polytopes with applications to Lp$L_p$ surface areas
Mathematische Nachrichten·2023Open Access
Affine Invariant Maps for Log-Concave Functions
Journal of Geometric Analysis·2022
Affine invariant maps for log-concave functions
arXiv (Cornell University)·2020Open Access
The Existence of Extremizers of Blaschke-Santaló Type Inequalities
arXiv (Cornell University)·2020· 1 citedOpen Access
The Löwner Function of a Log-Concave Function
Journal of Geometric Analysis·2019· 10 cited
Reduction Rules for Diagnosability Analysis of Complex Systems Modeled by Labeled Petri Nets
IEEE Transactions on Automation Science and Engineering·2019· 20 cited
The Loewner function of a log-concave function
arXiv (Cornell University)·2019· 2 citedOpen Access
Floating functions
Israel Journal of Mathematics·2019· 11 cited
On–The–Fly Diagnosability Analysis of Bounded and Unbounded Labeled Petri Nets Using Verifier Nets
International Journal of Applied Mathematics and Computer Science·2018· 15 citedOpen Access
Floating functions
arXiv (Cornell University)·2017Open Access
Polynomial Time Verification of Modular Diagnosability of Discrete Event Systems
IFAC-PapersOnLine·2017· 3 citedOpen Access
Diagnosis and Diagnosability of Complex Discrete Event Systems Modeled by Labeled Petri Nets
HAL (Le Centre pour la Communication Scientifique Directe)·2017· 1 citedOpen Access
On-the-fly diagnosability analysis of LPN using verifier nets
2016· 3 cited
Diagnosis and diagnosability analysis of labeled Petri nets using reduction rules
2016· 2 cited
On-the-fly Diagnosability Analysis of Labeled Petri Nets Using Minimal Explanations
IFAC-PapersOnLine·2015· 7 citedOpen Access
On-the-fly Diagnosability Analysis of Labeled Petri Nets Using T-invariants
IFAC-PapersOnLine·2015· 8 citedOpen Access
Searching for theory in metadata
2013· 3 cited
On Curricula Reform of Humanistic Quality Education in Higher Vocational Colleges
Journal of Nantong Textile Vocational Technology College·2010

Frequent Co-authors

Armand Toguyéni(7), Manel Khlif-Bouassida(6), Elisabeth M. Werner(6), Carsten Schütt(4), Carsten Schuett(2), Baisi Liu(1), João Carlos Basilio(1), Steven Hoehner(1), Michael Roysdon(1), Christoph Thäle(1)