Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Dino Distefano
Memory Leaks Detection in Java by Bi-Abductive Inference
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Model Checking Birth and Death
Related publications
Precise Detection of Memory Leaks
Toward Agile BI by Using In-Memory Analytics
Informatica Economica
Type Qualifier Inference for Java
Detection of Tube Leaks in Piles
Leaks Detection in Sequence of Environmental Infrared Images
Detection of Accidental Leaks in Natural Gas Main Pipelines by Fuzzy Logic Tools
Environmental Engineering and Management Journal
Management
Monitoring
Policy
Law
Environmental Engineering
Pollution
Microwave Radar Detection of Gas Pipeline Leaks
AIP Conference Proceedings
Astronomy
Physics
Memory Bounded Inference in Topic Models
Aggregated Accounting of Memory Usage in Java