!!! Areas of Activity
Here you will find all fields of scholarship for this section.\\
%%coolborders-950
%%(color:red)__1__%%
%%
*1956-57 Bell Telephone Fellow, Princeton University [Go to |User/Scott_Dana]

*1960-61 Miller Institute Fellow, University of California, Berkeley [Go to |User/Scott_Dana]

*1963-65 Alfred P. Sloan Research Fellow [Go to |User/Scott_Dana]

*1972-81 Professorial Fellow, Merton College, Oxford [Go to |User/Scott_Dana]

*1978-79 Guggenheim Foundation Fellow [Go to |User/Scott_Dana]

*1978-79 Visiting Scientist, Xerox Palo Alto Research Center [Go to |User/Scott_Dana]

%%coolborders-950
%%(color:red)__2__%%
%%
*2001 Visiting Professor, Institut Mittag-Leffler, Sweden [Go to |User/Scott_Dana]

*2003 Humbolt Stiftung Senior Visiting Scientst, Munich, Germany [Go to |User/Scott_Dana]

%%coolborders-950
%%(color:red)__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]

%%coolborders-950
%%(color:red)__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]

*Academia Europaea [Go to |User/Scott_Dana]

*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]

*Algebra, Categories and Logic in Computer Science [Go to |User/Esik_Zoltan]

*algebraic and categorical models of concurrency [Go to |User/Montanari_Ugo]

*Algebraic coding theory [Go to |User/Zinoviev_Viktor_Aleksandrovich]

*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/Sintzoff_Michel]

*Algorithmics [Go to |User/Woeginger_Gerhard]

* Algorithmic verification [Go to |User/Wolper_Pierre]

* Algorithms (among top 20 researchers by Google Scholar citations) [Go to |User/Stojmenovic_Ivan]

* 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. 

*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 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 [Go to |User/Edelsbrunner_Herbert]

*Algorithms [Go to |User/Matiyasevich_Yuri]

*Algorithms [Go to |User/Matoušek_Jiří]

* algorithms [Go to |User/Wagner_Dorothea_Maria_Anna]

*Algorithms [Go to |User/Wagner_Dorothea_Maria_Anna]

*Alternative splicing [Go to |User/Gelfand_Mikhail]

*American Academy of Arts and Sciences [Go to |User/Scott_Dana]

*American Association for the Advancement of Science [Go to |User/Scott_Dana]

*Analysis and synthesis of asynchronous circuits [Go to |User/Esparza_Javier]

*Analysis of algorithms [Go to |User/Flajolet_Philippe]

*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]

*Analytic combinatorics [Go to |User/Flajolet_Philippe]

* 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]

*Application to databses, optimization, AI, and game theory [Go to |User/Papadimitriou_Christos]

*Applied Cryptography [Go to |User/Tsudik_Gene]

*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/Jennings_Nicholas]

*Artificial Intelligence [Go to |User/Lenzerini_Maurizio]

* 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, in particular the symbolic representation of knowledge and its use for inference [Go to |User/van_Harmelen_Frank]

*Artificial intelligence (logical theory of robot problem solving) [Go to |User/Havel_Ivan]

*Aspects of number theory [Go to |User/Paule_Peter]

*assistive technologies [Go to |User/Stephanidis_Constantine]

*Association for Computing Machinery [Go to |User/Scott_Dana]

*  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 Formal Language Theory [Go to |User/Esik_Zoltan]

*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/Wolper_Pierre]

*Automated deduction [Go to |User/Baader_Franz]

*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 [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]

*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]

%%coolborders-950
%%(color:red)__B__%%
%%
*Big Data analytics [Go to |User/Gabbouj_Moncef]

*Bioinformatics and biosensors [Go to |User/Benini_Luca]

*Bioinformatics and computational biology [Go to |User/Tiuryn_Jerzy]

* bioinformatics [Go to |User/Gelfand_Mikhail]

* 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 sequence analysis [Go to |User/Vingron_Martin]

*Biomedical signal and image processing [Go to |User/Gabbouj_Moncef]

*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]

*British Academy [Go to |User/Scott_Dana]

* Business process management [Go to |User/Leymann_Frank]

* Business Process Management [Go to |User/van_der_Aalst_Wil]

%%coolborders-950
%%(color:red)__C__%%
%%
*Calculus of communicating systems [Go to |User/Milner_Robin]

* Calendar algorithms [Go to |User/Dershowitz_Nachum]

*Cascade decomposition [Go to |User/Brauer_Wilfried]

*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]

*Circuit specification and synthesis [Go to |User/Berry_Gérard]

* Cloud computing [Go to |User/Dustdar_Schahram]

* cloud computing [Go to |User/Leymann_Frank]

* Cloud computing [Go to |User/Leymann_Frank]

*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 science (consciousness, phenomenology, human experience)  [Go to |User/Havel_Ivan]

* Cognitive user modeling and conceptualization [Go to |User/Balke_Wolf-Tilo]

* 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 Algorithms  [Go to |User/Stojmenovic_Ivan]

*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 [Go to |User/Ausiello_Giorgio]

* Combinatorial optimization [Go to |User/Karpinski_Marek_M.]

*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/Matoušek_Jiří]

*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ž]

*Combinatory logic [Go to |User/Böhm_Corrado]

*Communicating systems [Go to |User/Klop_Jan]

*Communication complexity [Go to |User/Razborov_Alexander]

* Communication protocols [Go to |User/Ajmone_Marsan_Marco]

*Communication protocols [Go to |User/Flajolet_Philippe]

*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]

* 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 and Digital Geometry  [Go to |User/Stojmenovic_Ivan]

*Computational Biology [Go to |User/Lengauer_Thomas]

* Computational Chemistry [Go to |User/Stojmenovic_Ivan]

* 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/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/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 intelligence [Go to |User/Kacprzyk_Janusz]

* Computational intelligence [Go to |User/Obradovic_Zoran]

* computational logic [Go to |User/Dershowitz_Nachum]

*Computational logic [Go to |User/Eiter_Thomas]

* 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/Maass_Wolfgang]

* Computational neuroscience [Go to |User/Maass_Wolfgang]

* Computational Scientific Discovery [Go to |User/Dzeroski_Saso]

* Computational Topology [Go to |User/Edelsbrunner_Herbert]

* Computation complexity [Go to |User/Sattler_Ulrike]

*Computation; enumerative combinatorics; asymptotic analysis [Go to |User/Flajolet_Philippe]

*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: 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/Paul_Wolfgang]

* computer architecture [Go to |User/Stenström_Per]

*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 |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 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 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 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/Arsac_Jacques]

*Computer science [Go to |User/Bratko_Ivan]

*Computer science [Go to |User/Eiter_Thomas]

*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 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/Selberherr_Siegfried]

*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 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/Esik_Zoltan]

* Concurrency [Go to |User/Raynal_Michel]

*Concurrency theory, foundations of concurrent processes, concurrent algorithms [Go to |User/Mazurkiewicz_Antoni]

* 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/Hennessy_Matthew]

*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/Sassone_Vladimiro]

*Concurrent and parallel programming [Go to |User/Meyer_Bertrand]

*Concurrent computation [Go to |User/Winskel_Glynn]

* Concurrent object  [Go to |User/Raynal_Michel]

*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/Montanari_Ugo]

*Constraint scheduling [Go to |User/Golumbic_Martin_Charles]

*Constructive Mathematics [Go to |User/Böhm_Corrado]

*Constructive mathematics [Go to |User/Coquand_Thierry]

*coordination models [Go to |User/Montanari_Ugo]

*Counting and approximation the solution of problems [Go to |User/Díaz_Josep]

*Creator of the algorithmic language of description EXEL [Go to |User/Arsac_Jacques]

* 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]

%%coolborders-950
%%(color:red)__D__%%
%%
*Data analytics, knowledge discovery and data mining [Go to |User/Ioannidis_Yannis]

* 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 performance optimization (automatic tuning) and self-organization (autonomic computing) [Go to |User/Weikum_Gerhard]

*Database query optimization [Go to |User/Ioannidis_Yannis]

* databases and information systems [Go to |User/Balke_Wolf-Tilo]

* 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/Vardi_Moshe]

*Database technology for openData platforms - integration and consumption [Go to |User/Lehner_Wolfgang]

*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 exchange [Go to |User/Gottlob_Georg]

* Data integration [Go to |User/Milo_Tova]

* 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/Milutinovic_Veljko]

* Data mining [Go to |User/Obradovic_Zoran]

*Data mining [Go to |User/Tao_Dacheng]

*Data Modeling [Go to |User/Lenzerini_Maurizio]

* Data privacy [Go to |User/Domingo-Ferrer_Josep]

* Data processing in joint time and frequency domain [Go to |User/Stankovic_Ljubisa]

* data science [Go to |User/Obradovic_Zoran]

* Data security [Go to |User/Domingo-Ferrer_Josep]

* Data Structures [Go to |User/Edelsbrunner_Herbert]

*Data structures [Go to |User/Flajolet_Philippe]

* Data structures [Go to |User/Henzinger_Monika]

*Data structures [Go to |User/Mehlhorn_Kurt]

* 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 support in medicine, technology, economics and environmental studies [Go to |User/Słowiński_Roman]

*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 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, and development methods for complex industrial-scale software systems [Go to |User/Broy_Manfred]

*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/Matoušek_Jiří]

* discrete geometry [Go to |User/Welzl_Emo]

*discrete mathematics [Go to |User/Paterson_Michael]

*Discrete mathematics [Go to |User/Razborov_Alexander]

* Distributed algorithms and systems [Go to |User/Mattern_Friedemann]

* 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]

*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]

*dynamical systems models [Go to |User/Sintzoff_Michel]

*Dynamic software product lines [Go to |User/Hinchey_Michael]

%%coolborders-950
%%(color:red)__E__%%
%%
*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 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/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]

*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]

* eScience [Go to |User/Leymann_Frank]

*Evolutionary optimization [Go to |User/Gabbouj_Moncef]

*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]

%%coolborders-950
%%(color:red)__F__%%
%%
*Finite automata [Go to |User/Brauer_Wilfried]

*Finite Combinatorics [Go to |User/Shelah_Saharon]

* Finite model theory [Go to |User/Libkin_Leonid]

*Finnish Academy of Sciences and Letters [Go to |User/Scott_Dana]

*Fixed Point Theory [Go to |User/Esik_Zoltan]

*Flexible database queries reflecting imprecise, bipolar, etc. user preferences and intentions [Go to |User/Kacprzyk_Janusz]

*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 languages [Go to |User/Sintzoff_Michel]

*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 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] [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 Artificial Intelligence [Go to |User/Brauer_Wilfried]

* foundations of computer science [Go to |User/Welzl_Emo]

*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]

*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]

%%coolborders-950
%%(color:red)__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/Díaz_Josep]

*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]

*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]

*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]

*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]

*group theory [Go to |User/Droste_Manfred]

%%coolborders-950
%%(color:red)__H__%%
%%
*Hardware Design [Go to |User/Paul_Wolfgang]

*Hardware/Software Co-Design [Go to |User/Teich_Jürgen]

* Healthcare informatics [Go to |User/Obradovic_Zoran]

*Heuristic algorithms [Go to |User/Hirsch_Edward_A.]

*high performance computing [Go to |User/Bjørstad_Petter]

* High Performance Computing [Go to |User/Selberherr_Siegfried]

*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]

* [http://scholar.google.ca/citations?view_op=search_authors&hl=en&mauthors=label:algorithms&after_author=fncCAHHG__8J&astart=10] [Go to |User/Stojmenovic_Ivan]

* [http://scholar.google.ca/citations?view_op=search_authors&hl=en&mauthors=label:parallel_and_distributed_systems] [Go to |User/Stojmenovic_Ivan]

* [http://scholar.google.ca/citations?view_op=search_authors&hl=en&mauthors=label:wireless_networks] [Go to |User/Stojmenovic_Ivan]

*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]

*Hypermedia data modeling [Go to |User/Duval_Erik]

*Hypermedia Systems and Personalization Technology [Go to |User/Nejdl_Wolfgang]

%%coolborders-950
%%(color:red)__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/Flusser_Jan]

* 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]

*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]

*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 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 technology [Go to |User/Gabbouj_Moncef]

*Information theory [Go to |User/Vitanyi_Paul]

*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.]

*interfaces computability, physics and biology\\ [Go to |User/Longo_Giuseppe]

* Internet of Things [Go to |User/Mattern_Friedemann]

*Internet Security and Privacy [Go to |User/Tsudik_Gene]

* Internet technologies [Go to |User/Dustdar_Schahram]

*Internetworking [Go to |User/Maguire_Jr._Gerald_Quentin]

*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]

*Invariants [Go to |User/Flusser_Jan]

*Iteration Theories [Go to |User/Esik_Zoltan]

%%coolborders-950
%%(color:red)__K__%%
%%
*Key Management - Broadcast Encryption  Security Evaluation and Design  [Go to |User/Mihaljevic_Miodrag]

*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/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]

%%coolborders-950
%%(color:red)__L__%%
%%
* Lambda calculus  [Go to |User/Abramsky_Samson]

*Lambda-calculus [Go to |User/Böhm_Corrado]

*Lambda calculus [Go to |User/Dezani-Ciancaglini_Mariangiola]

* Large distributed systems [Go to |User/Leymann_Frank]

* 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, distributed algorithms [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 for computable functions  [Go to |User/Milner_Robin]

* 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/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]

*Logics and Meanings of programs [Go to |User/Hennessy_Matthew]

*Logics and Type Theory [Go to |User/Sassone_Vladimiro]

*Logics, formal methods [Go to |User/Giunchiglia_Fausto]

*Logics for program specification and verification [Go to |User/Reynolds_John]

*Logics of programs (dynamic logic) [Go to |User/Harel_David]

*  Logic synthesis [Go to |User/Cortadella_Jordi]

*Lower bounds [Go to |User/Iwama_Kazuo]

*Low-power system design [Go to |User/Furber_Stephen]

%%coolborders-950
%%(color:red)__M__%%
%%
* Machine-code analysis [Go to |User/Reps_Thomas_W.]

*Machine dynamics [Go to |User/Imrich_Wilfried]

* Machine Learning [Go to |User/Bischof_Horst]

*Machine learning [Go to |User/Bratko_Ivan]

* machine learning [Go to |User/Dzeroski_Saso]

*Machine learning [Go to |User/Gabbouj_Moncef]

* 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 (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]

*Management of structured and less structured data [Go to |User/Duval_Erik]

*Many-valued logic [Go to |User/Salomaa_Arto]

*Markov regime models [Go to |User/Lindgren_Georg]

*Massively Parallel Computing [Go to |User/Teich_Jürgen]

*Mathematical (deductive) fuzzy logic as a many-valued logic with a comparative notion of truth [Go to |User/Hájek_Petr]

*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 and logical foundations of computer science [Go to |User/Hájek_Petr]

* mathematical logic [Go to |User/Hájek_Petr]

*Mathematical logic [Go to |User/Krajicek_Jan]

*Mathematical Programming  [Go to |User/Mladenovic_Nenad]

*Mathematical semantics [Go to |User/Reynolds_John]

*mathematical semantics [Go to |User/Sintzoff_Michel]

*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 program construction [Go to |User/Sintzoff_Michel]

* 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]

*Metabolic reconstruction and functional annotation of genes and proteins [Go to |User/Gelfand_Mikhail]

* metadata [Go to |User/Duval_Erik]

*Metadata [Go to |User/Duval_Erik]

*Metagenomics [Go to |User/Gelfand_Mikhail]

*Metalanguages for proof tactics [Go to |User/Milner_Robin]

*Methodology and techniques of decision support, based on a junction of operations research and computational intelligence [Go to |User/Słowiński_Roman]

*Metric embeddings [Go to |User/Matoušek_Jiří]

* 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]

*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/Schmalstieg_Dieter]

* Mobile data management [Go to |User/Jensen_Christian_Søndergaard]

* Modal and temporal logics [Go to |User/Aceto_Luca]

* Modal logic [Go to |User/Sattler_Ulrike]

*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]

*Modelling of processes [Go to |User/Petri_Carl_Adam]

*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 Concurrency [Go to |User/van_der_Aalst_Wil]

*Models of sequential and parallel computational systems [Go to |User/Wiedermann_Jiri]

*Model theory of mathematical logic [Go to |User/Shelah_Saharon]

*molecular computing [Go to |User/Ibarra_Oscar]

*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]

* Multiagent Systems and Agent-oriented Software Engineering [Go to |User/Zambonelli_Franco]

*Multiagent systems [Go to |User/Brauer_Wilfried]

*Multi-agent systems [Go to |User/Jennings_Nicholas]

*multi-agent systems [Go to |User/Vardi_Moshe]

*Multi-agent systems [Go to |User/Wooldridge_Michael]

*Multimedia audio-visual database analysis [Go to |User/Gabbouj_Moncef]

*Multimedia [Go to |User/Tao_Dacheng]

*Multimedia indexing and retrieval [Go to |User/Gabbouj_Moncef]

* Multimedia information analysis [Go to |User/Smeulders_Arnold]

*Multimodal analysis (physiological data, gaze, speech, gestures) [Go to |User/André_Elisabeth]

*Multi modal computing and interaction [Go to |User/Seidel_Hans-Peter]

*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]

* Multiple-Valued Logics (Functional Completeness) [Go to |User/Stojmenovic_Ivan]

*Multiresolution  [Go to |User/Brunet_Pere]

*Multiresolution modeling [Go to |User/Kobbelt_Leif]

*Multistage optimal fuzzy control, notably using dynamic programming [Go to |User/Kacprzyk_Janusz]

*Multi view video processing [Go to |User/Seidel_Hans-Peter]

*Music information retrieval [Go to |User/Duval_Erik]

%%coolborders-950
%%(color:red)__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]

* Nature Inspired Computing (Genetic Algorithms, Evolutionary Computing, Particle Swarm Optimization) [Go to |User/Stojmenovic_Ivan]

*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]

* Network measurements and traffic characterization [Go to |User/Feldmann_Anja]

* Network performance debugging [Go to |User/Feldmann_Anja]

*Networks [Go to |User/Kraus_Sarit]

*Networks-on-chip [Go to |User/Furber_Stephen]

* Neural and Interconnection Networks [Go to |User/Stojmenovic_Ivan]

*Neural networks [Go to |User/Tao_Dacheng]

*Neural systems engineering [Go to |User/Furber_Stephen]

*Neurocomputing [Go to |User/Wiedermann_Jiri]

*Neuronal networks and machine learning [Go to |User/Gelenbe_Erol]

*New York Academy of Sciences [Go to |User/Scott_Dana]

*Nneural networks [Go to |User/Brauer_Wilfried]

*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/Arsac_Jacques]

*numerical analysis [Go to |User/Bjørstad_Petter]

*numerical linear algebra [Go to |User/Bjørstad_Petter]

%%coolborders-950
%%(color:red)__O__%%
%%
*Object-oriented programming [Go to |User/Cardelli_Luca]

*Object-oriented programming, object technology [Go to |User/Meyer_Bertrand]

*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 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/Leopold-Wildburger_Ulrike]

*Operations research [Go to |User/Woeginger_Gerhard]

*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]

%%coolborders-950
%%(color:red)__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 and Distributed Systems (top researcher by Google Scholar citations) [Go to |User/Stojmenovic_Ivan]

*parallel computing [Go to |User/Bjørstad_Petter]

*parallel computing [Go to |User/Ibarra_Oscar]

*parallelizing compilers [Go to |User/Hermenegildo_Manuel]

*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/Flusser_Jan]

* 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]

*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/Petri_Carl_Adam]

* 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]

* Predicting Structured Outputs [Go to |User/Dzeroski_Saso]

*Principles of programming languages [Go to |User/Cardelli_Luca]

*Probabilistic methods and models [Go to |User/Flajolet_Philippe]

*(Probabilistic) model checking [Go to |User/Baier_Christel]

*Probabilistic model checking [Go to |User/Kwiatkowska_Marta]

*Probabilistic program analysis,  pointer-manipulating programs (using graph grammars), parallel programming. [Go to |User/Katoen_Joost-Pieter]

*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/Klop_Jan]

*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 management [Go to |User/Blikle_Andrzej]

* Process Mining [Go to |User/van_der_Aalst_Wil]

* Process Modeling [Go to |User/van_der_Aalst_Wil]

*Professional Life Time Management [Go to |User/Milutinovic_Veljko]

* 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 language design [Go to |User/Reynolds_John]

*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/Milner_Robin]

* Programming languages [Go to |User/Reps_Thomas_W.]

*programming languages [Go to |User/Sintzoff_Michel]

* Programming Languages [Go to |User/Stojmenovic_Ivan]

*programming methodology [Go to |User/Bjørner_Dines]

*programming methodology [Go to |User/Sintzoff_Michel]

*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/Milner_Robin]

* 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 [Go to |User/Coquand_Thierry]

*Propositional proof complexity [Go to |User/Hirsch_Edward_A.]

*Psychoacoustics [Go to |User/Brandenburg_Karlheinz]

%%coolborders-950
%%(color:red)__Q__%%
%%
*Quantitative analysis [Go to |User/Baier_Christel]

*Quantitative data mining algorithms [Go to |User/Flajolet_Philippe]

*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/Freivalds_Rusins]

* 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 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 teleportation [Go to |User/Brassard_Gilles]

*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]

%%coolborders-950
%%(color:red)__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]

%%coolborders-950
%%(color:red)__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]

*Scalable Multicore Systems: Interprocessor Communication and Memory Architecture [Go to |User/Katevenis_Manolis_G.H.]

*Scene analysis [Go to |User/Flusser_Jan]

*[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]

*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 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 implementation of functional programming languages [Go to |User/Böhm_Corrado]

*Semantics and syntax of programming languages [Go to |User/Blikle_Andrzej]

* Semantics [Go to |User/Abramsky_Samson]

* Semantics  [Go to |User/Aceto_Luca]

*Semantics [Go to |User/Esik_Zoltan]

* 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 Prgramming languages [Go to |User/Hennessy_Matthew]

* Semantics of programming languages [Go to |User/Abramsky_Samson]

*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/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]

*Sequences [Go to |User/Zinoviev_Viktor_Aleksandrovich]

*sequential and parallel computer architecture [Go to |User/Hermenegildo_Manuel]

*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 energy [Go to |User/Mattern_Friedemann]

* Social Computing [Go to |User/Dustdar_Schahram]

*Social computing [Go to |User/Giunchiglia_Fausto]

*Social networking and trust [Go to |User/Ioannidis_Yannis]

* Social Networks [Go to |User/Kermarrec_Anne-Marie]

*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 [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 Defined Radio Security  [Go to |User/Mihaljevic_Miodrag]

*software design methods [Go to |User/Sintzoff_Michel]

*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/Mylopoulos_John]

* Software engineering [Go to |User/Reps_Thomas_W.]

* Software evolution [Go to |User/Ghezzi_Carlo]

* Software formal specification and verification [Go to |User/Ghezzi_Carlo]

*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 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]

*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 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]

*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 [Go to |User/Flajolet_Philippe]

*(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]

* System and software requirements [Go to |User/Ghezzi_Carlo]

* 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-on-chip [Go to |User/Furber_Stephen]

*systolic and cellular automata and systems [Go to |User/Gruska_Jozef]

%%coolborders-950
%%(color:red)__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]

*Technology enhanced learning [Go to |User/Duval_Erik]

*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/Esparza_Javier]

*Theoretical Computer Science [Go to |User/Freivalds_Rusins]

*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/Bakker_Jaco]

* theoretical informatics [Go to |User/Gruska_Jozef]

*Theoretical models for wireless networks and sensor networks [Go to |User/Díaz_Josep]

*  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 automata over arbitrary monoids [Go to |User/Brauer_Wilfried]

* theory of computation [Go to |User/Hastad_Johan]

*Theory of computation [Go to |User/Hennessy_Matthew]

*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 computing [Go to |User/Böhm_Corrado]

*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/Brauer_Wilfried]

*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 Petri nets and process algebras [Go to |User/Brauer_Wilfried]

*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]

*Topological methods [Go to |User/Matoušek_Jiří]

*Topology [Go to |User/Pin_Jean-Eric]

*Total quality management [Go to |User/Blikle_Andrzej]

* Transcriptional regulation [Go to |User/Vingron_Martin]

*Tree structures [Go to |User/Flajolet_Philippe]

*Ttransition monoid [Go to |User/Brauer_Wilfried]

*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]

%%coolborders-950
%%(color:red)__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]

*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]

*U.S. National Academy of Sciences [Go to |User/Scott_Dana]

%%coolborders-950
%%(color:red)__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/Hennessy_Matthew]

*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 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]

%%coolborders-950
%%(color:red)__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 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 Ad Hoc, Sensor, Actuator, Robot, and Vehicular Networks (Data Communications, Routing, Broadcasting) [Go to |User/Stojmenovic_Ivan]

* Wireless networks (among top ten researchers by Google Scholar citations) [Go to |User/Stojmenovic_Ivan]

*Wireless sensor network and ambient intelligence [Go to |User/Benini_Luca]

* Workflow Management Technology [Go to |User/van_der_Aalst_Wil]

%%coolborders-950
%%(color:red)__X__%%
%%
* XML and semi-structured information [Go to |User/Milo_Tova]