Skip to main navigation
Skip to search
Skip to main content
IT-University of Copenhagen Home
Support to ITU faculty
Dansk
English
Home
Researchers
Research Organisation
Publications
Activities
Prizes
Press/Media
Search by expertise, name or affiliation
Patrick Bahr public CV
Patrick Bahr
Associate Professor, Head of study programme
,
Computer Science
Programming Logic and Semantics
https://orcid.org/0000-0003-1600-8261
Phone
72185280
Email
paba
itu
dk
2009
2022
Research activity per year
Overview
Fingerprint
Network
Publications
(38)
Similar Profiles
(6)
If you made any changes in Pure these will be visible here soon.
Fingerprint
Dive into the research topics where Patrick Bahr is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Engineering & Materials Science
Computer programming languages
78%
Semantics
72%
Acoustic waves
72%
Productivity
68%
Specifications
55%
Clocks
47%
Temporal logic
43%
Diamonds
36%
Computability and decidability
25%
Ecosystems
19%
Syntactics
18%
Machine oriented languages
14%
Data storage equipment
11%
Mathematics
Term Rewriting
100%
Graph Rewriting
54%
Rewriting Systems
46%
Type Theory
41%
Partial Order
36%
Recursion
35%
Semantics
31%
Term
26%
Reasoning
21%
Metric
20%
Model
15%
Strong Normalization
9%
Productivity
9%
Indexing
9%
Confluence
9%
Programming Languages
7%
Term Rewriting Systems
7%
Type Systems
7%
Sharing
7%
Programming
6%
Graph in graph theory
6%
Strong Convergence
5%
Divergence
5%
Normal Form
5%
