The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
Elements of interaction: Turing award lecture
Communications of the ACM
Tradeoffs between reasoning and modeling
Research directions in concurrent object-oriented programming
The mythical man-month (anniversary ed.)
The mythical man-month (anniversary ed.)
The sciences of the artificial (3rd ed.)
The sciences of the artificial (3rd ed.)
Interactive foundations of computing
Theoretical Computer Science - Special issue: theoretical aspects of coordination languages
The year-2000 problem and the new riddle of induction
Communications of the ACM
Frameworks for component-based client/server computing
ACM Computing Surveys (CSUR)
What was the question? Reconciling open hypermedia and World Wide Web research
Proceedings of the tenth ACM Conference on Hypertext and hypermedia : returning to our diverse roots: returning to our diverse roots
On the semantics of tuple-based coordination models
Proceedings of the 1999 ACM symposium on Applied computing
Specification and dialogue control of visual interaction through visual rewriting systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Simulating the mind: a gaunlet thrown to computer science
ACM Computing Surveys (CSUR)
Towards component-based software engineering
Proceedings of the eighth annual consortium on Computing in Small Colleges Rocky Mountain conference
Interaction-oriented programming
First international workshop, AOSE 2000 on Agent-oriented software engineering
SODA: societies and infrastructures in the analysis and design of agent-based systems
First international workshop, AOSE 2000 on Agent-oriented software engineering
Information delivery systems: an exploration of Web pull and push technologies
Communications of the AIS
Interaction as a framework for flexible workflow modelling
GROUP '01 Proceedings of the 2001 International ACM SIGGROUP Conference on Supporting Group Work
Connotations of problem solving
ACM SIGSOFT Software Engineering Notes
Three approaches to the coordination of multiagent systems
Proceedings of the 2002 ACM symposium on Applied computing
Automating supply-chain management
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 3
Minds and Machines
The Turing Machine May Not Be the Universal Machine
Minds and Machines
IEEE Internet Computing
Patterns and the Democratization of Concurrent Programming
IEEE Concurrency
Design Patterns for Interactive Musical Systems
IEEE MultiMedia
Computation beyond turing machines
Communications of the ACM - Digital rights management
On the expressiveness of coordination via shared dataspaces
Science of Computer Programming - Special issue on coordination languages and architectures
On Models for Time-Sensitive Interactive Computing
ICCS '02 Proceedings of the International Conference on Computational Science-Part I
MFCS '00 Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science
Steps towards C+C: A Language for Interactions
AIMSA '00 Proceedings of the 9th International Conference on Artificial Intelligence: Methodology, Systems, and Applications
Transactional Computation: Overview and Discussion
Selected papers from the Eight International Workshop on Foundations of Models and Languages for Data and Objects, Transactions and Database Dynamics
Persistent Turing Machines as a Model of Interactive Computation
FoIKS '00 Proceedings of the First International Symposium on Foundations of Information and Knowledge Systems
Explicit Modeling of Influences, and of Their Absence, in Distributed Systems
TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Liberating Object-Oriented Modeling from Programming-Level Abstractions
ECOOP '97 Proceedings of the Workshops on Object-Oriented Technology
Route Planning Wizard: Basic Concept and Its Implementation
IEA/AIE '02 Proceedings of the 15th international conference on Industrial and engineering applications of artificial intelligence and expert systems: developments in applied artificial intelligence
Beyond the Turing Limit: Evolving Interactive Systems
SOFSEM '01 Proceedings of the 28th Conference on Current Trends in Theory and Practice of Informatics Piestany: Theory and Practice of Informatics
On the Expressiveness of Coordination Models
COORDINATION '99 Proceedings of the Third International Conference on Coordination Languages and Models
Relativistic Computers and Non-uniform Complexity Theory
UMC '02 Proceedings of the Third International Conference on Unconventional Models of Computation
On the Power of Interactive Computing
TCS '00 Proceedings of the International Conference IFIP on Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics
Conceptual Modeling for Multiagent Systems: Applying Interaction-Oriented Programming
Selected Papers from the Symposium on Conceptual Modeling, Current Issues and Future Directions
Interaction as a Framework for Modeling
Selected Papers from the Symposium on Conceptual Modeling, Current Issues and Future Directions
Evaluating real-time software specification languages
Computer Standards & Interfaces
Evaluation of agent-based manufacturing systems based on a parallel simulator
Computers and Industrial Engineering
Prototyping tools and techniques
The human-computer interaction handbook
Programmer I'interaction avec des machines à états hiérarchiques
IHM '02 Proceedings of the 14th French-speaking conference on Human-computer interaction (Conférence Francophone sur l'Interaction Homme-Machine)
SAMON: Communication, Cooperation and Learning of Mobile Autonomous Robotic Agents
ICTAI '99 Proceedings of the 11th IEEE International Conference on Tools with Artificial Intelligence
Teaching algorithms and data structures: 10 personal observations
Computer Science in Perspective
New technology - great opportunities
Enterprise information systems IV
Designing information spaces
Coordination in Pervasive Computing Environments
WETICE '03 Proceedings of the Twelfth International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises
Structural monitoring using engineer–computer interaction
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Applied system simulation
Action systems in incremental and aspect-oriented modeling
Distributed Computing - Papers in celebration of the 20th anniversary of PODC
Propositional planning in BDI agents
Proceedings of the 2004 ACM symposium on Applied computing
Coordination knowledge engineering
The Knowledge Engineering Review
Designing interaction, not interfaces
Proceedings of the working conference on Advanced visual interfaces
Hypercomputation: philosophical issues
Theoretical Computer Science - Super-recursive algorithms and hypercomputation
Challenges and Research Directions in Agent-Oriented Software Engineering
Autonomous Agents and Multi-Agent Systems
Towards a paradigm change in computer science and software engineering: a synthesis
The Knowledge Engineering Review
Hermeneutics, information and representation
European Journal of Information Systems - Special issue: "Interpretive" approaches to information systems and computing
Turing machines, transition systems, and interaction
Information and Computation - Special issue: Commemorating the 50th birthday anniversary of Paris C. Kanellakis
Contextual information management using contract: based workflow
Proceedings of the 2nd conference on Computing frontiers
An agent model for fault-tolerant systems
Proceedings of the 2005 ACM symposium on Applied computing
Encyclopedia of Computer Science
Object-oriented programming (OOP)
Encyclopedia of Computer Science
GHolo: a multiparadigm model oriented to development of grid systems
Future Generation Computer Systems
Modeling exceptions via commitment protocols
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Case handling: a new paradigm for business process support
Data & Knowledge Engineering
Some Ontological Remarks about Music Composition Processes
Computer Music Journal
Gender questions and computing science
CWIT '05 Proceedings of the international symposium on Women and ICT: creating global transformation
Programming rich interactions using the hierarchical state machine toolkit
Proceedings of the working conference on Advanced visual interfaces
Communications of the ACM - Services science
Process models representing knowledge for action: a revised quality framework
European Journal of Information Systems - Special issue: Action in language, organisations and information systems
Fundamenta Informaticae - SPECIAL ISSUE ON DEVELOPMENTS IN GRAMMAR SYSTEMS
A modeling methodology for supply chain synthesis and disruption analysis
International Journal of Knowledge-based and Intelligent Engineering Systems - Integrated and hybrid intelligent systems in product design and development
ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications
Electronic Notes in Theoretical Computer Science (ENTCS)
Theoretical Computer Science
An Approach to Distribution of Object-Oriented Applications in Loosely Coupled Networks
Journal of Management Information Systems
Model checking for input/output properties of a black-box model
ACST'07 Proceedings of the third conference on IASTED International Conference: Advances in Computer Science and Technology
Research areas and challenges for mobile information systems
International Journal of Mobile Communications
A Formal Framework for Interactive Agents
Electronic Notes in Theoretical Computer Science (ENTCS)
A parametric linguistics based approach for cross-lingual web querying
Data & Knowledge Engineering
Timed environment for web agents
Web Intelligence and Agent Systems
Modeling and engineering adaptive complex systems
ER '07 Tutorials, posters, panels and industrial contributions at the 26th international conference on Conceptual modeling - Volume 83
Exploring enterprise mobility: Lessons from the field
Information-Knowledge-Systems Management - Enterprise Mobility: Applications, Technologes and Strategies
Transformational design of an interactive component straddling communication streams
Journal of Computational Methods in Sciences and Engineering - Selected papers from the International Conference on Computer Science, Software Engineering, Information Technology, e-Business, and Applications, 2004
SOFSEM '07 Proceedings of the 33rd conference on Current Trends in Theory and Practice of Computer Science
How We Think of Computing Today
CiE '08 Proceedings of the 4th conference on Computability in Europe: Logic and Theory of Algorithms
HOPS: A Prototypical Specification Tool for Interactive Systems
Interactive Systems. Design, Specification, and Verification
Hypercomputation, Unconsciousness and Entertainment Technology
Proceedings of the 2nd International Conference on Fun and Games
Timetrees: a branching-time structure for modeling activity and state in human-computer interaction
Human-Computer Interaction
Cyber-Physical Systems and Events
Software-Intensive Systems and New Computing Paradigms
Using Tuple Space to Coordinate Multiagent Activities
KES '07 Knowledge-Based Intelligent Information and Engineering Systems and the XVII Italian Workshop on Neural Networks on Proceedings of the 11th International Conference
Models of Interaction as a Grounding for Peer to Peer Knowledge Sharing
Advances in Web Semantics I
Programs = Data + Algorithms + Architecture: Consequences for Interactive Software Engineering
Engineering Interactive Systems
Implementing Services by Partial State Machines
SOFSEM '09 Proceedings of the 35th Conference on Current Trends in Theory and Practice of Computer Science
An integrated view of Grid services, Agents and Human Learning
Proceedings of the 2005 conference on Towards the Learning Grid: Advances in Human Learning Services
Towards a Methodology for Engineering Self-Organising Emergent Systems
Proceedings of the 2005 conference on Self-Organization and Autonomic Informatics (I)
Service Interaction: Patterns, Formalization, and Analysis
Formal Methods for Web Services
Contribution to the Control of a MAS's Global Behaviour: Reinforcement Learning Tools
Engineering Societies in the Agents World IX
Formal Development of Self-organising Systems
ATC '09 Proceedings of the 6th International Conference on Autonomic and Trusted Computing
Interactive Granular Computing in Rightly Judging Systems
RSKT '09 Proceedings of the 4th International Conference on Rough Sets and Knowledge Technology
Are Statecharts Finite Automata?
CIAA '09 Proceedings of the 14th International Conference on Implementation and Application of Automata
Agent-based computing: promise and perils
IJCAI'99 Proceedings of the 16th international joint conference on Artificial intelligence - Volume 2
General-Purpose Coordination Abstractions for Managing Interaction in MAS
WI-IAT '09 Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Volume 03
Agent-directed simulation for systems engineering
SpringSim '09 Proceedings of the 2009 Spring Simulation Multiconference
Metasynthesis: M-space, M-interaction, and M-computing for open complex giant systems
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Electronic Notes in Theoretical Computer Science (ENTCS)
Interactive Computation: Stepping Stone in the Pathway From Classical to Developmental Computation
Electronic Notes in Theoretical Computer Science (ENTCS)
Time-awareness and Proactivity in Models of Interactive Computation
Electronic Notes in Theoretical Computer Science (ENTCS)
Interaction in Normative Multi-Agent Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
The Role of Agent Interaction in Models of Computing: Panelist Reviews
Electronic Notes in Theoretical Computer Science (ENTCS)
GHolo: a multiparadigm model oriented to development of grid systems
Future Generation Computer Systems
Turing machines, transition systems, and interaction
Information and Computation
ACM Transactions on Computer-Human Interaction (TOCHI)
A discussion of two major benefits of using agents in software evelopment
ESAW'02 Proceedings of the 3rd international conference on Engineering societies in the agents world III
Signs of a revolution in computer science and software engineering
ESAW'02 Proceedings of the 3rd international conference on Engineering societies in the agents world III
Deriving state-based implementations of interactive components with history abstractions
PSI'06 Proceedings of the 6th international Andrei Ershov memorial conference on Perspectives of systems informatics
Algorithmic entropy, phase transition, and smart systems
ICCS'03 Proceedings of the 2003 international conference on Computational science: PartIII
IS=DBS+interaction: towards principles of information system design
ER'00 Proceedings of the 19th international conference on Conceptual modeling
Services as a paradigm of computation
Formal methods and hybrid real-time systems
Future challenges for autonomous systems
Artificial intelligence
A population approach to ubicomp system design
Proceedings of the 2010 ACM-BCS Visions of Computer Science Conference
Empirical modelling and the foundations of artificial intelligence
Computation for metaphors, analogy, and agents
Communication as an emergent metaphor for neuronal operation
Computation for metaphors, analogy, and agents
Increasing the efficiency of business processes using a theory of constraints
Information Systems Frontiers
Five design challenges for human computation
Proceedings of the 6th Nordic Conference on Human-Computer Interaction: Extending Boundaries
Information systems in modeling interactive computations on granules
RSCTC'10 Proceedings of the 7th international conference on Rough sets and current trends in computing
Discovery of processes and their interactions from data and domain knowledge
KES-AMSTA'10 Proceedings of the 4th KES international conference on Agent and multi-agent systems: technologies and applications, Part I
Approaches to software engineering: a human-centred perspective
HCSE'10 Proceedings of the Third international conference on Human-centred software engineering
The global interaction research initiative at the IT university of Copenhagen, Denmark
Proceedings of the ACM 2011 conference on Computer supported cooperative work
Maximizing the value of the software development process by game theoretic analysis
Proceedings of the 11th International Conference on Product Focused Software
Semantic linking through spaces for cyber-physical-socio intelligence: A methodology
Artificial Intelligence
Review: coordination models and languages: From parallel computing to self-organisation
The Knowledge Engineering Review
Web Wisdom: An essay on how Web 2.0 and Semantic Web can foster a global knowledge society
Computers in Human Behavior
Do we really know how to support processes? considerations and reconstruction
Graph transformations and model-driven engineering
UC'11 Proceedings of the 10th international conference on Unconventional computation
Information systems in modeling interactive computations on granules
Theoretical Computer Science
Contextual Interaction Support in 3D Worlds
DS-RT '11 Proceedings of the 2011 IEEE/ACM 15th International Symposium on Distributed Simulation and Real Time Applications
Space-based multi-core programming in Java
Proceedings of the 9th International Conference on Principles and Practice of Programming in Java
The CURRENT platform: building conversational agents in oz
MOZ'04 Proceedings of the Second international conference on Multiparadigm Programming in Mozart/Oz
The church-turing thesis: breaking the myth
CiE'05 Proceedings of the First international conference on Computability in Europe: new Computational Paradigms
Transforming stream processing functions into state transition machines
SERA'04 Proceedings of the Second international conference on Software Engineering Research, Management and Applications
Indirect interaction in environments for multi-agent systems
E4MAS'05 Proceedings of the 2nd international conference on Environments for Multi-Agent Systems
Testing AGVs in dynamic warehouse environments
E4MAS'05 Proceedings of the 2nd international conference on Environments for Multi-Agent Systems
Development of self-organising emergent applications with simulation-based numerical analysis
ESOA'05 Proceedings of the Third international conference on Engineering Self-Organising Systems
The computational power of interactive recurrent neural networks
Neural Computation
Supporting polyrepresentation and information seeking strategies
FDIA'09 Proceedings of the Third BCS-IRSG conference on Future Directions in Information Access
Grand challenge 7: journeys in non-classical computation
VoCS'08 Proceedings of the 2008 international conference on Visions of Computer Science: BCS International Academic Conference
Fundamenta Informaticae - SPECIAL ISSUE ON DEVELOPMENTS IN GRAMMAR SYSTEMS
Interactive information systems: Toward perception based computing
Theoretical Computer Science
Semiotic Systems, Computers, and the Mind: How Cognition Could Be Computing
International Journal of Signs and Semiotic Systems
An internet-scale idea generation system
ACM Transactions on Interactive Intelligent Systems (TiiS) - Special section on internet-scale human problem solving and regular papers
Proceedings of the 31st ACM international conference on Design of communication
Information and Computation
Hi-index | 48.25 |