Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Hugo Torres Vieira
A Type System for Flexible Role Assignment in Multiparty Communicating Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Conversation Types
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
A Flexible Method for Segmentation in Concept Assignment
Evolution of a Flexible Manufacturing System: From Communicating to Autonomous Product
Studies in Computational Intelligence
Artificial Intelligence
A Queueing Analysis for Job Assignment on Two-Type Heterogeneous Supercomputer System
ARC: A Specification Language for Communicating Systems
Computer Journal
Computer Science
Flexible Assignment Submission in Distance Learning
Deciding Type Isomorphisms in a Type-Assignment Framework
Journal of Functional Programming
Software
A Correct-By-Construction Model for Asynchronously Communicating Systems
International Journal on Software Tools for Technology Transfer
Information Systems
Software
Optimum Redundancy Assignment of Supervisory Control Systems in Power System
IEEJ Transactions on Power and Energy
Electronic Engineering
Power Technology
Electrical
Energy Engineering
Active Vibration Control of Two-Mass Flexible System Using Parametric Jordan Form Assignment
IFAC Proceedings Volumes
