default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDVangalur S. Alagar
Vasu S. Alagar – Vangular Alagar
Person information
- affiliation: Concordia University, Computer Science and Software Engineering, Montreal, Canada
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c101]Alaa Alsaig, Ammar Alsaig, Yang Liu, Vangalur S. Alagar:
Ontology Support for Healthcare IoT. SmartIoT 2024: 240-247- 2023
- [c100]Yang Liu, Alaa Alsaig, Vasu S. Alagar:
Semantic Similarity Functions and Their Applications. ICAI (1) 2023: 65-76 - [c99]Ammar Alsaig, Alaa Alsaig, Vasu S. Alagar:
A Critical Review of Multi Criteria Decision Analysis Method for Decision Making and Prediction in Big Data Healthcare Applications. ICAI (2) 2023: 89-100 - [c98]Alaa Alsaig, Vangalur S. Alagar:
Dependable Service-Oriented Design of Healthcare IoT. SmartIoT 2023: 257-264 - 2020
- [j32]Ammar Alsaig, Vangalur S. Alagar, Nematollaah Shiri:
Contelog: A declarative language for modeling and reasoning with contextual knowledge. Knowl. Based Syst. 207: 106403 (2020)
2010 – 2019
- 2019
- [j31]Alaa Alsaig, Vangalur S. Alagar, Zaki Chammaa, Nematollaah Shiri:
Characterization and Efficient Management of Big Data in IoT-Driven Smart City Development. Sensors 19(11): 2430 (2019) - [c97]Ammar Alsaig, Vangalur S. Alagar, Nematollaah Shiri:
Declarative Approach to Model Checking for Context-Aware Applications. ICCASA/ICTCC 2019: 3-10 - [c96]Vangalur S. Alagar, Kaiyu Wan:
Contextual Analysis of Transactional Data. ICNC-FSKD 2019: 1054-1062 - [c95]Vangalur S. Alagar:
Fundamental Issues in the Design of Smart Home for Elderly Healthcare. ICSAI 2019: 621-625 - [c94]Vangalur S. Alagar, Kaiyu Wan:
Understanding and Measuring Risk due to Uncertainties in IoT. SmartIoT 2019: 484-488 - [e7]Phan Cong Vinh, Vangalur S. Alagar:
Context-Aware Systems and Applications, and Nature of Computation and Communication - 7th EAI International Conference, ICCASA 2018, and 4th EAI International Conference, ICTCC 2018, Viet Tri City, Vietnam, November 22-23, 2018, Proceedings. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering 266, Springer 2019, ISBN 978-3-030-06151-7 [contents] - 2018
- [c93]Alaa Alsaig, Vangular Alagar, Olga Ormandjieva:
Foundational Issues on Big Data Science and Engineering. DASC/PiCom/DataCom/CyberSciTech 2018: 995-1000 - [c92]Ammar Alsaig
, Vangalur S. Alagar, Nematollaah Shiri:
Formal Context Representation and Calculus for Context-Aware Computing. ICCASA/ICTCC 2018: 3-13 - [c91]Kaiyu Wan, Vangalur S. Alagar:
Resource-aware Service-oriented Approach for Elderly Healthcare. ICSAI 2018: 1199-1205 - [c90]Vangalur S. Alagar, Alaa Alsaig, Olga Ormandjieva, Kaiyu Wan:
Context-Based Security and Privacy for Healthcare IoT. SmartIoT 2018: 122-128 - [c89]Alaa Alsaig, Vangular Alagar, Olga Ormandjieva:
A Critical Analysis of the V-Model of Big Data. TrustCom/BigDataSE 2018: 1809-1813 - 2017
- [j30]Ammar Alsaig, Vangalur S. Alagar, Mubarak Mohammad, Wadee Alhalabi:
A user-centric semantic-based algorithm for ranking services: design and analysis. Serv. Oriented Comput. Appl. 11(1): 101-120 (2017) - [c88]Kasi Periyasamy, Vangalur S. Alagar, Kaiyu Wan:
Dependable Design for Elderly Health Care. FedCSIS 2017: 803-806 - [c87]Vangalur S. Alagar, Kasi Periyasamy, Kaiyu Wan:
Privacy and security for patient-centric elderly health care. Healthcom 2017: 1-6 - [c86]Kaiyu Wan, Vangalur S. Alagar:
Analyzing healthcare big data for patient satisfaction. ICNC-FSKD 2017: 2084-2091 - [c85]Kaiyu Wan, Vangalur S. Alagar, Peter Oyikanmi:
Elderly Health Care - Security and Privacy Issue. ICPCSEE (1) 2017: 276-291 - [c84]Vangalur S. Alagar, Kaiyu Wan:
Modeling Resource-centric Services for Service Adaptation in Cyber Physical Systems. RACS 2017: 236-240 - 2016
- [j29]Kaiyu Wan, Nhat Nguyen, Vangalur S. Alagar:
Dependable Traffic Control Strategies for Urban and Freeway Networks. Mob. Networks Appl. 21(1): 98-126 (2016) - [c83]Kaiyu Wan, Vangalur S. Alagar:
Risk and Vulnerability Analysis of Critical Infrastructure. ICIC (3) 2016: 54-66 - [c82]Kaiyu Wan, Vangalur S. Alagar:
Characteristics and classification of big data in health care sector. ICNC-FSKD 2016: 1439-1446 - [e6]Phan Cong Vinh, Vangalur S. Alagar:
Context-Aware Systems and Applications - 4th International Conference, ICCASA 2015, Vung Tau, Vietnam, November 26-27, 2015, Revised Selected Papers. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering 165, Springer 2016, ISBN 978-3-319-29235-9 [contents] - 2015
- [c81]Kaiyu Wan, Vangalur S. Alagar:
Service integration in the Internet of Things. CSCESM 2015: 76-82 - [c80]Kaiyu Wan, Vangalur S. Alagar:
Context-aware, knowledge-intensive, and patient-centric Mobile Health Care Model. FSKD 2015: 2253-2260 - [c79]Tolulope Peter Oyekanmi, Nhat Nguyen, Vangalur S. Alagar:
A Context-Aware Healthcare Architecture for the Elderly. ICCASA 2015: 21-30 - [c78]Kaiyu Wan, Vangalur S. Alagar:
Dependable Healthcare Service Automation: A Holistic Approach. ICIC (3) 2015: 766-777 - [c77]Vangalur S. Alagar, Kaiyu Wan:
Context-Aware Trust-Based Management of Vehicular Ad-Hoc Networks (VANETs). UIC/ATC/ScalCom 2015: 255-261 - 2014
- [j28]Vangalur S. Alagar, Mubarak Mohammad, Kaiyu Wan, Sofian Alsalman Hnaide:
A Framework for Developing Context-aware Systems. EAI Endorsed Trans. Context aware Syst. Appl. 1(1): e2 (2014) - [j27]Naseem Ibrahim, Vangular Alagar, Mubarak Mohammad:
A Context-dependent Service Model. EAI Endorsed Trans. Context aware Syst. Appl. 1(2): e3 (2014) - [j26]Feng Gao, Gongzhu Hu, Wenying Feng, Tokuro Matsuo, Vangalur S. Alagar:
Advances in Mathematical Methods for Image and Signal Processing. J. Appl. Math. 2014: 245067:1-245067:2 (2014) - [j25]Kaiyu Wan, Vangalur S. Alagar:
Context-Aware Security Solutions for Cyber-Physical Systems. Mob. Networks Appl. 19(2): 212-226 (2014) - [j24]Emil Vassev, Vangalur S. Alagar:
Context-Aware Systems and Applications. Mob. Networks Appl. 19(5): 583-584 (2014) - [c76]Kaiyu Wan, Vangalur S. Alagar:
Achieving Dependability of Cyber Physical Systems with Autonomic Covering. DASC 2014: 139-145 - [c75]Kaiyu Wan, Vangalur S. Alagar:
Synthesizing data-to-wisdom hierarchy for developing smart systems. FSKD 2014: 473-478 - [c74]Vangalur S. Alagar, Kaiyu Wan:
An approach to designing an autonomic network of traffic managers. ICCVE 2014: 842-849 - [c73]Vangalur S. Alagar, Kaiyu Wan:
Integrating Trust and Economic Theories with Knowledge Science for Dependable Service Automation. STM 2014: 1-16 - [e5]Phan Cong Vinh, Vangalur S. Alagar, Emil Vassev, Ashish Khare:
Context-Aware Systems and Applications - Second International Conference, ICCASA 2013, Phu Quoc Island, Vietnam, November 25-26, 2013, Revised Selected Papers. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering 128, Springer 2014, ISBN 978-3-319-05938-9 [contents] - 2013
- [j23]Naseem Ibrahim, Mubarak Mohammad, Vangalur S. Alagar:
Publishing and discovering context-dependent services. Hum. centric Comput. Inf. Sci. 3: 1 (2013) - [c72]Kaiyu Wan, Vangalur S. Alagar:
A Resource-Centric Architecture for Service-Oriented Cyber Physical System. GPC 2013: 686-693 - [c71]Kaiyu Wan, Vangalur S. Alagar:
Integrating Context-Awareness and Trustworthiness in IoT Descriptions. GreenCom/iThings/CPScom 2013: 1168-1174 - [c70]Alaa Alsaig, Ammar Alsaig, Mubarak Mohammad, Vangalur S. Alagar:
Storing and Managing Context and Context History. ICCASA 2013: 35-46 - [c69]Kaiyu Wan, Vasu S. Alagar, Bai Wei:
Intelligent Graphical User Interface for Managing Resource Knowledge in Cyber Physical Systems. KSEM 2013: 89-103 - 2012
- [j22]Mubarak Mohammad, Vangalur S. Alagar:
A component-based development process for trustworthy systems. J. Softw. Evol. Process. 24(7): 815-835 (2012) - [c68]Kaiyu Wan, Vangalur S. Alagar:
Context-Aware Security Solutions for Cyber Physical Systems. ICCASA 2012: 18-29 - [c67]Kaiyu Wan, Vasu S. Alagar:
A Context-Aware Multi-Agent Systems Architecture for Adaptation of Autonomic Systems. Intelligent Information Processing 2012: 387-397 - 2011
- [b3]Vangalur S. Alagar, Kasilingam Periyasamy:
Specification of Software Systems, Second Edition. Texts in Computer Science, Springer 2011, ISBN 978-0-85729-276-6, pp. I-XXV, 1-644 - [j21]Mubarak Mohammad, Vangalur S. Alagar:
A formal approach for the specification and verification of trustworthy component-based systems. J. Syst. Softw. 84(1): 77-104 (2011) - [c66]Naseem Ibrahim, Mubarak Mohammad, Vangalur S. Alagar:
An Architecture for Managing and Delivering Trustworthy Context-Dependent Services. IEEE SCC 2011: 737-738 - [c65]Naseem Ibrahim, Mubarak Mohammad, Vangalur S. Alagar:
Adaptable Discovery and Ranking of Context-Dependent Services. APSCC 2011: 223-230 - [c64]Naseem Ibrahim, Vangalur S. Alagar, Mubarak Mohammad:
Managing and Delivering Trustworthy Context-Dependent Services. ICEBE 2011: 358-363 - [c63]Kaiyu Wan, Vangalur S. Alagar:
Dependable Context-Sensitive Services in Cyber Physical Systems. TrustCom 2011: 687-694 - [c62]Naseem Ibrahim, Vangalur S. Alagar, Mubarak Mohammad:
Specification and Verification of Context-dependent Services. WWV 2011: 17-33 - 2010
- [c61]Vasu S. Alagar, Mubarak Mohammad, Kaiyu Wan:
The Role of Concept, Context, and Component for Dependable Software Development. ICFCA 2010: 34-50
2000 – 2009
- 2009
- [c60]Kaiyu Wan, Mubarak Mohammad, Vasu S. Alagar:
A Formal Model of Business Application Integration from Web Services (Position Paper). SOFSEM 2009: 656-667 - 2008
- [j20]Mao Zheng, Vasu S. Alagar, Olga Ormandjieva:
Automated generation of test suites from formal specifications of real-time reactive systems. J. Syst. Softw. 81(2): 286-304 (2008) - [j19]Olga Ormandjieva, Vangalur S. Alagar, Mao Zheng:
Early quality monitoring in the development of real-time reactive systems. J. Syst. Softw. 81(10): 1738-1753 (2008) - [c59]Mubarak Mohammad, Vasu S. Alagar:
TADL - An Architecture Description Language for Trustworthy Component-Based Systems. ECSA 2008: 290-297 - [c58]Kaiyu Wan, Vasu S. Alagar:
A Context-Aware Trust Model for Service-Oriented Multi-Agent Systems. ICSOC Workshops 2008: 221-236 - [c57]Kaiyu Wan, Vasu S. Alagar:
An Intensional Functional Model of Trust. IFIPTM 2008: 69-85 - 2007
- [c56]Kaiyu Wan, Vasu S. Alagar, Zongyuan Yang:
A Context-Based Analysis of Intrusion Detection for Policy Violation. CIS 2007: 692-696 - [c55]Vasu S. Alagar, Kaiyu Wan:
Context Based Enforcement of Authorization for Privacy and Security in Identity Management. IDMAN 2007: 25-37 - [c54]Vasu S. Alagar, Mubarak Mohammad:
Specification and verification of trustworthy component-based real-time reactive systems. SAVCBS 2007: 89-93 - [c53]Kaiyu Wan, Vasu S. Alagar, Zongyuan Yang:
Trustable Ad Hoc Networks of Agent Societies. SNPD (3) 2007: 994-1000 - 2006
- [c52]Kaiyu Wan, Vasu S. Alagar:
Security Contexts in Autonomic Systems. CIS 2006: 806-816 - [c51]Kaiyu Wan, Vasu S. Alagar:
A Component-Based Architecture for Multi-Agent Systems. IAT 2006: 452-459 - 2005
- [c50]Mubarak Sami, Olga Ormandjieva, Vangalur S. Alagar:
A Visualization Tool for Reactive Systems Simulation. Automation, Control, and Information Technology 2005: 65-70 - [c49]Vangalur S. Alagar, Olga Ormandjieva, Kaiyu Wan, Mao Zheng:
Ensuring service availability for media handling in mobile ad-hoc networks. AMT 2005: 133-136 - [c48]Mao Zheng, Vangalur S. Alagar:
Conformance Testing of BDI Properties in Agent-based Software Systems. APSEC 2005: 457-464 - [c47]Vasu S. Alagar, Mao Zheng:
A Software Architecture for Multi-agent Systems. CIS (1) 2005: 303-312 - [c46]Kaiyu Wan, Vasu S. Alagar:
An Intensional Programming Approach to Multi-agent Coordination in a Distributed Network of Agents. DALT 2005: 205-222 - [c45]Kaiyu Wan, Vasu S. Alagar, Joey Paquet:
An Architecture for Developing Context-aware Systems. MRC@IJCAI 2005 - [c44]Kaiyu Wan, Vasu S. Alagar, Joey Paquet:
An Architecture for Developing Context-Aware Systems. MRC 2005: 48-61 - [c43]Mubarak Sami, Olga Ormandjieva, Vangalur S. Alagar:
A Visualization Tool for Reactive Systems Simulation. MSV 2005: 156-164 - [c42]Kaiyu Wan, Vasu S. Alagar, Joey Paquet:
Lucx: Lucid Enriched with Context. PLC 2005: 48-56 - 2004
- [c41]Vasu S. Alagar, Joey Paquet, Kaiyu Wan:
Intensional Programming for Agent Communication. DALT 2004: 239-255 - [c40]Vangalur S. Alagar, Olga Ormandjieva:
Reliability Assessment of E-Commerce Applications. ICETE (2) 2004: 30-37 - [c39]Kaiyu Wan, Vasu S. Alagar, Joey Paquet:
Real Time Reactive Programming in Lucid Enriched with Contexts. ICTAC 2004: 387-402 - 2003
- [j18]Vangalur S. Alagar, Ramesh Achuthan, M. Haydar, D. Muthiayen, Olga Ormandjieva, Mao Zheng:
A rigorous approach for constructing self-evolving real-time reactive systems. Inf. Softw. Technol. 45(11): 743-761 (2003) - [c38]Vangalur S. Alagar, M. Chen, Olga Ormandjieva, Mao Zheng:
Automated Test Generation from Object-Oriented Specifications of Real-Time Reactive Systems. APSEC 2003: 406-414 - [c37]Vangalur S. Alagar, D. Muthiayen:
A Rigorous Approach to Modeling Autonomous Traffic Control Systems. ISADS 2003: 193-200 - [c36]Paola Bertolotti, Ombretta Gaggi, Maria Luisa Sapino, Vangalur S. Alagar:
A Compositional Approach to Multimedia Document Dynamics. Multimedia Information Systems 2003: 1-12 - [c35]Vangalur S. Alagar, Olga Ormandjieva, Mao Zheng:
Incremental Testing for Self-Evolving Timed Systems. QSIC 2003: 12-19 - 2002
- [c34]Vangalur S. Alagar, Olga Ormandjieva:
Reliability Assessment of WEB Applications. COMPSAC 2002: 405-414 - [c33]Vangalur S. Alagar, Ralf Lämmel:
Three-Tiered Specification of Micro-architectures. ICFEM 2002: 92-97 - [c32]Vangalur S. Alagar, Kasilingam Periyasamy:
Specification and Verification of Secure Business Transaction Systems. SOFSEM 2002: 240-252 - [i1]Vasu S. Alagar, Ralf Lämmel:
Three-Tiered Specification of Micro-Architectures. CoRR cs.SE/0205052 (2002) - 2001
- [j17]Kasilingam Periyasamy, Vangalur S. Alagar:
A rigorous method for test templates generation from object-oriented specifications. Softw. Test. Verification Reliab. 11(1): 3-37 (2001) - [c31]Vangalur S. Alagar, Mao Zheng:
A Rigorous Method for Testing Real-Time Reactive Systems. APSEC 2001: 213-220 - [c30]Vangalur S. Alagar, Zheng Xi:
A Rigorous Approach to Modeling and Analyzing E-Commerce Architectures. FME 2001: 173-196 - [c29]Vangalur S. Alagar, Qiaoyun Li, Olga Ormandjieva:
Assessment of Maintainability in Object-Oriented Software. TOOLS (39) 2001: 194-206 - [c28]Vangalur S. Alagar, Kasilingam Periyasamy:
BTOZ: A Formal Specification Language for Formalizing Business Transactions. TOOLS (39) 2001: 240-252 - 2000
- [c27]Vangalur S. Alagar, Olga Ormandjieva, Mao Zheng:
Managing Complexity in Real-Time Reactive Systems. ICECCS 2000: 12-24 - [c26]Vangalur S. Alagar, D. Muthiayen:
Towards a mechanical verification of real-time reactive systems modeled in UML. RTCSA 2000: 245-254 - [c25]D. Muthiayen, Vangalur S. Alagar, Ferhat Khendek, Azimeh Sefidcon:
An approach to a synthesis of formal and visual description techniques for the development of real-time reactive systems. RTCSA 2000: 491-497 - [c24]Vangalur S. Alagar, L. Zhang:
Automatic code generation for real-time reactive systems in TROMLAB environment. RTCSA 2000: 503-510 - [c23]Vangalur S. Alagar, Olga Ormandjieva, Mao Zheng:
Specification-Based Testing for Real-Time Reactive Systems. TOOLS (34) 2000: 25-36
1990 – 1999
- 1999
- [c22]Kasilingam Periyasamy, Vangalur S. Alagar, D. Muthiayen:
Verification and Validation Techniques of Object-Oriented Software Systems. TOOLS (30) 1999: 413- - 1998
- [b2]Vangalur S. Alagar, Kasilingam Periyasamy:
Specification of Software Systems. Graduate Texts in Computer Science, Springer 1998, ISBN 978-1-4757-2922-1, pp. i-xx, 1-422 - [c21]Kasilingam Periyasamy, Vangalur S. Alagar:
Adding Real-Time Filters to Object-Oriented Specification of Time Critical Systems. WIFT 1998: 28-39 - 1997
- [c20]Kasilingam Periyasamy, Vangalur S. Alagar:
Extending Object-Z for Specifying Real-Time Systems. TOOLS (23) 1997: 163-175 - 1996
- [c19]Vangalur S. Alagar, D. Muthiayen, Ramesh Achuthan:
Animating Real-Time Reactive Systems. ICECCS 1996: 181-188 - 1995
- [c18]Ramesh Achuthan, Vangalur S. Alagar, Thiruvengadam Radhakrishnan:
TROM - An Object Model for Reactive System Development. ASIAN 1995: 350-364 - [c17]Vangalur S. Alagar, Fereidoon Sadri, Joseph N. Said:
Semantics of an Extended Relational Model for Managing Uncertain Information. CIKM 1995: 234-240 - [c16]Vangalur S. Alagar, Fereidoon Sadri, Joseph N. Said:
An Extended Relational Model for Managing Uncertain Information. DEXA Workshop 1995: 257-266 - [c15]Ramesh Achuthan, Vangalur S. Alagar, Thiruvengadam Radhakrishnan:
An object-oriented modeling of real-time robotic assembly system. ICECCS 1995: 310- - [e4]Vangalur S. Alagar, Maurice Nivat:
Algebraic Methodology and Software Technology, 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995, Proceedings. Lecture Notes in Computer Science 936, Springer 1995, ISBN 3-540-60043-4 [contents] - [e3]Vangalur S. Alagar, Rokia Missaoui:
Object-Oriented Technology for Database and Software Systems, Proceedings of the Colloquium on Object Orientation in Databases and Software Engineering, COODBSE 1994, 16-17 May 1994, Universite du Quebec a Montreal, Canada. World Scientific 1995, ISBN 981-02-2170-3 [contents] - 1994
- [j16]Vasu S. Alagar, D. Kourkopoulos:
(In)completeness in specifications. Inf. Softw. Technol. 36(6): 331-342 (1994) - [c14]Ramesh Achuthan, Vangalur S. Alagar, Thiruvengadam Radhakrishnan:
An Object-Oriented Framework for Specifying Reactive Systems. COODBSE 1994: 114-133 - [e2]Vangalur S. Alagar, Sabine Bergler, Fangqing 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. Workshops in Computing, Springer 1994, ISBN 3-540-19897-0 [contents] - 1993
- [j15]Vangalur S. Alagar, Pankaj Goyal, P. S. Nair, Fereidoon Sadri:
Permutation dependency in datalog programs. Inf. Sci. 68(3): 207-223 (1993) - [j14]Kasilingam Periyasamy, Vangalur S. Alagar, Tien D. Bui:
A formal framework for design and verification of robotic agents. J. Intell. Robotic Syst. 8(2): 173-200 (1993) - [c13]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 - [e1]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. Workshops in Computing, Springer 1993, ISBN 3-540-19812-1 [contents] - 1992
- [j13]Vangalur S. Alagar, Kasilingam Periyasamy:
A methodology for deriving an object-oriented design from functional specifications. Softw. Eng. J. 7(4): 247-263 (1992) - [c12]Vangalur S. Alagar:
Modeling Time in Information Systems. Formal Methods in Databases and Software Engineering 1992: 80-95 - [c11]J. D'Almeida, Ramesh Achuthan, Thiruvengadam Radhakrishnan, Vangalur S. Alagar:
Transformation of a semi-formal specification to VDM. KBSE 1992: 40-49 - 1991
- [j12]Vangalur S. Alagar, Pankaj Goyal, P. S. Nair, Fereidoon Sadri:
Integrated Magic Set Method: a Rule Rewrite Scheme for Optimising Linear Datalog Programs. Comput. J. 34(Additional-Papers): A121-A129 (1991) - [j11]Vangalur S. Alagar, Greetha Ramanathan:
Functional Specification and Proof of Correctness for Time Dependent Behaviour of Reactive Systems. Formal Aspects Comput. 3(3): 253-283 (1991) - 1990
- [j10]Vangalur S. Alagar, Tien D. Bui, Kasilingam Periyasamy:
Semantic CSG trees for finite element analysis. Comput. Aided Des. 22(4): 194-198 (1990) - [c10]Vangalur S. Alagar:
Range Equations and Range Matrices: a Study in Statistical Database Security. AUSCRYPT 1990: 360-385
1980 – 1989
- 1989
- [b1]Vangalur S. Alagar:
Fundamentals of computing - theory and practice. Prentice Hall 1989, ISBN 978-0-13-335324-2, pp. I-XIV, 1-753 - 1988
- [j9]N. Srinivasan, Jaroslav Opatrny, Vangalur S. Alagar:
Bigeodetic graphs. Graphs Comb. 4(1): 379-392 (1988) - [c9]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 - 1987
- [j8]Vangalur S. Alagar, David K. Probst:
A fast, low-space algorithm for multiplying dense multivariate polynomials. ACM Trans. Math. Softw. 13(1): 35-57 (1987) - 1986
- [j7]Vangalur S. Alagar:
A human approach to the technological challenges in data security. Comput. Secur. 5(4): 328-335 (1986) - [j6]Mai Thanh, Vangalur S. Alagar, Tien Dai Bui:
Optimal Expected-Time Algorithms for Merging. J. Algorithms 7(3): 341-357 (1986) - 1985
- [c8]Asish Mukhopadhyay, Vangalur S. Alagar:
Exact Computation of the Characteristic Polynomial of an Integer Matrix. AAECC 1985: 316-324 - [c7]Vangalur S. Alagar, Mai Thanh:
Fast Polynominal Decomposition Algorithms. European Conference on Computer Algebra (2) 1985: 150-153 - [c6]Greetha Ramanathan, Vangalur S. Alagar:
Algorithmic motion planning in robotics: Coordinated motion of several disks amidst polygonal obstacles. ICRA 1985: 514-522 - 1984
- [c5]Peter Grogono, Vangalur S. Alagar:
An Environment for High-level Program Development. Fachtagung über Programmiersprachen 1984: 144-155 - 1983
- [j5]Vangalur S. Alagar, Tien Dai Bui, Mai Thanh:
Efficient Algorithms for Merging. BIT 23(4): 409-428 (1983) - 1982
- [c4]David K. Probst, Vangalur S. Alagar:
An Adaptive Hybrid Algorithm for Multiplying Dense Polynomials. EUROCAM 1982: 16-23 - 1981
- [j4]Vangalur S. Alagar, Larry H. Thiel:
Algorithms for Detecting M-Dimensional Objects in N-Dimensional Spaces. IEEE Trans. Pattern Anal. Mach. Intell. 3(3): 245-256 (1981) - [c3]Vangalur S. Alagar, Bernard Blanchard, David Glaser:
Effective inference control mechanisms for securing statistical databases. AFIPS National Computer Conference 1981: 443-452 - 1980
- [j3]Vangalur S. Alagar:
Algorithms for processing partial match queries using word fragments. Inf. Syst. 5(4): 323-332 (1980) - [j2]David K. Probst, Vangalur S. Alagar:
Corrigendum: A Family of Algorithms for Powering Sparse Polynomials. SIAM J. Comput. 9(2): 439 (1980)
1970 – 1979
- 1979
- [j1]David K. Probst, Vangalur S. Alagar:
A Family of Algorithms for Powering Sparse Polynomials. SIAM J. Comput. 8(4): 626-644 (1979) - [c2]Vasu S. Alagar, C. Soockan:
Partial match retrieval for non-uniform query distributions. MARK 1979: 775-780 - 1977
- [c1]Vangalur S. Alagar, David K. Probst:
Binomial-Expansion Algorithms for Copmuting Integer Powers of Sparse Polynomials. International Computing Symposium 1977: 395-402
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-27 00:48 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
