Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Mira Mezini
Thread-Safe Reactive Programming
Proceedings of the ACM on Programming Languages
Portable and Accurate Collection of Calling-Context-Sensitive Bytecode Metrics for the Java Virtual Machine
Efficient Control Flow Quantification
Transactional BPEL Processes With AO4BPEL Aspects
Aspect-Oriented Programming and Modular Reasoning
Related publications
Type-Safe Update Programming
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Memory-Efficient and Thread-Safe Quasi-Destructive Graph Unification
Programming Matrix Algorithms-By-Blocks for Thread-Level Parallelism
ACM Transactions on Mathematical Software
Applied Mathematics
Software
Executable Modeling for Reactive Programming
Communications in Computer and Information Science
Mathematics
Computer Science
Synchronous Programming of Reactive Systems
SAFE: A Programming Language for Software Quality
IFIP Advances in Information and Communication Technology
Computer Networks
Information Systems
Management
Communications
Concurrent Call Level Interfaces Based on an Embedded Thread Safe Local Memory Structure
Multi Cases Optimal Reactive Power Dispatch Using Evolutionary Programming
Indonesian Journal of Electrical Engineering and Computer Science
Control
Electronic Engineering
Information Systems
Signal Processing
Computer Networks
Hardware
Communications
Optimization
Electrical
Architecture
Simplified Programming of Re-Usable Skills on a Safe Industrial Robot
