Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Marco Temperini
Goals and Benchmarks for Automated Map Reasoning
Journal of Symbolic Computation
Computational Mathematics
Number Theory
Algebra
Related publications
Automated Reasoning for Web Page Layout
ACM SIGPLAN Notices
Computer Science
Automated Reasoning for Web Page Layout
Automated Assume-Guarantee Reasoning for Omega-Regular Systems and Specifications
Innovations in Systems and Software Engineering
Software
Automated Reasoning on Feature Models
Notes on Numerical Fluid Mechanics and Multidisciplinary Design
Transfer Processes
Fluid Flow
Logtk : A Logic ToolKit for Automated Reasoning and Its Implementation
Separating Representation, Reasoning, and Implementation for Interaction Management: Lessons From Automated Planning
Lecture Notes in Electrical Engineering
Industrial
Manufacturing Engineering
Automated Assume-Guarantee Reasoning Through Implicit Learning
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Identifying Novel Drug Indications Through Automated Reasoning
PLoS ONE
Multidisciplinary
Does Interactivity Increase Map User’s Reasoning? A Study With Environmental Map Users
Abstracts of the ICA
