| |
 |      |
                                              |
Note: Links lead to the DBLP on the Web. Vangalur S. Alagar Vangalur S. Alagar, D. Muthiayen : A Rigorous Approach to Modeling Autonomous Traffic Control Systems. ISADS 2003 : 193- P. Bertolotti , Ombretta Gaggi , Maria Luisa Sapino , Vangalur S. Alagar: A Compositional Approach to Multimedia Document Dynamics. Multimedia Information Systems 2003 : 1-12 Vangalur S. Alagar, Olga Ormandjieva , Mao Zheng : Incremental Testing for Self-Evolving Timed Systems. QSIC 2003 : 12-19 Vangalur S. Alagar, Ramesh Achuthan , M. Haydar , D. Muthiayen , Olga Ormandjieva , Mao Zheng : A rigorous approach for constructing self-evolving real-time reactive systems. Information & Software Technology 45 (11): 743-761 (2003) Vangalur S. Alagar, Olga Ormandjieva : Reliability Assessment of WEB Applications. COMPSAC 2002 : 405-414 Vangalur S. Alagar, Ralf Lämmel : Three-Tiered Specification of Micro-architectures. ICFEM 2002 : 92-97 Vangalur S. Alagar, Kasilingam Periyasamy : Specification and Verification of Secure Business Transaction Systems. SOFSEM 2002 : 240-252 Vangalur S. Alagar, Mao Zheng : A Rigorous Method for Testing Real-Time Reactive Systems. APSEC 2001 : 213-220 Vangalur S. Alagar, Zheng Xi : A Rigorous Approach to Modeling and Analyzing E-Commerce Architectures. FME 2001 : 173-196 Kasilingam Periyasamy , Vangalur S. Alagar: A rigorous method for test templates generation from object-oriented specifications. Software Testing, Verification & Reliability 11 (1): 3-37 (2001) Vangalur S. Alagar, Olga Ormandjieva , Mao Zheng : Managing Complexity in Real-Time Reactive Systems. ICECCS 2000 : 12-24 Kasilingam Periyasamy , Vangalur S. Alagar: Adding Real-Time Filters to Object-Oriented Specification of Time Critical Systems. WIFT 1998 : 28-39 Vangalur S. Alagar, D. Muthiayen , Ramesh Achuthan : Animating Real-Time Reactive Systems. ICECCS 1996 : 181-188 Vangalur S. Alagar, Maurice Nivat : Algebraic Methodology and Software Technology, 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995, Proceedings Springer 1995 Ramesh Achuthan , Vangalur S. Alagar, Thiruvengadam Radhakrishnan : TROM - An Object Model for Reactive System Development. ASIAN 1995 : 350-364 Vangalur S. Alagar, Fereidoon Sadri , J. N. Said : Semantics of an Extended Relational Model for Managing Uncertain Information. CIKM 1995 : 234-240 Vangalur S. Alagar, Fereidoon Sadri , J. N. Said : An Extended Relational Model for Managing Uncertain Information. DEXA Workshop 1995 : 257-266 Ramesh Achuthan , Vangalur S. Alagar, Thiruvengadam Radhakrishnan : An object-oriented modeling of real-time robotic assembly system. ICECCS 1995 : 310- Vangalur S. Alagar, Sabine Bergler , F. Q. Dong : Incompleteness and Uncertainty in Information Systems, Proceedings of the SOFTEKS Workshop on Incompleteness and Uncertainty in Information Systems, Concordia University, Montreal, Canada, 8-9 October 1993 Springer 1994 Ramesh Achuthan , Vangalur S. Alagar, Thiruvengadam Radhakrishnan : An Object-Oriented Framework for Specifying Reactive Systems. COODBSE 1994 : 114-133 Vangalur S. Alagar, Laks V. S. Lakshmanan , Fereidoon Sadri : Formal Methods in Databases and Software Engineering, Proceedings of the Workshop on Formal Methods in Databases and Software Engineering, Montreal, Canada, 15-16 May 1992 Springer 1993 Vangalur S. Alagar, Fangqing Dong , Ramesh Achuthan : Completeness in Statechart Models for Reactive Systems. SOFTEKS Workshop on Incompleteness and Uncertainty in Information Systems 1993 : 117-130 Vangalur S. Alagar: Modeling Time in Information Systems. Formal Methods in Databases and Software Engineering 1992 : 80-95 Vangalur S. Alagar, Greetha Ramanathan : Functional Specification and Proof of Correctness for Time Dependent Behaviour of Reactive Systems. Formal Asp. Comput. 3 (3): 253-283 (1991) Vangalur S. Alagar: Range Equations and Range Matrices: a Study in Statistical Database Security. AUSCRYPT 1990 : 360-385 Vangalur S. Alagar, T. D. Buiand , Kasilingam Periyasamy : Semantic CSG trees for finite element analysis. Computer-Aided Design 22 (4): 194-198 (1990) Vangalur S. Alagar, Greetha Ramanathan : Formal Environment and Tools Description for the Analysis of Real Time Concurrent Systems. Specification and Verification of Concurrent Systems 1988 : 196-235 Mai Thanh , Vangalur S. Alagar, T. D. Bui : Optimal Expected-Time Algorithms for Merging. J. Algorithms 7 (3): 341-357 (1986) Asish Mukhopadhyay , Vangalur S. Alagar: Exact Computation of the Characteristic Polynomial of an Integer Matrix. AAECC 1985 : 316-324 Vangalur S. Alagar, Mai Tanh : Fast Polynominal Decomposition Algorithms. European Conference on Computer Algebra (2) 1985 : 150-153 Peter Grogono , Vangalur S. Alagar: An Environment for High-level Program Development. Fachtagung über Programmiersprachen 1984 : 144-155 Vangalur S. Alagar, T. D. Bui , Mai Thanh : Efficient Algorithms for Merging. BIT 23 (4): 410-428 (1983) David K. Probst , Vangalur S. Alagar: An Adaptive Hybrid Algorithm for Multiplying Dense Polynomials. EUROCAM 1982 : 16-23 Vangalur S. Alagar: Algorithms for processing partial match queries using word fragments. Inf. Syst. 5 (4): 323-332 (1980) David K. Probst , Vangalur S. Alagar: Corrigendum: A Family of Algorithms for Powering Sparse Polynomials. SIAM J. Comput. 9 (2): 439 (1980) David K. Probst , Vangalur S. Alagar: A Family of Algorithms for Powering Sparse Polynomials. SIAM J. Comput. 8 (4): 626-644 (1979) Vangalur S. Alagar, David K. Probst : Binomial-Expansion Algorithms for Copmuting Integer Powers of Sparse Polynomials. International Computing Symposium 1977 : 395-402 1 [ 16 ] [ 18 ] [ 20 ] [ 23 ] [ 25 ] [ 34 ] 2 [ 19 ] 3 [ 36 ] 4 [ 6 ] [ 10 ] 5 [ 12 ] 6 [ 19 ] 7 [ 16 ] 8 [ 36 ] 9 [ 7 ] 10 [ 34 ] 11 [ 17 ] 12 [ 32 ] 13 [ 9 ] 14 [ 25 ] [ 34 ] [ 37 ] 15 [ 24 ] 16 [ 27 ] [ 33 ] [ 34 ] [ 35 ] 17 [ 12 ] [ 26 ] [ 28 ] [ 31 ] 18 [ 1 ] [ 2 ] [ 3 ] [ 5 ] 19 [ 18 ] [ 20 ] [ 23 ] 20 [ 11 ] [ 14 ] 21 [ 17 ] [ 21 ] [ 22 ] 22 [ 21 ] [ 22 ] 23 [ 36 ] 24 [ 8 ] 25 [ 6 ] [ 10 ] 26 [ 29 ] 27 [ 27 ] [ 30 ] [ 34 ] [ 35 ]  ©2004 Association for Computing Machinery |
