Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Nouf Bindris
Fact Checking From Natural Text With Probabilistic Soft Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
A Logic for Checking the Probabilistic Steady-State Properties of Reaction Networks
Journal of Computational Biology
Genetics
Molecular Biology
Computational Theory
Simulation
Computational Mathematics
Mathematics
Modeling
Perceived Social Presence Reduces Fact-Checking
Proceedings of the National Academy of Sciences of the United States of America
Multidisciplinary
Model Checking Cryptographic Protocols With Interval Temporal Logic
Journal of Convergence Information Technology
Counterexamples in Probabilistic Model Checking
Model Checking Propositional Dynamic Logic With All Extras
Journal of Applied Logic
Applied Mathematics
Logic
Joint Prediction for Entity/Event-Level Sentiment Analysis Using Probabilistic Soft Logic Models
Model Checking for Probabilistic Timed Automata
Formal Methods in System Design
Hardware
Theoretical Computer Science
Architecture
Software
Effective Entailment Checking for Separation Logic With Inductive Definitions
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Probabilistic Model Checking of Regenerative Concurrent Systems
IEEE Transactions on Software Engineering
Software
