Maria Bittner

Maria Bittner

Professor of Linguistics, Rutgers University
Verified email at linguistics.rutgers.edu
Cited by 3583
Semantics Pragmatics Formal Logic
Deepak Garg

Deepak Garg

Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)
Verified email at mpi-sws.org
Cited by 3540
Formal Logic Security Privacy Programming Languages
Damien Doligez

Damien Doligez

Chargé de recherches, Inria
Verified email at inria.fr
Cited by 2597
Functional Languages Formal Methods Computer Security Formal Logic Automatic Theorem Proving
Urszula Wybraniec-Skardowska

Urszula Wybraniec-Skardowska

Cardinal Stefan Wyszyński University
Verified email at uni.opole.pl
Cited by 1488
Formal logic Logic and philosophy of language semiotics information sciences methalogic
Timothy McGrew

Timothy McGrew

Western Michigan University
Verified email at wmich.edu
Cited by 1033
History and Philosophy of Science Formal Epistemology Formal Logic History of Modern Philosophy Philosophy of Religion
Jean-Yves Vion-Dury

Jean-Yves Vion-Dury

NAVER Labs Europe
Verified email at naverlabs.com
Cited by 939
Data Sciences Knowledge Management Algorithms Type Systems Formal Logic
Avinash Malik

Avinash Malik

University of Auckland
Verified email at auckland.ac.nz
Cited by 879
Formal logic programming languages processor design formal verification compiler optimizations
David Swasey

David Swasey

BlueRock Security
Verified email at mpi-sws.org
Cited by 715
Security Concurrency Formal Logic Programming Languages
John Licato

John Licato

Associate Professor, University of South Florida
Verified email at usf.edu
Cited by 662
Artificial Intelligence Cognitive Science Cognitive Modeling Analogical Reasoning Formal Logic
Hanumanthrao (Rao) Kannan

Hanumanthrao (Rao) Kannan

Assistant Professor, The University of Alabama in Huntsville
Verified email at uah.edu
Cited by 450
Systems Engineering Formal Logic Ontologies Space Systems Decision Theory
1 - 10