!!! Areas of Activity
Here you will find all fields of scholarship for this section.This page is created automatically.

__3__

* 3D animation [Go to |User/Gotsman_Craig]
* 3D content [Go to |User/Cani_Marie-Paule]
* 3D image analysis and synthesis [Go to |User/Seidel_Hans-Peter]
* 3D User interfaces [Go to |User/Schmalstieg_Dieter]
__5__

* 5G networks and services [Go to |User/Azcorra_Saloña_Arturo]
__A__

* Abstract interpretation [Go to |User/Abramsky_Samson]
* Abstract Interpretation [Go to |User/Cousot_Patrick]
* Abstract interpretation [Go to |User/Hermenegildo_Manuel]
* Abstraction, refinement, and counterexamples [Go to |User/Grumberg_Orna]
* Abstract Machines [Go to |User/Hermenegildo_Manuel]
* Access control in information security [Go to |User/Gutin_Gregory]
* Adiabatic quantum computation [Go to |User/Kempe_Julia]
* Advanced program development technology [Go to |User/Hermenegildo_Manuel]
* Affective Computing [Go to |User/André_Elisabeth]
* Agent-based computing [Go to |User/Jennings_Nicholas]
* Agents, agent oriented software engineering [Go to |User/Giunchiglia_Fausto]
* AI and Internet of Things [Go to |User/Mencer_Oskar]
* AI [Go to |User/Papadimitriou_Christos]
* Algebraic and categorical models of concurrency [Go to |User/Montanari_Ugo]
* Algebraic coding theory [Go to |User/Zinoviev_Viktor_Aleksandrovich]
* Algebraic development methodologies [Go to |User/Fiadeiro_José]
* Algebraic specification of data and programs [Go to |User/Tucker_John]
* Algebraic specifications [Go to |User/Klop_Jan]
* Algebraic theory of automata and languages [Go to |User/Pin_Jean-Eric]
* Algorithm design and analysis [Go to |User/van_Leeuwen_Jan]
* Algorithm engineering [Go to |User/Mehlhorn_Kurt]
* Algorithm engineering [Go to |User/Wagner_Dorothea_Maria_Anna]
* Algorithmic bioinformatics [Go to |User/Karpinski_Marek_M.]
* Algorithmic game theory [Go to |User/Henzinger_Monika]
* Algorithmic game theory [Go to |User/Yannakakis_Mihalis]
* ALGORITHMIC GRAPH THEORY, DISCRETE MATHEMATICS, ARTIFICIAL INTELLIGENCE [Go to |User/Golumbic_Martin_Charles]
* Algorithmic graph theory [Go to |User/Golumbic_Martin_Charles]
* Algorithmic information theory [Go to |User/Calude_Cristian]
* Algorithmic information theory [Go to |User/Salomaa_Arto]
* Algorithmic mathematics [Go to |User/Paule_Peter]
* Algorithmics [Go to |User/Woeginger_Gerhard]
* Algorithmic verification [Go to |User/Wolper_Pierre]
* ALGORITHMS AND COMPLEXITY [Go to |User/Hirsch_Edward_A.]
* Algorithms and complexity [Go to |User/Yannakakis_Mihalis]
* 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 [Go to |User/Spirakis_Paul]
* Algorithms and complexity theory [Go to |User/Ausiello_Giorgio]
* Algorithms and data structures [Go to |User/Maurer_Hermann]
* Algorithms and data structures [Go to |User/Welzl_Emo]
* Algorithms and software tools for analyzing genome rearrangements  [Go to |User/Pevzner_Pavel]
* Algorithms and software tools for computational proteomics  [Go to |User/Pevzner_Pavel]
* Algorithms and software tools for de novo antibiotics sequencing [Go to |User/Pevzner_Pavel]
* Algorithms and software tools for de novo antibody sequencing   [Go to |User/Pevzner_Pavel]
* Algorithms and software tools for genome assembly  [Go to |User/Pevzner_Pavel]
* Algorithms and tools for the design and verification of reactive and distributed systems [Go to |User/Esparza_Javier]
* ALGORITHMS, COMPLEXITY, MATHEMATICAL SCIENCES POPULARIZATION [Go to |User/Fellows_Michael]
* Algorithms for approximately counting and randomly sampling combinatorial structures [Go to |User/Goldberg_Leslie_Ann]
* Algorithms for Electronic Design Automation [Go to |User/Cortadella_Jordi]
* Algorithms for graph drawing [Go to |User/Wagner_Dorothea_Maria_Anna]
* Algorithms for network analysis [Go to |User/Wagner_Dorothea_Maria_Anna]
* Algorithms for NP-hard problems [Go to |User/Hirsch_Edward_A.]
* Algorithms for route planning [Go to |User/Wagner_Dorothea_Maria_Anna]
* Algorithms for uncovering molecular mechanisms of disease from systems-level “omics” data [Go to |User/Przulj_Natasa]
* Algorithms [Go to |User/Edelsbrunner_Herbert]
* Algorithms [Go to |User/Matiyasevich_Yuri]
* Algorithms [Go to |User/Srinivasan_Aravind]
* ALGORITHMS [Go to |User/Wagner_Dorothea_Maria_Anna]
* Algorithms [Go to |User/Wagner_Dorothea_Maria_Anna]
* Alternative splicing [Go to |User/Gelfand_Mikhail]
* Analysis and synthesis of asynchronous circuits [Go to |User/Esparza_Javier]
* Analysis of algorithms [Go to |User/Paterson_Michael]
* Analysis of audio- and video signals [Go to |User/Brandenburg_Karlheinz]
* Analysis of geometric structures [Go to |User/Welzl_Emo]
* Analysis of historical manuscripts [Go to |User/Dershowitz_Nachum]
* Analysis of Markov-chain based sampling algorithms [Go to |User/Goldberg_Leslie_Ann]
* Analysis of non-stationary signals [Go to |User/Stankovic_Ljubisa]
* Analysis of probabilistic systems [Go to |User/Esparza_Javier]
* Analysis of protein-protein interaction networks [Go to |User/Tiuryn_Jerzy]
* Application of rigorous methods to software production [Go to |User/Inverardi_Paola]
* Applications of discrete mathematics in science (mathematical chemistry and bioinformatics)  [Go to |User/Pisanski_Tomaž]
* Applications of equational logic in computer science [Go to |User/Aceto_Luca]
* Applications of linear and constraint programming to verification problems [Go to |User/Esparza_Javier]
* Applications of logic in algebra and other fields of mathematics  [Go to |User/Shelah_Saharon]
* Applications of logic in computer science [Go to |User/Shelah_Saharon]
* 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 |User/Benthem_Johan]
* Applications of ML and DM in Environmental Sciences [Go to |User/Dzeroski_Saso]
* Applications of ML and DM in Life Sciences [Go to |User/Dzeroski_Saso]
* Applications of model checking to ubiquitous computing [Go to |User/Kwiatkowska_Marta]
* Applications optimization [Go to |User/Tirado_Francisco]
* Application to databases [Go to |User/Papadimitriou_Christos]
* Applied cryptography [Go to |User/Tsudik_Gene]
* Applied mathematics and statistics [Go to |User/Li_Xuelong]
* Applied mathematics [Go to |User/Leopold-Wildburger_Ulrike]
* Applied statistics and mathematics  [Go to |User/Tao_Dacheng]
* Approximation algorithms [Go to |User/Ausiello_Giorgio]
* Approximation algorithms [Go to |User/Iwama_Kazuo]
* Approximation algorithms [Go to |User/Karpinski_Marek_M.]
* Approximation of NP-hard optimization problems [Go to |User/Hastad_Johan]
* Architecture/compiler co-design [Go to |User/Teich_Jürgen]
* Artificial and Computational Intelligence, notably multivalued and fuzzy logic [Go to |User/Kacprzyk_Janusz]
* Artificial intelligence, artificial life [Go to |User/Wiedermann_Jiri]
* ARTIFICIAL INTELLIGENCE [Go to |User/Bratko_Ivan]
* Artificial intelligence [Go to |User/Dorigo_Marco]
* Artificial intelligence [Go to |User/Eiter_Thomas]
* Artificial Intelligence [Go to |User/Giunchiglia_Fausto]
* Artificial Intelligence [Go to |User/Gottlob_Georg]
* Artificial intelligence [Go to |User/Jennings_Nicholas]
* Artificial intelligence [Go to |User/Lenzerini_Maurizio]
* Artificial intelligence [Go to |User/Li_Wei]
* Artificial intelligence [Go to |User/Mylopoulos_John]
* Artificial intelligence [Go to |User/Nebel_Bernhard]
* Artificial intelligence [Go to |User/Nejdl_Wolfgang]
* Artificial intelligence [Go to |User/Sandewall_Erik]
* Artificial intelligence [Go to |User/Torras_Carme]
* Artificial intelligence [Go to |User/Wooldridge_Michael]
* Artificial Intelligence [Go to |User/Zhou_Zhi-Hua]
* Artificial Intelligence, in particular the symbolic representation of knowledge and its use for inference [Go to |User/van_Harmelen_Frank]
* ARTIFICIAL INTELLIGENCE, INTELLIGENT SYSTEMS [Go to |User/Oliver_Nuria]
* Artificial intelligence (logical theory of robot problem solving) [Go to |User/Havel_Ivan]
* Artificial intelligence methods to model human behavior from data [Go to |User/Oliver_Nuria]
* Aspects of number theory [Go to |User/Paule_Peter]
* Assistive technologies [Go to |User/Stephanidis_Constantine]
* Asynchronous circuits [Go to |User/Cortadella_Jordi]
* Asynchronous digital systems [Go to |User/Furber_Stephen]
* Auction algorithms [Go to |User/Iwama_Kazuo]
* Audio processing and voice conversion [Go to |User/Gabbouj_Moncef]
* Augmented reality [Go to |User/Schmalstieg_Dieter]
* Authentication and secret sharing [Go to |User/Salomaa_Arto]
* Authentication - security evaluation and design  [Go to |User/Mihaljevic_Miodrag]
* Automata and formal languages [Go to |User/Rytter_Wojciech]
* Automata and language theory (descriptional complexity, regulated rewriting, Marcus contextual grammars, grammar systems) [Go to |User/Paun_Gheorghe]
* Automata models for concurrency [Go to |User/Droste_Manfred]
* Automata on infinite objects [Go to |User/Grumberg_Orna]
* Automata over infinite words and trees [Go to |User/Thomas_Wolfgang]
* Automata theory [Go to |User/Baader_Franz]
* AUTOMATA THEORY [Go to |User/Baier_Christel]
* Automata theory [Go to |User/Baier_Christel]
* Automata theory [Go to |User/Harel_David]
* Automata theory [Go to |User/Karhumäki_Juhani]
* Automata Theory [Go to |User/Kuich_Werner]
* Automata theory [Go to |User/Kupferman_Orna]
* Automata theory [Go to |User/Libkin_Leonid]
* Automata theory [Go to |User/Schwentick_Thomas]
* Automata theory [Go to |User/Scott_Dana]
* Automata theory [Go to |User/Wolper_Pierre]
* Automated deduction [Go to |User/Baader_Franz]
* Automated deduction [Go to |User/Wang_Dongming]
* Automated planning [Go to |User/Nebel_Bernhard]
* Automated reasoning [Go to |User/Dershowitz_Nachum]
* Automated reasoning [Go to |User/Horrocks_Ian]
* Automated reasoning  [Go to |User/Sattler_Ulrike]
* Automated verification and proof checking [Go to |User/Bezem_Marc]
* Automated verification [Go to |User/Kwiatkowska_Marta]
* Automated verification of hardware and software systems [Go to |User/Grumberg_Orna]
* Automatic documentation tools [Go to |User/Hermenegildo_Manuel]
* Automatic hypertext/Web-site generation [Go to |User/Hermenegildo_Manuel]
* Automatic synthesis of connectors for heterogeneous systems. [Go to |User/Inverardi_Paola]
* Automatic verification [Go to |User/Vianu_Victor]
* Automatic verification of finite-state systems [Go to |User/Halbwachs_Nicolas]
* Autonomic computing [Go to |User/Hinchey_Michael]
* Autonomic computing [Go to |User/Paton_Norman]
* Autonomous mobile robotics [Go to |User/Wotawa_Franz]
* Autonomous systems [Go to |User/Hinchey_Michael]
* Autonomous Systems [Go to |User/Jennings_Nicholas]
* Average-case analysis of several online problems [Go to |User/Iwama_Kazuo]
* Axiomatic semantics [Go to |User/Hoare_Charles]
* Axiomatic set theory [Go to |User/Shelah_Saharon]
__B__

* Bayesian networks [Go to |User/Larrañaga_Pedro]
* Big data analysis [Go to |User/Fu_Xiaoming]
* Big data analysis [Go to |User/Zhu_Wenwu]
* Big Data analytics [Go to |User/Gabbouj_Moncef]
* Big Data for Social Good [Go to |User/Oliver_Nuria]
* Big data [Go to |User/Fan_Wenfei]
* Big data [Go to |User/Li_Wei]
* Big data management  [Go to |User/Guo_Yike]
* Bioinformatics and biosensors [Go to |User/Benini_Luca]
* Bioinformatics and computational biology [Go to |User/Tiuryn_Jerzy]
* Bioinformatics applications [Go to |User/Larrañaga_Pedro]
* Bioinformatics & Data Analysis [Go to |User/Tirado_Francisco]
* Bioinformatics  [Go to |User/Guo_Yike]
* Bioinformatics [Go to |User/Mutlu_Onur]
* Bioinformatics [Go to |User/Obradovic_Zoran]
* Bioinformatics [Go to |User/Pérez-Jiménez_Mario]
* Bio-inspired computing [Go to |User/Gelenbe_Erol]
* Bio-inspired optimization methods [Go to |User/Thiele_Lothar]
* Biological data management [Go to |User/Paton_Norman]
* Biological sequence analysis [Go to |User/Vingron_Martin]
* Biomedical signal and image processing [Go to |User/Gabbouj_Moncef]
* Biomedical signal processing [Go to |User/Adeli_Hojjat]
* B Method for software engineering [Go to |User/Abrial_Jean-Raymond]
* Boolean functions [Go to |User/Salomaa_Arto]
* Boolean Satisfiability [Go to |User/Iwama_Kazuo]
* Bridging membrane computing and process calculi [Go to |User/Ciobanu_Gabriel]
* Business process management [Go to |User/Leymann_Frank]
* Business process management [Go to |User/van_der_Aalst_Wil]
__C__

* Calendar algorithms [Go to |User/Dershowitz_Nachum]
* Category theory [Go to |User/Scott_Dana]
* Category theory [Go to |User/Winskel_Glynn]
* Certified software [Go to |User/Coquand_Thierry]
* Church-Turing thesis [Go to |User/Dershowitz_Nachum]
* Circuit Complexity [Go to |User/Iwama_Kazuo]
* Circuit complexity [Go to |User/Razborov_Alexander]
* Circuits and VLSI [Go to |User/Mencer_Oskar]
* Circuit specification and synthesis [Go to |User/Berry_Gérard]
* Civil engineering [Go to |User/Adeli_Hojjat]
* Cloud computing [Go to |User/Dustdar_Schahram]
* Cloud computing [Go to |User/Fu_Xiaoming]
* Cloud computing [Go to |User/Guo_Yike]
* CLOUD COMPUTING [Go to |User/Leymann_Frank]
* Cloud computing [Go to |User/Leymann_Frank]
* Cluster analysis [Go to |User/Mirkin_Boris]
* Clustering and Data Mining  [Go to |User/Mladenovic_Nenad]
* Cognition  and  Foundations of mathematical knowledge [Go to |User/Longo_Giuseppe]
* Cognitive computer vision [Go to |User/Smeulders_Arnold]
* Cognitive computing [Go to |User/Li_Xuelong]
* Cognitive science (consciousness, phenomenology, human experience)  [Go to |User/Havel_Ivan]
* Cognitive user modeling and conceptualization [Go to |User/Balke_Wolf-Tilo]
* Coherent logic [Go to |User/Bezem_Marc]
* Collective intelligence and urban computing [Go to |User/Zambonelli_Franco]
* Combination of specification methods for processes, time and data [Go to |User/Olderog_Ernst-Rüdiger]
* Combinatorial algorithms and their application [Go to |User/Golumbic_Martin_Charles]
* Combinatorial algorithms [Go to |User/Henzinger_Monika]
* Combinatorial and Global Optimization [Go to |User/Mladenovic_Nenad]
* Combinatorial group theory [Go to |User/Imrich_Wilfried]
* Combinatorial models for optimization [Go to |User/Welzl_Emo]
* Combinatorial optimization and its applications [Go to |User/Gutin_Gregory]
* Combinatorial optimization [Go to |User/Ausiello_Giorgio]
* Combinatorial optimization [Go to |User/Karpinski_Marek_M.]
* Combinatorial optimization [Go to |User/Srinivasan_Aravind]
* Combinatorial optimization [Go to |User/Woeginger_Gerhard]
* Combinatorial optimization [Go to |User/Yannakakis_Mihalis]
* Combinatorial theory [Go to |User/Zinoviev_Viktor_Aleksandrovich]
* Combinatorics and special functions [Go to |User/Paule_Peter]
* Combinatorics [Go to |User/Pin_Jean-Eric]
* Combinatorics of words [Go to |User/Karhumäki_Juhani]
* Combinatorics on Words [Go to |User/Kuich_Werner]
* Combinatorics on words [Go to |User/Perrin_Dominique]
* Combinatorics on words [Go to |User/Salomaa_Arto]
* Combinatorics with graph theory [Go to |User/Pisanski_Tomaž]
* Communicating systems [Go to |User/Klop_Jan]
* Communication complexity [Go to |User/Razborov_Alexander]
* Communication protocols [Go to |User/Ajmone_Marsan_Marco]
* Communication software [Go to |User/Sandewall_Erik]
* Comparative genomics [Go to |User/Gelfand_Mikhail]
* Compilers for programming languages [Go to |User/Wilhelm_Reinhard]
* Compiler theory [Go to |User/Ghezzi_Carlo]
* Complex information search and analysis [Go to |User/Ioannidis_Yannis]
* Complexity of algorithms [Go to |User/Imrich_Wilfried]
* Complexity of counting [Go to |User/Goldberg_Leslie_Ann]
* Complexity of data structures and algorithms [Go to |User/Wiedermann_Jiri]
* Complexity theory  and phase transition of problems  [Go to |User/Díaz_Josep]
* Complexity theory [Go to |User/Abiteboul_Serge]
* Complexity theory [Go to |User/Hastad_Johan]
* Complexity theory [Go to |User/Razborov_Alexander]
* Complex system [Go to |User/Obradovic_Zoran]
* Component-based design, modeling, and analysis of real-time systems with focus on correct-by-construction techniques [Go to |User/Sifakis_Joseph]
* Component based Software Engineering (CBSE) [Go to |User/Mei_Hong]
* Compositional model checking [Go to |User/Grumberg_Orna]
* Computability [Go to |User/Bergstra_Jan]
* Computability (levels of undecidability) [Go to |User/Harel_David]
* Computability theories, especially for continuous/analogue data [Go to |User/Tucker_John]
* Computability theory [Go to |User/Matiyasevich_Yuri]
* Computational biology [Go to |User/Lengauer_Thomas]
* COMPUTATIONAL COMPLEXITY [Go to |User/Goldberg_Leslie_Ann]
* Computational complexity [Go to |User/Goldberg_Leslie_Ann]
* Computational complexity [Go to |User/Hirsch_Edward_A.]
* Computational complexity [Go to |User/Ibarra_Oscar]
* Computational complexity [Go to |User/Karpinski_Marek_M.]
* Computational complexity [Go to |User/Kolaitis_Phokion]
* Computational complexity [Go to |User/Schwentick_Thomas]
* Computational complexity [Go to |User/van_Leeuwen_Jan]
* Computational complexity [Go to |User/Vereshchagin_Nikolay_Konstantinovich]
* Computational complexity [Go to |User/Vitanyi_Paul]
* Computational complexity [Go to |User/Wiedermann_Jiri]
* Computational complexity [Go to |User/Woeginger_Gerhard]
* Computational complexity of verification problems [Go to |User/Aceto_Luca]
* Computational complexity theory [Go to |User/Cai_Jin-Yi]
* Computational complexity theory [Go to |User/Maass_Wolfgang]
* Computational complexity theory [Go to |User/Pérez-Jiménez_Mario]
* Computational-complexity theory [Go to |User/Vardi_Moshe]
* Computational foundations of physics [Go to |User/Tucker_John]
* Computational geometry and applications [Go to |User/Welzl_Emo]
* Computational geometry and object modeling  [Go to |User/Fellner_Dieter]
* COMPUTATIONAL GEOMETRY [Go to |User/Edelsbrunner_Herbert]
* Computational geometry [Go to |User/Edelsbrunner_Herbert]
* Computational geometry [Go to |User/Gotsman_Craig]
* Computational geometry [Go to |User/Mehlhorn_Kurt]
* Computational geometry [Go to |User/Wagner_Dorothea_Maria_Anna]
* Computational graph theory, algorithms, models [Go to |User/Przulj_Natasa]
* Computational intelligence [Go to |User/Adeli_Hojjat]
* Computational Intelligence [Go to |User/Chen_Philip]
* COMPUTATIONAL INTELLIGENCE [Go to |User/Kacprzyk_Janusz]
* Computational intelligence [Go to |User/Obradovic_Zoran]
* COMPUTATIONAL INTELLIGENCE, SYSTEMS AND CYBERNETICS [Go to |User/Chen_Philip]
* COMPUTATIONAL LOGIC [Go to |User/Dershowitz_Nachum]
* Computational logic [Go to |User/Eiter_Thomas]
* Computational Logic [Go to |User/Gottlob_Georg]
* Computational logic [Go to |User/Horrocks_Ian]
* Computational logic [Go to |User/Vianu_Victor]
* Computational machine learning [Go to |User/Vitanyi_Paul]
* Computational modelling for systems biology and population biology [Go to |User/Pérez-Jiménez_Mario]
* Computational models of group decision making, social choice and voting, and consensus reaching [Go to |User/Kacprzyk_Janusz]
* Computational molecular biology [Go to |User/Vingron_Martin]
* Computational neuroscience  [Go to |User/Adeli_Hojjat]
* COMPUTATIONAL NEUROSCIENCE [Go to |User/Maass_Wolfgang]
* Computational neuroscience [Go to |User/Maass_Wolfgang]
* Computational Scientific Discovery [Go to |User/Dzeroski_Saso]
* Computational Social Sciences  [Go to |User/Oliver_Nuria]
* Computational topology [Go to |User/Edelsbrunner_Herbert]
* Computation complexity [Go to |User/Sattler_Ulrike]
* Computation [Go to |User/Bergstra_Jan]
* COMPUTER-AIDED DESIGN [Go to |User/Becker_Bernd]
* Computer-aided design [Go to |User/Selberherr_Siegfried]
* Computer-aided design, test and verification of (digital) circuits and systems (VLSI CAD) [Go to |User/Becker_Bernd]
* Computer-aided geometric design [Go to |User/Brunet_Pere]
* Computer aided (geometric) design [Go to |User/Kobbelt_Leif]
* Computer-aided verification [Go to |User/Henzinger_Thomas]
* Computer algebra [Go to |User/Paule_Peter]
* Computer algebra [Go to |User/Wang_Dongming]
* Computer algebra: polynomial algorithms,theory of Groebner Bases, automated geometrical theorem proving [Go to |User/Buchberger_Bruno]
* Computer and network security [Go to |User/Tsudik_Gene]
* Computer animation [Go to |User/Cani_Marie-Paule]
* Computer architecture [Go to |User/De_Micheli_Giovanni]
* Computer architecture [Go to |User/Katevenis_Manolis_G.H.]
* COMPUTER ARCHITECTURE [Go to |User/Mutlu_Onur]
* Computer architecture [Go to |User/Mutlu_Onur]
* Computer architecture [Go to |User/Paul_Wolfgang]
* Computer architecture [Go to |User/Valero_Mateo]
* Computer arithmetic [Go to |User/Cortadella_Jordi]
* COMPUTER COMMUNICATION [Go to |User/Maguire_Jr._Gerald_Quentin]
* Computer communication networks [Go to |User/Ajmone_Marsan_Marco]
* COMPUTER ENGINEERING [Go to |User/Furber_Stephen]
* Computer engineering [Go to |User/Furber_Stephen]
* Computer engineering [Go to |User/Thiele_Lothar]
* COMPUTER ENGINEERING, INFORMATION SYSTEMS [Go to |User/Panetto_Hervé]
* COMPUTER GRAPHICS [Go to |User/Brunet_Pere]
* Computer graphics [Go to |User/Cani_Marie-Paule]
* Computer graphics  [Go to |User/Fellner_Dieter]
* Computer graphics [Go to |User/Gotsman_Craig]
* Computer graphics [Go to |User/Kobbelt_Leif]
* Computer graphics [Go to |User/Schmalstieg_Dieter]
* Computer graphics [Go to |User/Seidel_Hans-Peter]
* Computer memory systems [Go to |User/Mutlu_Onur]
* Computer network design and performance [Go to |User/Gelenbe_Erol]
* COMPUTER NETWORKING [Go to |User/Feldmann_Anja]
* COMPUTER NETWORKS [Go to |User/Ajmone_Marsan_Marco]
* Computer networks [Go to |User/Druschel_Peter]
* Computer privacy [Go to |User/Brassard_Gilles]
* Computer reliability and security [Go to |User/Mutlu_Onur]
* COMPUTER SCIENCE & ALGEBRA [Go to |User/Droste_Manfred]
* Computer Science and Artificial Intelligence [Go to |User/Dzeroski_Saso]
* Computer science education [Go to |User/Meyer_Bertrand]
* Computer science [Go to |User/Bratko_Ivan]
* Computer science [Go to |User/Eiter_Thomas]
* Computer science [Go to |User/Fiadeiro_José]
* Computer science [Go to |User/Lengauer_Thomas]
* Computer science [Go to |User/Nielsen_Mogens]
* Computer science [Go to |User/Sangiorgi_Davide]
* Computer science [Go to |User/Tarlecki_Andrzej]
* Computer science [Go to |User/Wooldridge_Michael]
* COMPUTER SCIENCE, NEUROSCIENCE, NEUROLOGY, STRUCTURAL ENGINEERING, CIVIL ENGINEERING [Go to |User/Adeli_Hojjat]
* Computer security [Go to |User/Reps_Thomas_W.]
* Computer Security [Go to |User/Roscoe_Andrew]
* Computer security, in particular access control and security policies [Go to |User/Gurevich_Yuri]
* Computer simulation [Go to |User/Hillston_Jane]
* Computer simulation [Go to |User/Selberherr_Siegfried]
* COMPUTER SOFTWARE AND THEORY [Go to |User/Li_Wei]
* COMPUTER SOFTWARE [Go to |User/Mei_Hong]
* Computer-supported collaborative learning [Go to |User/Dillenbourg_Pierre]
* Computer supported cooperative work [Go to |User/Rozenberg_Grzegorz]
* Computer system performance evaluation [Go to |User/Gelenbe_Erol]
* Computer systems and networks: Design and applications of network protocols, security in computer networks, telematics problems and services [Go to |User/Spirakis_Paul]
* COMPUTER SYSTEMS [Go to |User/Bal_Henri]
* Computer systems measurement and modeling [Go to |User/Mutlu_Onur]
* Computer Vision  [Go to |User/Bischof_Horst]
* Computer vision [Go to |User/Kobbelt_Leif]
* Computer vision [Go to |User/Smeulders_Arnold]
* Computer vision [Go to |User/Tao_Dacheng]
* COMPUTING [Go to |User/Abramsky_Samson]
* COMPUTING & MATHEMATICS [Go to |User/Barendregt_Hendrik]
* COMPUTING, MATHEMATICS [Go to |User/Salomaa_Arto]
* Concurrency [Go to |User/Abramsky_Samson]
* Concurrency [Go to |User/Raynal_Michel]
* CONCURRENCY THEORY [Go to |User/Aceto_Luca]
* Concurrency theory [Go to |User/Aceto_Luca]
* Concurrency theory [Go to |User/Castagna_Giuseppe]
* Concurrency theory [Go to |User/Henzinger_Thomas]
* Concurrency theory [Go to |User/Hermanns_Holger]
* Concurrency theory [Go to |User/Katoen_Joost-Pieter]
* Concurrency theory  [Go to |User/Larsen_Kim_Guldstrand]
* Concurrency theory [Go to |User/Mazurkiewicz_Antoni]
* Concurrency theory [Go to |User/Sassone_Vladimiro]
* Concurrent algorithms [Go to |User/Mazurkiewicz_Antoni]
* Concurrent and parallel programming [Go to |User/Meyer_Bertrand]
* Concurrent computation [Go to |User/Winskel_Glynn]
* Concurrent object  [Go to |User/Raynal_Michel]
* Concurrent programming languages [Go to |User/Li_Wei]
* Conformance checking [Go to |User/van_der_Aalst_Wil]
* Connections with semigroup theory [Go to |User/Pin_Jean-Eric]
* Constraint-Based Data Mining [Go to |User/Dzeroski_Saso]
* Constraint/logic/functional programming theory and implementation [Go to |User/Hermenegildo_Manuel]
* Constraint programming [Go to |User/Bezem_Marc]
* Constraint programming [Go to |User/Montanari_Ugo]
* Constraint Satisfaction [Go to |User/Gottlob_Georg]
* Constraint satisfaction [Go to |User/Gutin_Gregory]
* Constraint scheduling [Go to |User/Golumbic_Martin_Charles]
* Constraint theory and applications  [Go to |User/Fan_Wenfei]
* Constructive mathematics [Go to |User/Coquand_Thierry]
* Coordination languages and models [Go to |User/Fiadeiro_José]
* Coordination models [Go to |User/Montanari_Ugo]
* Counting and approximation the solution of problems [Go to |User/Díaz_Josep]
* Crowd-sourcing [Go to |User/Milo_Tova]
* Cryptanalysis and design of cryptographic algorithms and protocols [Go to |User/Preneel_Bart]
* Cryptograhpy [Go to |User/Hastad_Johan]
* Cryptography [Go to |User/Domingo-Ferrer_Josep]
* Cryptography [Go to |User/Salomaa_Arto]
* CRYPTOGRAPHY [Go to |User/Shamir_Adi]
* Cryptography [Go to |User/Shamir_Adi]
* CRYPTOLOGY AND INFORMATION SECURITY [Go to |User/Mihaljevic_Miodrag]
* Cryptology (cryptography and cryptanalysis) [Go to |User/Mihaljevic_Miodrag]
* Cryptology [Go to |User/Preneel_Bart]
* CRYPTOLOGY  INFORMATION SECURITY [Go to |User/Preneel_Bart]
* Cultural heritage [Go to |User/Fellner_Dieter]
* Cybersecurity [Go to |User/Jennings_Nicholas]
__D__

* Data analysis [Go to |User/Aleskerov_Fuad]
* Data analysis  [Go to |User/Guo_Yike]
* Data analysis [Go to |User/Mirkin_Boris]
* Data Analytics and Science [Go to |User/Chen_Philip]
* Data analytics, knowledge discovery and data mining [Go to |User/Ioannidis_Yannis]
* Data analytics, modeling, fusion, dynamics, applied to clinical, molecular and biological data [Go to |User/Przulj_Natasa]
* DATA AND INFORMATION MANAGEMENT [Go to |User/Lehner_Wolfgang]
* Data and signal analysis [Go to |User/Oja_Erkki]
* Data anonymisation [Go to |User/Domingo-Ferrer_Josep]
* Database management [Go to |User/Milo_Tova]
* Database management [Go to |User/Paton_Norman]
* Database performance optimization (automatic tuning) and self-organization (autonomic computing) [Go to |User/Weikum_Gerhard]
* Database programming languages [Go to |User/Buneman_Peter]
* Database query optimization [Go to |User/Ioannidis_Yannis]
* DATABASES AND INFORMATION SYSTEMS [Go to |User/Balke_Wolf-Tilo]
* Databases [Go to |User/Buneman_Peter]
* Databases [Go to |User/Mylopoulos_John]
* Databases [Go to |User/Yannakakis_Mihalis]
* DATABASES, INFORMATION MANAGEMENT [Go to |User/Milo_Tova]
* Database systems and theory [Go to |User/Vianu_Victor]
* Database systems  [Go to |User/Fan_Wenfei]
* Database systems [Go to |User/Vardi_Moshe]
* Database technology for openData platforms - integration and consumption [Go to |User/Lehner_Wolfgang]
* Database theory  [Go to |User/Fan_Wenfei]
* Database theory [Go to |User/Gottlob_Georg]
* Database theory [Go to |User/Lenzerini_Maurizio]
* Database theory [Go to |User/Libkin_Leonid]
* Database theory [Go to |User/Schwentick_Thomas]
* DATABASE THEORY [Go to |User/Vianu_Victor]
* Database theory (query languages and their power) [Go to |User/Harel_David]
* Data-centered business processes [Go to |User/Milo_Tova]
* Data communications [Go to |User/Maguire_Jr._Gerald_Quentin]
* Data integration [Go to |User/Milo_Tova]
* Data integration [Go to |User/Paton_Norman]
* DATA MANAGEMENT [Go to |User/Abiteboul_Serge]
* Data management [Go to |User/Libkin_Leonid]
* Data mining and knowledge discovery, notably for decision support systems [Go to |User/Kacprzyk_Janusz]
* Data mining  [Go to |User/Guo_Yike]
* Data mining [Go to |User/Milutinovic_Veljko]
* Data mining [Go to |User/Obradovic_Zoran]
* Data mining [Go to |User/Tao_Dacheng]
* Data mining [Go to |User/van_der_Aalst_Wil]
* Data Mining [Go to |User/Zhou_Zhi-Hua]
* Data modeling [Go to |User/Lenzerini_Maurizio]
* Data network [Go to |User/Li_Xuelong]
* DATA NETWORKS [Go to |User/Azcorra_Saloña_Arturo]
* Data privacy [Go to |User/Domingo-Ferrer_Josep]
* Data processing in joint time and frequency domain [Go to |User/Stankovic_Ljubisa]
* Data provenance [Go to |User/Buneman_Peter]
* Data quality [Go to |User/Fan_Wenfei]
* DATA SCIENCE [Go to |User/Guo_Yike]
* Data science  [Go to |User/Guo_Yike]
* Data science [Go to |User/van_der_Aalst_Wil]
* Data security [Go to |User/Domingo-Ferrer_Josep]
* Data structures [Go to |User/Edelsbrunner_Herbert]
* Data structures [Go to |User/Henzinger_Monika]
* Data structures [Go to |User/Mehlhorn_Kurt]
* Data structures [Go to |User/Mirkin_Boris]
* Data warehousing [Go to |User/Jensen_Christian_Søndergaard]
* DB & IR integration (database systems & information retrieval) [Go to |User/Weikum_Gerhard]
* Decidability and undecidability questions [Go to |User/Karhumäki_Juhani]
* Decidability problems [Go to |User/Matiyasevich_Yuri]
* Decidable theories [Go to |User/Vereshchagin_Nikolay_Konstantinovich]
* Decision Sciences [Go to |User/Chen_Philip]
* Decision support in medicine, technology, economics and environmental studie [Go to |User/Słowiński_Roman]
* Decision theory [Go to |User/Aleskerov_Fuad]
* DECISION THEORY, OPERATIONS RESEARCH, MATHEMATICS OF CONFLICT, SOCIAL CHOICE THEORY [Go to |User/Aleskerov_Fuad]
* Decoding of linear binary block codes  [Go to |User/Mihaljevic_Miodrag]
* Decomposition of correctness proofs for hybrid systems in traffic applications [Go to |User/Olderog_Ernst-Rüdiger]
* Deep learning [Go to |User/Tao_Dacheng]
* DEPENDABILITY [Go to |User/Hermanns_Holger]
* dependability  [Go to |User/Raynal_Michel]
* Dependable, reliable, and secure computing [Go to |User/Hermanns_Holger]
* Descriptional complexity of grammars and languages [Go to |User/Gruska_Jozef]
* Description logic [Go to |User/Sattler_Ulrike]
* Description logics [Go to |User/Baader_Franz]
* Description logics [Go to |User/Horrocks_Ian]
* Design and analysis of algorithms [Go to |User/Goldberg_Leslie_Ann]
* Design and analysis of algorithms [Go to |User/Ibarra_Oscar]
* Design and analysis of computer algorithms [Go to |User/Rytter_Wojciech]
* Design and evaluation of interactive multimodal user interfaces [Go to |User/André_Elisabeth]
* Design and Verification of safety-critical embedded systems  [Go to |User/Halbwachs_Nicolas]
* Design of efficient algorithms [Go to |User/Karpinski_Marek_M.]
* Design of system-on-chip platforms for embedded applications [Go to |User/Benini_Luca]
* Design space exploration and multi-objective optimization [Go to |User/Teich_Jürgen]
* Design specification and verification [Go to |User/Vardi_Moshe]
* Development and analysis of efficient data structures and algorithms in VLSI CAD [Go to |User/Becker_Bernd]
* Development methods for complex industrial-scale software systems [Go to |User/Broy_Manfred]
* Development methods for real-time systems [Go to |User/Olderog_Ernst-Rüdiger]
* Development of algorithms [Go to |User/Vingron_Martin]
* Development of critical embedded systems, mobility and context-awareness [Go to |User/Broy_Manfred]
* Development of intelligent interactive systems: smart rooms, cars, clothes, offices and mobile phones. [Go to |User/Oliver_Nuria]
* Development of secure and efficient software and hardware implementations [Go to |User/Preneel_Bart]
* Digital/electronic privacy [Go to |User/Tsudik_Gene]
* Digital geometry processing [Go to |User/Seidel_Hans-Peter]
* Digital humanities [Go to |User/Leymann_Frank]
* Digital libraries and content syndication [Go to |User/Balke_Wolf-Tilo]
* Digital libraries and repositories [Go to |User/Ioannidis_Yannis]
* Digital libraries [Go to |User/Fellner_Dieter]
* Digital libraries [Go to |User/Maurer_Hermann]
* Digital media formats and standards [Go to |User/Brandenburg_Karlheinz]
* Diophantine equations [Go to |User/Matiyasevich_Yuri]
* Discrete and computational mathematics  [Go to |User/Pisanski_Tomaž]
* Discrete applied mathematics [Go to |User/Eiter_Thomas]
* Discrete applied mathematics [Go to |User/Golumbic_Martin_Charles]
* Discrete geometry [Go to |User/Welzl_Emo]
* Discrete mathematics [Go to |User/Paterson_Michael]
* Discrete mathematics [Go to |User/Razborov_Alexander]
* Discretization of space, time and value [Go to |User/Mencer_Oskar]
* Distributed algorithms and systems [Go to |User/Mattern_Friedemann]
* Distributed algorithms [Go to |User/Mazurkiewicz_Antoni]
* Distributed algorithms  [Go to |User/Raynal_Michel]
* distributed computability [Go to |User/Raynal_Michel]
* Distributed computing [Go to |User/Hoare_Charles]
* Distributed computing [Go to |User/Kramer_Jeffrey]
* Distributed computing [Go to |User/Vitanyi_Paul]
* Distributed computing [Go to |User/Zambonelli_Franco]
* distributed computing systems  [Go to |User/Raynal_Michel]
* Distributed information systems [Go to |User/Weikum_Gerhard]
* Distributed model checking [Go to |User/Grumberg_Orna]
* Distributed query and dataflow processing [Go to |User/Ioannidis_Yannis]
* Distributed systems design, queuing theory [Go to |User/Spirakis_Paul]
* Distributed systems [Go to |User/Druschel_Peter]
* Distributed systems [Go to |User/Dustdar_Schahram]
* DISTRIBUTED SYSTEMS [Go to |User/Kermarrec_Anne-Marie]
* Distributed systems [Go to |User/Zwaenepoel_Willy]
* DISTRIBUTED SYSTEMS, INTERNET COMPUTING [Go to |User/Dustdar_Schahram]
* Distributed Systems Models (Process Calculi): semantics, behavioural equivalences, logics, verification [Go to |User/Ciobanu_Gabriel]
* Domain decomposition [Go to |User/Bjørstad_Petter]
* Domain theory  [Go to |User/Abramsky_Samson]
* Domain theory [Go to |User/Droste_Manfred]
* Dynamic  adaptation of  mobile applications  [Go to |User/Inverardi_Paola]
* Dynamic software product lines [Go to |User/Hinchey_Michael]
__E__

* E-Commerce [Go to |User/Srinivasan_Aravind]
* Efficient computer communication protocols [Go to |User/Frieder_Ophir]
* e-Learning [Go to |User/Maurer_Hermann]
* Electrical and computer engineering [Go to |User/Stenström_Per]
* Electrical engineering [Go to |User/De_Micheli_Giovanni]
* Electronic commerce [Go to |User/Abiteboul_Serge]
* Electronic Design Automation (EDA) [Go to |User/Nicolau_Alexandru]
* Electronic system level (ESL) design [Go to |User/Teich_Jürgen]
* Elliptic PDE [Go to |User/Bjørstad_Petter]
* Embedded Software [Go to |User/Henzinger_Thomas]
* EMBEDDED SYSTEM DESIGN [Go to |User/Teich_Jürgen]
* Embedded system design [Go to |User/Teich_Jürgen]
* Embedded systems [Go to |User/Larsen_Kim_Guldstrand]
* Embedded systems [Go to |User/Nicolau_Alexandru]
* Embedded systems [Go to |User/Thiele_Lothar]
* Embedded systems [Go to |User/Wang_Yi]
* Embodied cognition [Go to |User/Wiedermann_Jiri]
* Energy-efficient networking [Go to |User/Ajmone_Marsan_Marco]
* Energy informatics [Go to |User/Hermanns_Holger]
* Engineering Adaptive Software, with focus on adaptive security and privacy [Go to |User/Nuseibeh_Bashar]
* Enhanced learning [Go to |User/Nejdl_Wolfgang]
* Ensemble Learning [Go to |User/Dzeroski_Saso]
* Enterprise computing systems [Go to |User/Finkelstein_Anthony]
* Epidemic-based algorithm [Go to |User/Kermarrec_Anne-Marie]
* Error correcting codes [Go to |User/Ekert_Artur]
* e-Science  [Go to |User/Guo_Yike]
* eScience [Go to |User/Leymann_Frank]
* Estimation of distribution algorithms [Go to |User/Larrañaga_Pedro]
* Evolutionary computation [Go to |User/Larrañaga_Pedro]
* Evolutionary optimization [Go to |User/Gabbouj_Moncef]
* Evolutionary reconstructions in Genomics [Go to |User/Mirkin_Boris]
* Evolution of metabolic pathways and regulatory systems [Go to |User/Gelfand_Mikhail]
* Execution visualization [Go to |User/Hermenegildo_Manuel]
* Experimental learning environments with animated characters [Go to |User/André_Elisabeth]
* Exponential sums over finite fields [Go to |User/Zinoviev_Viktor_Aleksandrovich]
* (extensions to) AADL, stochastic Petri nets, process algebras. [Go to |User/Katoen_Joost-Pieter]
* Extremal combinatorics [Go to |User/Razborov_Alexander]
__F__

* Fault tolerance  [Go to |User/Mutlu_Onur]
* Fault tolerant quantum computing [Go to |User/Kempe_Julia]
* Feature subset selection [Go to |User/Larrañaga_Pedro]
* Finite Combinatorics [Go to |User/Shelah_Saharon]
* Finite model theory [Go to |User/Libkin_Leonid]
* Flexible database queries reflecting imprecise, bipolar, etc. user preferences and intentions [Go to |User/Kacprzyk_Janusz]
* Formal approaches to systems biology [Go to |User/Hillston_Jane]
* Formal language and automata theory  [Go to |User/Rozenberg_Grzegorz]
* Formal languages and automata [Go to |User/Maurer_Hermann]
* Formal languages and automata [Go to |User/Salomaa_Arto]
* Formal Languages [Go to |User/Kuich_Werner]
* Formal measures of quality: algorithms for quality checking, and automated synthesis of high-quality reactive systems [Go to |User/Kupferman_Orna]
* Formal methods for specification, verification, and design of reactive systems [Go to |User/Olderog_Ernst-Rüdiger]
* Formal methods for synthesis and verification [Go to |User/Cortadella_Jordi]
* Formal methods [Go to |User/Hinchey_Michael]
* Formal methods [Go to |User/Paulin-Mohring_Christine]
* Formal methods [Go to |User/Roscoe_Andrew]
* Formal methods [Go to |User/Sassone_Vladimiro]
* Formal methods in software engineering [Go to |User/Fiadeiro_José]
* Formal models for distributed systems: Petri nets and process algebras [Go to |User/Esparza_Javier]
* Formal Power Series [Go to |User/Kuich_Werner]
* Formal semantics [Go to |User/Katoen_Joost-Pieter]
* Formal topology [Go to |User/Coquand_Thierry]
* Formal verification and synthesis of reactive systems [Go to |User/Kupferman_Orna]
* Formal verification [Go to |User/Ibarra_Oscar]
* Formal verification of hardware and software [Go to |User/Berry_Gérard]
* Formal verification of processors and microkernels [Go to |User/Paul_Wolfgang]
* Foundational issues of algorithmic game theory [Go to |User/Spirakis_Paul]
* Foundation and perception of informatics [Go to |User/Gruska_Jozef]
* Foundation of distributed computation [Go to |User/Sassone_Vladimiro]
* Foundations of computer science [Go to |User/Welzl_Emo]
* Foundations of concurrent processes [Go to |User/Mazurkiewicz_Antoni]
* Foundations of Mathematics and Computer Science: Finitely Supported Mathematics [Go to |User/Ciobanu_Gabriel]
* Foundations of object-oriented languages [Go to |User/Dezani-Ciancaglini_Mariangiola]
* Foundations of quantum mechanics [Go to |User/Brassard_Gilles]
* FOUNDATIONS OF QUANTUM PHYSICS [Go to |User/Zeilinger_Anton]
* FPT [Go to |User/Fellows_Michael]
* Free viewpoint rendering [Go to |User/Seidel_Hans-Peter]
* Functional genomics [Go to |User/Vingron_Martin]
* Fundamental investigations concerning (quantum) information [Go to |User/Zeilinger_Anton]
* Fundamental investigations in quantum physics, theory, experiments and paradoxes [Go to |User/Zeilinger_Anton]
* Fundamental principles that underlie the design and the construction of distributed systems [Go to |User/Raynal_Michel]
__G__

* Game-based approach to automatic verification and synthesis [Go to |User/Kupferman_Orna]
* Game theory and mechanism design [Go to |User/Apt_Krzysztof]
* Game theory [Go to |User/Aleskerov_Fuad]
* Game theory [Go to |User/Díaz_Josep]
* Game theory [Go to |User/Papadimitriou_Christos]
* Gaudi software factory  [Go to |User/Back_Ralph-Johan]
* Generalized models of automata (over trees, pictures, relational structures) [Go to |User/Thomas_Wolfgang]
* General logic, in particular, model theory and modal logic (correspondence theory, temporal logic, dynamic logic, epistemic logic) [Go to |User/Benthem_Johan]
* General purpose graphics processing units [Go to |User/Mutlu_Onur]
* Genome sequence analysis [Go to |User/Mutlu_Onur]
* Geoinformatics [Go to |User/Tao_Dacheng]
* Geometric modeling [Go to |User/Cani_Marie-Paule]
* Geometric modeling [Go to |User/Edelsbrunner_Herbert]
* Geometric models of very large systems and assemblies [Go to |User/Brunet_Pere]
* Geometric reasoning [Go to |User/Wang_Dongming]
* Geometry processing [Go to |User/Brunet_Pere]
* Geometry processing [Go to |User/Gotsman_Craig]
* Geometry processing [Go to |User/Kobbelt_Leif]
* Global program analysis/optimization/verification [Go to |User/Hermenegildo_Manuel]
* Gossip-based networking [Go to |User/Kermarrec_Anne-Marie]
* Grammars and rewriting systems [Go to |User/Salomaa_Arto]
* Graph algorithms [Go to |User/Ausiello_Giorgio]
* Graph algorithms [Go to |User/Imrich_Wilfried]
* Graph algorithms [Go to |User/Mehlhorn_Kurt]
* Graph algorithms [Go to |User/Wagner_Dorothea_Maria_Anna]
* Graphics systems [Go to |User/Fellner_Dieter]
* Graph rewriting systems [Go to |User/Montanari_Ugo]
* Graphs and networks [Go to |User/Aleskerov_Fuad]
* Graph structure   [Go to |User/Imrich_Wilfried]
* Graph-theoretic problem decomposition methods that can be used for recognizing large classes of tractable instances of hard problems [Go to |User/Gottlob_Georg]
* Graph theory and algorithms [Go to |User/Gutin_Gregory]
* Group theory [Go to |User/Droste_Manfred]
__H__

* Hardware Design Automation [Go to |User/Tirado_Francisco]
* Hardware design [Go to |User/Paul_Wolfgang]
* Hardware-software co-design  [Go to |User/Nicolau_Alexandru]
* Hardware/software co-design [Go to |User/Teich_Jürgen]
* Hardware/software interaction [Go to |User/Mutlu_Onur]
* Healthcare informatics [Go to |User/Obradovic_Zoran]
* Heterogeneous Computing [Go to |User/Tirado_Francisco]
* Heuristic algorithms [Go to |User/Hirsch_Edward_A.]
* High-order tensor data analytics [Go to |User/Li_Xuelong]
* High performance computers [Go to |User/Valero_Mateo]
* High performance computing [Go to |User/Bjørstad_Petter]
* High performance computing [Go to |User/Selberherr_Siegfried]
* High Performance Computing (HPC) [Go to |User/Nicolau_Alexandru]
* High-performance distributed applications in areas like search algorithms , multimedia, eScience, semantic web and model checking [Go to |User/Bal_Henri]
* High quality audio coding [Go to |User/Brandenburg_Karlheinz]
* History and prospects of informatics [Go to |User/Wiedermann_Jiri]
* History of computing, especially programming theory [Go to |User/Tucker_John]
* History of mathematical sciences [Go to |User/Pisanski_Tomaž]
* History of mathematics, especially practical calculation [Go to |User/Tucker_John]
* History of science, especially regional histories of science [Go to |User/Tucker_John]
* Homotopy type theory [Go to |User/Bezem_Marc]
* Human-computer interaction [Go to |User/Dillenbourg_Pierre]
* Human-computer interaction [Go to |User/Schmalstieg_Dieter]
* Human computer interaction [Go to |User/Stephanidis_Constantine]
* Human motivation [Go to |User/Blikle_Andrzej]
* Hw Accelerators [Go to |User/Tirado_Francisco]
* Hypermedia [Go to |User/Hall_Wendy]
* Hypermedia systems and personalization technology [Go to |User/Nejdl_Wolfgang]
__I__

* Identification of regulatory signals [Go to |User/Gelfand_Mikhail]
* 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 |User/Jacobs_Bart]
* Image and video processing [Go to |User/Tekalp_Ahmet]
* Image and video search [Go to |User/Smeulders_Arnold]
* Image processing and analysis [Go to |User/Gabbouj_Moncef]
* Image processing [Go to |User/Oja_Erkki]
* Image processing [Go to |User/Tao_Dacheng]
* Image synthesis and image based rendering [Go to |User/Seidel_Hans-Peter]
* Imaging [Go to |User/Mencer_Oskar]
* Implementation of algorithms [Go to |User/Mehlhorn_Kurt]
* Incidence geometry (combinatorial and geometric configurations, maps and polytopes)  [Go to |User/Pisanski_Tomaž]
* Incremental software construction  [Go to |User/Back_Ralph-Johan]
* Indexing [Go to |User/Jensen_Christian_Søndergaard]
* Inductive Logic Programming [Go to |User/Dzeroski_Saso]
* Industrial applications [Go to |User/Sandewall_Erik]
* Industrial mathematics [Go to |User/Mladenovic_Nenad]
* Industry4.0 applications [Go to |User/Larrañaga_Pedro]
* Infinitary rewriting [Go to |User/Klop_Jan]
* Infinite automata and applications in the verification of infinite systems [Go to |User/Thomas_Wolfgang]
* Infinite words [Go to |User/Klop_Jan]
* Informatics and simulation [Go to |User/Leopold-Wildburger_Ulrike]
* INFORMATICS, DISCRETE MATHEMATICS [Go to |User/Imrich_Wilfried]
* INFORMATICS [Go to |User/Abrial_Jean-Raymond]
* Informatics [Go to |User/Bjørner_Dines]
* Informatics [Go to |User/Murtagh_Fionn]
* INFORMATICS, OPERATIONS RESEARCH [Go to |User/Słowiński_Roman]
* Information agents [Go to |User/Kraus_Sarit]
* Information-centric networking [Go to |User/Fu_Xiaoming]
* Information extraction and knowledge harvesting [Go to |User/Weikum_Gerhard]
* Information extraction, sentiment extraction [Go to |User/Ioannidis_Yannis]
* Information security  [Go to |User/Mihaljevic_Miodrag]
* Information security [Go to |User/Preneel_Bart]
* Information systems and databases [Go to |User/Nejdl_Wolfgang]
* Information systems modelling [Go to |User/Panetto_Hervé]
* INFORMATION TECHNOLOGY [Go to |User/Gabbouj_Moncef]
* Information theory [Go to |User/Vitanyi_Paul]
* Infrastructure engineering [Go to |User/Adeli_Hojjat]
* Initiator of membrane computing (details at [http://ppage.psystems.eu]) [Go to |User/Paun_Gheorghe]
* Integrated systems [Go to |User/De_Micheli_Giovanni]
* Intelligent inlormation systems [Go to |User/Sandewall_Erik]
* Intelligent systems [Go to |User/Kraus_Sarit]
* Interaction [Go to |User/Cani_Marie-Paule]
* Interaction in Ambient Intelligence environments [Go to |User/Stephanidis_Constantine]
* Interaction in pervasive environments [Go to |User/André_Elisabeth]
* Interaction techniques for augmented realities [Go to |User/André_Elisabeth]
* Interactive geometric modeling [Go to |User/Kobbelt_Leif]
* Interactive theorem proving [Go to |User/Paulin-Mohring_Christine]
* Interconnection network architecture [Go to |User/Katevenis_Manolis_G.H.]
* Interface between the life sciences and the physical sciences [Go to |User/Hall_Wendy]
* Interfaces computability, physics and biology [Go to |User/Longo_Giuseppe]
* Internet of Things [Go to |User/Fu_Xiaoming]
* Internet of Things [Go to |User/Mattern_Friedemann]
* Internet security and privacy [Go to |User/Tsudik_Gene]
* Internet technologies and blockchain [Go to |User/Mencer_Oskar]
* Internet technologies [Go to |User/Dustdar_Schahram]
* Internetworking [Go to |User/Maguire_Jr._Gerald_Quentin]
* Interoperability assessment [Go to |User/Panetto_Hervé]
* Intersection and tolerance graphs [Go to |User/Golumbic_Martin_Charles]
* Intersection types [Go to |User/Dezani-Ciancaglini_Mariangiola]
* Invariant based programming  [Go to |User/Back_Ralph-Johan]
__K__

* Kernelization [Go to |User/Fellows_Michael]
* Key management - broadcast encryption security evaluation and design  [Go to |User/Mihaljevic_Miodrag]
* Knowledge discovery [Go to |User/Wang_Dongming]
* Knowledge engineering [Go to |User/Li_Wei]
* Knowledge management [Go to |User/Blikle_Andrzej]
* Knowledge management, representation and organization [Go to |User/Giunchiglia_Fausto]
* Knowledge representation and reasoning [Go to |User/Eiter_Thomas]
* Knowledge Representation and Reasoning [Go to |User/Gottlob_Georg]
* Knowledge representation and reasoning [Go to |User/Lenzerini_Maurizio]
* Knowledge representation and reasoning [Go to |User/Nebel_Bernhard]
* Knowledge representation [Go to |User/Baader_Franz]
* Knowledge representation [Go to |User/Horrocks_Ian]
* Knowledge representation [Go to |User/Sandewall_Erik]
* KNOWLEDGE REPRESENTATION [Go to |User/Sattler_Ulrike]
* Knowledge representation  [Go to |User/Sattler_Ulrike]
* Knowledge representation [Go to |User/Wooldridge_Michael]
* Kolmogorov complexity [Go to |User/Vereshchagin_Nikolay_Konstantinovich]
* Kolmogorov complexity [Go to |User/Vitanyi_Paul]
__L__

* Lambda calculus and term rewriting [Go to |User/Bezem_Marc]
* Lambda calculus  [Go to |User/Abramsky_Samson]
* Lambda calculus [Go to |User/Dezani-Ciancaglini_Mariangiola]
* Large distributed systems [Go to |User/Leymann_Frank]
* Large-scale economic data analysis, fusion and modeling the dynamics of economic systems [Go to |User/Przulj_Natasa]
* Large-scale system modelling   [Go to |User/Finkelstein_Anthony]
* Layouts and morphisms on graphs [Go to |User/Díaz_Josep]
* Learning and clustering [Go to |User/Kraus_Sarit]
* Learning theory [Go to |User/Maass_Wolfgang]
* Linguistic summaries of big data sets and applications in computer systems, business and finance, etc. [Go to |User/Kacprzyk_Janusz]
* Local computations [Go to |User/Mazurkiewicz_Antoni]
* Locating and fixing application performance bottlenecks [Go to |User/Feldmann_Anja]
* Location theory - Operational research field where variables represent facility locations [Go to |User/Mladenovic_Nenad]
* Logical aspects of computer science [Go to |User/Apt_Krzysztof]
* Logical semantics [Go to |User/Dezani-Ciancaglini_Mariangiola]
* Logic an computer science [Go to |User/Boerger_Egon]
* Logic and automata theory [Go to |User/Esparza_Javier]
* Logic and complexity [Go to |User/Schwentick_Thomas]
* Logic and decision procedures [Go to |User/Wolper_Pierre]
* Logic and finite model theory [Go to |User/Abiteboul_Serge]
* Logic and verification [Go to |User/Winskel_Glynn]
* LOGIC [Go to |User/Bezem_Marc]
* Logic [Go to |User/Paulin-Mohring_Christine]
* Logic [Go to |User/Pin_Jean-Eric]
* Logic [Go to |User/Sattler_Ulrike]
* Logic in computer science [Go to |User/Aceto_Luca]
* Logic in computer science [Go to |User/Baader_Franz]
* LOGIC IN COMPUTER SCIENCE [Go to |User/Kolaitis_Phokion]
* Logic in computer science [Go to |User/Kolaitis_Phokion]
* Logic in Computer Science [Go to |User/Kuich_Werner]
* Logic in computer science [Go to |User/Libkin_Leonid]
* Logic in computer science [Go to |User/Schwentick_Thomas]
* Logic of computation [Go to |User/Abramsky_Samson]
* Logic programming [Go to |User/Bezem_Marc]
* Logics and type theory [Go to |User/Sassone_Vladimiro]
* Logics, formal methods [Go to |User/Giunchiglia_Fausto]
* Logics for specification and verification [Go to |User/Fiadeiro_José]
* Logics of programs (dynamic logic) [Go to |User/Harel_David]
* Logic synthesis [Go to |User/Cortadella_Jordi]
* Logistics of data processing [Go to |User/Mencer_Oskar]
* Lower bounds [Go to |User/Iwama_Kazuo]
* Low-power system design [Go to |User/Furber_Stephen]
__M__

* Machine-code analysis [Go to |User/Reps_Thomas_W.]
* Machine dynamics [Go to |User/Imrich_Wilfried]
* Machine learning [Go to |User/Adeli_Hojjat]
* Machine Learning [Go to |User/Bischof_Horst]
* Machine learning [Go to |User/Bratko_Ivan]
* Machine Learning [Go to |User/Chen_Philip]
* MACHINE LEARNING [Go to |User/Dzeroski_Saso]
* Machine learning [Go to |User/Gabbouj_Moncef]
* Machine learning  [Go to |User/Guo_Yike]
* Machine learning [Go to |User/Larrañaga_Pedro]
* Machine learning [Go to |User/Maass_Wolfgang]
* Machine learning [Go to |User/Obradovic_Zoran]
* Machine learning  [Go to |User/Oja_Erkki]
* Machine learning [Go to |User/Tao_Dacheng]
* Machine Learning [Go to |User/Zhou_Zhi-Hua]
* Machine Learning (ML) and Data Mining (DM) [Go to |User/Dzeroski_Saso]
* Main-memory database technology for analytical and transactional workloads [Go to |User/Lehner_Wolfgang]
* Management of large projects for industry [Go to |User/Milutinovic_Veljko]
* Many-valued logic [Go to |User/Salomaa_Arto]
* Marketing and management [Go to |User/Mencer_Oskar]
* Markov regime models [Go to |User/Lindgren_Georg]
* Massively parallel computing [Go to |User/Teich_Jürgen]
* Mathematical economics [Go to |User/Leopold-Wildburger_Ulrike]
* Mathematical education: logic-based mathematics education, in particular for computer scientists [Go to |User/Buchberger_Bruno]
* Mathematical foundations of computer science [Go to |User/Blikle_Andrzej]
* Mathematical foundations of cryptography [Go to |User/Hirsch_Edward_A.]
* Mathematical logic and complexity theory [Go to |User/Gurevich_Yuri]
* Mathematical logic  and  its applications to computer science [Go to |User/Longo_Giuseppe]
* Mathematical logic [Go to |User/Bezem_Marc]
* Mathematical logic [Go to |User/Krajicek_Jan]
* Mathematical logic [Go to |User/Li_Wei]
* Mathematical modelling in decision making [Go to |User/Mirkin_Boris]
* Mathematical Programming  [Go to |User/Mladenovic_Nenad]
* Mathematical sciences communication [Go to |User/Fellows_Michael]
* Mathematical structures useful in computer science, in particular theory of 2-structures  [Go to |User/Rozenberg_Grzegorz]
* Mathematical tools for software engineering [Go to |User/Blikle_Andrzej]
* Mathematics and artificial intelligence [Go to |User/Golumbic_Martin_Charles]
* MATHEMATICS & COMPUTER SCIENCE [Go to |User/Bjørstad_Petter]
* MATHEMATICS, COMPUTER SCIENCE [Go to |User/Matiyasevich_Yuri]
* Mathematics [Go to |User/Lengauer_Thomas]
* Mathematics of conflict [Go to |User/Aleskerov_Fuad]
* MATHEMATICS, PHILOSOPHY, COMPUTING [Go to |User/Benthem_Johan]
* Matrix Theory [Go to |User/Kuich_Werner]
* MEDIA TECHNOLOGY [Go to |User/Brandenburg_Karlheinz]
* Medical image processing [Go to |User/Maguire_Jr._Gerald_Quentin]
* Medical knowledge representation, in particular the formalisation of medical guidelines and medical trials [Go to |User/van_Harmelen_Frank]
* Membrane computing [Go to |User/Ibarra_Oscar]
* Membrane Computing (Natural Computing) [Go to |User/Ciobanu_Gabriel]
* Metabolic reconstruction and functional annotation of genes and proteins [Go to |User/Gelfand_Mikhail]
* Metagenomics [Go to |User/Gelfand_Mikhail]
* Methodology and techniques of decision support, based on a junction of operations research and computational intelligence [Go to |User/Słowiński_Roman]
* MICROELECTRONICS [Go to |User/Selberherr_Siegfried]
* Microelectronics [Go to |User/Selberherr_Siegfried]
* Microprocessor architecture [Go to |User/Milutinovic_Veljko]
* Middleware [Go to |User/Leymann_Frank]
* Middleware [Go to |User/Mei_Hong]
* Minima philosophica [Go to |User/Longo_Giuseppe]
* Mining Data Streams [Go to |User/Dzeroski_Saso]
* Mobile computing and communication [Go to |User/Maguire_Jr._Gerald_Quentin]
* Mobile computing [Go to |User/Fu_Xiaoming]
* Mobile computing [Go to |User/Schmalstieg_Dieter]
* Mobile data management [Go to |User/Jensen_Christian_Søndergaard]
* (Mobile) social networks [Go to |User/Fu_Xiaoming]
* Modal and temporal logics [Go to |User/Aceto_Luca]
* Modal logic [Go to |User/Sattler_Ulrike]
* Modal logic [Go to |User/Scott_Dana]
* Model-based and qualitative reasoning [Go to |User/Wotawa_Franz]
* Model based testing [Go to |User/Gurevich_Yuri]
* Model checking  [Go to |User/Grumberg_Orna]
* Model checking [Go to |User/Henzinger_Thomas]
* Model checking [Go to |User/Katoen_Joost-Pieter]
* Model-checking [Go to |User/Kupferman_Orna]
* Model checking [Go to |User/Larsen_Kim_Guldstrand]
* Model checking [Go to |User/Reps_Thomas_W.]
* Model checking of probabilistic models, counterexample generation, abstraction, stochastic hybrid systems, timed automata [Go to |User/Katoen_Joost-Pieter]
* MODEL CHECKING, SEMANTICS, PROBABILISTIC SYSTEMS [Go to |User/Katoen_Joost-Pieter]
* Model-driven development [Go to |User/Ghezzi_Carlo]
* Modeling and specification formalisms [Go to |User/Baier_Christel]
* Modeling and verification [Go to |User/Wang_Yi]
* Modeling computations in the living cell [Go to |User/Back_Ralph-Johan]
* Modeling [Go to |User/Larsen_Kim_Guldstrand]
* Modeling hybrid systems  [Go to |User/Back_Ralph-Johan]
* Modeling of uncertainty and imprecision in decision problems: rough set theory, fuzzy set theory [Go to |User/Słowiński_Roman]
* Modelling and analysis of biological processes [Go to |User/Kwiatkowska_Marta]
* Models and languages for open distributed systems [Go to |User/Montanari_Ugo]
* Models of biological systems [Go to |User/Dezani-Ciancaglini_Mariangiola]
* Models of computation [Go to |User/Salomaa_Arto]
* Models of computation: lambda-calculus, sequentiality models, synchronous concurrency models [Go to |User/Berry_Gérard]
* Models of sequential and parallel computational systems [Go to |User/Wiedermann_Jiri]
* Model theory of mathematical logic [Go to |User/Shelah_Saharon]
* Molecular and clinical data integration for precision medicine: patient stratification, biomarker discovery, drug re-purposing, disease re-classification [Go to |User/Przulj_Natasa]
* Molecular computing [Go to |User/Ibarra_Oscar]
* Molecular networks: interactome evolution, dynamics, alignment, function prediction [Go to |User/Przulj_Natasa]
* Molecular programming [Go to |User/Cardelli_Luca]
* Motion Analysis [Go to |User/Bischof_Horst]
* MRMC (probabilistic model checker), libalf (learning communicating finite-state automata), COMPASS (AADL analysis tool-set) [Go to |User/Katoen_Joost-Pieter]
* Multi-access Edge Computing [Go to |User/Azcorra_Saloña_Arturo]
* Multiagent systems and agent-oriented software engineering [Go to |User/Zambonelli_Franco]
* Multi-agent systems [Go to |User/Jennings_Nicholas]
* Multi-agent systems [Go to |User/Vardi_Moshe]
* Multi-agent systems [Go to |User/Wooldridge_Michael]
* Multi-core systems [Go to |User/Mutlu_Onur]
* Multicriterial choice and decision making [Go to |User/Aleskerov_Fuad]
* Multi-label classification [Go to |User/Larrañaga_Pedro]
* Multimedia audio-visual database analysis [Go to |User/Gabbouj_Moncef]
* Multimedia communication and networking [Go to |User/Zhu_Wenwu]
* Multimedia computing [Go to |User/Zhu_Wenwu]
* MULTIMEDIA, DATA SCIENCE [Go to |User/Zhu_Wenwu]
* Multimedia [Go to |User/Hall_Wendy]
* Multimedia [Go to |User/Tao_Dacheng]
* Multimedia indexing and retrieval [Go to |User/Gabbouj_Moncef]
* Multimedia information analysis [Go to |User/Smeulders_Arnold]
* Multimedia Security [Go to |User/Chen_Philip]
* Multimodal analysis (physiological data, gaze, speech, gestures) [Go to |User/André_Elisabeth]
* Multi modal computing and interaction [Go to |User/Seidel_Hans-Peter]
* Multi-modal information systems [Go to |User/Frieder_Ophir]
* Multiobjective optimization: evolutionary and interactive procedures [Go to |User/Słowiński_Roman]
* Multiple criteria decision aiding, ordinal data mining, preference learning, knowledge discovery from big data  [Go to |User/Słowiński_Roman]
* Multiresolution  [Go to |User/Brunet_Pere]
* Multiresolution modeling [Go to |User/Kobbelt_Leif]
* Multiscale dataflow processing [Go to |User/Mencer_Oskar]
* Multistage optimal fuzzy control, notably using dynamic programming [Go to |User/Kacprzyk_Janusz]
* Multivariate algorithmics [Go to |User/Fellows_Michael]
* Multi view video processing [Go to |User/Seidel_Hans-Peter]
__N__

* Natural computation [Go to |User/Mehlhorn_Kurt]
* Natural computing (DNA Computing and Membrane Computing) [Go to |User/Pérez-Jiménez_Mario]
* Natural computing (DNA computing, membrane computing) [Go to |User/Paun_Gheorghe]
* Natural computing, including molecular computing, computation in living cells, self-assembly, and theory of biochemical reactions  [Go to |User/Rozenberg_Grzegorz]
* Natural language processing [Go to |User/Dershowitz_Nachum]
* Negotiation and cooperation in mixed open environments (including humans) [Go to |User/Kraus_Sarit]
* Network aware programming [Go to |User/Montanari_Ugo]
* Network design [Go to |User/Karpinski_Marek_M.]
* Networked multimedia systems [Go to |User/Maurer_Hermann]
* Networked systems, applications, and services [Go to |User/Fu_Xiaoming]
* Network Function Virtualization [Go to |User/Azcorra_Saloña_Arturo]
* Networking [Go to |User/Srinivasan_Aravind]
* Network measurements and traffic characterization [Go to |User/Feldmann_Anja]
* Network performance debugging [Go to |User/Feldmann_Anja]
* Network science [Go to |User/Srinivasan_Aravind]
* Networks [Go to |User/Kraus_Sarit]
* Networks-on-chip [Go to |User/Furber_Stephen]
* Neural Networks and Fuzzy Systems Algorithms and Control [Go to |User/Chen_Philip]
* Neural networks [Go to |User/Tao_Dacheng]
* Neural systems engineering [Go to |User/Furber_Stephen]
* Neurocomputing [Go to |User/Adeli_Hojjat]
* Neurocomputing [Go to |User/Wiedermann_Jiri]
* Neurology  [Go to |User/Adeli_Hojjat]
* Neuronal networks and machine learning [Go to |User/Gelenbe_Erol]
* Neuroscience applications [Go to |User/Larrañaga_Pedro]
* Non-classical logics [Go to |User/Kraus_Sarit]
* Nonlinear signal processing  [Go to |User/Gabbouj_Moncef]
* Non—monotonic and temporal reasoning [Go to |User/Sandewall_Erik]
* Non-standard computing [Go to |User/Wiedermann_Jiri]
* Numerical Algorithms [Go to |User/Mladenovic_Nenad]
* Numerical analysis [Go to |User/Bjørstad_Petter]
* Numerical linear algebra [Go to |User/Bjørstad_Petter]
* Numerical methods and simulations [Go to |User/Mencer_Oskar]
__O__

* Object-oriented programming [Go to |User/Cardelli_Luca]
* Object-oriented programming, object technology [Go to |User/Meyer_Bertrand]
* Observing and surveillance [Go to |User/Li_Xuelong]
* On line algorithms [Go to |User/Ausiello_Giorgio]
* Online knapsack problems [Go to |User/Iwama_Kazuo]
* Online randomized k-server problems [Go to |User/Iwama_Kazuo]
* Ontology engineering [Go to |User/Horrocks_Ian]
* Ontology languages [Go to |User/Horrocks_Ian]
* Ontology languages [Go to |User/Lenzerini_Maurizio]
* Ontology languages [Go to |User/Sattler_Ulrike]
* Operating system [Go to |User/Mei_Hong]
* Operating systems [Go to |User/Druschel_Peter]
* Operating systems [Go to |User/Zwaenepoel_Willy]
* Operational Research [Go to |User/Mladenovic_Nenad]
* Operations research [Go to |User/Aleskerov_Fuad]
* Operations research [Go to |User/Leopold-Wildburger_Ulrike]
* Operations research [Go to |User/Woeginger_Gerhard]
* Optical imagery analysis and learning [Go to |User/Li_Xuelong]
* OPTICAL IMAGERY [Go to |User/Li_Xuelong]
* Optical imaging [Go to |User/Li_Xuelong]
* Optimization [Go to |User/Papadimitriou_Christos]
* Optimization of complex systems [Go to |User/Kraus_Sarit]
* Ordered structures [Go to |User/Droste_Manfred]
* Originator of the Z notation [Go to |User/Abrial_Jean-Raymond]
* Overcoming the Internet impasse via software defined networking and cloud networks [Go to |User/Feldmann_Anja]
__P__

* P2P systems [Go to |User/Kermarrec_Anne-Marie]
* Packet switch architecture [Go to |User/Katevenis_Manolis_G.H.]
* Parallel algorithms and models [Go to |User/Díaz_Josep]
* Parallel algorithms [Go to |User/Mehlhorn_Kurt]
* Parallel algorithms [Go to |User/Rytter_Wojciech]
* Parallel and distributed algorithms [Go to |User/Iwama_Kazuo]
* Parallel and distributed systems [Go to |User/Bal_Henri]
* Parallel computing [Go to |User/Bjørstad_Petter]
* Parallel computing [Go to |User/Ibarra_Oscar]
* Parallelizing compilers [Go to |User/Hermenegildo_Manuel]
* Parallelizing compilers [Go to |User/Nicolau_Alexandru]
* Parameterized complexity [Go to |User/Fellows_Michael]
* Particular probabilistic systems [Go to |User/Baier_Christel]
* Pattern languages [Go to |User/Leymann_Frank]
* Pattern Recognition [Go to |User/Bischof_Horst]
* Pattern recognition [Go to |User/Oja_Erkki]
* Pattern recognition [Go to |User/Tao_Dacheng]
* Peer-to-peer infrastructures [Go to |User/Nejdl_Wolfgang]
* Peer-to-peer networks and distributed retrieval [Go to |User/Balke_Wolf-Tilo]
* Perceptual measurement techniques  [Go to |User/Brandenburg_Karlheinz]
* Perfect graphs [Go to |User/Golumbic_Martin_Charles]
* Performance analysis [Go to |User/Larsen_Kim_Guldstrand]
* Performance analysis of computer systems [Go to |User/Spirakis_Paul]
* Performance and algorithms for databases [Go to |User/Spirakis_Paul]
* Performance evaluation [Go to |User/Ajmone_Marsan_Marco]
* Performance modelling [Go to |User/Hillston_Jane]
* Personalization [Go to |User/Kraus_Sarit]
* Pervasive computing systems [Go to |User/Zambonelli_Franco]
* Petri nets [Go to |User/Ajmone_Marsan_Marco]
* Petri nets [Go to |User/van_der_Aalst_Wil]
* Philosophy and history of mathematics and computer science [Go to |User/Calude_Cristian]
* Philosophy of computing [Go to |User/van_Leeuwen_Jan]
* Physical foundations of computation [Go to |User/Tucker_John]
* Point-based graphics [Go to |User/Kobbelt_Leif]
* Polygon mesh generation & optimization [Go to |User/Kobbelt_Leif]
* Polynomial, parameterized, approximation and exponential algorithms  [Go to |User/Gutin_Gregory]
* Power Aware Computing [Go to |User/Tirado_Francisco]
* Predicting Structured Outputs [Go to |User/Dzeroski_Saso]
* Principles of database systems [Go to |User/Kolaitis_Phokion]
* Principles of programming languages [Go to |User/Cardelli_Luca]
* Probabilistic methods [Go to |User/Srinivasan_Aravind]
* (Probabilistic) model checking [Go to |User/Baier_Christel]
* Probabilistic model checking [Go to |User/Kwiatkowska_Marta]
* Probabilistic models of dynamic behaviour [Go to |User/Hillston_Jane]
* Probabilistic program analysis,  pointer-manipulating programs (using graph grammars), parallel programming. [Go to |User/Katoen_Joost-Pieter]
* Probabilistic verification [Go to |User/Hillston_Jane]
* Probability models in chemistry and physics [Go to |User/Gelenbe_Erol]
* Probability models in computer science and operations research [Go to |User/Gelenbe_Erol]
* Process algebra  [Go to |User/Aceto_Luca]
* Process algebra [Go to |User/Bezem_Marc]
* Process algebra [Go to |User/Klop_Jan]
* Process Algebras and their applications [Go to |User/Hillston_Jane]
* Process algebra, true concurrency semantics (event structures and message sequence charts), probabilistic process calculi [Go to |User/Katoen_Joost-Pieter]
* Process description languages [Go to |User/Montanari_Ugo]
* Process discovery [Go to |User/van_der_Aalst_Wil]
* Process management [Go to |User/Blikle_Andrzej]
* Process mining [Go to |User/van_der_Aalst_Wil]
* Processor Architecture  [Go to |User/Tirado_Francisco]
* Process science [Go to |User/van_der_Aalst_Wil]
* Professional life time management [Go to |User/Milutinovic_Veljko]
* Program analysis and testing [Go to |User/Mei_Hong]
* Program analysis [Go to |User/Abramsky_Samson]
* Program analysis [Go to |User/Esparza_Javier]
* Program analysis [Go to |User/Katoen_Joost-Pieter]
* Program correctness [Go to |User/Blikle_Andrzej]
* Programming environments for clusters, grids, clouds, heterogeneous and mobile systems [Go to |User/Bal_Henri]
* Programming environments [Go to |User/Reps_Thomas_W.]
* Programming environments [Go to |User/Sandewall_Erik]
* Programming language design and implementation [Go to |User/Berry_Gérard]
* Programming languages for concurrent systems [Go to |User/Sangiorgi_Davide]
* Programming languages for distributed systems [Go to |User/Sangiorgi_Davide]
* Programming languages [Go to |User/Castagna_Giuseppe]
* Programming languages  [Go to |User/Ghezzi_Carlo]
* PROGRAMMING LANGUAGES [Go to |User/Jones_Neil]
* Programming languages [Go to |User/Meyer_Bertrand]
* Programming languages [Go to |User/Reps_Thomas_W.]
* Programming methodology [Go to |User/Bjørner_Dines]
* Program repair [Go to |User/Wotawa_Franz]
* Program slicing [Go to |User/Reps_Thomas_W.]
* Program verification and semantics [Go to |User/Apt_Krzysztof]
* Program verification [Go to |User/Dershowitz_Nachum]
* Program verification [Go to |User/Paulin-Mohring_Christine]
* Project scheduling, including multiple category resources, multiple job modes, multiple criteria and uncertainty. [Go to |User/Słowiński_Roman]
* Proof and computational complexity theory [Go to |User/Krajicek_Jan]
* Proof complexity [Go to |User/Iwama_Kazuo]
* Proof complexity  [Go to |User/Razborov_Alexander]
* Proof theory and recursion theory [Go to |User/Bezem_Marc]
* Proof theory [Go to |User/Coquand_Thierry]
* Propositional proof complexity [Go to |User/Hirsch_Edward_A.]
* Psychoacoustics [Go to |User/Brandenburg_Karlheinz]
* Public health [Go to |User/Srinivasan_Aravind]
__Q__

* Quantitative analysis [Go to |User/Baier_Christel]
* Quantum and classical cryptography [Go to |User/Brassard_Gilles]
* Quantum automata [Go to |User/Iwama_Kazuo]
* Quantum circuits [Go to |User/Iwama_Kazuo]
* Quantum communication complexity [Go to |User/Brassard_Gilles]
* Quantum communication complexity [Go to |User/Iwama_Kazuo]
* Quantum complexity theory [Go to |User/Jozsa_Richard]
* Quantum computation, communication, teleportation and cryptography [Go to |User/Zeilinger_Anton]
* QUANTUM COMPUTATION [Go to |User/Jozsa_Richard]
* Quantum computation [Go to |User/Karpinski_Marek_M.]
* Quantum computations [Go to |User/Razborov_Alexander]
* Quantum computing [Go to |User/Brassard_Gilles]
* Quantum computing [Go to |User/Ekert_Artur]
* Quantum computing [Go to |User/Jozsa_Richard]
* QUANTUM COMPUTING [Go to |User/Kempe_Julia]
* Quantum cryptography [Go to |User/Ekert_Artur]
* Quantum entanglement and non-locality as new computation and communication resource [Go to |User/Brassard_Gilles]
* Quantum information processing, quantum automata, entanglement and cryptography [Go to |User/Gruska_Jozef]
* Quantum information processing resources ( entanglement, non-locality) [Go to |User/Zeilinger_Anton]
* Quantum Information Science [Go to |User/Brassard_Gilles]
* Quantum information theory [Go to |User/Jozsa_Richard]
* Quantum network coding [Go to |User/Iwama_Kazuo]
* Quantum optics, neutron interferometry, neutron, atom and molecule optics, mesoscopic physics [Go to |User/Zeilinger_Anton]
* QUANTUM PHYSICS [Go to |User/Ekert_Artur]
* Quantum physics [Go to |User/Ekert_Artur]
* Quantum query complexity [Go to |User/Iwama_Kazuo]
* Quantum randomness and quantum computing [Go to |User/Calude_Cristian]
* Quantum random walks [Go to |User/Kempe_Julia]
* Quantum teleportation [Go to |User/Brassard_Gilles]
* Query languages and data models [Go to |User/Buneman_Peter]
* Query languages [Go to |User/Gottlob_Georg]
* Query processing [Go to |User/Jensen_Christian_Søndergaard]
* Query processing in databases and information systems [Go to |User/Balke_Wolf-Tilo]
__R__

* Radar signal processing [Go to |User/Stankovic_Ljubisa]
* Randomized algorithms [Go to |User/Karpinski_Marek_M.]
* Randomized methods [Go to |User/Welzl_Emo]
* Randomized techniques in algorithmic and combinatorics [Go to |User/Díaz_Josep]
* Reaction systems [Go to |User/Salomaa_Arto]
* Reactive, Real-Time, Synchronous programming [Go to |User/Halbwachs_Nicolas]
* Real-time scheduling [Go to |User/Wang_Yi]
* Real-time systems [Go to |User/Henzinger_Thomas]
* Real-time systems [Go to |User/Larsen_Kim_Guldstrand]
* Real-time systems [Go to |User/Wang_Yi]
* Recommender systems [Go to |User/Kermarrec_Anne-Marie]
* Reconfigurable and adaptive computing systems [Go to |User/Teich_Jürgen]
* Refinement calculus and its applications [Go to |User/Back_Ralph-Johan]
* Representation of uncertainty and imprecision and applications in computer science, decision analysis, control, etc. [Go to |User/Kacprzyk_Janusz]
* Requirements engineering [Go to |User/Kramer_Jeffrey]
* Resource-aware distributed execution and logical agents [Go to |User/Hermenegildo_Manuel]
* Rewrite systems [Go to |User/Dershowitz_Nachum]
* ROBOTICS & ARTIFICIAL INTELLIGENCE [Go to |User/Torras_Carme]
* Robotics [Go to |User/Nebel_Bernhard]
* Robotics [Go to |User/Torras_Carme]
* Robustness issues in decision analysis [Go to |User/Słowiński_Roman]
__S__

* Safety-critical embedded systems [Go to |User/Wilhelm_Reinhard]
* Sanity checks in formal methods: vacuity, coverage, and query checking [Go to |User/Kupferman_Orna]
* SAT-based model checking [Go to |User/Grumberg_Orna]
* Satisfiability [Go to |User/Welzl_Emo]
* Satisfiability problems [Go to |User/Li_Wei]
* Scalable information retrieval systems [Go to |User/Frieder_Ophir]
* Scalable multicore systems: interprocessor communication and memory architecture [Go to |User/Katevenis_Manolis_G.H.]
* [Science fiction samples|http://www.iicm.tugraz.at/maurer] [Go to |User/Maurer_Hermann]
* Science studies (transdisciplinarity) [Go to |User/Havel_Ivan]
* SCIENTIFC COMPUTING [Go to |User/Weickert_Joachim]
* Scientific databases and data infrastructures, scientific experiment management [Go to |User/Ioannidis_Yannis]
* Search and information retrieval [Go to |User/Nejdl_Wolfgang]
* Secure medical information architectures [Go to |User/Frieder_Ophir]
* Security and privacy [Go to |User/Sassone_Vladimiro]
* Security [Go to |User/Winskel_Glynn]
* Security of physical systems [Go to |User/Kraus_Sarit]
* SECURITY, PRIVACY, CRYPTOGRAPHY [Go to |User/Tsudik_Gene]
* Security & Privacy Engineering, with focus on security requirements analysis, and mobile privacy [Go to |User/Nuseibeh_Bashar]
* Security vulnerabilities [Go to |User/Grumberg_Orna]
* Self-adaptive and self-organizing software [Go to |User/Zambonelli_Franco]
* Self-managing and adaptive systems [Go to |User/Kramer_Jeffrey]
* Self-managing software [Go to |User/Hinchey_Michael]
* Semantic models for concurrency, probability and real-time [Go to |User/Kwiatkowska_Marta]
* Semantics and syntax of programming languages [Go to |User/Blikle_Andrzej]
* Semantics enactment and formalisation [Go to |User/Panetto_Hervé]
* Semantics [Go to |User/Abramsky_Samson]
* Semantics  [Go to |User/Aceto_Luca]
* Semantics [Go to |User/Giunchiglia_Fausto]
* Semantics of computation [Go to |User/Winskel_Glynn]
* Semantics of concurrency [Go to |User/Montanari_Ugo]
* Semantics of coordination languages [Go to |User/Baier_Christel]
* Semantics of parallel programming languages [Go to |User/Esparza_Javier]
* Semantics of programming languages [Go to |User/Abramsky_Samson]
* Semantics of programming languages [Go to |User/Scott_Dana]
* Semantics of programming, mathematical basis of computing, esp. coalgebra and quantum computing [Go to |User/Jacobs_Bart]
* Semantic Web and Web 2.0 [Go to |User/Nejdl_Wolfgang]
* Semantic Web [Go to |User/Gottlob_Georg]
* Semantic Web [Go to |User/Hall_Wendy]
* Semantic web [Go to |User/Horrocks_Ian]
* Semantic Web [Go to |User/Milutinovic_Veljko]
* Semantic Web, in particular handling distributed, large, heterogeneous, dynamic and possibly inconsistent information [Go to |User/van_Harmelen_Frank]
* Semirings [Go to |User/Kuich_Werner]
* Semistructured data and XML [Go to |User/Buneman_Peter]
* Sensor networks [Go to |User/Paton_Norman]
* Sequences [Go to |User/Zinoviev_Viktor_Aleksandrovich]
* Sequential and parallel computer architecture [Go to |User/Hermenegildo_Manuel]
* Service computing  [Go to |User/Guo_Yike]
* Service modeling [Go to |User/Lenzerini_Maurizio]
* Service-oriented computing [Go to |User/Dustdar_Schahram]
* Service-oriented computing [Go to |User/Leymann_Frank]
* Service oriented computing [Go to |User/Montanari_Ugo]
* Session types [Go to |User/Dezani-Ciancaglini_Mariangiola]
* Shannon entropy [Go to |User/Vereshchagin_Nikolay_Konstantinovich]
* Shared memory [Go to |User/Hoare_Charles]
* Signal processing [Go to |User/Stankovic_Ljubisa]
* Simulation [Go to |User/van_der_Aalst_Wil]
* Smart cards, esp. Java cards, and their applications (e.g. in identity documents, public transport) [Go to |User/Jacobs_Bart]
* Smart connectivity systems [Go to |User/Azcorra_Saloña_Arturo]
* Smart energy [Go to |User/Mattern_Friedemann]
* Social Choice Theory [Go to |User/Aleskerov_Fuad]
* Social Computing [Go to |User/Dustdar_Schahram]
* Social computing [Go to |User/Fu_Xiaoming]
* Social computing [Go to |User/Giunchiglia_Fausto]
* Social networking and trust [Go to |User/Ioannidis_Yannis]
* Social Networks [Go to |User/Kermarrec_Anne-Marie]
* Social networks [Go to |User/Srinivasan_Aravind]
* Societal implications of informatics [Go to |User/Maurer_Hermann]
* Software and systems engineering centered around core topics of software and systems development [Go to |User/Broy_Manfred]
* Software architecture and component-based development [Go to |User/Fiadeiro_José]
* Software architecture [Go to |User/Ghezzi_Carlo]
* Software architecture [Go to |User/Inverardi_Paola]
* Software architecture [Go to |User/Kramer_Jeffrey]
* Software architecture [Go to |User/Leymann_Frank]
* Software architecture [Go to |User/Mei_Hong]
* Software crowdsourcing [Go to |User/Li_Wei]
* Software-defined networking [Go to |User/Fu_Xiaoming]
* Software Defined Networks [Go to |User/Azcorra_Saloña_Arturo]
* Software defined radio security  [Go to |User/Mihaljevic_Miodrag]
* Software development environments [Go to |User/Meyer_Bertrand]
* Software development [Go to |User/Leymann_Frank]
* Software Engineering [Go to |User/Dustdar_Schahram]
* SOFTWARE ENGINEERING [Go to |User/Finkelstein_Anthony]
* Software Engineering [Go to |User/Inverardi_Paola]
* Software engineering [Go to |User/Kramer_Jeffrey]
* Software engineering [Go to |User/Mei_Hong]
* Software engineering  [Go to |User/Mylopoulos_John]
* Software engineering [Go to |User/Reps_Thomas_W.]
* Software engineering, with focus on requirements engineering [Go to |User/Nuseibeh_Bashar]
* Software evolution [Go to |User/Ghezzi_Carlo]
* Software formal specification and verification [Go to |User/Ghezzi_Carlo]
* Software [Go to |User/Nicolau_Alexandru]
* Software libraries [Go to |User/Mehlhorn_Kurt]
* Software Model Checking [Go to |User/Esparza_Javier]
* Software specification and formal methods of software development [Go to |User/Meyer_Bertrand]
* Software specification [Go to |User/Gurevich_Yuri]
* Software System for Cloud Computing and Big Data [Go to |User/Mei_Hong]
* Software systems engineering [Go to |User/Finkelstein_Anthony]
* Software systems [Go to |User/Druschel_Peter]
* Softwaretechnology [Go to |User/Selberherr_Siegfried]
* Software testing and debugging [Go to |User/Wotawa_Franz]
* Software testing [Go to |User/Hinchey_Michael]
* Software testing [Go to |User/Meyer_Bertrand]
* Software tools [Go to |User/Katoen_Joost-Pieter]
* Software verification [Go to |User/Meyer_Bertrand]
* Sorting [Go to |User/Hoare_Charles]
* Spatial databases [Go to |User/Jensen_Christian_Søndergaard]
* Spatio-temporal data management [Go to |User/Jensen_Christian_Søndergaard]
* Specification and verication for security protocols and software [Go to |User/Jacobs_Bart]
* Sport analytics applications [Go to |User/Larrañaga_Pedro]
* Stable Matchings [Go to |User/Iwama_Kazuo]
* Static program analysis [Go to |User/Reps_Thomas_W.]
* Static program analysis [Go to |User/Wilhelm_Reinhard]
* Statistical disclosure control [Go to |User/Domingo-Ferrer_Josep]
* Statistical methods for molecular biology [Go to |User/Vingron_Martin]
* Statistics and the environment [Go to |User/Lindgren_Georg]
* Statistics education [Go to |User/Lindgren_Georg]
* Statistics [Go to |User/Leopold-Wildburger_Ulrike]
* Statistics in ophthalmology [Go to |User/Lindgren_Georg]
* Statistics of DNA sequences [Go to |User/Gelfand_Mikhail]
* Stochastic behavioural modelling and verification [Go to |User/Hermanns_Holger]
* Stochastic models [Go to |User/Ajmone_Marsan_Marco]
* Stochastic models in marine science [Go to |User/Lindgren_Georg]
* Stochastic processes and their applications in engineering [Go to |User/Lindgren_Georg]
* Stochastic processes in computer science [Go to |User/Goldberg_Leslie_Ann]
* Stochastic wave models [Go to |User/Lindgren_Georg]
* Stream ciphers security evaluation and design  [Go to |User/Mihaljevic_Miodrag]
* Structural engineering [Go to |User/Adeli_Hojjat]
* Structural molecular biology [Go to |User/Edelsbrunner_Herbert]
* Structural operational semantics and its meta-theory [Go to |User/Aceto_Luca]
* Subdivision surfaces [Go to |User/Kobbelt_Leif]
* Supercomputers [Go to |User/Mencer_Oskar]
* Supercomputing [Go to |User/Nicolau_Alexandru]
* Support for realtime/righttime-analytics in data-warehouse infrastructures [Go to |User/Lehner_Wolfgang]
* Support of advanced analytics (mining, forecasting, etc.) in database systems [Go to |User/Lehner_Wolfgang]
* Surveillance [Go to |User/Bischof_Horst]
* SWARM INTELLIGENCE [Go to |User/Dorigo_Marco]
* Swarm intelligence [Go to |User/Dorigo_Marco]
* Symbolic computation: automated theorem proving, formal methods for software, algorithm synthesis and verification, mathematical knowledge management [Go to |User/Buchberger_Bruno]
* SYMBOLIC COMPUTATION [Go to |User/Buchberger_Bruno]
* Symbolic computation [Go to |User/Wang_Dongming]
* (Symbolic) loop transformations and compilation [Go to |User/Teich_Jürgen]
* Symmetric key cryptography   [Go to |User/Mihaljevic_Miodrag]
* Synchronization  [Go to |User/Raynal_Michel]
* Synchronous programming of reactive systems [Go to |User/Berry_Gérard]
* Synthesis [Go to |User/Nicolau_Alexandru]
* System and software requirements [Go to |User/Ghezzi_Carlo]
* Systems and Cybernetics [Go to |User/Chen_Philip]
* Systems biology and computational biomedicine [Go to |User/Finkelstein_Anthony]
* Systems biology [Go to |User/Cardelli_Luca]
* Systems biology [Go to |User/Winskel_Glynn]
* Systems interoperability [Go to |User/Panetto_Hervé]
* System software [Go to |User/Mei_Hong]
* Systems-on-chip [Go to |User/Furber_Stephen]
* Systolic and cellular automata and systems [Go to |User/Gruska_Jozef]
__T__

* Tableau algorithms  [Go to |User/Sattler_Ulrike]
* Tangible and perceptive user interfaces [Go to |User/André_Elisabeth]
* Teaching mathematics and programming  in high school  [Go to |User/Back_Ralph-Johan]
* Technology-enhanced learning [Go to |User/Dillenbourg_Pierre]
* Telematics in education [Go to |User/Spirakis_Paul]
* Temporal and modal logics [Go to |User/Baier_Christel]
* Temporal databases [Go to |User/Jensen_Christian_Søndergaard]
* Temporal databases [Go to |User/Wolper_Pierre]
* Temporal logic and model-checking [Go to |User/Wolper_Pierre]
* Temporal logic [Go to |User/Kupferman_Orna]
* Temporal logics [Go to |User/Grumberg_Orna]
* Temporal logics [Go to |User/Kwiatkowska_Marta]
* Temporal reasoning [Go to |User/Golumbic_Martin_Charles]
* Termination proofs [Go to |User/Dershowitz_Nachum]
* Term rewriting [Go to |User/Baader_Franz]
* Term rewriting systems [Go to |User/Klop_Jan]
* Testing and verification [Go to |User/Yannakakis_Mihalis]
* Text algorithms [Go to |User/Rytter_Wojciech]
* The effective theory of infinite games [Go to |User/Thomas_Wolfgang]
* The LPN (Learning Parity in Noise) problem [Go to |User/Mihaljevic_Miodrag]
* The Lustre data-flow synchronous language [Go to |User/Halbwachs_Nicolas]
* Theorem proving [Go to |User/Wotawa_Franz]
* Theoretical and practical aspects of concurrent systems specification and verification [Go to |User/Sifakis_Joseph]
* Theoretical  Biology [Go to |User/Longo_Giuseppe]
* Theoretical computer science (finite automata, formal languages) [Go to |User/Havel_Ivan]
* Theoretical computer science [Go to |User/Ausiello_Giorgio]
* Theoretical computer science [Go to |User/Brassard_Gilles]
* Theoretical computer science [Go to |User/Cai_Jin-Yi]
* THEORETICAL COMPUTER SCIENCE [Go to |User/Esparza_Javier]
* Theoretical computer science [Go to |User/Hromkovic_Juraj]
* Theoretical computer science [Go to |User/Perrin_Dominique]
* Theoretical computer science [Go to |User/Sassone_Vladimiro]
* Theoretical computer science [Go to |User/van_Leeuwen_Jan]
* Theoretical computer science [Go to |User/Wiedermann_Jiri]
* THEORETICAL INFOMATICS [Go to |User/Kuich_Werner]
* THEORETICAL INFORMATICS [Go to |User/Gruska_Jozef]
* Theoretical models for wireless networks and sensor networks [Go to |User/Díaz_Josep]
* Theories for the origins and evolution of language using computer simulations [Go to |User/Steels_Luc]
* Theory and application of concurrency in system design [Go to |User/Cortadella_Jordi]
* Theory of algorithms and complexity [Go to |User/Papadimitriou_Christos]
* Theory of automata [Go to |User/Perrin_Dominique]
* THEORY OF COMPUTATION [Go to |User/Hastad_Johan]
* Theory of computation [Go to |User/Ibarra_Oscar]
* Theory of computation [Go to |User/Karpinski_Marek_M.]
* Theory of computation [Go to |User/Maass_Wolfgang]
* Theory of computation [Go to |User/Pérez-Jiménez_Mario]
* Theory of concurrency [Go to |User/Cardelli_Luca]
* Theory of concurrency [Go to |User/Roscoe_Andrew]
* Theory of concurrent systems [Go to |User/Sangiorgi_Davide]
* Theory of concurrent systems, in particular theory of Petri nets, theory of transition systems, and theory of traces  [Go to |User/Rozenberg_Grzegorz]
* Theory of distributed systems [Go to |User/Sangiorgi_Davide]
* THEORY OF FINITE AUTOMATA [Go to |User/Pin_Jean-Eric]
* Theory of graph transformations  [Go to |User/Rozenberg_Grzegorz]
* Theory of programming [Go to |User/Hoare_Charles]
* Theory of programming [Go to |User/Meyer_Bertrand]
* Theory of synchronous algorithms with digital and analogue components, and its applications [Go to |User/Tucker_John]
* The relation between automata and logical systems [Go to |User/Thomas_Wolfgang]
* Three-dimensional graphics and realism  [Go to |User/Fellner_Dieter]
* Tilings [Go to |User/Vereshchagin_Nikolay_Konstantinovich]
* Time-frequency analysis [Go to |User/Stankovic_Ljubisa]
* Timing analysis [Go to |User/Wang_Yi]
* Timing guarantees for hard real-time systems [Go to |User/Wilhelm_Reinhard]
* Tone mapping and high dynamic range imaging [Go to |User/Seidel_Hans-Peter]
* Topology [Go to |User/Pin_Jean-Eric]
* Topology [Go to |User/Scott_Dana]
* Total quality management [Go to |User/Blikle_Andrzej]
* Transcriptional regulation [Go to |User/Vingron_Martin]
* Transportation engineering [Go to |User/Adeli_Hojjat]
* Type systems and semantics [Go to |User/Buneman_Peter]
* Type theory [Go to |User/Bezem_Marc]
* Type theory [Go to |User/Cardelli_Luca]
* Type theory [Go to |User/Castagna_Giuseppe]
* Type theory [Go to |User/Coquand_Thierry]
* Type theory [Go to |User/Paulin-Mohring_Christine]
__U__

* Ubiquitous computing [Go to |User/Mattern_Friedemann]
* Unification theory [Go to |User/Baader_Franz]
* Universal access/design for all [Go to |User/Stephanidis_Constantine]
* Unstructured text analysis [Go to |User/Mirkin_Boris]
* Use of natural language in the representation of systems and reasoning schemes, notably via computing with words and natural language generation [Go to |User/Kacprzyk_Janusz]
* User interfaces  [Go to |User/Fellner_Dieter]
* User modeling, adaptation, personalization, profiling, contextualization [Go to |User/Ioannidis_Yannis]
* User preferences and personalization [Go to |User/Balke_Wolf-Tilo]
__V__

* Variable Neighborhood Search - general heuristic for solving optimization problems [Go to |User/Mladenovic_Nenad]
* Variational Methods for Computer Vision [Go to |User/Bischof_Horst]
* Verification and validation [Go to |User/Wotawa_Franz]
* Verification [Go to |User/Hinchey_Michael]
* Verification [Go to |User/Larsen_Kim_Guldstrand]
* Verification [Go to |User/Roscoe_Andrew]
* Verification of numerical software by means of sound, but approximate methods [Go to |User/Halbwachs_Nicolas]
* Verification of sequential and concurrent programs [Go to |User/Olderog_Ernst-Rüdiger]
* Verification of systems with infinitely many states [Go to |User/Esparza_Javier]
* Verified software [Go to |User/Hoare_Charles]
* Very large scale Knowledge Representation, in particular  inference over very large knowledge bases [Go to |User/van_Harmelen_Frank]
* Video processing and coding [Go to |User/Gabbouj_Moncef]
* Video-streaming [Go to |User/Kermarrec_Anne-Marie]
* Video surveillance [Go to |User/Tao_Dacheng]
* Virtual distributed systems [Go to |User/Azcorra_Saloña_Arturo]
* Virtual reality [Go to |User/Brunet_Pere]
* Virtual reality [Go to |User/Schmalstieg_Dieter]
* Visual computing [Go to |User/Seidel_Hans-Peter]
* Visual computing [Go to |User/Seidel_Hans-Peter]
* Visual Learning [Go to |User/Bischof_Horst]
* VLSI design [Go to |User/Milutinovic_Veljko]
* VLSI systems [Go to |User/Katevenis_Manolis_G.H.]
* Volume and Octree representations  [Go to |User/Brunet_Pere]
__W__

* Wave field synthesis [Go to |User/Brandenburg_Karlheinz]
* Wearable and mobile computing systems [Go to |User/Thiele_Lothar]
* Web data management [Go to |User/Abiteboul_Serge]
* WEB & DATA MANAGEMENT [Go to |User/Ceri_Stefano]
* Web data management [Go to |User/Fan_Wenfei]
* Web data processing and data extraction [Go to |User/Gottlob_Georg]
* Web information retrieval [Go to |User/Henzinger_Monika]
* Web science [Go to |User/Maurer_Hermann]
* Weighted automata and quantitative logics [Go to |User/Droste_Manfred]
* Wireless sensor network and ambient intelligence [Go to |User/Benini_Luca]
__X__

* XML and semi-structured information [Go to |User/Milo_Tova]