An approach for extracting RT timing information to annotate algorithmic VHDL specifications
Proceedings of the 36th annual ACM/IEEE Design Automation Conference
Information-Flow-Based Ontology Mapping
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
Formalizing Timing Diagrams as Causal Dependencies for Verification Purposes
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
Transition and cancellation in concurrency and branching time
Mathematical Structures in Computer Science
Higher dimensional automata revisited
Mathematical Structures in Computer Science
Chu I: cofree equivalences, dualities and *-autonomous categories
Mathematical Structures in Computer Science
Ontology mapping: the state of the art
The Knowledge Engineering Review
Domain and event structure semantics for Petri nets with read and inhibitor arcs
Theoretical Computer Science
Configuration structures, event structures and Petri nets
Theoretical Computer Science
Influences of Telops on Television Audiences' Interpretation
Proceedings of the 13th International Conference on Human-Computer Interaction. Part III: Ubiquitous and Intelligent Interaction
Proceedings of the 2007 conference on Human interface: Part I
ICDCIT'11 Proceedings of the 7th international conference on Distributed computing and internet technology
ICCS'05 Proceedings of the 13th international conference on Conceptual Structures: common Semantics for Sharing Knowledge
| Hi-index | 0.00 |