Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Ivan Scagnetto

An Open Logical Framework

Journal of Logic and Computation
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
2013English

Related publications

Becoming an Open Educator: Towards an Open Threshold Framework

Research in Learning Technology
Computer Science ApplicationsEducation
2020English

An Open Framework for Dynamic Reconfiguration

English

A Logical Framework With Dependently Typed Records

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2003English

A Logical Framework for Evolution of Specifications

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1994English

Product Lifecycle Management in an Open Industry Framework

IFIP Advances in Information and Communication Technology
Computer NetworksInformation SystemsManagementCommunications
2013English

An Action Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1992English

Towards a Logical Framework for Reasoning About Risk

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Martin-Löf's Type Theory as an Open-Ended Framework

International Journal of Foundations of Computer Science
Computer Science
2001English

China’s Manufacturing Strategy Choice: An Integrated Strategic Analysis Framework Combining SWOT and Logical Growth Models

Asian Economic and Financial Review
DevelopmentManagementFinanceBusinessEconomicsAccountingEconometrics
2019English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy