default search action

combined dblp search
author search
venue search
publication search

ask others

Vangalur S. Alagar

Vasu S. Alagar – Vangular Alagar

> Home > Persons

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

Books and Theses

see FAQ

What is the meaning of the colors in the publication lists?

2011
[b3]
- view
  authority control:
- export record
  dblp key:
  - series/txcs/AlagarP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/txcs/AlagarP11
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
1998
[b2]
- view
  authority control:
- export record
  dblp key:
  - series/txcs/AlagarP98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/txcs/AlagarP98
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
1989
[b1]
- no documents available
  - details & citations
- export record
  dblp key:
  - books/daglib/0067078
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/0067078
Vangalur S. Alagar:
Fundamentals of computing - theory and practice. Prentice Hall 1989, ISBN 978-0-13-335324-2, pp. I-XIV, 1-753

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2020
[j32]
- view
  authority control:
- export record
  dblp key:
  - journals/kbs/AlsaigAS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/kbs/AlsaigAS20
Ammar Alsaig, Vangalur S. Alagar, Nematollaah Shiri:
Contelog: A declarative language for modeling and reasoning with contextual knowledge. Knowl. Based Syst. 207: 106403 (2020)
2019
[j31]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/sensors/AlsaigACS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sensors/AlsaigACS19
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)
2017
[j30]
- view
  authority control:
- export record
  dblp key:
  - journals/soca/AlsaigAMA17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/soca/AlsaigAMA17
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)
2016
[j29]
- view
  authority control:
- export record
  dblp key:
  - journals/monet/WanNA16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/monet/WanNA16
Kaiyu Wan, Nhat Nguyen, Vangalur S. Alagar:
Dependable Traffic Control Strategies for Urban and Freeway Networks. Mob. Networks Appl. 21(1): 98-126 (2016)
2014
[j28]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/casa/AlagarMWH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/casa/AlagarMWH14
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/casa/IbrahimAM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/casa/IbrahimAM14
Naseem Ibrahim, Vangular Alagar, Mubarak Mohammad:
A Context-dependent Service Model. EAI Endorsed Trans. Context aware Syst. Appl. 1(2): e3 (2014)
[j26]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jam/GaoHFMA14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jam/GaoHFMA14
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]
- view
  authority control:
- export record
  dblp key:
  - journals/monet/WanA14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/monet/WanA14
Kaiyu Wan, Vangalur S. Alagar:
Context-Aware Security Solutions for Cyber-Physical Systems. Mob. Networks Appl. 19(2): 212-226 (2014)
[j24]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/monet/VassevA14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/monet/VassevA14
Emil Vassev, Vangalur S. Alagar:
Context-Aware Systems and Applications. Mob. Networks Appl. 19(5): 583-584 (2014)
2013
[j23]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/hcis/IbrahimMA13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/hcis/IbrahimMA13
Naseem Ibrahim, Mubarak Mohammad, Vangalur S. Alagar:
Publishing and discovering context-dependent services. Hum. centric Comput. Inf. Sci. 3: 1 (2013)
2012
[j22]
- view
  authority control:
- export record
  dblp key:
  - journals/smr/MohammadA12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/smr/MohammadA12
Mubarak Mohammad, Vangalur S. Alagar:
A component-based development process for trustworthy systems. J. Softw. Evol. Process. 24(7): 815-835 (2012)
2011
[j21]
- view
  authority control:
- export record
  dblp key:
  - journals/jss/MohammadA11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/MohammadA11
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)
2008
[j20]
- view
  authority control:
- export record
  dblp key:
  - journals/jss/ZhengAO08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/ZhengAO08
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]
- view
  authority control:
- export record
  dblp key:
  - journals/jss/OrmandjievaAZ08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/OrmandjievaAZ08
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)
2003
[j18]
- view
  authority control:
- export record
  dblp key:
  - journals/infsof/AlagarAHMOZ03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/infsof/AlagarAHMOZ03
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)
2001
[j17]
- view
  authority control:
- export record
  dblp key:
  - journals/stvr/PeriyasamyA01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stvr/PeriyasamyA01
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)
1994
[j16]
- view
  authority control:
- export record
  dblp key:
  - journals/infsof/AlagarK94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/infsof/AlagarK94
Vasu S. Alagar, D. Kourkopoulos:
(In)completeness in specifications. Inf. Softw. Technol. 36(6): 331-342 (1994)
1993
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/isci/AlagarGNS93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/isci/AlagarGNS93
Vangalur S. Alagar, Pankaj Goyal, P. S. Nair, Fereidoon Sadri:
Permutation dependency in datalog programs. Inf. Sci. 68(3): 207-223 (1993)
[j14]
- view
  authority control:
- export record
  dblp key:
  - journals/jirs/PeriyasamyAB93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jirs/PeriyasamyAB93
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)
1992
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/iee/AlagarP92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iee/AlagarP92
Vangalur S. Alagar, Kasilingam Periyasamy:
A methodology for deriving an object-oriented design from functional specifications. Softw. Eng. J. 7(4): 247-263 (1992)
1991
[j12]
- no documents available
  - details & citations
- export record
  dblp key:
  - journals/cj/AlagarGNS91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cj/AlagarGNS91
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/fac/AlagarR91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/AlagarR91
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]
- view
  authority control:
- export record
  dblp key:
  - journals/cad/AlagarBP90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cad/AlagarBP90
Vangalur S. Alagar, Tien D. Bui, Kasilingam Periyasamy:
Semantic CSG trees for finite element analysis. Comput. Aided Des. 22(4): 194-198 (1990)
1988
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/gc/SrinivasanOA88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/gc/SrinivasanOA88
N. Srinivasan, Jaroslav Opatrny, Vangalur S. Alagar:
Bigeodetic graphs. Graphs Comb. 4(1): 379-392 (1988)
1987
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/toms/AlagarP87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toms/AlagarP87
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]
- view
  authority control:
- export record
  dblp key:
  - journals/compsec/Alagar86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/compsec/Alagar86
Vangalur S. Alagar:
A human approach to the technological challenges in data security. Comput. Secur. 5(4): 328-335 (1986)
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/jal/ThanhAB86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jal/ThanhAB86
Mai Thanh, Vangalur S. Alagar, Tien Dai Bui:
Optimal Expected-Time Algorithms for Merging. J. Algorithms 7(3): 341-357 (1986)
1983
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/bit/AlagarBT83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bit/AlagarBT83
Vangalur S. Alagar, Tien Dai Bui, Mai Thanh:
Efficient Algorithms for Merging. BIT 23(4): 409-428 (1983)
1981
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/pami/AlagarT81
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pami/AlagarT81
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)
1980
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/is/Alagar80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/is/Alagar80
Vangalur S. Alagar:
Algorithms for processing partial match queries using word fragments. Inf. Syst. 5(4): 323-332 (1980)
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/siamcomp/ProbstA80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siamcomp/ProbstA80
David K. Probst, Vangalur S. Alagar:
Corrigendum: A Family of Algorithms for Powering Sparse Polynomials. SIAM J. Comput. 9(2): 439 (1980)
1979
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/siamcomp/ProbstA79
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siamcomp/ProbstA79
David K. Probst, Vangalur S. Alagar:
A Family of Algorithms for Powering Sparse Polynomials. SIAM J. Comput. 8(4): 626-644 (1979)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c101]
- view
  authority control:
- export record
  dblp key:
  - conf/smartiot/AlsaigALA24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/smartiot/AlsaigALA24
Alaa Alsaig, Ammar Alsaig, Yang Liu, Vangalur S. Alagar:
Ontology Support for Healthcare IoT. SmartIoT 2024: 240-247
2023
[c100]
- view
  authority control:
- export record
  dblp key:
  - conf/icai4/LiuAA23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icai4/LiuAA23
Yang Liu, Alaa Alsaig, Vasu S. Alagar:
Semantic Similarity Functions and Their Applications. ICAI (1) 2023: 65-76
[c99]
- view
  authority control:
- export record
  dblp key:
  - conf/icai4/AlsaigAA23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icai4/AlsaigAA23
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]
- view
  authority control:
- export record
  dblp key:
  - conf/smartiot/AlsaigA23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/smartiot/AlsaigA23
Alaa Alsaig, Vangalur S. Alagar:
Dependable Service-Oriented Design of Healthcare IoT. SmartIoT 2023: 257-264
2019
[c97]
- view
  authority control:
- export record
  dblp key:
  - conf/iccasa/AlsaigAS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccasa/AlsaigAS19
Ammar Alsaig, Vangalur S. Alagar, Nematollaah Shiri:
Declarative Approach to Model Checking for Context-Aware Applications. ICCASA/ICTCC 2019: 3-10
[c96]
- view
  authority control:
- export record
  dblp key:
  - conf/icnc/AlagarW19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icnc/AlagarW19
Vangalur S. Alagar, Kaiyu Wan:
Contextual Analysis of Transactional Data. ICNC-FSKD 2019: 1054-1062
[c95]
- view
  authority control:
- export record
  dblp key:
  - conf/icsai/Alagar19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsai/Alagar19
Vangalur S. Alagar:
Fundamental Issues in the Design of Smart Home for Elderly Healthcare. ICSAI 2019: 621-625
[c94]
- view
  authority control:
- export record
  dblp key:
  - conf/smartiot/AlagarW19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/smartiot/AlagarW19
Vangalur S. Alagar, Kaiyu Wan:
Understanding and Measuring Risk due to Uncertainties in IoT. SmartIoT 2019: 484-488
2018
[c93]
- view
  authority control:
- export record
  dblp key:
  - conf/dasc/AlsaigAO18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dasc/AlsaigAO18
Alaa Alsaig, Vangular Alagar, Olga Ormandjieva:
Foundational Issues on Big Data Science and Engineering. DASC/PiCom/DataCom/CyberSciTech 2018: 995-1000
[c92]
- view
  authority control:
- export record
  dblp key:
  - conf/iccasa/AlsaigAS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccasa/AlsaigAS18
Ammar Alsaig, Vangalur S. Alagar, Nematollaah Shiri:
Formal Context Representation and Calculus for Context-Aware Computing. ICCASA/ICTCC 2018: 3-13
[c91]
- view
  authority control:
- export record
  dblp key:
  - conf/icsai/WanA18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsai/WanA18
Kaiyu Wan, Vangalur S. Alagar:
Resource-aware Service-oriented Approach for Elderly Healthcare. ICSAI 2018: 1199-1205
[c90]
- view
  authority control:
- export record
  dblp key:
  - conf/smartiot/AlagarAOW18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/smartiot/AlagarAOW18
Vangalur S. Alagar, Alaa Alsaig, Olga Ormandjieva, Kaiyu Wan:
Context-Based Security and Privacy for Healthcare IoT. SmartIoT 2018: 122-128
[c89]
- view
  authority control:
- export record
  dblp key:
  - conf/trustcom/AlsaigAO18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/trustcom/AlsaigAO18
Alaa Alsaig, Vangular Alagar, Olga Ormandjieva:
A Critical Analysis of the V-Model of Big Data. TrustCom/BigDataSE 2018: 1809-1813
2017
[c88]
- view
  authority control:
- export record
  dblp key:
  - conf/fedcsis/PeriyasamyAW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fedcsis/PeriyasamyAW17
Kasi Periyasamy, Vangalur S. Alagar, Kaiyu Wan:
Dependable Design for Elderly Health Care. FedCSIS 2017: 803-806
[c87]
- view
  authority control:
- export record
  dblp key:
  - conf/healthcom/AlagarPW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/healthcom/AlagarPW17
Vangalur S. Alagar, Kasi Periyasamy, Kaiyu Wan:
Privacy and security for patient-centric elderly health care. Healthcom 2017: 1-6
[c86]
- view
  authority control:
- export record
  dblp key:
  - conf/icnc/WanA17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icnc/WanA17
Kaiyu Wan, Vangalur S. Alagar:
Analyzing healthcare big data for patient satisfaction. ICNC-FSKD 2017: 2084-2091
[c85]
- view
  authority control:
- export record
  dblp key:
  - conf/icycsee/WanAO17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icycsee/WanAO17
Kaiyu Wan, Vangalur S. Alagar, Peter Oyikanmi:
Elderly Health Care - Security and Privacy Issue. ICPCSEE (1) 2017: 276-291
[c84]
- view
  authority control:
- export record
  dblp key:
  - conf/racs/AlagarW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/racs/AlagarW17
Vangalur S. Alagar, Kaiyu Wan:
Modeling Resource-centric Services for Service Adaptation in Cyber Physical Systems. RACS 2017: 236-240
2016
[c83]
- view
  authority control:
- export record
  dblp key:
  - conf/icic/WanA16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icic/WanA16
Kaiyu Wan, Vangalur S. Alagar:
Risk and Vulnerability Analysis of Critical Infrastructure. ICIC (3) 2016: 54-66
[c82]
- view
  authority control:
- export record
  dblp key:
  - conf/icnc/WanA16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icnc/WanA16
Kaiyu Wan, Vangalur S. Alagar:
Characteristics and classification of big data in health care sector. ICNC-FSKD 2016: 1439-1446
2015
[c81]
- view
  authority control:
- export record
  dblp key:
  - conf/cscesm/WanA15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cscesm/WanA15
Kaiyu Wan, Vangalur S. Alagar:
Service integration in the Internet of Things. CSCESM 2015: 76-82
[c80]
- view
  authority control:
- export record
  dblp key:
  - conf/fskd/WanA15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fskd/WanA15
Kaiyu Wan, Vangalur S. Alagar:
Context-aware, knowledge-intensive, and patient-centric Mobile Health Care Model. FSKD 2015: 2253-2260
[c79]
- view
  authority control:
- export record
  dblp key:
  - conf/iccasa/OyekanmiNA15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccasa/OyekanmiNA15
Tolulope Peter Oyekanmi, Nhat Nguyen, Vangalur S. Alagar:
A Context-Aware Healthcare Architecture for the Elderly. ICCASA 2015: 21-30
[c78]
- view
  authority control:
- export record
  dblp key:
  - conf/icic/WanA15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icic/WanA15
Kaiyu Wan, Vangalur S. Alagar:
Dependable Healthcare Service Automation: A Holistic Approach. ICIC (3) 2015: 766-777
[c77]
- view
  authority control:
- export record
  dblp key:
  - conf/uic/AlagarW15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/uic/AlagarW15
Vangalur S. Alagar, Kaiyu Wan:
Context-Aware Trust-Based Management of Vehicular Ad-Hoc Networks (VANETs). UIC/ATC/ScalCom 2015: 255-261
2014
[c76]
- view
  authority control:
- export record
  dblp key:
  - conf/dasc/WanA14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dasc/WanA14
Kaiyu Wan, Vangalur S. Alagar:
Achieving Dependability of Cyber Physical Systems with Autonomic Covering. DASC 2014: 139-145
[c75]
- view
  authority control:
- export record
  dblp key:
  - conf/fskd/WanA14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fskd/WanA14
Kaiyu Wan, Vangalur S. Alagar:
Synthesizing data-to-wisdom hierarchy for developing smart systems. FSKD 2014: 473-478
[c74]
- view
  authority control:
- export record
  dblp key:
  - conf/iccve/AlagarW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccve/AlagarW14
Vangalur S. Alagar, Kaiyu Wan:
An approach to designing an autonomic network of traffic managers. ICCVE 2014: 842-849
[c73]
- view
  authority control:
- export record
  dblp key:
  - conf/stm/AlagarW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/stm/AlagarW14
Vangalur S. Alagar, Kaiyu Wan:
Integrating Trust and Economic Theories with Knowledge Science for Dependable Service Automation. STM 2014: 1-16
2013
[c72]
- view
  authority control:
- export record
  dblp key:
  - conf/gpc/WanA13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gpc/WanA13
Kaiyu Wan, Vangalur S. Alagar:
A Resource-Centric Architecture for Service-Oriented Cyber Physical System. GPC 2013: 686-693
[c71]
- view
  authority control:
- export record
  dblp key:
  - conf/greencom/WanA13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/greencom/WanA13
Kaiyu Wan, Vangalur S. Alagar:
Integrating Context-Awareness and Trustworthiness in IoT Descriptions. GreenCom/iThings/CPScom 2013: 1168-1174
[c70]
- view
  authority control:
- export record
  dblp key:
  - conf/iccasa/AlsaigAMA13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccasa/AlsaigAMA13
Alaa Alsaig, Ammar Alsaig, Mubarak Mohammad, Vangalur S. Alagar:
Storing and Managing Context and Context History. ICCASA 2013: 35-46
[c69]
- view
  authority control:
- export record
  dblp key:
  - conf/ksem/WanAW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ksem/WanAW13
Kaiyu Wan, Vasu S. Alagar, Bai Wei:
Intelligent Graphical User Interface for Managing Resource Knowledge in Cyber Physical Systems. KSEM 2013: 89-103
2012
[c68]
- view
  authority control:
- export record
  dblp key:
  - conf/iccasa/WanA12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccasa/WanA12
Kaiyu Wan, Vangalur S. Alagar:
Context-Aware Security Solutions for Cyber Physical Systems. ICCASA 2012: 18-29
[c67]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ifip12/WanA12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip12/WanA12
Kaiyu Wan, Vasu S. Alagar:
A Context-Aware Multi-Agent Systems Architecture for Adaptation of Autonomic Systems. IIP 2012: 387-397
2011
[c66]
- view
  authority control:
- export record
  dblp key:
  - conf/IEEEscc/IbrahimMA11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/IEEEscc/IbrahimMA11
Naseem Ibrahim, Mubarak Mohammad, Vangalur S. Alagar:
An Architecture for Managing and Delivering Trustworthy Context-Dependent Services. IEEE SCC 2011: 737-738
[c65]
- view
  authority control:
- export record
  dblp key:
  - conf/apscc/IbrahimMA11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apscc/IbrahimMA11
Naseem Ibrahim, Mubarak Mohammad, Vangalur S. Alagar:
Adaptable Discovery and Ranking of Context-Dependent Services. APSCC 2011: 223-230
[c64]
- view
  authority control:
- export record
  dblp key:
  - conf/icebe/IbrahimAM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icebe/IbrahimAM11
Naseem Ibrahim, Vangalur S. Alagar, Mubarak Mohammad:
Managing and Delivering Trustworthy Context-Dependent Services. ICEBE 2011: 358-363
[c63]
- view
  authority control:
- export record
  dblp key:
  - conf/trustcom/WanA11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/trustcom/WanA11
Kaiyu Wan, Vangalur S. Alagar:
Dependable Context-Sensitive Services in Cyber Physical Systems. TrustCom 2011: 687-694
[c62]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1108-2349
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1108-2349
Naseem Ibrahim, Vangalur S. Alagar, Mubarak Mohammad:
Specification and Verification of Context-dependent Services. WWV 2011: 17-33
2010
[c61]
- view
  authority control:
- export record
  dblp key:
  - conf/icfca/AlagarMW10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfca/AlagarMW10
Vasu S. Alagar, Mubarak Mohammad, Kaiyu Wan:
The Role of Concept, Context, and Component for Dependable Software Development. ICFCA 2010: 34-50
2009
[c60]
- view
  authority control:
- export record
  dblp key:
  - conf/sofsem/WanMA09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sofsem/WanMA09
Kaiyu Wan, Mubarak Mohammad, Vasu S. Alagar:
A Formal Model of Business Application Integration from Web Services (Position Paper). SOFSEM 2009: 656-667
2008
[c59]
- view
  authority control:
- export record
  dblp key:
  - conf/ecsa/MohammadA08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecsa/MohammadA08
Mubarak Mohammad, Vasu S. Alagar:
TADL - An Architecture Description Language for Trustworthy Component-Based Systems. ECSA 2008: 290-297
[c58]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/icsoc/WanA08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsoc/WanA08
Kaiyu Wan, Vasu S. Alagar:
A Context-Aware Trust Model for Service-Oriented Multi-Agent Systems. ICSOC Workshops 2008: 221-236
[c57]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ifiptm/WanA08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifiptm/WanA08
Kaiyu Wan, Vasu S. Alagar:
An Intensional Functional Model of Trust. IFIPTM 2008: 69-85
2007
[c56]
- view
  authority control:
- export record
  dblp key:
  - conf/cis/WanAY07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cis/WanAY07
Kaiyu Wan, Vasu S. Alagar, Zongyuan Yang:
A Context-Based Analysis of Intrusion Detection for Policy Violation. CIS 2007: 692-696
[c55]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/idman/AlagaW07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/idman/AlagaW07
Vasu S. Alagar, Kaiyu Wan:
Context Based Enforcement of Authorization for Privacy and Security in Identity Management. IDMAN 2007: 25-37
[c54]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/AlagarM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/AlagarM07
Vasu S. Alagar, Mubarak Mohammad:
Specification and verification of trustworthy component-based real-time reactive systems. SAVCBS 2007: 89-93
[c53]
- view
  authority control:
- export record
  dblp key:
  - conf/snpd/WanAY07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/snpd/WanAY07
Kaiyu Wan, Vasu S. Alagar, Zongyuan Yang:
Trustable Ad Hoc Networks of Agent Societies. SNPD (3) 2007: 994-1000
2006
[c52]
- view
  authority control:
- export record
  dblp key:
  - conf/cis/WanA06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cis/WanA06
Kaiyu Wan, Vasu S. Alagar:
Security Contexts in Autonomic Systems. CIS 2006: 806-816
[c51]
- view
  authority control:
- export record
  dblp key:
  - conf/iat/WanA06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iat/WanA06
Kaiyu Wan, Vasu S. Alagar:
A Component-Based Architecture for Multi-Agent Systems. IAT 2006: 452-459
2005
[c50]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/acit/SamiOA05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acit/SamiOA05
Mubarak Sami, Olga Ormandjieva, Vangalur S. Alagar:
A Visualization Tool for Reactive Systems Simulation. Automation, Control, and Information Technology 2005: 65-70
[c49]
- view
  authority control:
- export record
  dblp key:
  - conf/amt/AlagarOWZ05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amt/AlagarOWZ05
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]
- view
  authority control:
- export record
  dblp key:
  - conf/apsec/ZhengA05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apsec/ZhengA05
Mao Zheng, Vangalur S. Alagar:
Conformance Testing of BDI Properties in Agent-based Software Systems. APSEC 2005: 457-464
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/cis/AlagarZ05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cis/AlagarZ05
Vasu S. Alagar, Mao Zheng:
A Software Architecture for Multi-agent Systems. CIS (1) 2005: 303-312
[c46]
- view
  authority control:
- export record
  dblp key:
  - conf/dalt/WanA05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dalt/WanA05
Kaiyu Wan, Vasu S. Alagar:
An Intensional Programming Approach to Multi-agent Coordination in a Distributed Network of Agents. DALT 2005: 205-222
[c45]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/ijcai/WanAP05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/WanAP05
Kaiyu Wan, Vasu S. Alagar, Joey Paquet:
An Architecture for Developing Context-aware Systems. MRC@IJCAI 2005
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/mrco/WanAP05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mrco/WanAP05
Kaiyu Wan, Vasu S. Alagar, Joey Paquet:
An Architecture for Developing Context-Aware Systems. MRC 2005: 48-61
[c43]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/msv/SamiOA05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/msv/SamiOA05
Mubarak Sami, Olga Ormandjieva, Vangalur S. Alagar:
A Visualization Tool for Reactive Systems Simulation. MSV 2005: 156-164
[c42]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/plc/WanAP05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/plc/WanAP05
Kaiyu Wan, Vasu S. Alagar, Joey Paquet:
Lucx: Lucid Enriched with Context. PLC 2005: 48-56
2004
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/dalt/AlagarPW04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dalt/AlagarPW04
Vasu S. Alagar, Joey Paquet, Kaiyu Wan:
Intensional Programming for Agent Communication. DALT 2004: 239-255
[c40]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/icete/AlagarO04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icete/AlagarO04
Vangalur S. Alagar, Olga Ormandjieva:
Reliability Assessment of E-Commerce Applications. ICETE (2) 2004: 30-37
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/WanAP04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/WanAP04
Kaiyu Wan, Vasu S. Alagar, Joey Paquet:
Real Time Reactive Programming in Lucid Enriched with Contexts. ICTAC 2004: 387-402
2003
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/apsec/AlagarCOZ03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apsec/AlagarCOZ03
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]
- view
  authority control:
- export record
  dblp key:
  - conf/isads/AlagarM03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isads/AlagarM03
Vangalur S. Alagar, D. Muthiayen:
A Rigorous Approach to Modeling Autonomous Traffic Control Systems. ISADS 2003: 193-200
[c36]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/mis/BertolottiGSA03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mis/BertolottiGSA03
Paola Bertolotti, Ombretta Gaggi, Maria Luisa Sapino, Vangalur S. Alagar:
A Compositional Approach to Multimedia Document Dynamics. Multimedia Information Systems 2003: 1-12
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/qsic/AlagarOZ03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qsic/AlagarOZ03
Vangalur S. Alagar, Olga Ormandjieva, Mao Zheng:
Incremental Testing for Self-Evolving Timed Systems. QSIC 2003: 12-19
2002
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/AlagarO02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/AlagarO02
Vangalur S. Alagar, Olga Ormandjieva:
Reliability Assessment of WEB Applications. COMPSAC 2002: 405-414
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/AlagarL02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/AlagarL02
Vangalur S. Alagar, Ralf Lämmel:
Three-Tiered Specification of Micro-architectures. ICFEM 2002: 92-97
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/sofsem/AlagarP02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sofsem/AlagarP02
Vangalur S. Alagar, Kasilingam Periyasamy:
Specification and Verification of Secure Business Transaction Systems. SOFSEM 2002: 240-252
2001
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/apsec/AlagarZ01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apsec/AlagarZ01
Vangalur S. Alagar, Mao Zheng:
A Rigorous Method for Testing Real-Time Reactive Systems. APSEC 2001: 213-220
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/AlagarX01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/AlagarX01
Vangalur S. Alagar, Zheng Xi:
A Rigorous Approach to Modeling and Analyzing E-Commerce Architectures. FME 2001: 173-196
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/tools/AlagarLO01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tools/AlagarLO01
Vangalur S. Alagar, Qiaoyun Li, Olga Ormandjieva:
Assessment of Maintainability in Object-Oriented Software. TOOLS (39) 2001: 194-206
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/tools/AlagarP01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tools/AlagarP01
Vangalur S. Alagar, Kasilingam Periyasamy:
BTOZ: A Formal Specification Language for Formalizing Business Transactions. TOOLS (39) 2001: 240-252
2000
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/AlagarOZ00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/AlagarOZ00
Vangalur S. Alagar, Olga Ormandjieva, Mao Zheng:
Managing Complexity in Real-Time Reactive Systems. ICECCS 2000: 12-24
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/rtcsa/AlagarM00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rtcsa/AlagarM00
Vangalur S. Alagar, D. Muthiayen:
Towards a mechanical verification of real-time reactive systems modeled in UML. RTCSA 2000: 245-254
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/rtcsa/MuthiayenAKS00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rtcsa/MuthiayenAKS00
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]
- view
  authority control:
- export record
  dblp key:
  - conf/rtcsa/AlagarZ00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rtcsa/AlagarZ00
Vangalur S. Alagar, L. Zhang:
Automatic code generation for real-time reactive systems in TROMLAB environment. RTCSA 2000: 503-510
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/tools/AlagarOZ00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tools/AlagarOZ00
Vangalur S. Alagar, Olga Ormandjieva, Mao Zheng:
Specification-Based Testing for Real-Time Reactive Systems. TOOLS (34) 2000: 25-36
1999
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/tools/PeriyasamyAM99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tools/PeriyasamyAM99
Kasilingam Periyasamy, Vangalur S. Alagar, D. Muthiayen:
Verification and Validation Techniques of Object-Oriented Software Systems. TOOLS (30) 1999: 413-
1998
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/wift/PeriyasamyA98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wift/PeriyasamyA98
Kasilingam Periyasamy, Vangalur S. Alagar:
Adding Real-Time Filters to Object-Oriented Specification of Time Critical Systems. WIFT 1998: 28-39
1997
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/tools/PeriyasamyA97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tools/PeriyasamyA97
Kasilingam Periyasamy, Vangalur S. Alagar:
Extending Object-Z for Specifying Real-Time Systems. TOOLS (23) 1997: 163-175
1996
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/AlagarMA96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/AlagarMA96
Vangalur S. Alagar, D. Muthiayen, Ramesh Achuthan:
Animating Real-Time Reactive Systems. ICECCS 1996: 181-188
1995
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/asian/AchuthanAR95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asian/AchuthanAR95
Ramesh Achuthan, Vangalur S. Alagar, Thiruvengadam Radhakrishnan:
TROM - An Object Model for Reactive System Development. ASIAN 1995: 350-364
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/cikm/AlagarSS95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cikm/AlagarSS95
Vangalur S. Alagar, Fereidoon Sadri, Joseph N. Said:
Semantics of an Extended Relational Model for Managing Uncertain Information. CIKM 1995: 234-240
[c16]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/dexaw/AlagarSS95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dexaw/AlagarSS95
Vangalur S. Alagar, Fereidoon Sadri, Joseph N. Said:
An Extended Relational Model for Managing Uncertain Information. DEXA Workshop 1995: 257-266
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/AchuthanAR95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/AchuthanAR95
Ramesh Achuthan, Vangalur S. Alagar, Thiruvengadam Radhakrishnan:
An object-oriented modeling of real-time robotic assembly system. ICECCS 1995: 310-
1994
[c14]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/coodbse/AchuthanAR94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coodbse/AchuthanAR94
Ramesh Achuthan, Vangalur S. Alagar, Thiruvengadam Radhakrishnan:
An Object-Oriented Framework for Specifying Reactive Systems. COODBSE 1994: 114-133
1993
[c13]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/softeks/AlagarDA93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/softeks/AlagarDA93
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
1992
[c12]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/db-workshops/Alagar92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/db-workshops/Alagar92
Vangalur S. Alagar:
Modeling Time in Information Systems. Formal Methods in Databases and Software Engineering 1992: 80-95
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/DAlmeidaARA92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/DAlmeidaARA92
J. D'Almeida, Ramesh Achuthan, Thiruvengadam Radhakrishnan, Vangalur S. Alagar:
Transformation of a semi-formal specification to VDM. KBSE 1992: 40-49
1990
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/asiacrypt/Alagar90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asiacrypt/Alagar90
Vangalur S. Alagar:
Range Equations and Range Matrices: a Study in Statistical Database Security. AUSCRYPT 1990: 360-385
1988
[c9]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/facs/AlagarR88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs/AlagarR88
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
1985
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/aaecc/MukhopadhyayA85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaecc/MukhopadhyayA85
Asish Mukhopadhyay, Vangalur S. Alagar:
Exact Computation of the Characteristic Polynomial of an Integer Matrix. AAECC 1985: 316-324
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/eurocal/AlagarT85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eurocal/AlagarT85
Vangalur S. Alagar, Mai Thanh:
Fast Polynominal Decomposition Algorithms. European Conference on Computer Algebra (2) 1985: 150-153
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/icra/RamanathanA85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icra/RamanathanA85
Greetha Ramanathan, Vangalur S. Alagar:
Algorithmic motion planning in robotics: Coordinated motion of several disks amidst polygonal obstacles. ICRA 1985: 514-522
1984
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/programmier/GrogonoA84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/programmier/GrogonoA84
Peter Grogono, Vangalur S. Alagar:
An Environment for High-level Program Development. Fachtagung über Programmiersprachen 1984: 144-155
1982
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/eurocal/ProbstA82
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eurocal/ProbstA82
David K. Probst, Vangalur S. Alagar:
An Adaptive Hybrid Algorithm for Multiplying Dense Polynomials. EUROCAM 1982: 16-23
1981
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/afips/AlagarBG81
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/afips/AlagarBG81
Vangalur S. Alagar, Bernard Blanchard, David Glaser:
Effective inference control mechanisms for securing statistical databases. AFIPS National Computer Conference 1981: 443-452
1979
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/mark2/AlagarS79
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mark2/AlagarS79
Vasu S. Alagar, C. Soockan:
Partial match retrieval for non-uniform query distributions. MARK 1979: 775-780
1977
[c1]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/icsym/AlagarP77
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsym/AlagarP77
Vangalur S. Alagar, David K. Probst:
Binomial-Expansion Algorithms for Copmuting Integer Powers of Sparse Polynomials. International Computing Symposium 1977: 395-402

Editorship

see FAQ

What is the meaning of the colors in the publication lists?

2019
[e7]
- view
  authority control:
- export record
  dblp key:
  - conf/iccasa/2018
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccasa/2018
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]
2016
[e6]
- view
  authority control:
- export record
  dblp key:
  - conf/iccasa/2015
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccasa/2015
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]
2014
[e5]
- view
  authority control:
- export record
  dblp key:
  - conf/iccasa/2013
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccasa/2013
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]
1995
[e4]
- view
  authority control:
- export record
  dblp key:
  - conf/amast/1995
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amast/1995
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]
- view
  - table of contents in dblp
  - details & citations
- export record
  dblp key:
  - conf/coodbse/1994
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coodbse/1994
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
[e2]
- view
  - table of contents in dblp
  - details & citations
- export record
  dblp key:
  - conf/softeks/1993
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/softeks/1993
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
[e1]
- view
  - table of contents in dblp
  - details & citations
- export record
  dblp key:
  - conf/db-workshops/1992
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/db-workshops/1992
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]

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2002
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/cs-SE-0205052
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/cs-SE-0205052
Vasu S. Alagar, Ralf Lämmel:
Three-Tiered Specification of Micro-Architectures. CoRR cs.SE/0205052 (2002)

Coauthor Index

see FAQ

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.