Concepedia

Thomas Baar

TB

6

Publications

399

Citations

6

H-Index

2000

Active since

Affiliations

École Polytechnique Fédérale de Lausanne(Current)

Thomas Baar is an author at École Polytechnique Fédérale de Lausanne specializing in engineering, software engineering, and formal methods.

Top concepts

EngineeringFormal MethodsComputer ScienceSoftware EngineeringDesignGenderBig DataBusinessEducationSemantics

Publications per year

2000–2024

6

Publications

6

The KeY tool

Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert et al. · Software & Systems Modeling · 2004 · 261 citations · Full text

Engineering, Input Device, Automation +8

Refactoring OCL annotated UML class diagrams

Slaviša Marković, Thomas Baar · Software & Systems Modeling · 2007 · 60 citations · Full text

Architectural Design, Engineering, Code Refactoring +12

Semantics of OCL specified with QVT

Slaviša Marković, Thomas Baar · Software & Systems Modeling · 2008 · 23 citations

Operational Semantics, Abstract Interpretation, Formal Methods +2

Big data and the well-being of women and girls: applications on the social scientific frontier

Bapu Vaitla, Claudio Bosco, Victor A. Alegana et al. · ePrints Soton (University of Southampton) · 2017 · 20 citations · Full text

Women Empowerment, Social Data Analysis, Engineering +23

Innovation in humanitarian assistance—a systematic literature review

Maximilian Bruder, Thomas Baar · Journal of International Humanitarian Action · 2024 · 18 citations · Full text

Organizations, Public Policy, International Research +15

Rows per page

1–5 of 6