The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Vangalur S. Alagar: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Asish Mukhopadhyay, Vangalur S. Alagar
    Exact Computation of the Characteristic Polynomial of an Integer Matrix. [Citation Graph (0, 0)][DBLP]
    AAECC, 1985, pp:316-324 [Conf]
  2. Mubarak Sami, Olga Ormandjieva, Vangalur S. Alagar
    A Visualization Tool for Reactive Systems Simulation. [Citation Graph (0, 0)][DBLP]
    Automation, Control, and Information Technology, 2005, pp:65-70 [Conf]
  3. Vangalur S. Alagar, M. Chen, Olga Ormandjieva, Mao Zheng
    Automated Test Generation from Object-Oriented Specifications of Real-Time Reactive Systems. [Citation Graph (0, 0)][DBLP]
    APSEC, 2003, pp:406-414 [Conf]
  4. Vangalur S. Alagar, Mao Zheng
    A Rigorous Method for Testing Real-Time Reactive Systems. [Citation Graph (0, 0)][DBLP]
    APSEC, 2001, pp:213-220 [Conf]
  5. Mao Zheng, Vangalur S. Alagar
    Conformance Testing of BDI Properties in Agent-based Software Systems. [Citation Graph (0, 0)][DBLP]
    APSEC, 2005, pp:457-464 [Conf]
  6. Vangalur S. Alagar
    Range Equations and Range Matrices: a Study in Statistical Database Security. [Citation Graph (0, 0)][DBLP]
    AUSCRYPT, 1990, pp:360-385 [Conf]
  7. Ramesh Achuthan, Vangalur S. Alagar, Thiruvengadam Radhakrishnan
    TROM - An Object Model for Reactive System Development. [Citation Graph (0, 0)][DBLP]
    ASIAN, 1995, pp:350-364 [Conf]
  8. Vangalur S. Alagar, Fereidoon Sadri, Joseph N. Said
    Semantics of an Extended Relational Model for Managing Uncertain Information. [Citation Graph (0, 19)][DBLP]
    CIKM, 1995, pp:234-240 [Conf]
  9. Vangalur S. Alagar, Olga Ormandjieva
    Reliability Assessment of WEB Applications. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 2002, pp:405-414 [Conf]
  10. Ramesh Achuthan, Vangalur S. Alagar, Thiruvengadam Radhakrishnan
    An Object-Oriented Framework for Specifying Reactive Systems. [Citation Graph (0, 0)][DBLP]
    COODBSE, 1994, pp:114-133 [Conf]
  11. Vangalur S. Alagar
    Modeling Time in Information Systems. [Citation Graph (0, 0)][DBLP]
    Formal Methods in Databases and Software Engineering, 1992, pp:80-95 [Conf]
  12. Vangalur S. Alagar, Fereidoon Sadri, Joseph N. Said
    An Extended Relational Model for Managing Uncertain Information. [Citation Graph (0, 0)][DBLP]
    DEXA Workshop, 1995, pp:257-266 [Conf]
  13. Vangalur S. Alagar, Mai Thanh
    Fast Polynominal Decomposition Algorithms. [Citation Graph (0, 0)][DBLP]
    European Conference on Computer Algebra (2), 1985, pp:150-153 [Conf]
  14. David K. Probst, Vangalur S. Alagar
    An Adaptive Hybrid Algorithm for Multiplying Dense Polynomials. [Citation Graph (0, 0)][DBLP]
    EUROCAM, 1982, pp:16-23 [Conf]
  15. Vangalur S. Alagar, Greetha Ramanathan
    Formal Environment and Tools Description for the Analysis of Real Time Concurrent Systems. [Citation Graph (0, 0)][DBLP]
    Specification and Verification of Concurrent Systems, 1988, pp:196-235 [Conf]
  16. Vangalur S. Alagar, Zheng Xi
    A Rigorous Approach to Modeling and Analyzing E-Commerce Architectures. [Citation Graph (0, 0)][DBLP]
    FME, 2001, pp:173-196 [Conf]
  17. Ramesh Achuthan, Vangalur S. Alagar, Thiruvengadam Radhakrishnan
    An object-oriented modeling of real-time robotic assembly system. [Citation Graph (0, 0)][DBLP]
    ICECCS, 1995, pp:310-0 [Conf]
  18. Vangalur S. Alagar, D. Muthiayen, Ramesh Achuthan
    Animating Real-Time Reactive Systems. [Citation Graph (0, 0)][DBLP]
    ICECCS, 1996, pp:181-188 [Conf]
  19. Vangalur S. Alagar, Olga Ormandjieva, Mao Zheng
    Managing Complexity in Real-Time Reactive Systems. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2000, pp:12-24 [Conf]
  20. Vangalur S. Alagar, Olga Ormandjieva
    Reliability Assessment of E-Commerce Applications. [Citation Graph (0, 0)][DBLP]
    ICETE (2), 2004, pp:30-37 [Conf]
  21. Vangalur S. Alagar, Ralf Lämmel
    Three-Tiered Specification of Micro-architectures. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2002, pp:92-97 [Conf]
  22. Vangalur S. Alagar, David K. Probst
    Binomial-Expansion Algorithms for Copmuting Integer Powers of Sparse Polynomials. [Citation Graph (0, 0)][DBLP]
    International Computing Symposium, 1977, pp:395-402 [Conf]
  23. Vangalur S. Alagar, D. Muthiayen
    A Rigorous Approach to Modeling Autonomous Traffic Control Systems. [Citation Graph (0, 0)][DBLP]
    ISADS, 2003, pp:193-0 [Conf]
  24. Paola Bertolotti, Ombretta Gaggi, Maria Luisa Sapino, Vangalur S. Alagar
    A Compositional Approach to Multimedia Document Dynamics. [Citation Graph (0, 0)][DBLP]
    Multimedia Information Systems, 2003, pp:1-12 [Conf]
  25. Mubarak Sami, Olga Ormandjieva, Vangalur S. Alagar
    A Visualization Tool for Reactive Systems Simulation. [Citation Graph (0, 0)][DBLP]
    MSV, 2005, pp:156-164 [Conf]
  26. Peter Grogono, Vangalur S. Alagar
    An Environment for High-level Program Development. [Citation Graph (0, 0)][DBLP]
    Fachtagung über Programmiersprachen, 1984, pp:144-155 [Conf]
  27. Vangalur S. Alagar, Olga Ormandjieva, Mao Zheng
    Incremental Testing for Self-Evolving Timed Systems. [Citation Graph (0, 0)][DBLP]
    QSIC, 2003, pp:12-19 [Conf]
  28. Vangalur S. Alagar, D. Muthiayen
    Towards a mechanical verification of real-time reactive systems modeled in UML. [Citation Graph (0, 0)][DBLP]
    RTCSA, 2000, pp:245-254 [Conf]
  29. Vangalur S. Alagar, L. Zhang
    Automatic code generation for real-time reactive systems in TROMLAB environment. [Citation Graph (0, 0)][DBLP]
    RTCSA, 2000, pp:503-510 [Conf]
  30. D. Muthiayen, Vangalur S. Alagar, Ferhat Khendek, A. Sefidcon
    An approach to a synthesis of formal and visual description techniques for the development of real-time reactive systems. [Citation Graph (0, 0)][DBLP]
    RTCSA, 2000, pp:491-497 [Conf]
  31. Vangalur S. Alagar, Kasilingam Periyasamy
    Specification and Verification of Secure Business Transaction Systems. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 2002, pp:240-252 [Conf]
  32. Vangalur S. Alagar, Fangqing Dong, Ramesh Achuthan
    Completeness in Statechart Models for Reactive Systems. [Citation Graph (0, 0)][DBLP]
    SOFTEKS Workshop on Incompleteness and Uncertainty in Information Systems, 1993, pp:117-130 [Conf]
  33. Kasilingam Periyasamy, Vangalur S. Alagar
    Adding Real-Time Filters to Object-Oriented Specification of Time Critical Systems. [Citation Graph (0, 0)][DBLP]
    WIFT, 1998, pp:28-39 [Conf]
  34. Vangalur S. Alagar, Qiaoyun Li, Olga Ormandjieva
    Assessment of Maintainability in Object-Oriented Software. [Citation Graph (0, 0)][DBLP]
    TOOLS (39), 2001, pp:194-206 [Conf]
  35. Vangalur S. Alagar, Kasilingam Periyasamy
    BTOZ: A Formal Specification Language for Formalizing Business Transactions. [Citation Graph (0, 0)][DBLP]
    TOOLS (39), 2001, pp:240-252 [Conf]
  36. Kasilingam Periyasamy, Vangalur S. Alagar
    Extending Object-Z for Specifying Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    TOOLS (23), 1997, pp:163-175 [Conf]
  37. Vangalur S. Alagar, Olga Ormandjieva, Mao Zheng
    Specification-Based Testing for Real-Time Reactive Systems. [Citation Graph (0, 0)][DBLP]
    TOOLS (34), 2000, pp:25-36 [Conf]
  38. K. Periyasamy, Vangalur S. Alagar, D. Muthiayen
    Verification and Validation Techniques of Object-Oriented Software Systems. [Citation Graph (0, 0)][DBLP]
    TOOLS (30), 1999, pp:413-0 [Conf]
  39. Vangalur S. Alagar, T. D. Bui, Mai Thanh
    Efficient Algorithms for Merging. [Citation Graph (0, 0)][DBLP]
    BIT, 1983, v:23, n:4, pp:410-428 [Journal]
  40. Vangalur S. Alagar, Tien D. Bui, Kasilingam Periyasamy
    Semantic CSG trees for finite element analysis. [Citation Graph (0, 0)][DBLP]
    Computer-Aided Design, 1990, v:22, n:4, pp:194-198 [Journal]
  41. Vangalur S. Alagar, Greetha Ramanathan
    Functional Specification and Proof of Correctness for Time Dependent Behaviour of Reactive Systems. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1991, v:3, n:3, pp:253-283 [Journal]
  42. Vangalur S. Alagar, Ramesh Achuthan, M. Haydar, D. Muthiayen, Olga Ormandjieva, Mao Zheng
    A rigorous approach for constructing self-evolving real-time reactive systems. [Citation Graph (0, 0)][DBLP]
    Information & Software Technology, 2003, v:45, n:11, pp:743-761 [Journal]
  43. Vangalur S. Alagar
    Algorithms for processing partial match queries using word fragments. [Citation Graph (0, 0)][DBLP]
    Inf. Syst., 1980, v:5, n:4, pp:323-332 [Journal]
  44. Vangalur S. Alagar, Pankaj Goyal, P. S. Nair, Fereidoon Sadri
    Permutation dependency in datalog programs. [Citation Graph (0, 0)][DBLP]
    Inf. Sci., 1993, v:68, n:3, pp:207-223 [Journal]
  45. Mai Thanh, Vangalur S. Alagar, T. D. Bui
    Optimal Expected-Time Algorithms for Merging. [Citation Graph (0, 0)][DBLP]
    J. Algorithms, 1986, v:7, n:3, pp:341-357 [Journal]
  46. David K. Probst, Vangalur S. Alagar
    A Family of Algorithms for Powering Sparse Polynomials. [Citation Graph (0, 0)][DBLP]
    SIAM J. Comput., 1979, v:8, n:4, pp:626-644 [Journal]
  47. David K. Probst, Vangalur S. Alagar
    Corrigendum: A Family of Algorithms for Powering Sparse Polynomials. [Citation Graph (0, 0)][DBLP]
    SIAM J. Comput., 1980, v:9, n:2, pp:439- [Journal]
  48. Kasilingam Periyasamy, Vangalur S. Alagar
    A rigorous method for test templates generation from object-oriented specifications. [Citation Graph (0, 0)][DBLP]
    Softw. Test., Verif. Reliab., 2001, v:11, n:1, pp:3-37 [Journal]

  49. Effective inference control mechanisms for securing statistical databases. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.006secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002