Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Christos Dimoulas
On Contract Satisfaction in a Higher-Order World
ACM Transactions on Programming Languages and Systems
Software
Related publications
Size-Change Termination as a Contract: Dynamically and Statically Enforcing Termination for Higher-Order Programs
On Higher-Order Invariants in Extended Supergravity
Physics Letters, Section B: Nuclear, Elementary Particle and High-Energy Physics
High Energy Physics
Nuclear
Contract Lecturers Are a Growing Yet Precarious Population in Higher Education
Physics Today
Astronomy
Physics
Higher-Order Containers
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
On Ambitious Higher-Order Theories of Consciousness
Philosophical Psychology
Philosophy
Applied Psychology
Work Engagement, Psychological Contract Breach and Job Satisfaction
International Journal of Human Resource Management
Management
Organizational Behavior
Human Resource Management
Strategy
Innovation
Management of Technology
Higher-Order Uncertainty
Higher Order Operations
Transactions of the American Mathematical Society
Mathematics
Applied Mathematics
Development of Higher Education in a Globalized World
Demography and social economy
