Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Kurt M. Olender
Interprocedural Static Analysis of Sequencing Constraints
ACM Transactions on Software Engineering and Methodology
Software
Related publications
Interprocedural Taint Analysis for LLVM-bitcode
Proceedings of the Institute for System Programming of RAS
Exact Side Effects for Interprocedural Dependence Analysis
Multiship Crane Sequencing With Yard Congestion Constraints
Transportation Science
Civil
Transportation
Structural Engineering
Dynamic Memory Interval Test vs. Interprocedural Pointer Analysis in Multimedia Applications
Transactions on Architecture and Code Optimization
Hardware
Information Systems
Architecture
Software
The Grammar of Emoji? Constraints on Communicative Pictorial Sequencing
Cognitive Research: Principles and Implications
Cognitive Psychology
Experimental
Cognitive Neuroscience
Learning Dynamical Information From Static Protein and Sequencing Data
Biophysical Journal
Biophysics
Static Analysis of Android Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Static Analysis of Ravenscar Programs
ACM SIGAda Ada Letters
Some Notes on Interprocedural Program Slicing
