Binomial-Expansion Algorithms for Copmuting Integer Powers of Sparse Polynomials. - Vangalur S. Alagar; David K. Probst (International Computing Symposium, 1977)

Partial match retrieval for non-uniform query distributions. - Vasu S. Alagar; C. Soockan (MARK, 1979)

A Family of Algorithms for Powering Sparse Polynomials. - David K. Probst; Vangalur S. Alagar (SIAM J. Comput., 1979)

Algorithms for processing partial match queries using word fragments. - Vangalur S. Alagar (Inf. Syst., 1980)

Corrigendum: A Family of Algorithms for Powering Sparse Polynomials. - David K. Probst; Vangalur S. Alagar (SIAM J. Comput., 1980)

Effective inference control mechanisms for securing statistical databases. - Vangalur S. Alagar; Bernard Blanchard; David Glaser (AFIPS National Computer Conference, 1981)

Algorithms for Detecting M-Dimensional Objects in N-Dimensional Spaces. - Vangalur S. Alagar; Larry H. Thiel (IEEE Trans. Pattern Anal. Mach. Intell., 1981)

An Adaptive Hybrid Algorithm for Multiplying Dense Polynomials. - David K. Probst; Vangalur S. Alagar (EUROCAM, 1982)

Efficient Algorithms for Merging. - Vangalur S. Alagar; Tien Dai Bui; Mai Thanh (BIT, 1983)

An Environment for High-level Program Development. - Peter Grogono; Vangalur S. Alagar (Fachtagung über Programmiersprachen, 1984)

Exact Computation of the Characteristic Polynomial of an Integer Matrix. - Asish Mukhopadhyay; Vangalur S. Alagar (AAECC, 1985)

Fast Polynominal Decomposition Algorithms. - Vangalur S. Alagar; Mai Thanh (European Conference on Computer Algebra (2), 1985)

Algorithmic motion planning in robotics: Coordinated motion of several disks amidst polygonal obstacles. - Greetha Ramanathan; Vangalur S. Alagar (ICRA, 1985)

A human approach to the technological challenges in data security. - Vangalur S. Alagar (Comput. Secur., 1986)

Optimal Expected-Time Algorithms for Merging. - Mai Thanh; Vangalur S. Alagar; Tien Dai Bui (J. Algorithms, 1986)

A fast, low-space algorithm for multiplying dense multivariate polynomials. - Vangalur S. Alagar; David K. Probst (ACM Trans. Math. Softw., 1987)

Formal Environment and Tools Description for the Analysis of Real Time Concurrent Systems. - Vangalur S. Alagar; Greetha Ramanathan (Specification and Verification of Concurrent Systems, 1988)

Bigeodetic graphs. - N. Srinivasan; Jaroslav Opatrny; Vangalur S. Alagar (Graphs Comb., 1988)

Fundamentals of computing - theory and practice. - Vangalur S. Alagar (Prentice Hall, 1989)

Range Equations and Range Matrices: a Study in Statistical Database Security. - Vangalur S. Alagar (AUSCRYPT, 1990)

Semantic CSG trees for finite element analysis. - Vangalur S. Alagar; Tien D. Bui; Kasilingam Periyasamy (Comput. Aided Des., 1990)

Integrated Magic Set Method: a Rule Rewrite Scheme for Optimising Linear Datalog Programs. - Vangalur S. Alagar; Pankaj Goyal; P. S. Nair; Fereidoon Sadri (Comput. J., 1991)

Functional Specification and Proof of Correctness for Time Dependent Behaviour of Reactive Systems. - Vangalur S. Alagar; Greetha Ramanathan (Formal Aspects Comput., 1991)

Modeling Time in Information Systems. - Vangalur S. Alagar (Formal Methods in Databases and Software Engineering, 1992)

Transformation of a semi-formal specification to VDM. - J. D'Almeida; Ramesh Achuthan; Thiruvengadam Radhakrishnan; Vangalur S. Alagar (KBSE, 1992)

A methodology for deriving an object-oriented design from functional specifications. - Vangalur S. Alagar; Kasilingam Periyasamy (Softw. Eng. J., 1992)

Completeness in Statechart Models for Reactive Systems. - Vangalur S. Alagar; Fangqing Dong; Ramesh Achuthan (SOFTEKS Workshop on Incompleteness and Uncertainty in Information Systems, 1993)

Permutation dependency in datalog programs. - Vangalur S. Alagar; Pankaj Goyal; P. S. Nair; Fereidoon Sadri (Inf. Sci., 1993)

A formal framework for design and verification of robotic agents. - Kasilingam Periyasamy; Vangalur S. Alagar; Tien D. Bui (J. Intell. Robotic Syst., 1993)

An Object-Oriented Framework for Specifying Reactive Systems. - Ramesh Achuthan; Vangalur S. Alagar; Thiruvengadam Radhakrishnan (COODBSE, 1994)

(In)completeness in specifications. - Vasu S. Alagar; D. Kourkopoulos (Inf. Softw. Technol., 1994)

TROM - An Object Model for Reactive System Development. - Ramesh Achuthan; Vangalur S. Alagar; Thiruvengadam Radhakrishnan (ASIAN, 1995)

Semantics of an Extended Relational Model for Managing Uncertain Information. - Vangalur S. Alagar; Fereidoon Sadri; Joseph N. Said (CIKM, 1995)

An Extended Relational Model for Managing Uncertain Information. - Vangalur S. Alagar; Fereidoon Sadri; Joseph N. Said (DEXA Workshop, 1995)

An object-oriented modeling of real-time robotic assembly system. - Ramesh Achuthan; Vangalur S. Alagar; Thiruvengadam Radhakrishnan (ICECCS, 1995)

Animating Real-Time Reactive Systems. - Vangalur S. Alagar; D. Muthiayen; Ramesh Achuthan (ICECCS, 1996)

Extending Object-Z for Specifying Real-Time Systems. - Kasilingam Periyasamy; Vangalur S. Alagar (TOOLS (23), 1997)

Adding Real-Time Filters to Object-Oriented Specification of Time Critical Systems. - Kasilingam Periyasamy; Vangalur S. Alagar (WIFT, 1998)

Specification of Software Systems. - Vangalur S. Alagar; Kasilingam Periyasamy (Springer, 1998)

Verification and Validation Techniques of Object-Oriented Software Systems. - Kasilingam Periyasamy; Vangalur S. Alagar; D. Muthiayen (TOOLS (30), 1999)

Managing Complexity in Real-Time Reactive Systems. - Vangalur S. Alagar; Olga Ormandjieva; Mao Zheng (ICECCS, 2000)

Towards a mechanical verification of real-time reactive systems modeled in UML. - Vangalur S. Alagar; D. Muthiayen (RTCSA, 2000)

Automatic code generation for real-time reactive systems in TROMLAB environment. - Vangalur S. Alagar; L. Zhang (RTCSA, 2000)

An approach to a synthesis of formal and visual description techniques for the development of real-time reactive systems. - D. Muthiayen; Vangalur S. Alagar; Ferhat Khendek; Azimeh Sefidcon (RTCSA, 2000)

Specification-Based Testing for Real-Time Reactive Systems. - Vangalur S. Alagar; Olga Ormandjieva; Mao Zheng (TOOLS (34), 2000)

A Rigorous Method for Testing Real-Time Reactive Systems. - Vangalur S. Alagar; Mao Zheng (APSEC, 2001)

A Rigorous Approach to Modeling and Analyzing E-Commerce Architectures. - Vangalur S. Alagar; Zheng Xi (FME, 2001)

Assessment of Maintainability in Object-Oriented Software. - Vangalur S. Alagar; Qiaoyun Li; Olga Ormandjieva (TOOLS (39), 2001)

BTOZ: A Formal Specification Language for Formalizing Business Transactions. - Vangalur S. Alagar; Kasilingam Periyasamy (TOOLS (39), 2001)

A rigorous method for test templates generation from object-oriented specifications. - Kasilingam Periyasamy; Vangalur S. Alagar (Softw. Test. Verification Reliab., 2001)

Reliability Assessment of WEB Applications. - Vangalur S. Alagar; Olga Ormandjieva (COMPSAC, 2002)

Three-Tiered Specification of Micro-architectures. - Vangalur S. Alagar; Ralf Lämmel (ICFEM, 2002)

Specification and Verification of Secure Business Transaction Systems. - Vangalur S. Alagar; Kasilingam Periyasamy (SOFSEM, 2002)

Automated Test Generation from Object-Oriented Specifications of Real-Time Reactive Systems. - Vangalur S. Alagar; M. Chen; Olga Ormandjieva; Mao Zheng (APSEC, 2003)

A Rigorous Approach to Modeling Autonomous Traffic Control Systems. - Vangalur S. Alagar; D. Muthiayen (ISADS, 2003)

A Compositional Approach to Multimedia Document Dynamics. - Paola Bertolotti; Ombretta Gaggi; Maria Luisa Sapino; Vangalur S. Alagar (Multimedia Information Systems, 2003)

Incremental Testing for Self-Evolving Timed Systems. - Vangalur S. Alagar; Olga Ormandjieva; Mao Zheng (QSIC, 2003)

A rigorous approach for constructing self-evolving real-time reactive systems. - Vangalur S. Alagar; Ramesh Achuthan; M. Haydar; D. Muthiayen; Olga Ormandjieva; Mao Zheng (Inf. Softw. Technol., 2003)

Intensional Programming for Agent Communication. - Vasu S. Alagar; Joey Paquet; Kaiyu Wan (DALT, 2004)

Reliability Assessment of E-Commerce Applications. - Vangalur S. Alagar; Olga Ormandjieva (ICETE (2), 2004)

Real Time Reactive Programming in Lucid Enriched with Contexts. - Kaiyu Wan; Vasu S. Alagar; Joey Paquet (ICTAC, 2004)

Ensuring service availability for media handling in mobile ad-hoc networks. - Vangalur S. Alagar; Olga Ormandjieva; Kaiyu Wan; Mao Zheng (AMT, 2005)

Conformance Testing of BDI Properties in Agent-based Software Systems. - Mao Zheng; Vangalur S. Alagar (APSEC, 2005)

A Software Architecture for Multi-agent Systems. - Vasu S. Alagar; Mao Zheng (CIS (1), 2005)

An Intensional Programming Approach to Multi-agent Coordination in a Distributed Network of Agents. - Kaiyu Wan; Vasu S. Alagar (DALT, 2005)

An Architecture for Developing Context-aware Systems. - Kaiyu Wan; Vasu S. Alagar; Joey Paquet (MRC@IJCAI, 2005)

A Visualization Tool for Reactive Systems Simulation. - Mubarak Sami; Olga Ormandjieva; Vangalur S. Alagar (MSV, 2005)

Lucx: Lucid Enriched with Context. - Kaiyu Wan; Vasu S. Alagar; Joey Paquet (PLC, 2005)

Security Contexts in Autonomic Systems. - Kaiyu Wan; Vasu S. Alagar (CIS, 2006)

A Component-Based Architecture for Multi-Agent Systems. - Kaiyu Wan; Vasu S. Alagar (IAT, 2006)

A Context-Based Analysis of Intrusion Detection for Policy Violation. - Kaiyu Wan; Vasu S. Alagar; Zongyuan Yang (CIS, 2007)

Context Based Enforcement of Authorization for Privacy and Security in Identity Management. - Vasu S. Alagar; Kaiyu Wan (IDMAN, 2007)

Specification and verification of trustworthy component-based real-time reactive systems. - Vasu S. Alagar; Mubarak Mohammad (SAVCBS, 2007)

Trustable Ad Hoc Networks of Agent Societies. - Kaiyu Wan; Vasu S. Alagar; Zongyuan Yang (SNPD (3), 2007)

TADL - An Architecture Description Language for Trustworthy Component-Based Systems. - Mubarak Mohammad; Vasu S. Alagar (ECSA, 2008)

A Context-Aware Trust Model for Service-Oriented Multi-Agent Systems. - Kaiyu Wan; Vasu S. Alagar (ICSOC Workshops, 2008)

An Intensional Functional Model of Trust. - Kaiyu Wan; Vasu S. Alagar (IFIPTM, 2008)

Early quality monitoring in the development of real-time reactive systems. - Olga Ormandjieva; Vangalur S. Alagar; Mao Zheng (J. Syst. Softw., 2008)

Automated generation of test suites from formal specifications of real-time reactive systems. - Mao Zheng; Vasu S. Alagar; Olga Ormandjieva (J. Syst. Softw., 2008)

A Formal Model of Business Application Integration from Web Services (Position Paper). - Kaiyu Wan; Mubarak Mohammad; Vasu S. Alagar (SOFSEM, 2009)

The Role of Concept, Context, and Component for Dependable Software Development. - Vasu S. Alagar; Mubarak Mohammad; Kaiyu Wan (ICFCA, 2010)

An Architecture for Managing and Delivering Trustworthy Context-Dependent Services. - Naseem Ibrahim; Mubarak Mohammad; Vangalur S. Alagar (IEEE SCC, 2011)

Adaptable Discovery and Ranking of Context-Dependent Services. - Naseem Ibrahim; Mubarak Mohammad; Vangalur S. Alagar (APSCC, 2011)

Managing and Delivering Trustworthy Context-Dependent Services. - Naseem Ibrahim; Vangalur S. Alagar; Mubarak Mohammad (ICEBE, 2011)

Dependable Context-Sensitive Services in Cyber Physical Systems. - Kaiyu Wan; Vangalur S. Alagar (TrustCom, 2011)

Specification and Verification of Context-dependent Services - Naseem Ibrahim; Vangalur S. Alagar; Mubarak Mohammad (WWV, 2011)

A formal approach for the specification and verification of trustworthy component-based systems. - Mubarak Mohammad; Vangalur S. Alagar (J. Syst. Softw., 2011)

Specification of Software Systems, Second Edition. - Vangalur S. Alagar; Kasilingam Periyasamy (Springer, 2011)

A Context-Aware Multi-Agent Systems Architecture for Adaptation of Autonomic Systems. - Kaiyu Wan; Vasu S. Alagar (IIP, 2012)

A component-based development process for trustworthy systems. - Mubarak Mohammad; Vangalur S. Alagar (J. Softw. Evol. Process., 2012)

A Resource-Centric Architecture for Service-Oriented Cyber Physical System. - Kaiyu Wan; Vangalur S. Alagar (GPC, 2013)

Integrating Context-Awareness and Trustworthiness in IoT Descriptions. - Kaiyu Wan; Vangalur S. Alagar (GreenCom/iThings/CPScom, 2013)

Storing and Managing Context and Context History. - Alaa Alsaig; Ammar Alsaig; Mubarak Mohammad; Vangalur S. Alagar (ICCASA, 2013)

Intelligent Graphical User Interface for Managing Resource Knowledge in Cyber Physical Systems. - Kaiyu Wan; Vasu S. Alagar; Bai Wei (KSEM, 2013)

Publishing and discovering context-dependent services. - Naseem Ibrahim; Mubarak Mohammad; Vangalur S. Alagar (Hum. centric Comput. Inf. Sci., 2013)

Achieving Dependability of Cyber Physical Systems with Autonomic Covering. - Kaiyu Wan; Vangalur S. Alagar (DASC, 2014)

Synthesizing data-to-wisdom hierarchy for developing smart systems. - Kaiyu Wan; Vangalur S. Alagar (FSKD, 2014)

An approach to designing an autonomic network of traffic managers. - Vangalur S. Alagar; Kaiyu Wan (ICCVE, 2014)

Integrating Trust and Economic Theories with Knowledge Science for Dependable Service Automation. - Vangalur S. Alagar; Kaiyu Wan (STM, 2014)

A Framework for Developing Context-aware Systems. - Vangalur S. Alagar; Mubarak Mohammad; Kaiyu Wan; Sofian Alsalman Hnaide (EAI Endorsed Trans. Context aware Syst. Appl., 2014)

A Context-dependent Service Model. - Naseem Ibrahim; Vangular Alagar; Mubarak Mohammad (EAI Endorsed Trans. Context aware Syst. Appl., 2014)

Advances in Mathematical Methods for Image and Signal Processing. - Feng Gao; Gongzhu Hu; Wenying Feng 001; Tokuro Matsuo; Vangalur S. Alagar (J. Appl. Math., 2014)

Context-Aware Systems and Applications. - Emil Vassev; Vangalur S. Alagar (Mob. Networks Appl., 2014)

Context-Aware Security Solutions for Cyber-Physical Systems. - Kaiyu Wan; Vangalur S. Alagar (Mob. Networks Appl., 2014)

Service integration in the Internet of Things. - Kaiyu Wan; Vangalur S. Alagar (CSCESM, 2015)

Context-aware, knowledge-intensive, and patient-centric Mobile Health Care Model. - Kaiyu Wan; Vangalur S. Alagar (FSKD, 2015)

A Context-Aware Healthcare Architecture for the Elderly. - Tolulope Peter Oyekanmi; Nhat Nguyen; Vangalur S. Alagar (ICCASA, 2015)

Dependable Healthcare Service Automation: A Holistic Approach. - Kaiyu Wan; Vangalur S. Alagar (ICIC (3), 2015)

Context-Aware Trust-Based Management of Vehicular Ad-Hoc Networks (VANETs). - Vangalur S. Alagar; Kaiyu Wan (UIC/ATC/ScalCom, 2015)

Risk and Vulnerability Analysis of Critical Infrastructure. - Kaiyu Wan; Vangalur S. Alagar (ICIC (3), 2016)

Characteristics and classification of big data in health care sector. - Kaiyu Wan; Vangalur S. Alagar (ICNC-FSKD, 2016)

Dependable Traffic Control Strategies for Urban and Freeway Networks. - Kaiyu Wan; Nhat Nguyen; Vangalur S. Alagar (Mob. Networks Appl., 2016)

Dependable Design for Elderly Health Care. - Kasi Periyasamy; Vangalur S. Alagar; Kaiyu Wan (FedCSIS, 2017)

Privacy and security for patient-centric elderly health care. - Vangalur S. Alagar; Kasi Periyasamy; Kaiyu Wan (Healthcom, 2017)

Analyzing healthcare big data for patient satisfaction. - Kaiyu Wan; Vangalur S. Alagar (ICNC-FSKD, 2017)

Elderly Health Care - Security and Privacy Issue. - Kaiyu Wan; Vangalur S. Alagar; Peter Oyikanmi (ICPCSEE (1), 2017)

Modeling Resource-centric Services for Service Adaptation in Cyber Physical Systems. - Vangalur S. Alagar; Kaiyu Wan (RACS, 2017)

A user-centric semantic-based algorithm for ranking services: design and analysis. - Ammar Alsaig; Vangalur S. Alagar; Mubarak Mohammad; Wadee Alhalabi (Serv. Oriented Comput. Appl., 2017)

Foundational Issues on Big Data Science and Engineering. - Alaa Alsaig; Vangular Alagar; Olga Ormandjieva (DASC/PiCom/DataCom/CyberSciTech, 2018)

Formal Context Representation and Calculus for Context-Aware Computing. - Ammar Alsaig; Vangalur S. Alagar; Nematollaah Shiri (ICCASA/ICTCC, 2018)

Resource-aware Service-oriented Approach for Elderly Healthcare. - Kaiyu Wan; Vangalur S. Alagar (ICSAI, 2018)

Context-Based Security and Privacy for Healthcare IoT. - Vangalur S. Alagar; Alaa Alsaig; Olga Ormandjieva; Kaiyu Wan (SmartIoT, 2018)

A Critical Analysis of the V-Model of Big Data. - Alaa Alsaig; Vangular Alagar; Olga Ormandjieva (TrustCom/BigDataSE, 2018)

Declarative Approach to Model Checking for Context-Aware Applications. - Ammar Alsaig; Vangalur S. Alagar; Nematollaah Shiri (ICCASA/ICTCC, 2019)

Contextual Analysis of Transactional Data. - Vangalur S. Alagar; Kaiyu Wan (ICNC-FSKD, 2019)

Fundamental Issues in the Design of Smart Home for Elderly Healthcare. - Vangalur S. Alagar (ICSAI, 2019)

Understanding and Measuring Risk due to Uncertainties in IoT. - Vangalur S. Alagar; Kaiyu Wan (SmartIoT, 2019)

Characterization and Efficient Management of Big Data in IoT-Driven Smart City Development. - Alaa Alsaig; Vangalur S. Alagar; Zaki Chammaa; Nematollaah Shiri (Sensors, 2019)

Contelog: A declarative language for modeling and reasoning with contextual knowledge. - Ammar Alsaig; Vangalur S. Alagar; Nematollaah Shiri (Knowl. Based Syst., 2020)

A Critical Review of Multi Criteria Decision Analysis Method for Decision Making and Prediction in Big Data Healthcare Applications. - Ammar Alsaig; Alaa Alsaig; Vasu S. Alagar (ICAI (2), 2023)

Semantic Similarity Functions and Their Applications. - Yang Liu; Alaa Alsaig; Vasu S. Alagar (ICAI (1), 2023)

Dependable Service-Oriented Design of Healthcare IoT. - Alaa Alsaig; Vangalur S. Alagar (SmartIoT, 2023)

Ontology Support for Healthcare IoT. - Alaa Alsaig; Ammar Alsaig; Yang Liu; Vangalur S. Alagar (SmartIoT, 2024)