Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Carlo A. Furia
Inferring Loop Invariants by Mutation, Dynamic Analysis, and Static Checking
IEEE Transactions on Software Engineering
Software
Program Checking With Less Hassle
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Loop Checking and Negation
The Journal of Logic Programming
Inferring Dynamic Recrystallization in Ferrite Using the Kinetics of Static Recrystallization
Metallurgical and Materials Transactions A: Physical Metallurgy and Materials Science
Mechanics of Materials
Alloys
Condensed Matter Physics
Metals
The Yogi Project: Software Property Checking via Static Analysis and Testing
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
An Analysis of Loop Checking Mechanisms for Logic Programs
Theoretical Computer Science
Computer Science
Theoretical Computer Science
Extraction of Dynamic Trajectory on Multi-Stroke Static Handwriting Images Using Loop Analysis and Skeletal Graph Model
REV Journal on Electronics and Communications
Loop Group Actions on Categories and Whittaker Invariants
Advances in Mathematics
Mathematics
Exact Schedulability Analysis for Static-Priority Global Multiprocessor Scheduling Using Model-Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Two-By-Two Static, Evolutionary, and Dynamic Games
Static and Dynamic Analysis of Carbon Nanotube-Based Switches
Journal of Engineering Materials and Technology, Transactions of the ASME
Mechanics of Materials
Materials Science
Condensed Matter Physics
Mechanical Engineering
