V. S. Alagar

Verification of Logic Programs with Delay Declarations

Krzysztof R. Apt, Ingrid Luitjes, Maurice Nivat et al. · Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands · 1995 · 35 citations · Full text

Computing, Computer Engineering, Computer Science +14

Algorithmic motion planning in robotics: Coordinated motion of several disks amidst polygonal obstacles

Geetha Ramanathan, V. S. Alagar · 2005 · 31 citations

Computing, Computer Science, Robotics Engineering +15

On the distribution of a random triangle

V. S. Alagar · Journal of Applied Probability · 1977 · 25 citations

Natural Sciences, Mathematics, Geometry +6

Automated generation of test suites from formal specifications of real-time reactive systems

Mao Zheng, V. S. Alagar, Olga Ormandjieva · Journal of Systems and Software · 2007 · 22 citations

Computing, Computer Engineering, Computer Science +16

Conformance testing of BDI properties in agent-based software

Muqing Zheng, V. S. Alagar · 2005 · 16 citations

Computing, Computer Science, Artificial Intelligence +14