Parallel program design: a foundation
Parallel program design: a foundation
Concurrency control in groupware systems
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Design by decomposition of multiparty interactions in Raddle87
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Using critics to empower users
CHI '90 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Groupware: some issues and experiences
Communications of the ACM
A conceptual model of groupware
CSCW '94 Proceedings of the 1994 ACM conference on Computer supported cooperative work
Collective intelligence in computer-based collaboration
Collective intelligence in computer-based collaboration
Interacting processes: a multiparty approach to coordinated distributed programming
Interacting processes: a multiparty approach to coordinated distributed programming
Distributed Algorithms
Readings in GroupWare and Computer-Supported Cooperative Work: Assisting Human-Human Collaboration
Readings in GroupWare and Computer-Supported Cooperative Work: Assisting Human-Human Collaboration
GroupWare: Computer Support for Business Teams
GroupWare: Computer Support for Business Teams
Operational transformation in real-time group editors: issues, algorithms, and achievements
CSCW '98 Proceedings of the 1998 ACM conference on Computer supported cooperative work
Proceedings of the 2002 ACM symposium on Document engineering
Performance Analytic Models and Analyses for Workflow Architectures
Information Systems Frontiers
Synchronizations in Team Automata for Groupware Systems
Computer Supported Cooperative Work
Towards Team-Automata-Driven Object-Oriented Collaborative Work
Formal and Natural Computing - Essays Dedicated to Grzegorz Rozenberg [on occasion of his 60th birthday, March 14, 2002]
Towards team-automata-driven object-oriented collaborative work
Formal and natural computing
A case study on the automated verification of groupware protocols
Proceedings of the 27th international conference on Software engineering
Modularity for teams of I/O automata
Information Processing Letters
Component-interaction automata as a verification-oriented component-based system specification
SAVCBS '05 Proceedings of the 2005 conference on Specification and verification of component-based systems
Team automata for spatial access control
ECSCW'01 Proceedings of the seventh conference on European Conference on Computer Supported Cooperative Work
Q-Automata: Modelling the Resource Usage of Concurrent Components
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
A Survey of Formal Verification for Business Process Modeling
ICCS '08 Proceedings of the 8th international conference on Computational Science, Part II
Formal Models and Analysis of Secure Multicast in Wired and Wireless Networks
Journal of Automated Reasoning
Associativity of Infinite Synchronized Shuffles and Team Automata
Fundamenta Informaticae
Electronic Notes in Theoretical Computer Science (ENTCS)
Modularity for teams of I/O automata
Information Processing Letters
A review on specifying software architectures using extended automata-based models
FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering
Data-driven modeling and coordination of large process structures
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems: CoopIS, DOA, ODBASE, GADA, and IS - Volume Part I
Modelling behaviour requirements for automatic interpretation, simulation and deployment
SIMPAR'10 Proceedings of the Second international conference on Simulation, modeling, and programming for autonomous robots
A team automaton scenario for the analysis of security properties of communication protocols
Journal of Automata, Languages and Combinatorics
An EJB-based very large scale workflow system and its performance measurement
WAIM'05 Proceedings of the 6th international conference on Advances in Web-Age Information Management
Associativity of Infinite Synchronized Shuffles and Team Automata
Fundamenta Informaticae
A novel approach to modeling context-aware and social collaboration processes
CAiSE'12 Proceedings of the 24th international conference on Advanced Information Systems Engineering
Hi-index | 0.00 |