Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Antonio Iannopollo
From Relational Interfaces to Assume-Guarantee Contracts
Related publications
Optimized L*-Based Assume-Guarantee Reasoning
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Automated Assume-Guarantee Reasoning Through Implicit Learning
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Automated Assume-Guarantee Reasoning by Abstraction Refinement
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Relational Contracts of Adhesion
SSRN Electronic Journal
Automated Assume-Guarantee Reasoning for Omega-Regular Systems and Specifications
Innovations in Systems and Software Engineering
Software
Courts and Relational Contracts
SSRN Electronic Journal
Relational Contracts and Organizational Capabilities
Organization Science
Management
Organizational Behavior
Human Resource Management
Strategy
Innovation
Management of Technology
Assume-Guarantee Reasoning for Hybrid I/O-Automata by Over-Approximation of Continuous Interaction
Motivate and Select: Relational Contracts With Persistent Types
Journal of Economics and Management Strategy
Management
Business
Economics
Strategy
Innovation
Accounting
Management of Technology
Econometrics
