Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Luis Damas

The Formal and Processing Models of CLG

1991English

Related publications

Reusing Formal Models

English

Formal Models of Source Reliability

Synthese
PhilosophySocial Sciences
2020English

Formal Proof From UML Models

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

The Formal Demography of Kinship. II. Multistate Models, Parity, and Sibship

2020English

Formal Verification of AADL Models Using UPPAAL

2017English

Formal Language Theory for Natural Language Processing

2002English

Capturing Value From Business Models: The Role of Formal and Informal Protection Strategies

International Journal of Technology Management
Industrial RelationsManagementStrategyEngineeringComputer Science ApplicationsLaw
2017English

Polychronous Automata and Their Use for Formal Validation of AADL Models

Frontiers of Computer Science
Computer ScienceTheoretical Computer Science
2019English

Applying Gamification for Developing Formal Knowledge Models: Challenges and Requirements

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

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy