| Contelog: A declarative language for modeling and reasoning with contextual knowledge | 0 | 0.34 | 2020 |
| 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 | 0 | 0.34 | 2019 |
| Characterization and Efficient Management of Big Data in IoT-Driven Smart City Development. | 0 | 0.34 | 2019 |
| Contextual Analysis of Transactional Data | 0 | 0.34 | 2019 |
| Formal Context Representation and Calculus for Context-Aware Computing. | 0 | 0.34 | 2018 |
| Context-Based Security and Privacy for Healthcare IoT | 3 | 0.46 | 2018 |
| Resource-Aware Service-Oriented Approach For Elderly Healthcare | 0 | 0.34 | 2018 |
| A user-centric semantic-based algorithm for ranking services: design and analysis. | 1 | 0.36 | 2017 |
| Elderly Health Care - Security and Privacy Issue. | 0 | 0.34 | 2017 |
| Modeling Resource-centric Services for Service Adaptation in Cyber Physical Systems. | 0 | 0.34 | 2017 |
| Dependable Design for Elderly Health Care. | 1 | 0.35 | 2017 |
| Analyzing Healthcare Big Data For Patient Satisfaction | 0 | 0.34 | 2017 |
| Dependable Traffic Control Strategies for Urban and Freeway Networks. | 0 | 0.34 | 2016 |
| Context-Aware, Knowledge-Intensive, And Patient-Centric Mobile Health Care Model | 0 | 0.34 | 2015 |
| A Context-Aware Healthcare Architecture for the Elderly. | 0 | 0.34 | 2015 |
| Dependable Healthcare Service Automation: A Holistic Approach. | 0 | 0.34 | 2015 |
| Context-Aware Trust-Based Management of Vehicular Ad-Hoc Networks (VANETs) | 0 | 0.34 | 2015 |
| Service integration in the Internet of Things | 0 | 0.34 | 2015 |
| Achieving Dependability of Cyber Physical Systems with Autonomic Covering | 1 | 0.39 | 2014 |
| Synthesizing data-to-wisdom hierarchy for developing smart systems | 2 | 0.44 | 2014 |
| Integrating Trust and Economic Theories with Knowledge Science for Dependable Service Automation. | 1 | 0.37 | 2014 |
| A Framework for Developing Context-aware Systems. | 6 | 0.55 | 2014 |
| A Resource-Centric Architecture for Service-Oriented Cyber Physical System. | 5 | 0.49 | 2013 |
| Storing and Managing Context and Context History. | 0 | 0.34 | 2013 |
| Context-Aware Security Solutions for Cyber-Physical Systems. | 6 | 0.54 | 2012 |
| A component-based development process for trustworthy systems. | 1 | 0.39 | 2012 |
| Dependable Context-Sensitive Services in Cyber Physical Systems | 6 | 0.45 | 2011 |
| Adaptable Discovery and Ranking of Context-Dependent Services. | 0 | 0.34 | 2011 |
| Specification And Verification Of Context-Dependent Services | 1 | 0.46 | 2011 |
| A Visualization Tool for Reactive Systems Simulation. | 0 | 0.34 | 2005 |
| Reliability Assessment of E-Commerce Applications | 0 | 0.34 | 2004 |
| Specification and Verification of Secure Business Transaction Systems | 1 | 0.37 | 2002 |
| Three-Tiered Specification of Micro-architectures | 0 | 0.34 | 2002 |
| A rigorous method for test templates generation from object-oriented specifications | 2 | 0.51 | 2001 |
| Algebraic Methodology and Software Technology, 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995, Proceedings | 42 | 4.92 | 1995 |
| TROM - An Object Model for Reactive System Development | 0 | 0.34 | 1995 |
| An Extended Relational Model for Managing Uncertain Information | 1 | 0.34 | 1995 |
| 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. | 0 | 0.34 | 1995 |
| An Object-Oriented Framework for Specifying Reactive Systems | 3 | 0.42 | 1994 |
| 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 | 17 | 4.66 | 1994 |
| Completeness in Statechart Models for Reactive Systems | 0 | 0.34 | 1993 |
| Formal Methods in Databases and Software Engineering: Proceedings of the Workshop on Formal Methods Databases and Software Engineering , Montreal, Canada, 15-16 May 1992 | 12 | 1.72 | 1993 |
| A formal framework for design and verification of robotic agents | 0 | 0.34 | 1993 |
| Modeling Time in Information Systems | 0 | 0.34 | 1992 |
| Functional Specification and Proof of Correctness for Time Dependent Behaviour of Reactive Systems | 11 | 1.13 | 1991 |
| Integrated Magic Set Method: a Rule Rewrite Scheme for Optimising Linear Datalog Programs. | 0 | 0.34 | 1991 |
| Formal Environment and Tools Description for the Analysis of Real Time Concurrent Systems | 4 | 0.54 | 1988 |
| A fast, low-space algorithm for multiplying dense multivariate polynomials | 2 | 0.43 | 1987 |
| Optimal expected-time algorithms for merging | 2 | 0.39 | 1986 |
| Fast Polynominal Decomposition Algorithms | 13 | 1.48 | 1985 |
