Concepedia

Isabelle Linden

IL

6

Publications

102

Citations

6

H-Index

2004

Active since

Affiliations

University of Namur(Current)

University of Pisa

Ghent University

Isabelle Linden is an author at University of Namur specializing in engineering, formal verification, and automated reasoning.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationSystems EngineeringManagementSoftware DesignSoftware EngineeringBusiness Intelligence

Publications per year

2004–2016

6

Publications

6

Molecular Actions of Propofol on Human 5-HT3A Receptors: Enhancement as Well as Inhibition by Closely Related Phenol Derivatives

Martin Barann, Isabelle Linden, S. Witten et al. · Anesthesia & Analgesia · 2008 · 32 citations

On the Expressiveness of Relative-Timed Coordination Models

Isabelle Linden, Jean-Marie Jacquet, Koen De Bosschere et al. · Electronic Notes in Theoretical Computer Science · 2004 · 17 citations · Full text

Process Calculus, Linda-style Coordination Models, Engineering +15

A framework for the operationalization of monitoring in business intelligence requirements engineering

Corentin Burnay, Ivan Jureta, Isabelle Linden et al. · Software & Systems Modeling · 2014 · 16 citations

Software Maintenance, Software Requirement, Requirement Analysis +14

On the expressiveness of timed coordination models

Isabelle Linden, Jean-Marie Jacquet, Koen De Bosschere et al. · Science of Computer Programming · 2006 · 13 citations · Full text

Engineering, Timed Coordination Models, Automated Reasoning +6

On the Expressiveness of Timed Coordination via Shared Dataspaces

Isabelle Linden, Jean-Marie Jacquet · Electronic Notes in Theoretical Computer Science · 2007 · 12 citations · Full text

Expressiveness Increase, Formal Specification, Engineering +10

Rows per page

1–5 of 6