Issues in agent-oriented software engineering
First international workshop, AOSE 2000 on Agent-oriented software engineering
An asynchronous rule-based approach for business process automation using obligations
Proceedings of the 2002 ACM SIGPLAN workshop on Rule-based programming
Probabilistic Pattern Matching and the Evolution of Stochastic Regular Expressions
Applied Intelligence
Lightweight Formalisation in Support of Requirements Engineering
Automated Software Engineering
A Prolog-Based Hardware Development Environment
FPL '02 Proceedings of the Reconfigurable Computing Is Going Mainstream, 12th International Conference on Field-Programmable Logic and Applications
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Modelling personalisable hypermedia: the Goldsmiths model
The New Review of Hypermedia and Multimedia - Hypermedia and the world wide web
GXL: a new graph transformation language
ACM-SE 42 Proceedings of the 42nd annual Southeast regional conference
A geometric interpretation of LD-resolution
Theoretical Computer Science - Logic, semantics and theory of programming
From application descriptions to hardware in seconds: a logic-based approach to bridging the gap
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Inheritance processing and conflicts in structural generalization hierarchies
ACM Computing Surveys (CSUR)
It's Elementary, Dear Watson: Applying Logic Programming To Convergent System Management Processes
LISA '99 Proceedings of the 13th USENIX conference on System administration
P#: a concurrent prolog for the .NET framework
Software—Practice & Experience
Efficient Relational Calculation for Software Analysis
IEEE Transactions on Software Engineering
Toward a general theory of names: binding and scope
Proceedings of the 3rd ACM SIGPLAN workshop on Mechanized reasoning about languages with variable binding
A formal approach to sensor placement and configuration in a network intrusion detection system
Proceedings of the 2006 international workshop on Software engineering for secure systems
Interpreting the data: Parallel analysis with Sawzall
Scientific Programming - Dynamic Grids and Worldwide Computing
Development of a product configuration system with an ontology-based approach
Computer-Aided Design
Selva: a new syntactic parser for Portuguese
PROPOR'03 Proceedings of the 6th international conference on Computational processing of the Portuguese language
Iterative software engineering for multiagent systems: the MASSIVE method
Iterative software engineering for multiagent systems: the MASSIVE method
Hybrid multiagent systems with timed synchronization: specification and model checking
ProMAS'07 Proceedings of the 5th international conference on Programming multi-agent systems
The evolution of higher-level biochemical reaction models
Genetic Programming and Evolvable Machines
MOST-flexiPL: modular, statically typed, flexibly extensible programming language
Proceedings of the ACM international symposium on New ideas, new paradigms, and reflections on programming and software
Performance evaluation of robotic knowledge representation (PERK)
Proceedings of the Workshop on Performance Metrics for Intelligent Systems
Proceedings of the 6th Balkan Conference in Informatics
| Hi-index | 0.00 |