CITED WORKS

Referenced in publications covered by other indexes

  • Citing :
    Mahalle, P.N., , Dhotre, P.S. , (2019-2020)
    Architecture for Context-Aware Systems - Intelligent Systems Reference Library
    Cited :
    A Platform for Context-Aware Application Development: PCAD - Federated Conference on Computer Science and Information Systems, FedCSIS
  • Citing :
    Tiruvayipati, S., , Yellasiri, R. , (2019-2020)
    Feasibility of Soft Real-Time Operations Over WLAN Infrastructure-Independent IoT Implementation by Enhancing Edge Computing - Advances in Intelligent Systems and Computing
    Cited :
    A Message Broker Based Architecture for Context Aware IoT Application Development - IEEE Xplore / 2017 International Conference On Computer Science And Engineering
  • Citing :
    Chaudhary, S., Schafeitel-Tähtinen, T. , Helenius, M., Berki, E et.al , (2019-2020)
    Usability, security and trust in password managers: A quest for user-centric properties and features - Computer Science Review
    Cited :
    NFC Based Mobile Single Sign-On Solution as a Chrome Extension - Proceedings Of The 11th International Conference On Security And Cryptography
  • Citing :
    Karvi T, Tienari M, Kaivola R (2005-2006)
    Stepwise development of process-algebraic specifications in decorated trace semantics - FORMAL METHODS IN SYSTEM DESIGN
    Cited :
    GENERATING DIAGNOSTIC INFORMATION FOR BEHAVIORAL PREORDERS - DISTRIBUTED COMPUTING
  • Citing :
    Cleaveland R, Sims ST (2002-2003)
    Generic tools for verifying concurrent systems - SCIENCE OF COMPUTER PROGRAMMING
    Cited :
    GENERATING DIAGNOSTIC INFORMATION FOR BEHAVIORAL PREORDERS - DISTRIBUTED COMPUTING
  • Citing :
    Lee D, Yannakakis M (1996-1997)
    Principles and methods of testing finite state machines - A survey - PROCEEDINGS OF THE IEEE
    Cited :
    COMPUTING DIAGNOSTIC-TESTS FOR INCORRECT PROCESSES - IFIP TRANSACTIONS C-COMMUNICATION SYSTEMS

Referenced in unindexed international publicatons

  • Citing :
    Smolka, Scott A. , Lewis, Philip M. , (2003-2004)
    Specification and verification for concurrent systems with graphical and textual editors - US Patent 6385765
    Cited :
    Computing Diagnostic Tests for Incorrect Processes - Proceedings of the IFIP Symposium on Protocol Specification, Testing and Verification.

Referenced in books published by international publishers

  • Citing :
    RANCE CLEVAELAND, OLEG SOKOLSKY (2001-2002)
    Handbook of Process Algebra - Elsevier
    Cited :
    GENERATING DIAGNOSTIC INFORMATION FOR BEHAVIORAL PREORDERS - DISTRIBUTED COMPUTING

Referenced in publications covered by WoS indexes

  • Citing :
    Dogan, Onur; Bayo-Monton, Jose-Luis; , Fernandez-Llatas, Carlos; et al. , (2019-2020)
    Analyzing of Gender Behaviors from Paths Using Process Mining: A Shopping Mall Application - SENSORS
    Cited :
    Capturing Supermarket Shopper Behavior Using Smart Basket - International Conference on Digital Information Processing and Communications (ICDIPC 2011)
  • Citing :
    Kim, Soomi , Kim, Chul-Gyu , (2019-2020)
    Effects of an Electrocardiography Training Program: Team-Based Learning for Early-Stage Intensive Care Unit Nurses - JOURNAL OF CONTINUING EDUCATION IN NURSING
    Cited :
    Interactive videoconference supported teaching in undergraduate nursing: A case study for ECG - EDUCATIONAL TECHNOLOGY & SOCIETY
  • Citing :
    Badidi, Elarbi , , (2019-2020)
    Towards a Message Broker Based Platform for Real-Time Streaming of Urban IoT Data - COMPUTATIONAL AND STATISTICAL METHODS IN INTELLIGENT SYSTEMS
    Cited :
    A Message Broker Based Architecture for Context Aware IoT Application Development - IEEE Xplore / 2017 International Conference On Computer Science And Engineering
  • Citing :
    Liu, Qinghe; Yang, Xinshuang; , Deng, Lizhen , (2018-2019)
    An IBeacon-Based Location System for Smart Home Control - SENSORS
    Cited :
    Capturing Supermarket Shopper Behavior Using Smart Basket - International Conference on Digital Information Processing and Communications (ICDIPC 2011)
  • Citing :
    Santamaria, Amilcare Francesco; , De Rango, Floriano; et al. , (2018-2019)
    A real IoT device deployment for e-Health applications under lightweight communication protocols, activity classifier and edge data filtering - COMPUTER COMMUNICATIONS
    Cited :
    A Message Broker Based Architecture for Context Aware IoT Application Development - 2017 INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE AND ENGINEERING (UBMK
  • Citing :
    Butler, Allison G. , Lenore, Sandra; Nunez, Jenifer , (2018-2019)
    Educational Exchange: Investigation of a Videoconference-Based Instructional Program for Educational Psychology Undergraduates and Fifth Graders - PSYCHOLOGY LEARNING AND TEACHING-PLAT
    Cited :
    Interactive Videoconference Supported Teaching in Undergraduate Nursing: A Case Study for ECG - EDUCATIONAL TECHNOLOGY & SOCIETY
  • Citing :
    Oosterlinck, Dieter; Benoit, Dries F.; , Baecke, Philippe; et al. , (2017-2018)
    Bluetooth tracking of humans in an indoor environment: An application to shopping mall visits - APPLIED GEOGRAPHY
    Cited :
    Capturing Supermarket Shopper Behavior Using Smart Basket - International Conference on Digital Information Processing and Communications (ICDIPC 2011)
  • Citing :
    Yu, Linjun; Liu, Yalan; , Chi, Tianhe; et al. , (2017-2018)
    An iBeacon-based Indoor and Outdoor Positioning System for the Fire Emergency Command - 2017 FORUM ON COOPERATIVE POSITIONING AND SERVICE (CPGPS)
    Cited :
    Capturing Supermarket Shopper Behavior Using Smart Basket - International Conference on Digital Information Processing and Communications (ICDIPC 2011)
  • Citing :
    Celikkan, Ufuk; , Kurtel, Kaan , (2017-2018)
    Application of Service-Oriented Context-Aware Architecture to Laundry Management System - STUDIES IN INFORMATICS AND CONTROL
    Cited :
    A Platform for Context-Aware Application Development: PCAD - Federated Conference on Computer Science and Information Systems (FedCSIS)
  • Citing :
    Merezeanu, Daniel; , Florea (Ionescu), Alexandra Ioana , (2017-2018)
    Framework for Lifecycle Management Based on IoT and RFID - CONTROL ENGINEERING AND APPLIED INFORMATICS
    Cited :
    A Platform for Context-Aware Application Development: PCAD - Federated Conference on Computer Science and Information Systems (FedCSIS)
  • Citing :
    Larson, Carol Olivia; Bezuidenhout, , Johan; van der Merwe, Lynette Jean , (2017-2018)
    Is community-based electrocardiography education feasible in the early phase of an undergraduate medical curriculum? - HEALTH SA GESONDHEID
    Cited :
    Interactive Videoconference Supported Teaching in Undergraduate Nursing: A Case Study for ECG - EDUCATIONAL TECHNOLOGY & SOCIETY
  • Citing :
    Dogan, Onur; Oztaysi, Basar (2016-2017)
    In-store behavioral analytics technology selection using fuzzy decision making - 16th Production Research Symposium Location
    Cited :
    Capturing Supermarket Shopper Behavior Using Smart Basket - International Conference on Digital Information Processing and Communications (ICDIPC 2011)
  • Citing :
    Merezeanu, Daniel; , Vasilescu, Gheorghe; Dobrescu, Radu , (2016-2017)
    Context-aware Control Platform for Sensor Network Integration in IoT and Cloud - STUDIES IN INFORMATICS AND CONTROL
    Cited :
    A Platform for Context-Aware Application Development: PCAD - Federated Conference on Computer Science and Information Systems (FedCSIS)
  • Citing :
    Cosio Leon, Maria; , Ivan Nieto-Hipolito, Juan; et al. , (2016-2017)
    Designing a Model of a Digital Ecosystem for Healthcare and Wellness Using the Business Model Canvas - JOURNAL OF MEDICAL SYSTEMS
    Cited :
    MEDWISE: An Innovative Public Health Information System Infrastructure - JOURNAL OF MEDICAL SYSTEMS
  • Citing :
    Naranjo-Gil, David, , Jesus Sanchez-Exposito, Maria; et.al , (2016-2017)
    Traditional vs. Contemporary Management Control Practices for Developing Public Health Policies - INTERNATIONAL JOURNAL OF ENVIRONMENTAL RESEARCH AND PUBLIC HEALTH
    Cited :
    MEDWISE: An Innovative Public Health Information System Infrastructure - JOURNAL OF MEDICAL SYSTEMS
  • Citing :
    Draganescu, Celestin; Popa, Cosmin; , Tundrea, Adrian-Costin , (2015-2016)
    Context-aware Adaptive System for Intelligent Transport Management - 21ST INTERNATIONAL CONFERENCE ON CONTROL SYSTEMS AND COMPUTER SCIENCE (CSCS)
    Cited :
    A Platform for Context-Aware Application Development: PCAD - Federated Conference on Computer Science and Information Systems (FedCSIS)
  • Citing :
    Makela, Satu-Marja , Jarvinen, Sari , (2014-2015)
    Shopper Behaviour Analysis Based on 3D Situation Awareness Information - VIDEO ANALYTICS FOR AUDIENCE MEASUREMENT
    Cited :
    Capturing Supermarket Shopper Behavior Using Smart Basket - International Conference on Digital Information Processing and Communications (ICDIPC 2011)
  • Citing :
    Dawson, Linda , Johnson, Maree , (2014-2015)
    A usability framework for speech recognition technologies in clinical handover: A pre-implementation study - JOURNAL OF MEDICAL SYSTEMS
    Cited :
    Perceived Usefulness of Data Entry Tools in Medical Encounters: A Survey - JOURNAL OF MEDICAL SYSTEMS
  • Citing :
    Kim, Soomi; Kim, Chul-Gyu (2013-2014)
    Effects of an Electrocardiography Training Program: Team-Based Learning for Early-Stage Intensive Care Unit Nurses - JOURNAL OF CONTINUING EDUCATION IN NURSING
    Cited :
    Interactive Videoconference Supported Teaching in Undergraduate Nursing: A Case Study for ECG - EDUCATIONAL TECHNOLOGY & SOCIETY
  • Citing :
    Zhang, Lisa; Craig, Michelle; . , Kazakevich, Mark; et al , (2013-2014)
    Experience Report: Mini Guest Lectures in a CS1 Course via Video Conferencing - 4th ACM Conference on Global Computing Education (CompEd)
    Cited :
    Interactive Videoconference Supported Teaching in Undergraduate Nursing: A Case Study for ECG - EDUCATIONAL TECHNOLOGY & SOCIETY
  • Citing :
    Butler, Allison G.; , Lenore, Sandra; Nunez, Jenifer , (2013-2014)
    Educational Exchange: Investigation of a Videoconference-Based Instructional Program for Educational Psychology Undergraduates and Fifth Graders - PSYCHOLOGY LEARNING AND TEACHING-PLAT
    Cited :
    Interactive Videoconference Supported Teaching in Undergraduate Nursing: A Case Study for ECG - EDUCATIONAL TECHNOLOGY & SOCIETY
  • Citing :
    Celikkan, Ufuk; Sahin, Yasar Guneri; , Senuzun, Fisun , (2013-2014)
    Perceived Usefulness of Data Entry Tools in Medical Encounters: A Survey - JOURNAL OF MEDICAL SYSTEMS
    Cited :
    MEDWISE: An Innovative Public Health Information System Infrastructure - JOURNAL OF MEDICAL SYSTEMS
  • Citing :
    Naranjo-Gil, David; et.al, (2012-2013)
    Traditional vs. Contemporary Management Control Practices for Developing Public Health Policies - INTERNATIONAL JOURNAL OF ENVIRONMENTAL RESEARCH AND PUBLIC HEALTH
    Cited :
    An Innovative Public Health Information System Infrastructure - JOURNAL OF MEDICAL SYSTEMS