Perfiles

Perfiles

Mi perfil Mi biblioteca

Stephen McCamant

Associate Professor, University of Minnesota

Dirección de correo verificada de cs.umn.edu

Citado por 6436

Binary analysis Symbolic execution Quantitative information flow Model counting Software-based Fault Isolation

Mate Soos

Ethereum Foundation

Dirección de correo verificada de ethereum.org

Citado por 1662

Symbolic Execution Model Counting IT Security Satisfiability Solving Functional Synthesis

Chico Sundermann

PhD Student, Institute of Software Engineering and Programming Languages, University …

Dirección de correo verificada de uni-ulm.de

Citado por 462

Feature Modeling Propositional Logic #SAT Model Counting Knowledge Compilation

Rafael Kiesel

TU Wien

Dirección de correo verificada de tuwien.ac.at

Citado por 175

semirings model counting answer set programming knowledge compilation

Vu Hoang Nguyen Phan

Intel Corporation, Rice University

Dirección de correo verificada de rice.edu

Citado por 119

Propositional Logic Model Counting Maximum Satisfiability

Rahul Gupta

Indian Institute of Technology Kanpur

Dirección de correo verificada de cse.iitk.ac.in

Citado por 114

Knowledge Representations Model Counting Blockchains Cyber Security Natural Language Processing

Cunjing Ge

Institute for Formal Models and Verification, JKU

Dirección de correo verificada de jku.at

Citado por 108

Model Counting Satisfiability Modulo Theories

Yong Lai (赖永)

Associate Professor, Jilin University

Dirección de correo verificada de jlu.edu.cn

Citado por 98

knowledge compilation model counting neural symbolic computing

Kenji Hashimoto

Kagawa University

Dirección de correo verificada de kagawa-u.ac.jp

Citado por 90

Model Counting Theoretical Computer Science Automata Theory

Vincent Derkinderen

Postdoctoral researcher, DTAI, KU Leuven

Dirección de correo verificada de kuleuven.be

Citado por 61

Probabilitic Inference Knowledge Compilation Model counting NeuroSymbolic AI

1 - 10