Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications in Software
A Dynamic Programming Approach to Adjustable Robust Optimization
Operations Research Letters
Industrial
Applied Mathematics
Manufacturing Engineering
Management Science
Operations Research
Software
Special Issue on Mexican International Conference on Artificial Intelligence, MICAI 2014 and 2015
Soft Computing
Geometry
Software
Theoretical Computer Science
Topology
Formalizing Network Flow Algorithms: A Refinement Approach in Isabelle/Hol
Journal of Automated Reasoning
Computational Theory
Software
Artificial Intelligence
Mathematics
An Efficient PHR Service System Supporting Fuzzy Keyword Search and Fine-Grained Access Control
Soft Computing
Geometry
Software
Theoretical Computer Science
Topology
Soft Computing Techniques for Big Data and Cloud Computing
Soft Computing
Geometry
Software
Theoretical Computer Science
Topology
On Characterization of the Core of Lane Covering Games via Dual Solutions
Operations Research Letters
Industrial
Applied Mathematics
Manufacturing Engineering
Management Science
Operations Research
Software
Lifting Gomory Cuts With Bounded Variables
Operations Research Letters
Industrial
Applied Mathematics
Manufacturing Engineering
Management Science
Operations Research
Software
Preface to the Special Issue on Linearity
Journal of Automated Reasoning
Computational Theory
Software
Artificial Intelligence
Mathematics
Hybrid Ant Colony Optimization in Solving Multi-Skill Resource-Constrained Project Scheduling Problem
Soft Computing
Geometry
Software
Theoretical Computer Science
Topology
Preface of Special Issue on “Computer Security: Foundations and Automated Reasoning”
Journal of Automated Reasoning
Computational Theory
Software
Artificial Intelligence
Mathematics
‹
227
228
229
230
231
232
233
›