Theory of computation

CasADi: a software framework for nonlinear optimization and optimal control

Joel A.E. Andersson, Joris Gillis, Greg Horn, James B. Rawlings, Moritz Diehl

Citations: 3693 • 2018

Semi-Infinite Programming: Theory, Methods, and Applications

R. Hettich, K. O. Kortanek

Citations: 1017 • 1993

Cyclic scheduling in robotic flowshops

Yves Crama, Vladimir Kats, Joris van de Klundert, Eugene Levner

Citations: 196 • 2000

Algorithms for the On-Line Travelling Salesman1

Giorgio Ausiello, Esteban Feuerstein, Stefano Leonardi, Leen Stougie, Maurizio Talamo

Citations: 167 • 2001

Computing the intersection-depth of polyhedra

David Dobkin, John Hershberger, David Kirkpatrick, Subhash Suri

Citations: 147 • 1993

Motivations for an Arbitrary Precision Interval Arithmetic and the MPFI Library

Nathalie Revol, Fabrice Rouillier

Citations: 129 • 2005

A Conceptual and Computational Model of Moral Decision Making in Human and Artificial Agents

Wendell Wallach, Stan Franklin, Colin Allen

Citations: 122 • 2010

Consciousness, Agents and the Knowledge Game

Luciano Floridi

Citations: 105 • 2005

A Distributed Ant Algorithm for\protect Efficiently Patrolling a Network

Vladimir Yanovski, Israel A. Wagner, Alfred M. Bruckstein⋆

Citations: 103 • 2003

Parts Feeding on a Conveyor with a One Joint Robot

Wesley Huang, Kevin Lynch, Srinivas Akella, Matthew T. Mason

Citations: 94 • 2000

A Nature Inspired Parameter Tuning Approach to Cascade Control for Hydraulically Driven Parallel Robot Platform

Vladimir Stojanović, Novak Nedić

Citations: 90 • 2015

Computation is just interpretable symbol manipulation; cognition isn't

Stevan Harnad

Citations: 87 • 1994

Computer Algebra Methods for Studying and Computing Molecular Conformations

Ioannis Z. Emiris, Bernard Mourrain

Citations: 84 • 1999

Computing Without Communicating: Ring Exploration by Asynchronous Oblivious Robots

Paola Flocchini, David Ilcinkas, Andrzej Pelc, Nicola Santoro

Citations: 82 • 2012

Exploring Unknown Environments with Obstacles

Albers, Kursawe, Schuierer

Citations: 79 • 2002

A Linear-Time Algorithm for the Feasibility of Pebble Motion on Trees

Vincenzo Auletta, Angelo Monti, Mimmo Parente, Pino Persiano

Citations: 78 • 1999

Robot Motion Planning: A Game-Theoretic Foundation

Steven M. LaValle

Citations: 76 • 2000

Forming sequences of geometric patterns with oblivious mobile robots

Shantanu Das, Paola Flocchini, Nicola Santoro, Masafumi Yamashita

Citations: 74 • 2014

Using enzymatic numerical P systems for modeling mobile robot controllers

Ana B. Pavel, Cătălin Buiu

Citations: 70 • 2011

On the fault-tolerant metric dimension of certain interconnection networks

Hassan Raza, Sakander Hayat, Xiang-Feng Pan

Citations: 69 • 2018