Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Praveen Narayanan
Symbolic Conditioning of Arrays in Probabilistic Programs
Proceedings of the ACM on Programming Languages
Related publications
Rule-Based Conditioning of Probabilistic Data
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Dual-Processor Parallelisation of Symbolic Probabilistic Model Checking
Symbolic Representations and Analysis of Large Probabilistic Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Probabilistic Transfer Matrices in Symbolic Reliability Analysis of Logic Circuits
ACM Transactions on Design Automation of Electronic Systems
Computer Science Applications
Electronic Engineering
Computer Graphics
Electrical
Computer-Aided Design
Loop-Level Parallelism in Numeric and Symbolic Programs
IEEE Transactions on Parallel and Distributed Systems
Hardware
Computational Theory
Signal Processing
Architecture
Mathematics
Symbolic Reaching Definitions Analysis of Ada Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Runtime Exception Detection in Java Programs Using Symbolic Execution
Acta Cybernetica
Electronic Engineering
Information Systems
Pattern Recognition
Management Science
Computer Vision
Management
Electrical
Computer Science
Mathematics
Computational Theory
Theoretical Computer Science
Operations Research
Software
Evaluative Conditioning as a Symbolic Phenomenon: On the Relation Between Evaluative Conditioning, Evaluative Conditioning via Instructions, and Persuasion
Social Cognition
Developmental
Educational Psychology
Social Psychology
Finding Errors in Python Programs Using Dynamic Symbolic Execution
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
