Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications in Software
Special Section on Advances in Reachability Analysis and Decision Procedures: Contributions to Abstraction-Based System Verification
International Journal on Software Tools for Technology Transfer
Information Systems
Software
Wavelet-Based Acoustic Detection of Moving Vehicles
Multidimensional Systems and Signal Processing
Information Systems
Signal Processing
Applied Mathematics
Hardware
Computer Science Applications
Architecture
Artificial Intelligence
Software
Fast Online Pointer Analysis
ACM Transactions on Programming Languages and Systems
Software
Efficient Register Allocation via Coloring Using Clique Separators
ACM Transactions on Programming Languages and Systems
Software
Validating Timed UML Models by Simulation and Verification
International Journal on Software Tools for Technology Transfer
Information Systems
Software
Local Verification of Global Integrity Constraints in Distributed Databases
SIGMOD Record
Information Systems
Software
ALVW: An Alife Behaviour Modelling System
Kybernetes
Control
Systems Engineering
Information Systems
Electronic Engineering
Engineering
Electrical
Computer Science
Theoretical Computer Science
Social Sciences
Artificial Intelligence
Software
State Space Realization of a Three-Dimensional Image Set With Application to Noise Reduction of Fluorescent Microscopy Images of Cells
Multidimensional Systems and Signal Processing
Information Systems
Signal Processing
Applied Mathematics
Hardware
Computer Science Applications
Architecture
Artificial Intelligence
Software
Dynamic Currency Determination in Optimized Programs
ACM Transactions on Programming Languages and Systems
Software
Experiences With Hierarchical Request Flow Management for Network-Enabled Server Environments
International Journal of High Performance Computing Applications
Hardware
Theoretical Computer Science
Architecture
Software
‹
941
942
943
944
945
946
947
›
