Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Johan Dovland
Verifying Traits: An Incremental Proof System for Fine-Grained Reuse
Formal Aspects of Computing
Theoretical Computer Science
Software
Related publications
Fine-Grained Parallel Ant Colony System for Shared-Memory Architectures
International Journal of Computer Applications
Fine-Grained Fault Injection Framework for SoC in Power System
DEStech Transactions on Engineering and Technology Research
Fine-Grained Semantics for Probabilistic Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
An Efficient PHR Service System Supporting Fuzzy Keyword Search and Fine-Grained Access Control
Soft Computing
Geometry
Software
Theoretical Computer Science
Topology
An Improved Compaction Method for Non-Plastic Fine-Grained Soil Mixture.
Doboku Gakkai Ronbunshu
Fine-Grained Categorization for 3D Scene Understanding
Discovering Localized Attributes for Fine-Grained Recognition
Communication Optimizations for Fine-Grained UPC Applications
Fine-Grained Open Learner Models
