Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Yannis Smaragdakis
SEDGE: Symbolic Example Data Generation for Dataflow Programs
Residual Investigation: Predictive and Precise Bug Detection
Related publications
Extending Dataflow Programs With Throughput Properties
Dataflow Testing of Java Programs With DFC
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Symbolic Test Case Generation for Primitive Recursive Functions
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Symbolic Methodology for Numeric Data Mining
Intelligent Data Analysis
Computer Vision
Pattern Recognition
Artificial Intelligence
Theoretical Computer Science
Symbolic Conditioning of Arrays in Probabilistic Programs
Proceedings of the ACM on Programming Languages
Symbolic Reaching Definitions Analysis of Ada Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Description of an Algorithm and Example Programs for Compression of Digital Files Containing Channelized Data
Open-File Report
Generation and Verification of Algorithms for Symbolic-Numeric Processing
Journal of Symbolic Computation
Computational Mathematics
Number Theory
Algebra
Scaling Data Mining in Massively Parallel Dataflow Systems
