Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Franjo Ivančić
Object Model Construction for Inheritance in C++ and Its Applications to Program Analysis
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Reachability Analysis of Hybrid Systems via Predicate Abstraction
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
An Object Group Model and Its Implementation to Support Cooperative Applications on CORBA
Simple CAD Construction and Its Applications
Journal of Symbolic Computation
Computational Mathematics
Number Theory
Algebra
Analysis of Inheritance Anamoly in Object-Oriented Concurrent Programming Languages
Wall Climbing Robot and Its Applications for Building Construction
A Construction of an Inverse Model by Norm Criterion and Its Applications
IEEJ Transactions on Electronics, Information and Systems
Electronic Engineering
Electrical
Registration and Integration of Multiple Object Views for 3D Model Construction
IEEE Transactions on Pattern Analysis and Machine Intelligence
Pattern Recognition
Applied Mathematics
Computer Vision
Mathematics
Computational Theory
Artificial Intelligence
Software
Designing of Driver Behavior Model and Its Data Analysis for Vehicular Applications
International Journal of Research in Engineering and Technology
On Cylindrical Graph Construction and Its Applications
Electronic Journal of Combinatorics
Combinatorics
Applied Mathematics
Mathematics
Geometry
Discrete Mathematics
Computational Theory
Topology
Theoretical Computer Science
Applications of Model Theory to C*-Dynamics
Journal of Functional Analysis
Analysis
