Skip to main navigation
Skip to search
Skip to main content
University of Southern Denmark Home
Help & FAQ
Dansk
English
Home
Researchers
Research Units
Research output
Activities
Projects
Press / Media
Prizes
Teaching
Impacts
Datasets
Search by expertise, name or affiliation
Mit CV
Luís Cruz-Filipe public CV
View Scopus Profile
Luís Cruz-Filipe
Department of Mathematics and Computer Science
Associate Professor
,
Concurrency
https://orcid.org/0000-0002-7866-7484
Phone
+4565504560
Email
lcf
imada.sdu
dk
Overview
Fingerprint
Network
Research output
(52)
Projects
(1)
Press / Media
(10)
Similar Profiles
(6)
If you made any changes in Pure these will be visible here soon.
Fingerprint
Fingerprints are formed from scientific publications and create an index of weighted keyword concepts for each individual researcher.
Sort by
Weight
Alphabetically
Engineering & Materials Science
Sorting
89%
Semantics
60%
Repair
50%
Approximation theory
32%
Communication
26%
Coloring
24%
Specifications
18%
Formal verification
17%
Ontology
15%
Data streams
15%
Recursive functions
15%
Color
14%
Theorem proving
13%
Functional programming
13%
Computer programming
12%
Object oriented programming
11%
Linear equations
11%
Servers
11%
Network protocols
10%
Set theory
9%
Fast Fourier transforms
9%
Explosions
9%
Computer programming languages
9%
Acoustic waves
8%
Program processors
6%
Software quality
5%
Software architecture
5%
Syntactics
5%
Computer science
5%
Mathematics
Sorting Networks
100%
Integrity Constraints
32%
Sorting
27%
Optimality
23%
Programming
22%
Service-oriented
19%
Pythagorean triple
15%
Sorting algorithm
14%
Description Logics
14%
Knowledge Base
13%
Fixpoint
12%
Logic Programs
11%
Stratification
11%
Oracle
10%
Repair
8%
Context
8%
Calculus
8%
Formal Verification
7%
Libraries
6%
Quicksort
6%
Russell's paradox
6%
Symmetry
5%
Preprocessing
5%
Reasoning
5%
Semantics
5%
Model
5%
Modeling
5%
Inconsistent
5%
Approximation
5%
