Requirements engineering: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Temporal logics for real-time system specification
ACM Computing Surveys (CSUR)
H-BLOB: a hierarchical visual clustering method using implicit surfaces
Proceedings of the conference on Visualization '00
A theoretical framework for multiple neural network systems
Neurocomputing
Speed-Up Theorems in Type-2 Computation
CiE '07 Proceedings of the 3rd conference on Computability in Europe: Computation and Logic in the Real World
Shallow confluence of conditional term rewriting systems
Journal of Symbolic Computation
Projection Representation of Mazurkiewicz Traces
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Automated deduction for verification
ACM Computing Surveys (CSUR)
Abstract compositional analysis of iterated relations: a structural approach to complex state transition systems
Further study of the fuzzy reasoning based on propositional modal logic
RSKT'06 Proceedings of the First international conference on Rough Sets and Knowledge Technology
Projection Representation of Mazurkiewicz Traces
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
| Hi-index | 0.00 |