Areas of Activity#

Here you will find all fields of scholarship for this section.
1
  • 1956-57 Bell Telephone Fellow, Princeton University Go to
  • 1960-61 Miller Institute Fellow, University of California, Berkeley Go to
  • 1963-65 Alfred P. Sloan Research Fellow Go to
  • 1972-81 Professorial Fellow, Merton College, Oxford Go to
  • 1978-79 Guggenheim Foundation Fellow Go to
  • 1978-79 Visiting Scientist, Xerox Palo Alto Research Center Go to
2
  • 2001 Visiting Professor, Institut Mittag-Leffler, Sweden Go to
  • 2003 Humbolt Stiftung Senior Visiting Scientst, Munich, Germany Go to
3
  • 3D image analysis and synthesis Go to
  • 3D User interfaces Go to
A
  • Abstract interpretation Go to
  • Abstract Interpretation Go to
  • abstract interpretation Go to
  • Abstraction, refinement, and counterexamples Go to
  • advanced program development technology Go to
  • Affective Computing Go to
  • Agent-based computing Go to
  • Agents, agent oriented software engineering Go to
  • Algebra, Categories and Logic in Computer Science Go to
  • algebraic and categorical models of concurrency Go to
  • Algebraic coding theory Go to
  • Algebraic specification of data and programs Go to
  • Algebraic specifications Go to
  • Algebraic theory of automata and languages Go to
  • Algorithm design and analysis Go to
  • Algorithm engineering Go to
  • Algorithm engineering Go to
  • Algorithmic bioinformatics Go to
  • Algorithmic game theory Go to
  • Algorithmic game theory Go to
  • algorithmic graph theory, discrete mathematics, artificial intelligence Go to
  • Algorithmic graph theory Go to
  • algorithmic information theory Go to
  • Algorithmic information theory Go to
  • Algorithmic mathematics Go to
  • Algorithmic verification Go to
  • Algorithms (among top 20 researchers by Google Scholar citations) Go to
  • algorithms and complexity Go to
  • Algorithms and complexity 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 and software tools for analyzing genome rearrangements Go to
  • Algorithms and software tools for computational proteomics Go to
  • Algorithms and software tools for de novo antibiotics sequencing Go to
  • Algorithms and software tools for de novo antibody sequencing Go to
  • Algorithms and software tools for genome assembly Go to
  • Algorithms and tools for the design and verification of reactive and distributed systems Go to
  • algorithms for approximately counting and randomly sampling combinatorial structures Go to
  • Algorithms for Electronic Design Automation Go to
  • Algorithms for graph drawing Go to
  • Algorithms for network analysis Go to
  • Algorithms for NP-hard problems Go to
  • Algorithms for route planning Go to
  • Alternative splicing Go to
  • American Academy of Arts and Sciences Go to
  • American Association for the Advancement of Science Go to
  • Analysis and synthesis of asynchronous circuits Go to
  • Analysis of algorithms Go to
  • analysis of algorithms Go to
  • Analysis of audio- and video signals Go to
  • analysis of geometric structures Go to
  • Analysis of historical manuscripts Go to
  • analysis of Markov-chain based sampling algorithms Go to
  • Analysis of Non-stationary signals Go to
  • Analysis of probabilistic systems Go to
  • Analysis of protein-protein interaction networks Go to
  • Analytic combinatorics Go to
  • Application of rigorous methods to software production Go to
  • Applications of discrete mathematics in science (mathematical chemistry and bioinformatics) Go to
  • Applications of equational logic in computer science Go to
  • Applications of linear and constraint programming to verification problems Go to
  • Applications of logic in algebra and other fields of mathematics Go to
  • Applications of logic in computer science 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
  • Applications of ML and DM in Environmental Sciences Go to
  • Applications of ML and DM in Life Sciences Go to
  • Applications of model checking to ubiquitous computing Go to
  • Application to databses, optimization, AI, and game theory Go to
  • Applied Cryptography Go to
  • Applied mathematics Go to
  • Applied statistics and mathematics Go to
  • Approximation algorithms Go to
  • Approximation algorithms Go to
  • Approximation algorithms Go to
  • approximation of NP-hard optimization problems Go to
  • Architecture/Compiler Co-Design Go to
  • Artificial and Computational Intelligence, notably multivalued and fuzzy logic 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 Go to
  • Artificial Intelligence Go to
  • Artificial Intelligence Go to
  • Artificial intelligence Go to
  • Artificial intelligence Go to
  • Artificial intelligence Go to
  • Artificial Intelligence, in particular the symbolic representation of knowledge and its use for inference Go to
  • Artificial intelligence (logical theory of robot problem solving) Go to
  • Aspects of number theory Go to
  • assistive technologies Go to
  • Association for Computing Machinery Go to
  • Asynchronous circuits Go to
  • Asynchronous digital systems Go to
  • Auction algorithms Go to
  • Audio processing and voice conversion Go to
  • Authentication and secret sharing Go to
  • Authentication - Security Evaluation and Design Go to
  • Automata and formal languages 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 models for concurrency Go to
  • Automata on infinite objects Go to
  • Automata over infinite words and trees Go to
  • Automated deduction Go to
  • Automated Planning Go to
  • Automated reasoning Go to
  • Automated Reasoning Go to
  • Automated reasoning Go to
  • Automated verification Go to
  • Automated verification of hardware and software systems Go to
  • automatic documentation tools Go to
  • automatic hypertext/Web-site generation Go to
  • Automatic synthesis of connectors for heterogeneous systems. Go to
  • Automatic verification Go to
  • Automatic verification of finite-state systems Go to
  • Autonomic computing Go to
  • Autonomous mobile robotics Go to
  • Autonomous systems Go to
  • Autonomous Systems Go to
  • Average-case analysis of several online problems Go to
  • Axiomatic semantics Go to
  • Axiomatic set theory Go to
B
  • Big Data analytics Go to
  • Bioinformatics and biosensors Go to
  • Bioinformatics and computational biology Go to
  • Bio-inspired computing Go to
  • Bio-inspired optimization methods Go to
  • Biological sequence analysis Go to
  • Biomedical signal and image processing Go to
  • B Method for software engineering Go to
  • Boolean Satisfiability Go to
  • Business process management Go to
  • Business Process Management Go to
C
  • Calculus of communicating systems Go to
  • Calendar algorithms Go to
  • Cascade decomposition Go to
  • Certified software Go to
  • Church-Turing thesis Go to
  • Circuit Complexity Go to
  • Circuit complexity Go to
  • Circuit specification and synthesis Go to
  • Clustering and Data Mining Go to
  • cognition and Foundations of mathematical knowledge
    Go to
  • Cognitive computer vision Go to
  • Cognitive science (consciousness, phenomenology, human experience) Go to
  • Cognitive user modeling and conceptualization Go to
  • Collective Intelligence and Urban Computing Go to
  • Combination of specification methods for processes, time and data Go to
  • Combinatorial algorithms and their application Go to
  • Combinatorial algorithms Go to
  • Combinatorial Algorithms Go to
  • Combinatorial and Global Optimization Go to
  • Combinatorial group theory Go to
  • combinatorial models for optimization Go to
  • Combinatorial optimization Go to
  • Combinatorial optimization Go to
  • Combinatorial optimization Go to
  • Combinatorial optimization Go to
  • Combinatorial theory Go to
  • Combinatorics and special functions Go to
  • Combinatorics of words Go to
  • Combinatorics on Words Go to
  • Combinatorics on words Go to
  • Combinatorics on words Go to
  • Combinatorics with graph theory Go to
  • Communicating systems Go to
  • Communication complexity Go to
  • Communication protocols Go to
  • Communication protocols Go to
  • Communication software Go to
  • Comparative genomics Go to
  • compilers for programming languages Go to
  • Complex information search and analysis Go to
  • Complexity of algorithms Go to
  • complexity of counting Go to
  • Complexity of data structures and algorithms Go to
  • Complexity theory and phase transition of problems Go to
  • Component-based design, modeling, and analysis of real-time systems with focus on correct-by-construction techniques Go to
  • Compositional model checking Go to
  • Computability (levels of undecidability) Go to
  • Computability theories, especially for continuous/analogue data Go to
  • Computability theory Go to
  • Computational and Digital Geometry Go to
  • Computational Biology Go to
  • Computational Chemistry Go to
  • computational complexity Go to
  • computational complexity Go to
  • Computational complexity Go to
  • computational complexity Go to
  • Computational complexity Go to
  • Computational complexity Go to
  • Computational complexity Go to
  • Computational complexity Go to
  • Computational complexity Go to
  • Computational complexity Go to
  • Computational complexity Go to
  • Computational complexity of verification problems Go to
  • Computational complexity theory Go to
  • Computational Complexity Theory Go to
  • computational-complexity theory Go to
  • Computational foundations of physics Go to
  • computational geometry and applications Go to
  • computational geometry and object modeling Go to
  • computational geometry Go to
  • Computational Geometry Go to
  • Computational geometry Go to
  • Computational geometry Go to
  • Computational geometry Go to
  • computational intelligence Go to
  • Computational intelligence Go to
  • computational logic Go to
  • Computational logic Go to
  • Computational Logic Go to
  • Computational logic Go to
  • Computational machine learning Go to
  • Computational modelling for systems biology and population biology. Go to
  • Computational models of group decision making, social choice and voting, and consensus reaching Go to
  • Computational molecular biology Go to
  • computational neuroscience Go to
  • Computational neuroscience Go to
  • Computational Scientific Discovery Go to
  • Computational Topology Go to
  • Computation complexity Go to
  • Computation; enumerative combinatorics; asymptotic analysis Go to
  • computer-aided design Go to
  • Computer-Aided Design Go to
  • Computer-aided design, test and verification of (digital) circuits and systems (VLSI CAD) Go to
  • Computer-aided geometric design 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 and Network Security Go to
  • Computer animation 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 arithmetic Go to
  • computer communication Go to
  • Computer communication networks Go to
  • computer engineering Go to
  • Computer engineering Go to
  • Computer engineering Go to
  • Computer network design and performance Go to
  • computer networking Go to
  • computer science & algebra Go to
  • Computer Science and Artificial Intelligence Go to
  • Computer science education Go to
  • Computer security, in particular access control and security policies Go to
  • Computer Simulation Go to
  • Computer-supported collaborative learning 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 & mathematics Go to
  • computing, mathematics Go to
  • Concurrency theory, foundations of concurrent processes, concurrent algorithms Go to
  • concurrency theory Go to
  • Concurrency theory Go to
  • Concurrency theory Go to
  • Concurrency theory Go to
  • concurrency theory Go to
  • Concurrency theory Go to
  • Concurrency theory Go to
  • Concurrency theory Go to
  • Concurrency Theory Go to
  • Concurrent and parallel programming Go to
  • Concurrent computation Go to
  • Connections with semigroup theory Go to
  • Constraint-Based Data Mining Go to
  • constraint/logic/functional programming theory and implementation Go to
  • constraint programming Go to
  • Constraint scheduling Go to
  • Constructive Mathematics Go to
  • Constructive mathematics Go to
  • coordination models Go to
  • Counting and approximation the solution of problems Go to
  • Creator of the algorithmic language of description EXEL Go to
  • Cryptanalysis and design of cryptographic algorithms and protocols Go to
  • cryptology and information security Go to
  • Cryptology (Cryptography and Cryptanalysis) Go to
  • cryptology information security Go to
D
  • Data analytics, knowledge discovery and data mining Go to
  • data and information management Go to
  • Data and signal analysis Go to
  • Data anonymisation Go to
  • Database management Go to
  • Database performance optimization (automatic tuning) and self-organization (autonomic computing) Go to
  • Database query optimization Go to
  • databases and information systems Go to
  • databases, information management Go to
  • Database systems and theory Go to
  • Database technology for openData platforms - integration and consumption Go to
  • Database theory (query languages and their power) Go to
  • Data-centered business processes Go to
  • Data communications Go to
  • Data mining and knowledge discovery, notably for decision support systems Go to
  • Data processing in joint time and frequency domain Go to
  • DB & IR integration (database systems & information retrieval) Go to
  • Decidability and undecidability questions Go to
  • Decidability problems Go to
  • Decidable theories Go to
  • Decision support in medicine, technology, economics and environmental studies Go to
  • Decoding of Linear Binary Block Codes Go to
  • Decomposition of correctness proofs for hybrid systems in traffic applications Go to
  • Dependable, reliable, and secure computing Go to
  • descriptional complexity of grammars and languages Go to
  • Description logics Go to
  • Description Logics Go to
  • design and analysis of algorithms Go to
  • design and analysis of algorithms Go to
  • Design and analysis of computer 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 efficient algorithms Go to
  • Design of system-on-chip platforms for embedded applications Go to
  • Design Space Exploration and Multi-Objective Optimization Go to
  • design specification and verification Go to
  • Development and analysis of efficient data structures and algorithms in VLSI CAD Go to
  • Development methods for real-time systems Go to
  • Development of algorithms Go to
  • development of critical embedded systems, mobility and context-awareness, and development methods for complex industrial-scale software systems Go to
  • Development of secure and efficient software and hardware implementations Go to
  • Digital/Electronic Privacy Go to
  • Digital geometry processing Go to
  • Digital humanities Go to
  • Digital libraries and content syndication Go to
  • Digital libraries and repositories Go to
  • Digital media formats and standards Go to
  • Diophantine equations Go to
  • Discrete and computational mathematics Go to
  • Discrete applied mathematics Go to
  • Discrete applied mathematics Go to
  • discrete mathematics Go to
  • Discrete mathematics Go to
  • Distributed algorithms and systems Go to
  • Distributed algorithms Go to
  • distributed computability Go to
  • Distributed computing Go to
  • Distributed computing Go to
  • Distributed computing Go to
  • Distributed Computing Go to
  • distributed computing systems Go to
  • Distributed information systems Go to
  • Distributed model checking Go to
  • Distributed query and dataflow processing Go to
  • Distributed Systems Design, Queuing Theory Go to
  • Distributed systems Go to
  • Distributed systems Go to
  • distributed systems Go to
  • Distributed systems Go to
  • distributed systems, internet computing Go to
  • domain decomposition Go to
  • Dynamic adaptation of mobile applications Go to
  • dynamical systems models Go to
  • Dynamic software product lines Go to
E
  • Electrical and computer engineering Go to
  • Electrical Engineering Go to
  • Electronic commerce Go to
  • Electronic System Level (ESL) Design Go to
  • embedded system design Go to
  • Embedded system design Go to
  • Embodied cognition Go to
  • Energy-efficient networking Go to
  • Energy informatics Go to
  • Enterprise computing systems Go to
  • Epidemic-based algorithm Go to
  • Error correcting codes Go to
  • Evolutionary optimization Go to
  • Evolution of metabolic pathways and regulatory systems Go to
  • execution visualization Go to
  • Experimental learning environments with animated characters Go to
  • Exponential sums over finite fields Go to
  • (extensions to) AADL, stochastic Petri nets, process algebras. Go to
  • Extremal combinatorics Go to
F
  • Finite Combinatorics Go to
  • Finite model theory Go to
  • Finnish Academy of Sciences and Letters Go to
  • Fixed Point Theory Go to
  • Flexible database queries reflecting imprecise, bipolar, etc. user preferences and intentions Go to
  • Formal language and automata theory Go to
  • formal languages and automata Go to
  • Formal languages and automata Go to
  • Formal measures of quality: algorithms for quality checking, and automated synthesis of high-quality reactive systems Go to
  • Formal methods for specification, verification, and design of reactive systems Go to
  • Formal methods for synthesis and verification Go to
  • Formal models for distributed systems: Petri nets and process algebras Go to
  • Formal Power Series Go to
  • Formal verification and synthesis of reactive systems Go to
  • formal verification Go to
  • Formal verification of hardware and software Go to
  • Formal Verification of Processors and Microkernels Go to
  • Foundational issues of algorithmic game theory Go to Go to
  • foundation and perception of informatics Go to
  • Foundation of Distributed Computation Go to
  • Foundations of Artificial Intelligence Go to
  • foundations of computer science Go to
  • Foundations of object-oriented languages Go to
  • Foundations of quantum mechanics Go to
  • foundations of quantum physics Go to
  • Free viewpoint rendering Go to
  • Functional genomics Go to
  • Fundamental investigations concerning (quantum) information Go to
  • Fundamental investigations in quantum physics, theory, experiments and paradoxes Go to
  • Fundamental principles that underlie the design and the construction of distributed systems Go to
G
  • Game-based approach to automatic verification and synthesis Go to
  • 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 Modeling Go to
  • Geometric models of very large systems and assemblies Go to
  • Geometry processing Go to
  • Geometry processing Go to
  • Geometry processing Go to
  • global program analysis/optimization/verification Go to
  • Gossip-based networking Go to
  • Grammars and rewriting 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/Software Co-Design Go to
  • Healthcare informatics Go to
  • Heuristic algorithms Go to
  • high performance computing Go to
  • High Performance Computing Go to
  • High-performance distributed applications in areas like search algorithms , multimedia, eScience, semantic web and model checking Go to
  • High quality audio coding Go to
  • History and prospects of informatics Go to
  • History of computing, especially programming theory Go to
  • History of mathematical sciences Go to
  • History of mathematics, especially practical calculation Go to
  • History of science, especially regional histories of science Go to
  • Human-computer interaction Go to
  • Human-computer interaction Go to
  • human computer interaction Go to
  • Hypermedia data modeling Go to
  • Hypermedia Systems and Personalization Technology Go to
I
  • Identification of regulatory signals Go to
  • Identity and privacy management, including societal aspects of computer security, like electronic voting, privacy road pricing, e-ticketing (in public transport), smart electricity metering. Go to
  • Image and video processing Go to
  • Image and video search Go to
  • Image processing and analysis Go to
  • Image synthesis and image based rendering Go to
  • Implementation of algorithms Go to
  • Incidence geometry (combinatorial and geometric configurations, maps and polytopes) Go to
  • Incremental software construction Go to
  • Inductive Logic Programming Go to
  • Industrial applications Go to
  • Industrial mathematics Go to
  • Infinitary rewriting Go to
  • Infinite automata and applications in the verification of infinite systems Go to
  • Informatics and simulation Go to
  • informatics, discrete mathematics Go to
  • informatics, operations research Go to
  • Information agents Go to
  • information extraction and knowledge harvesting Go to
  • Information extraction, sentiment extraction Go to
  • Information Security Go to
  • Information security Go to
  • Information Systems and Databases Go to
  • information technology Go to
  • Information theory 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
  • Interactive geometric modeling Go to
  • Interactive theorem proving Go to
  • Interconnection Network Architecture Go to
  • interfaces computability, physics and biology
    Go to
  • Internet of Things Go to
  • Internet Security and Privacy Go to
  • Internet technologies Go to
  • Intersection and tolerance graphs Go to
  • Intersection types Go to
  • Invariant based programming Go to
  • Iteration Theories Go to
K
  • Key Management - Broadcast Encryption Security Evaluation and Design Go to
  • Knowledge management Go to
  • Knowledge management, representation and organization Go to
  • Knowledge representation and reasoning Go to
  • Knowledge Representation and Reasoning Go to
  • Knowledge Representation and Reasoning Go to
  • Knowledge representation Go to
  • Knowledge Representation Go to
  • Knowledge representation Go to
  • knowledge representation Go to
  • Knowledge representation Go to
  • Knowledge representation Go to
  • Kolmogorov complexity Go to
  • Kolmogorov complexity Go to
L
  • Large distributed systems Go to
  • Large-scale system modelling Go to
  • Layouts and morphisms on graphs Go to
  • Learning and clustering Go to
  • Linguistic summaries of big data sets and applications in computer systems, business and finance, etc. Go to
  • Local computations, distributed algorithms Go to
  • Locating and fixing application performance bottlenecks Go to
  • Location theory - Operational research field where variables represent facility locations Go to
  • logical aspects of computer science Go to
  • logic an computer science Go to
  • Logic and automata theory Go to
  • Logic and complexity Go to
  • Logic and decision procedures Go to
  • Logic and finite model theory Go to
  • Logic and verification Go to
  • Logic for computable functions Go to
  • Logic in computer science Go to
  • Logic in computer science Go to
  • Logic in Computer Science Go to
  • Logic in computer science Go to
  • Logic in computer science Go to
  • Logic of computation Go to
  • Logics and Meanings of programs Go to
  • Logics and Type Theory Go to
  • Logics, formal methods 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-code analysis Go to
  • Machine Learning (ML) and Data Mining (DM) Go to
  • Main-memory database technology for analytical and transactional workloads Go to
  • Management of Large Projects for Industry Go to
  • Management of structured and less structured data Go to
  • Markov regime models Go to
  • Massively Parallel Computing Go to
  • Mathematical (deductive) fuzzy logic as a many-valued logic with a comparative notion of truth Go to
  • Mathematical economics Go to
  • Mathematical education: logic-based mathematics education, in particular for computer scientists Go to
  • Mathematical foundations of computer science Go to
  • Mathematical foundations of cryptography 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 logic Go to
  • Mathematical Programming 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 and artificial intelligence Go to
  • mathematics & computer science Go to
  • mathematics, computer science Go to
  • mathematics of program construction Go to
  • mathematics, philosophy, computing Go to
  • Medical image processing Go to
  • Medical knowledge representation, in particular the formalisation of medical guidelines and medical trials Go to
  • membrane computing Go to
  • Metabolic reconstruction and functional annotation of genes and proteins Go to
  • Metalanguages for proof tactics Go to
  • Methodology and techniques of decision support, based on a junction of operations research and computational intelligence Go to
  • Microprocessor Architecture Go to
  • minima philosophica Go to
  • Mining Data Streams Go to
  • Mobile computing and communication Go to
  • Mobile data management Go to
  • Modal and temporal logics Go to
  • Model-based and qualitative reasoning Go to
  • Model based testing Go to
  • Model checking of probabilistic models, counterexample generation, abstraction, stochastic hybrid systems, timed automata Go to
  • model checking, semantics, probabilistic systems Go to
  • Model-driven development Go to
  • Modeling and specification formalisms Go to
  • Modeling and verification Go to
  • Modeling computations in the living cell Go to
  • Modeling hybrid systems Go to
  • Modeling of uncertainty and imprecision in decision problems: rough set theory, fuzzy set theory Go to
  • Modelling and analysis of biological processes 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 Concurrency Go to
  • Models of sequential and parallel computational systems Go to
  • Model theory of mathematical logic Go to
  • molecular computing Go to
  • Molecular programming Go to
  • MRMC (probabilistic model checker), libalf (learning communicating finite-state automata), COMPASS (AADL analysis tool-set) Go to
  • Multiagent Systems and Agent-oriented Software Engineering Go to
  • Multiagent systems Go to
  • Multi-agent systems Go to
  • multi-agent systems Go to
  • Multi-agent systems Go to
  • Multimedia audio-visual database analysis Go to
  • Multimedia indexing and retrieval Go to
  • Multimedia information analysis Go to
  • Multimodal analysis (physiological data, gaze, speech, gestures) Go to
  • Multi modal computing and interaction Go to
  • Multiobjective optimization: evolutionary and interactive procedures Go to
  • Multiple criteria decision aiding, ordinal data mining, preference learning, knowledge discovery from big data. Go to
  • Multiple-Valued Logics (Functional Completeness) Go to
  • Multiresolution modeling Go to
  • Multistage optimal fuzzy control, notably using dynamic programming Go to
  • Multi view video processing Go to
  • Music information retrieval Go to
N
  • Natural computation Go to
  • Natural Computing (DNA Computing and Membrane Computing) Go to
  • 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
  • Natural language processing Go to
  • Nature Inspired Computing (Genetic Algorithms, Evolutionary Computing, Particle Swarm Optimization) Go to
  • Negotiation and cooperation in mixed open environments (including humans) Go to
  • network aware programming Go to
  • networked multimedia systems Go to
  • Network measurements and traffic characterization Go to
  • Network performance debugging Go to
  • Neural and Interconnection Networks Go to
  • Neural systems engineering Go to
  • Neuronal networks and machine learning Go to
  • New York Academy of Sciences Go to
  • Non-classical logics Go to
  • Nonlinear signal processing Go to
  • Non—monotonic and temporal reasoning Go to
  • Non-standard computing Go to
  • Numerical Algorithms Go to
  • Numerical analysis Go to
  • numerical analysis Go to
  • numerical linear algebra Go to
O
  • Object-oriented programming Go to
  • Object-oriented programming, object technology Go to
  • On line algorithms Go to
  • Online knapsack problems Go to
  • Online randomized k-server problems Go to
  • Ontology Engineering Go to
  • Ontology Languages Go to
  • Ontology Languages Go to
  • Ontology languages Go to
  • Operational Research Go to
  • Operations research Go to
  • Operations research Go to
  • Optimization of complex systems Go to
  • ordered structures Go to
  • Originator of the Z notation Go to
  • Overcoming the Internet impasse via software defined networking and cloud networks Go to
P
  • Packet Switch Architecture Go to
  • Parallel algorithms and models Go to
  • Parallel algorithms Go to
  • Parallel algorithms Go to
  • Parallel and distributed algorithms Go to
  • Parallel and distributed systems Go to
  • Parallel and Distributed Systems (top researcher by Google Scholar citations) Go to
  • parallel computing Go to
  • parallel computing Go to
  • parallelizing compilers Go to
  • Particular probabilistic systems Go to
  • Pattern Recognition Go to
  • Pattern recognition Go to
  • Pattern recognition Go to
  • Pattern recognition Go to
  • Peer-to-Peer Infrastructures Go to
  • Peer-to-peer networks and distributed retrieval Go to
  • Perceptual measurement techniques Go to
  • Performance analysis Go to
  • Performance Analysis of Computer Systems Go to
  • Performance and algorithms for Databases Go to
  • Performance evaluation Go to
  • Pervasive Computing Systems Go to
  • philosophy and history of mathematics and computer science Go to
  • Philosophy of computing Go to
  • Physical foundations of computation Go to
  • Point-based graphics Go to
  • Polygon mesh generation & optimization Go to
  • Predicting Structured Outputs Go to
  • Principles of programming languages Go to
  • Probabilistic methods and models Go to
  • (Probabilistic) model checking Go to
  • Probabilistic model checking Go to
  • Probabilistic program analysis, pointer-manipulating programs (using graph grammars), parallel programming. Go to
  • Probability models in chemistry and physics Go to
  • Probability models in computer science and operations research Go to
  • Process algebra, true concurrency semantics (event structures and message sequence charts), probabilistic process calculi Go to
  • process description languages Go to
  • Process management Go to
  • Professional Life Time Management Go to
  • Program correctness Go to
  • Programming environments for clusters, grids, clouds, heterogeneous and mobile systems Go to
  • Programming environments Go to
  • Programming environments Go to
  • Programming language design and implementation Go to
  • Programming language design Go to
  • Programming languages for concurrent systems Go to
  • Programming languages for distributed systems Go to
  • Programming languages Go to
  • Programming languages Go to
  • programming languages Go to
  • Programming languages Go to
  • Programming languages 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
  • Program verification Go to
  • Program verification Go to
  • Project scheduling, including multiple category resources, multiple job modes, multiple criteria and uncertainty. Go to
  • Proof and computational complexity theory Go to
  • Propositional proof complexity Go to
Q
  • Quantitative analysis Go to
  • Quantitative data mining algorithms Go to
  • Quantum and classical cryptography Go to
  • Quantum communication complexity Go to
  • Quantum communication complexity Go to
  • Quantum complexity theory Go to
  • Quantum computation, communication, teleportation and cryptography Go to
  • quantum computation Go to
  • Quantum computation Go to
  • Quantum computations Go to
  • Quantum cryptography Go to
  • Quantum entanglement and non-locality as new computation and communication resource Go to
  • quantum information processing, quantum automata, entanglement and cryptography Go to
  • Quantum information processing resources ( entanglement, non-locality) Go to
  • Quantum Information Science Go to
  • Quantum information theory Go to
  • Quantum network coding Go to
  • Quantum optics, neutron interferometry, neutron, atom and molecule optics, mesoscopic physics Go to
  • Quantum query complexity Go to
  • quantum randomness and quantum computing Go to
  • Quantum teleportation Go to
  • Query processing in databases and information systems Go to
R
  • Radar Signal Processing Go to
  • Randomized algorithms Go to
  • randomized methods Go to
  • Randomized techniques in algorithmic and combinatorics Go to
  • Reactive, Real-Time, Synchronous programming Go to
  • Real-time scheduling Go to
  • Recommender systems Go to
  • Reconfigurable and Adaptive Computing Systems Go to
  • Refinement calculus and its applications Go to
  • Representation of uncertainty and imprecision and applications in computer science, decision analysis, control, etc. Go to
  • Requirements engineering Go to
  • resource-aware distributed execution and logical agents Go to
  • robotics & artificial intelligence Go to
  • Robustness issues in decision analysis Go to
S
  • safety-critical embedded systems Go to
  • Sanity checks in formal methods: vacuity, coverage, and query checking Go to
  • SAT-based model checking Go to
  • Scalable Multicore Systems: Interprocessor Communication and Memory Architecture Go to
  • Science studies (transdisciplinarity) Go to
  • scientifc computing Go to
  • Scientific databases and data infrastructures, scientific experiment management Go to
  • Search and Information Retrieval Go to
  • Security and Privacy Go to
  • Security of physical systems Go to
  • security, privacy, cryptography Go to
  • Security vulnerabilities Go to
  • Self-adaptive and Self-organizing Software Go to
  • Self-managing and adaptive systems Go to
  • Self-managing software Go to
  • Semantic models for concurrency, probability and real-time Go to
  • Semantics and implementation of functional programming languages Go to
  • Semantics and syntax of programming languages Go to
  • Semantics of computation Go to
  • semantics of concurrency Go to
  • Semantics of coordination languages Go to
  • Semantics of parallel programming languages Go to
  • Semantics of Prgramming languages Go to
  • Semantics of programming languages Go to
  • Semantics of programming, mathematical basis of computing, esp. coalgebra and quantum computing. Go to
  • Semantic Web and Web 2.0 Go to
  • Semantic Web, in particular handling distributed, large, heterogeneous, dynamic and possibly inconsistent information Go to
  • sequential and parallel computer architecture Go to
  • Service-oriented computing Go to
  • Service-oriented computing Go to
  • service oriented computing Go to
  • Smart cards, esp. Java cards, and their applications (e.g. in identity documents, public transport). Go to
  • Social networking and trust Go to
  • societal implications of Informatics Go to
  • software and systems engineering centered around core topics of software and systems development Go to
  • Software architecture Go to
  • Software architecture Go to
  • Software architecture Go to
  • Software architecture Go to
  • Software Defined Radio Security Go to
  • software design methods Go to
  • Software development environments Go to
  • Software development Go to
  • Software Engineering Go to
  • software engineering Go to
  • Software Engineering Go to
  • Software engineering Go to
  • Software Engineering Go to
  • Software engineering Go to
  • Software evolution Go to
  • Software formal specification and verification Go to
  • Software libraries Go to
  • Software Model Checking Go to
  • Software specification and formal methods of software development Go to
  • Software specification Go to
  • Software systems engineering Go to
  • Softwaretechnology Go to
  • Software testing and debugging Go to
  • Software verification Go to
  • Spatio-temporal data management Go to
  • Specification and verication for security protocols and software. Go to
  • Static program analysis Go to
  • static program analysis Go to
  • Statistical disclosure control Go to
  • Statistical methods for molecular biology Go to
  • statistics and the environment Go to
  • statistics education Go to
  • statistics in ophthalmology Go to
  • Statistics of DNA sequences Go to
  • Stochastic behavioural modelling and verification Go to
  • stochastic models in marine science Go to
  • stochastic processes and their applications in engineering Go to
  • stochastic processes in computer science Go to
  • stochastic wave models Go to
  • Stream Ciphers Security Evaluation and Design Go to
  • Structural Molecular Biology Go to
  • Structural operational semantics and its meta-theory Go to
  • Subdivision surfaces Go to
  • Support for realtime/righttime-analytics in data-warehouse infrastructures Go to
  • Support of advanced analytics (mining, forecasting, etc.) in database systems 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) Loop Transformations and Compilation Go to
  • Symmetric Key Cryptography Go to
  • Synchronous programming of reactive systems Go to
  • System and software requirements Go to
  • Systems biology and computational biomedicine Go to
  • systolic and cellular automata and systems Go to
T
  • Tableau algorithms Go to
  • Tangible and perceptive user interfaces Go to
  • Teaching mathematics and programming in high school Go to
  • Technology-enhanced learning Go to
  • Technology enhanced learning Go to
  • Telematics in Education Go to
  • Temporal and modal logics Go to
  • Temporal databases Go to
  • Temporal databases Go to
  • Temporal logic and model-checking Go to
  • Temporal reasoning Go to
  • Termination proofs Go to
  • Term rewriting systems Go to
  • Testing and verification Go to
  • The effective theory of infinite games Go to
  • The LPN (Learning Parity in Noise) Problem 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 Computer Science Go to
  • Theoretical computer science Go to
  • Theoretical computer science Go to
  • theoretical infomatics Go to
  • Theoretical informatics Go to
  • theoretical informatics Go to
  • Theoretical models for wireless networks and sensor networks Go to
  • Theory and application of concurrency in system design Go to
  • Theory of algorithms and complexity Go to
  • Theory of automata Go to
  • Theory of automata over arbitrary monoids Go to
  • theory of computation Go to
  • Theory of computation Go to
  • theory of computation Go to
  • Theory of computation Go to
  • Theory of computation Go to
  • Theory of Computation Go to
  • Theory of computing Go to
  • Theory of concurrency Go to
  • Theory of concurrency Go to
  • Theory of concurrent systems Go to
  • Theory of concurrent systems, in particular theory of Petri nets, theory of transition systems, and theory of traces Go to
  • Theory of distributed systems Go to
  • Theory of distributed systems Go to
  • theory of finite automata Go to
  • Theory of graph transformations Go to
  • Theory of Petri nets and process algebras Go to
  • Theory of programming Go to
  • Theory of programming Go to
  • Theory of synchronous algorithms with digital and analogue components, and its applications Go to
  • The relation between automata and logical systems Go to
  • three-dimensional graphics and realism Go to
  • Time-Frequency Analysis Go to
  • timing guarantees for hard real-time systems Go to
  • Tone mapping and high dynamic range imaging Go to
  • Topological methods Go to
  • Total quality management Go to
  • Transcriptional regulation Go to
  • Ttransition monoid Go to
U
  • Ubiquitous computing Go to
  • Unification theory Go to
  • universal access/design for all Go to
  • Use of natural language in the representation of systems and reasoning schemes, notably via computing with words and natural language generation Go to
  • User modeling, adaptation, personalization, profiling, contextualization Go to
  • User preferences and personalization Go to
  • U.S. National Academy of Sciences Go to
V
  • Variable Neighborhood Search - general heuristic for solving optimization problems Go to
  • Variational Methods for Computer Vision Go to
  • Verification and validation Go to
  • Verification of numerical software by means of sound, but approximate methods Go to
  • Verification of sequential and concurrent programs Go to
  • Verification of systems with infinitely many states Go to
  • Very large scale Knowledge Representation, in particular inference over very large knowledge bases Go to
  • Video processing and coding Go to
  • Video surveillance Go to
  • Volume and Octree representations Go to
W
  • Wave field synthesis Go to
  • Wearable and mobile computing systems Go to
  • Web data management Go to
  • web & data management Go to
  • Web information retrieval Go to
  • weighted automata and quantitative logics Go to
  • Wireless Ad Hoc, Sensor, Actuator, Robot, and Vehicular Networks (Data Communications, Routing, Broadcasting) Go to
  • Wireless networks (among top ten researchers by Google Scholar citations) Go to
  • Wireless sensor network and ambient intelligence Go to
  • Workflow Management Technology Go to
X
  • XML and semi-structured information Go to

Imprint Privacy policy « This page (revision-1) was last updated on Wednesday, 11. January 2017, 10:18 by System
  • operated by