Areas of Activity#
Here you will find all fields of scholarship for this section.
A
- abstract interpretation Go to
- Abstract Interpretation Go to
- abstract interpretation Go to
- Abstract Machines Go to
- advanced program development technology Go to
- Affective Computing Go to
- agent-based computing Go to
- Algebra, Categories and Logic in Computer Science Go to
- algebraic and categorical models of concurrency Go to
- algorithmic information theory Go to
- algorithmic information theory Go to
- algorithmics Go to
- Algorithms and complexity: Probabilistic methods in algorithms, combinatorial optimization, average case analysis of algorithms, parallel algorithms, algorithms and protocols for distributed systems, algorithms and complexity of graph theoretic problems, parallel complexity, approximations to hard problems.
- algorithms and complexity theory Go to
- algorithms and data structures Go to
- algorithms and data structures Go to
- Algorithms Go to
- analysis of algorithms Go to
- analysis of algorithms Go to
- analysis of geometric structures Go to
- analytic combinatorics Go to
- applications of logic to philosophy, linguistics, computer science and cognitive science (generalized quantifiers, categorial grammar, process logics, information update, logic and games, logic & epistemology) Go to
- Application to databses, optimization, AI, and game theory Go to
- approximation algorithms Go to
- approximation of NP-hard optimization problems Go to
- artificial intelligence, artificial life Go to
- artificial intelligence Go to
- artificial intelligence Go to
- artificial intelligence Go to
- Artificial Intelligence Go to
- Artificial intelligence Go to
- artificial intelligence Go to
- artificial intelligence (logical theory of robot problem solving) Go to
- assistive technologies Go to
- asynchronous digital systems Go to
- auctions Go to
- authentication and secret sharing Go to
- Automata and Formal Language Theory Go to
- automata and language theory (descriptional complexity, regulated rewriting, Marcus contextual grammars, grammar systems) Go to
- Automata over infinite words and trees Go to
- Automata theory Go to
- Automata Theory Go to
- automated bargaining Go to
- automatic documentation tools Go to
- automatic hypertext/Web-site generation Go to
- automatic verification of finite-state systems Go to
- axiomatic semantics Go to
B
- bioinformatics and biosensors Go to
- bioinformatics Go to
- bio-inspired computing Go to
- bio-inspired optimization methods Go to
- Boolean functions Go to
C
- calculus of communicating systems Go to
- circuit complexity Go to
- circuit specification and synthesis Go to
- coalition formation and decentralised control Go to
- cognition and Foundations of mathematical knowledge
Go to
- cognitive science (consciousness, phenomenology, human experience) Go to
- combinatorial models for optimization Go to
- combinatorial optimization Go to
- Combinatorics of words Go to
- combinatorics on words Go to
- combinatorics on words Go to
- combinatory logic Go to
- communication complexity Go to
- communication protocols Go to
- Communication software Go to
- compilers for programming languages Go to
- complexity of data structures and algorithms Go to
- complexity theory Go to
- complexity theory Go to
- component-based design, modeling, and analysis of real-time systems with focus on correct-by-construction techniques Go to
- computability Go to
- Computability (levels of undecidability) Go to
- Computational Biology Go to
- computational complexity Go to
- computational complexity Go to
- computational-complexity theory Go to
- computational geometry and applications Go to
- computational geometry and object modeling Go to
- computational geometry Go to
- Computational Geometry Go to
- computational science Go to
- Computational Topology Go to
- computation; enumerative combinatorics; asymptotic analysis Go to
- computation Go to
- computer-aided geometric design Go to
- computer-aided verification Go to
- computer algebra: polynomial algorithms,theory of Groebner Bases, automated geometrical theorem proving Go to
- Computer Architecture Go to
- Computer Architecture Go to
- computer architecture Go to
- computer architecture Go to
- computer architecture, with special emphasis on high performance computers: processor organization, memory hierarchy, systolic array processors, interconnection networks, numerical algorithms, compilers and performance evaluation Go to
- computer engineering Go to
- computer engineering Go to
- computer engineering Go to
- computer engineering Go to
- computer graphics Go to
- computer graphics Go to
- computer network design and performance Go to
- computer networks Go to
- computer science Go to
- computer science Go to
- Computer science Go to
- Computer Science Go to
- Computer science Go to
- Computer science Go to
- computer security, in particular access control and security policies Go to
- computer supported cooperative work Go to
- computer system performance evaluation Go to
- Computer Systems and Networks: Design and applications of network protocols, security in computer networks, telematics problems and services Go to
- computing, engineering Go to
- computing Go to
- computing Go to
- computing Go to
- computing & mathematics Go to
- computing, mathematics Go to
- computing, mathematics Go to
- concurrency Go to
- Concurrency Go to
- concurrency theory Go to
- constraint/logic/functional programming theory and implementation Go to
- constraint programming Go to
- constructive Mathematics Go to
- coordination models Go to
- cryptograhpy Go to
- cryptography Go to
- cryptography Go to
- cultural heritage Go to
D
- database systems Go to
- database theory Go to
- Database theory (query languages and their power) Go to
- data exchange Go to
- Data Structures Go to
- data structures Go to
- Decidability and undecidability questions Go to
- descriptional complexity of grammars and languages Go to
- design and analysis of algorithms Go to
- design and evaluation of interactive multimodal user interfaces Go to
- design and Verification of safety-critical embedded systems Go to
- design of system-on-chip platforms for embedded applications Go to
- design specification and verification Go to
- development of critical embedded systems, mobility and context-awareness, and development methods for complex industrial-scale software systems Go to
- digital libraries Go to
- digital libraries Go to
- discrete geometry Go to
- discrete mathematics Go to
- discrete mathematics Go to
- distributed computing Go to
- Distributed Systems Design, Queuing Theory Go to
- distributed systems Go to
- distributed systems Go to
- domain decomposition Go to
- domain theory Go to
- dynamical systems models Go to
E
- e-Learning Go to
- electrical and computer engineering Go to
- Electrical Engineering Go to
- elliptic PDE Go to
- embedded Software Go to
- embedded systems Go to
- embodied cognition Go to
- Enhanced Learning Go to
- execution visualization Go to
- experimental learning environments with animated characters Go to
- extremal combinatorics Go to
F
- Fixed Point Theory Go to
- formal language and automata theory Go to
- formal languages and automata Go to
- formal languages and automata Go to
- formal languages Go to
- formal verification Go to
- formal verification of hardware and software Go to
- Formal Verification of Processors and Microkernels Go to
- foundation and perception of informatics Go to
- foundations of computer science Go to
- foundations of object-oriented languages Go to
G
- game theory and mechanism design Go to
- Gaudi software factory Go to
- Generalized models of automata (over trees, pictures, relational structures) Go to
- general logic, in particular, model theory and modal logic (correspondence theory, temporal logic, dynamic logic, epistemic logic) Go to
- Geometric Modeling Go to
- geometric models of very large systems and assemblies Go to
- geometry processing Go to
- global program analysis/optimization/verification Go to
- grammars and rewriting systems Go to
- graph algorithms Go to
- graphics systems Go to
- graph rewriting systems Go to
- graph-theoretic problem decomposition methods that can be used for recognizing large classes of tractable instances of hard problems Go to
H
- Hardware Design Go to
- high performance computing Go to
- history and prospects of informatics Go to
- human computer interaction Go to
- human motivation Go to
- hypermedia data modeling Go to
- Hypermedia Systems and Personalization Technology Go to
I
- Image and video processing Go to
- image processing Go to
- Incremental software construction Go to
- Industrial applications Go to
- Infinite automata and applications in the verification of infinite systems Go to
- informatics Go to
- informatics Go to
- informatics Go to
- informatics Go to
- informatics Go to
- Information Systems and Databases Go to
- initiator of membrane computing (details at http://ppage.psystems.eu
) Go to
- Integrated Systems Go to
- Intelligent inlormation systems Go to
- intelligent systems Go to
- interaction in Ambient Intelligence environments Go to
- interaction in pervasive environments Go to
- interaction techniques for augmented realities Go to
- interfaces computability, physics and biology
Go to
- intersection types Go to
- Invariant based programming Go to
- Iteration Theories Go to
K
- knowledge management Go to
- Knowledge representation Go to
L
- lambda calculus Go to
- lambda-calculus Go to
- lambda calculus Go to
- logical aspects of computer science Go to
- logical semantics Go to
- logic an computer science Go to
- logic for computable functions Go to
- logic of computation Go to
- logics for program specification and verification Go to
- Logics of programs (dynamic logic) Go to
- low-power system design Go to
M
- Machine learning Go to
- management of structured and less structured data Go to
- many-valued logic Go to
- markets Go to
- mathematical (deductive) fuzzy logic as a many-valued logic with a comparative notion of truth Go to
- mathematical education: logic-based mathematics education, in particular for computer scientists Go to
- mathematical foundations of computer science Go to
- mathematical logic and complexity theory Go to
- mathematical logic and its applications to computer science
Go to
- mathematical logic and logical foundations of computer science Go to
- mathematical logic Go to
- mathematical semantics Go to
- mathematical semantics Go to
- mathematical structures useful in computer science, in particular theory of 2-structures Go to
- mathematical tools for software engineering Go to
- mathematics & computer science Go to
- Mathematics Go to
- mathematics of program construction Go to
- mathematics, philosophy, computing Go to
- mechanism design Go to
- membrane computing Go to
- metadata Go to
- metadata Go to
- metalanguages for proof tactics Go to
- minima philosophica Go to
- model based testing Go to
- model checking Go to
- Modeling computations in the living cell Go to
- Modeling hybrid systems Go to
- Modelling of processes Go to
- models and languages for open distributed systems Go to
- models of biological systems Go to
- models of computation Go to
- models of computation : lambda-calculus, sequentiality models, synchronous concurrency models Go to
- models of sequential and parallel computational systems Go to
- molecular computing Go to
- molecular programming Go to
- multi-agent systems Go to
- multi-agent systems Go to
- multimodal analysis (physiological data, gaze, speech, gestures) Go to
- multiresolution Go to
- music information retrieval Go to
N
- natural computing (DNA computing, membrane computing) Go to
- natural computing, including molecular computing, computation in living cells, self-assembly, and theory of biochemical reactions Go to
- network aware programming Go to
- networked multimedia systems Go to
- networks-on-chip Go to
- neural systems engineering Go to
- neurocomputing Go to
- neuronal networks and machine learning Go to
- Non—monotonic and temporal reasoning Go to
- non-standard computing Go to
- numerical analysis Go to
- numerical linear algebra Go to
O
- object-oriented programming Go to
- on line algorithms Go to
- operating systems Go to
- operating systems Go to
P
- parallel computing Go to
- parallel computing Go to
- parallelizing compilers Go to
- Peer-to-Peer Infrastructures Go to
- Performance Analysis of Computer Systems Go to
- Performance and algorithms for Databases Go to
- Petri-Nets Go to
- philosophy and history of mathematics and computer science Go to
- principles of programming languages Go to
- probabilistic methods and models Go to
- probability models in chemistry and physics Go to
- probability models in computer science and operations research Go to
- process description languages Go to
- process management Go to
- program analysis. Go to
- program correctness Go to
- Programming environments Go to
- programming language design and implementation Go to
- programming language design Go to
- programming languages Go to
- programming languages Go to
- programming languages Go to
- programming methodology Go to
- programming methodology Go to
- program verification and semantics Go to
- program verification Go to
- proof complexity Go to
Q
- quantitative data mining algorithms Go to
- quantum computation Go to
- quantum computations Go to
- quantum computing Go to
- quantum information processing, quantum automata, entanglement and cryptography Go to
- query languages Go to
R
- randomized methods Go to
- reactive, Real-Time, Synchronous programming Go to
- real-time systems Go to
- Refinement calculus and its applications Go to
- resource-aware distributed execution and logical agents Go to
- robotics & artificial intelligence Go to
- robotics Go to
S
- safety-critical embedded systems Go to
- satisfiability Go to
- science studies (transdisciplinarity) Go to
- Search and Information Retrieval Go to
- semantics and implementation of functional programming languages Go to
- semantics and syntax of programming languages Go to
- semantics Go to
- Semantics Go to
- semantics of concurrency Go to
- semantics of programming languages Go to
- Semantic Web and Web 2.0 Go to
- sequential and parallel computer architecture Go to
- service oriented computing Go to
- session types Go to
- shared memory Go to
- societal implications of Informatics Go to
- software and systems engineering centered around core topics of software and systems development Go to
- software design methods Go to
- software specification Go to
- software systems Go to
- sorting Go to
- static program analysis Go to
- Structural Molecular Biology Go to
- swarm intelligence Go to
- swarm intelligence Go to
- symbolic computation: automated theorem proving, formal methods for software, algorithm synthesis and verification, mathematical knowledge management Go to
- symbolic computation Go to
- symbolic Go to
- synchronous programming of reactive systems Go to
- systems biology Go to
- systems-on-chip Go to
- systolic and cellular automata and systems Go to
T
- tangible and perceptive user interfaces Go to
- Teaching mathematics and programming in high school Go to
- technology enhanced learning Go to
- Telematics in Education Go to
- The effective theory of infinite games Go to
- the Lustre data-flow synchronous language Go to
- theoretical and practical aspects of Concurrent Systems Specification and Verification Go to
- theoretical Biology
Go to
- theoretical computer science (finite automata, formal languages) Go to
- theoretical computer science Go to
- Theoretical Computer Science Go to
- theoretical computer science Go to
- theoretical computer science Go to
- theoretical computer science Go to
- theoretical computer science Go to
- theoretical informatics Go to
- Theory of algorithms and complexity Go to
- theory of automata Go to
- theory of computation Go to
- theory of computation Go to
- theory of computing Go to
- theory of concurrency Go to
- theory of concurrent systems, in particular theory of Petri nets, theory of transition systems, and theory of traces Go to
- theory of graph transformations Go to
- theory of programming Go to
- The relation between automata and logical systems Go to
- three-dimensional graphics and realism Go to
- timing guarantees for hard real-time systems Go to
- total quality management Go to
- tree structures Go to
- trust and reputation Go to
- type theory Go to
U
- universal access/design for all Go to
- user interfaces Go to
V
- verification of numerical software by means of sound, but approximate methods Go to
- verified software Go to
- virtual reality Go to
- volume and Octree representations Go to
W
- wearable and mobile computing systems Go to
- web science Go to
- wireless sensor network and ambient intelligence Go to
| operated by | 
|
