Daniel Lehmann

Université de Montpellier — France

Computer Science · Physical Sciences

45h-index10.8kcitations307works1.82yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

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

Research Topics

Logic, Reasoning, and Knowledge(57), Advanced Algebra and Logic(35), Algebraic Geometry and Number Theory(19), Logic, programming, and type systems(19), Semantic Web and Ontologies(19)

Publications307 total

Elucidation of Droplet Formation Mechanisms by Vibrating Mesh Atomizers
Chemical Engineering & Technology·2025· 1 citedOpen Access
Ordinary and calibrated differential operators, connections and application to curvilinear webs
Proceedings of the International Geometry Center·2025· 1 citedOpen Access
Ordinary and calibrated differential operators Application to curvilinear webs
arXiv (Cornell University)·2025Open Access
Controlled Nanopore Sizes in Supraparticle Supports for Enhanced Propane Dehydrogenation with GaPt SCALMS Catalysts
ACS Applied Nano Materials·2024· 7 citedOpen Access
Projection-algebras and quantum logic
arXiv (Cornell University)·2024Open Access
Étude des <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:mo>(</mml:mo> <mml:mi>n</mml:mi> <mml:mo>+</mml:mo> <mml:mn>1</mml:mn> <mml:mo>)</mml:mo> </mml:mrow> </mml:math> -tissus de courbes en dimension <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mi>n</mml:mi> </mml:math>
Comptes Rendus Mathématique·2023· 1 citedOpen Access
Reliable Classification of Images by Calculating Their Credibility Using a Layer-Wise Activation Cluster Analysis of CNNs
Communications in computer and information science·2023
A substructural logic for quantum measurements
arXiv (Cornell University)·2022Open Access
Etude des (n+1)-tissus de courbes en dimension n
arXiv (Cornell University)·2022· 1 citedOpen Access
Technical Development and Economic Evaluation of the Integration of Thermal Energy Storage in Steam Power Plants
Energies·2022· 12 citedOpen Access
Le rang des tissus de Nakai
arXiv (Cornell University)·2022Open Access
Non-associative and projective linear logics
arXiv (Cornell University)·2022· 1 citedOpen Access
Optimized operation of large scale battery systems
at - Automatisierungstechnik·2022· 1 cited
Subclass-based Undersampling for Class-imbalanced Image Classification
Proceedings of the 17th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications·2022· 5 cited
Calculating the Credibility of Test Samples at Inference by a Layer-wise Activation Cluster Analysis of Convolutional Neural Networks
2022· 1 citedOpen Access
WHAT COMES NEXT: CENTRAL ASIAN VIOLENT EXTREMIST GROUPS AND DRUG TRAFFICKING AFTER THE FALL OF KABUL
Central Asia s Affairs·2021
Sebastian Münster and his Sources: The Messiah in Rome and the Convergence of Christian-Jewish Polemic and Intra-Christian Conflict
Journal of Early Modern Christianity·2021
Fuzzm: Finding Memory Bugs through Binary-Only Instrumentation and\n Fuzzing of WebAssembly
arXiv (Cornell University)·2021· 6 citedOpen Access
Representing choice functions by a total hyper-order
arXiv (Cornell University)·2021Open Access
Dehydrogenation of perhydro-N-ethylcarbazole under reduced total pressure
International Journal of Hydrogen Energy·2021· 42 cited
page 1 of 16Next →

Frequent Co-authors

Jan Lunze(6), Sarit Kraus(4), Karl Henrik Johansson(4), Menachem Magidor(3), Yoav Shoham(3), Benny Lehmann(2), Noam Nisan(2), Amir Pnueli(2), Michael O. Rabin(2), Liaden Ita O'Callaghan(2), Moshe Abeles(2), Gaby Hayon(2), Nissim Francez(2), Kurt Engesser(2), Dov M. Gabbay(2), Liadan O'Callaghan(1), Jonathan Stavi(1), Rudolf Müller(1), Tüomas Sandholm(1), Roberto D. Pascual‐Marqui(1)