A rigorous approach for constructing self-evolving real-time reactive systems von Alagar, V.S, Achuthan, R, Haydar, M, Muthiayen, D, Ormandjieva, O, Zheng, M

Volltext

Range equations and range matrices: a study in statistical database security von Alagar, V. S.

Volltext

(In)completeness in specifications von Alagar, V.S., Kourkopoulos, D

Volltext

Permutation dependency in datalog programs von Alagar, V.S., Goyal, P., Nair, P.S., Sadri, F.

Volltext

A rigorous method for test templates generation from object-oriented specifications von Periyasamy, K., Alagar, V. S.

Volltext

Semantic CSG trees for finite element analysis von Alagar, V.S., Bui, T.D., Periyasamy, K.

Volltext

An Intensional Programming Approach to Multi-agent Coordination in a Distributed Network of Agents von Wan, Kaiyu, Alagar, Vasu S.

Volltext

A formal framework for design and verification of robotic agents von Periyasamy, K., Alagar, V. S., Bui, T. D.

Volltext

A rigorous approach to modeling autonomous traffic control systems von Alagar, V.S., Muthiayen, D.

Volltext bestellen

A Software Architecture for Multi-agent Systems von Alagar, Vasu S., Zheng, Mao

Volltext

The SuRE programming framework von Jayaraman, Bharat, Moon, Kyonghee

Volltext

Semantic typing for parametric algebraic specifications von Cengarle, María Victoria

Volltext

A rigorous approach for constructing self-evolving real-time reactivesystems von Achuthan, R, Alagar, V S, Haydar, M, Muthiayen, D, Ormandjieva, O, Zheng, M

Volltext

Resource modeling for Cyber Physical Systems von KaiYu Wan, Alagar, V.

Volltext bestellen

Mongruences and cofree coalgebras von Jacobs, Bart

Volltext

A comparative study of algorithms for computing the Smith normal form of an integer matrix von ALAGAR, VANGALUR S., ROY, ASIM KUMAR

Volltext

Verification of logic programs with delay declarations von Apt, Krzysztof R., Luitjes, Ingrid

Volltext

On the distribution of a random triangle von Alagar, V. S.

Volltext

Dynamic matrices and the cost analysis of concurrent programs von Ferrari, GianLuigi, Montanari, Ugo

Volltext

Algorithms for Detecting M-Dimensional Objects in N-Dimensional Spaces von Alagar, Vangalur S., Thiel, Larry H.

Volltext