Access content directly
-
"Simion Stoilow" Institute of Mathematics
-
A.P. Ershov Institute of Informatics Systems [Novosibirsk]
-
Aalborg University [Denmark]
-
Aalto University
-
Academic Center for Computing and Media Studies
-
Aix Marseille Université
-
Akita University
-
Alexandru Ioan Cuza University of Iași = Universitatea Alexandru Ioan Cuza din Iași
-
Alma Mater Studiorum Università di Bologna = University of Bologna
-
Auckland University of Technology
-
Australian National University
-
Autonomous intelligent machine
-
Bengal Engineering and Science University, Shibpur
-
Bioinformatique (LRI)
-
Boston University [Boston]
-
Brock University [Canada]
-
Bureau de Recherches Géologiques et Minières
-
CMP-GC
-
COMUE Université Côte d'Azur (2015-2019)
-
COMmunications, Réseaux, systèmes Embarqués et Distribués
-
Calcul Naturel
-
California Institute of Technology
-
Carleton University
-
Categorical Informatics
-
Catholic University of Leuven = Katholieke Universiteit Leuven
-
CentraleSupélec
-
Centre National de la Recherche Scientifique
-
Centre de Coopération Internationale en Recherche Agronomique pour le Développement
-
Centre for Quantum Computation and Intelligent Systems &, School of Software
-
Centre national du machinisme agricole, du génie rural, des eaux et forêts
-
Centro Universitario de Ciencias Exactas e Ingenierías
-
Centro de Matemática - Universidade do Porto
-
Centrum Wiskunde & Informatica
-
Centrum voor Wiskunde en Informatica
-
Chennai Mathematical Institute [Inde]
-
Chinese Academy of Sciences [Beijing]
-
Chinese Academy of Sciences [Changchun Branch]
-
Christian-Albrechts-Universität zu Kiel = Christian-Albrechts University of Kiel = Université Christian-Albrechts de Kiel
-
Commissariat à l'énergie atomique et aux énergies alternatives
-
Computer Laboratory [Cambridge]
-
Consejo Nacional de Investigaciones Científicas y Técnicas [Buenos Aires]
-
Consejo Superior de Investigaciones Cientificas [España] = Spanish National Research Council [Spain]
-
Construction of verified concurrent systems
-
Council for Scientific and Industrial Research [Pretoria]
-
Czech Academy of Sciences [Prague]
-
Czech Technical University in Prague
-
Dalhousie University [Halifax]
-
David R. Cheriton School of Computer Science
-
Delft University of Technology
-
Departamento de Ciência de Computadores
-
Department of Applied Mathematics and Computational Sciences [Nadu]
-
Department of Computer Science
-
Department of Computer Science [Oxford]
-
Department of Computer Science [Swansea]
-
Department of Computer Science and Engineering
-
Department of Computer and Information Sciences [Univ Strathclyde]
-
Department of Engineering Systems and Services [Delft ]
-
Department of Formal Methods
-
Department of Information Technology [Howrah]
-
Department of Mathematical Sciences
-
Department of Mathematics
-
Department of Mathematics and Statistics [uni. Turku]
-
Department of Medical Informatics
-
Department of Networks, Systems and Services
-
Department of Pure Mathematics [Waterloo]
-
Department of mathematics [Bloomington]
-
Design, study and implementation of languages for proofs and programs
-
Designing the Future of Computational Models
-
Deutsches Forschungszentrum für Künstliche Intelligenz GmbH = German Research Center for Artificial Intelligence
-
Dip. di Informatica
-
Dipartimento di Informatica
-
Dipartimento di Informatica Sistemistica e Comunicazione
-
Dipartimento di Sistemi e Informatica
-
Dipartimento di informatica
-
Division of Mathematical Sciences, School of Physical and Mathematical Sciences, College of Science
-
Durham University
-
Département Automatique, Productique et Informatique
-
Département Sciences de la Fabrication et Logistique
-
ESIEE Paris
-
Eastern Mediterranean University
-
Eco-informatics
-
Ecole Nationale Supérieure d'Ingénieurs de Bourges
-
Ecole Nationale Supérieure de Mécanique et des Microtechniques
-
Eidgenössische Technische Hochschule - Swiss Federal Institute of Technology [Zürich]
-
Eindhoven University of Technology [Eindhoven]
-
Eletrical Engineering and Computing [São Paulo]
-
Equipe AMACC - Laboratoire GREYC - UMR6072
-
Fachgruppe Informatik
-
Faculdade de Ciências da Universidade do Porto
-
Facultad de Ingeniería y Ciencias [Santiago]
-
Faculty of Informatics
-
Faculty of Mathematics and Physics [Praha|Prague]
-
Faculty of Science, Technology and Communication [Luxembourg]
-
Faculty of Technology, Policy and Management [Delft]
-
Foundations of Component-based Ubiquitous Systems
-
Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174)
-
Free University of Bozen-Bolzano
-
Friedrich-Alexander Universität Erlangen-Nürnberg = University of Erlangen-Nuremberg
-
Fédération de Recherche Bézout
-
Graduate University for Advanced Studies [Hayama]
-
Griffith University [Brisbane]
-
Groupe de Recherche en Informatique, Image et Instrumentation de Caen
-
Göteborgs Universitet = University of Gothenburg
-
Halmstad University
-
Helsingin yliopisto = Helsingfors universitet = University of Helsinki
-
Heriot-Watt University [Edinburgh]
-
Hiroshima University
-
IMT Atlantique
-
IMT Institute for Advanced Studies [Lucca]
-
INRIA Lorraine
-
IT University of Copenhagen
-
Ilmenau University of Technology [Germany]
-
Imperial College London
-
Indian Institute of Technology Delhi
-
Indian Institute of Technology Madras
-
Indiana University System
-
Indiana University [Bloomington]
-
Inria Grenoble - Rhône-Alpes
-
Inria Nancy - Grand Est
-
Inria Paris-Rocquencourt
-
Inria Rennes – Bretagne Atlantique
-
Inria Saclay - Ile de France
-
Inria Sophia Antipolis - Méditerranée
-
Institut Galilée
-
Institut Mines-Télécom [Paris]
-
Institut Montpelliérain Alexander Grothendieck
-
Institut National Polytechnique (Toulouse)
-
Institut National Polytechnique de Grenoble
-
Institut National Polytechnique de Lorraine
-
Institut National de Recherche en Informatique et en Automatique
-
Institut National de la Recherche Agronomique
-
Institut National de la Santé et de la Recherche Médicale
-
Institut National des Sciences Appliquées
-
Institut National des Sciences Appliquées - Centre Val de Loire
-
Institut National des Sciences Appliquées - Rennes
-
Institut National des Sciences Appliquées - Toulouse
-
Institut de Mathématiques de Marseille
-
Institut de Recherche en Informatique Fondamentale
-
Institut de Recherche en Informatique et Systèmes Aléatoires
-
Institut de mathématiques de Luminy
-
Institut de recherche pour le développement [IRD] : UR
-
Institut für Informatik
-
Institut für Informatik [Gießen]
-
Institut polytechnique de Grenoble - Grenoble Institute of Technology
-
Institut Élie Cartan de Lorraine
-
Institute e-Austria Timisoara
-
Institute for Advanced Studies in Basic Sciences
-
Institute for Advanced Studies in Basic Sciences [Zanjan]
-
Institute for Computing and Information Sciences [Nijmegen]
-
Institute for Industrial Management [RWTH Aachen University]
-
Institute for Integrated and Intelligent Systems
-
Institute for Research in Fundamental Sciences [Tehran]
-
Institute of Automation - Chinese Academy of Sciences
-
Institute of Cybernetics [Tallinn]
-
Institute of Informatics
-
Institute of Theoretical Informatics
-
Islamic Azad University
-
Jacobs University = Constructor University [Bremen]
-
Japan Advanced Institute of Science and Technology
-
Japanese French Laboratory for Informatics
-
Justus-Liebig-Universität Gießen = Justus Liebig University
-
Karlsruhe Institute of Technology
-
Kazan Federal University
-
Khalifa University for Science Technology [Abou Dabi]
-
King‘s College London
-
Korea Electronics Technology Institute [Seongnam-si]
-
Kyoto University
-
Kyoto University Hospital
-
LANGAGE ET GÉNIE LOGICIEL
-
LE STUDIUM
-
LS2 Informatik
-
Laboratoire Bordelais de Recherche en Informatique
-
Laboratoire Cogitamus = Cogitamus Laboratory
-
Laboratoire Lorrain de Recherche en Informatique et ses Applications
-
Laboratoire Spécification et Vérification [Cachan]
-
Laboratoire d'Algorithmique Complexité et Logique
-
Laboratoire d'Informatique Fondamentale d'Orléans
-
Laboratoire d'Informatique Gaspard-Monge
-
Laboratoire d'Informatique de Grenoble
-
Laboratoire d'Informatique de Paris-Nord
-
Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier
-
Laboratoire d'Informatique et des Systèmes (LIS) (Marseille, Toulon)
-
Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis
-
Laboratoire d'Informatique, Signaux, et Systèmes de Sophia-Antipolis (I3S) | Equipe MC3
-
Laboratoire d'analyse et d'architecture des systèmes
-
Laboratoire d'analyse et modélisation de systèmes pour l'aide à la décision
-
Laboratoire d'informatique Fondamentale de Marseille
-
Laboratoire de Recherche en Informatique
-
Laboratoire de l'Informatique du Parallélisme
-
Laboratoire des Sciences du Numérique de Nantes
-
Lehrstuhl für Informatik 7
-
Leiden Institute of Advanced Computer Science [Leiden]
-
Liverpool Hope University
-
Logic, proof Theory and Programming
-
Logical Time for Formal Embedded System Design
-
Ludwig Maximilian University [Munich] = Ludwig Maximilians Universität München
-
Mackenzie Presbyterian University [São Paulo]
-
Macquarie University
-
Martin-Luther-Universität Halle Wittenberg
-
Massachusetts Institute of Technology
-
Mathématiques et Informatique pour la Complexité et les Systèmes
-
McMaster University [Hamilton, Ontario]
-
Michigan Technological University
-
Microsoft Research
-
Mobile Network Performance Group
-
Modeling and Exploitation of Interaction and Concurrency
-
Modèles Discrets pour les Systèmes Complexes
-
Modèles de calcul, Complexité, Combinatoire
-
Nanyang Technological University [Singapour]
-
National ICT Australia [Sydney]
-
National Institute of Informatics
-
National Taipei University of Business
-
National Technical University of Athens [Athens]
-
National Tsing Hua University [Hsinchu]
-
National University of Ireland Maynooth
-
National University of Río Cuarto = Universidad Nacional de Río Cuarto
-
National University of Singapore
-
Netherlands Organisation for Scientific Research
-
Normandie Université
-
Osaka University [Osaka]
-
Otto-von-Guericke-Universität Magdeburg = Otto-von-Guericke University [Magdeburg]
-
Oxford Brookes University
-
Oxford Immune Algorithmics
-
P.J. Safarik University
-
PSG College of Technology [Coimbatore]
-
Philipps Universität Marburg = Philipps University of Marburg
-
Preuves et Langages
-
Preuves, Programmes et Systèmes
-
Queen Mary University of London
-
Queen's University [Kingston, Canada]
-
Radboud University [Nijmegen]
-
Rheinisch-Westfälische Technische Hochschule Aachen University
-
Riphah International University
-
Romanian Academy of Sciences
-
Royal Holloway [University of London]
-
SIMulating and Building IOT
-
Saarland University [Saarbrücken]
-
Saint Mary's University [Halifax]
-
School of Computer Sc. and Eng.
-
School of Computer Science [Waterloo]
-
School of Computer Science and Engineering
-
School of Engineering and Computing Sciences
-
School of Information Technology and Electrical Engineering
-
School of Science and Technology
-
School of computing [Kingston]
-
Shahed University [Téhéran]
-
Shanghai Jiao Tong University [Shanghai]
-
Sharif University of Technology [Tehran]
-
Skane University Hospital [Lund]
-
Slovak Academy of Sciences
-
Sorbonne Université
-
St Petersburg State University
-
State Key Laboratory of Computer Science, Institute of Software
-
Stellenbosch University
-
Stockholm University
-
Swansea University
-
Systèmes Logistiques et de Production
-
Systèmes complexes, automates et pavages
-
Tallinn University of Technology
-
Taras Shevchenko National University of Kyiv
-
Technical Faculty Bor
-
Technical University of Berlin | Technische Universität Berlin
-
Technical University of Ostrava [Ostrava]
-
Technion - Israel Institute of Technology [Haifa]
-
Technische Universität Braunschweig = Technical University of Braunschweig [Braunschweig]
-
Technische Universität Darmstadt - Technical University of Darmstadt
-
Technische Universität Dortmund [Dortmund]
-
Technische Universität Dresden = Dresden University of Technology
-
Technische Universität Munchen - Technical University Munich - Université Technique de Munich
-
The Alan Turing Institute
-
The Hebrew University of Jerusalem
-
The University of Queensland
-
The University of Tokyo
-
Theoretical adverse computations, and safety
-
Threat Analysis and Mitigation for Information Security
-
Tohoku University [Sendai]
-
Trier University
-
Tsinghua University [Beijing]
-
Télécom Bretagne
-
Umeå University, Sweden
-
Univ. of New South Wales
-
Universidad Adolfo Ibáñez [Santiago]
-
Universidad Andrés Bello [Santiago]
-
Universidad Complutense de Madrid = Complutense University of Madrid [Madrid]
-
Universidad Tecnica Federico Santa Maria [Valparaiso]
-
Universidad de Buenos Aires [Buenos Aires]
-
Universidad de Chile = University of Chile [Santiago]
-
Universidad de Concepción - University of Concepcion [Chile]
-
Universidad de Guadalajara
-
Universidad de Málaga [Málaga] = University of Málaga [Málaga]
-
Universidade Nova de Lisboa = NOVA University Lisbon
-
Universidade Presbiteriana Mackenzie
-
Universidade de Aveiro
-
Universidade do Minho = University of Minho [Braga]
-
Universidade do Porto = University of Porto
-
Universitat Politècnica de Catalunya = Université polytechnique de Catalogne [Barcelona]
-
Universitatea de Vest din Timișoara [România] = West University of Timișoara [Romania] = Université Ouest de Timișoara [Roumanie]
-
Universiteit Gent = Ghent University
-
Universiteit Leiden = Leiden University
-
Universiteit Utrecht
-
Universiteit Utrecht | Utrecht University [Utrecht]
-
Universiteit van Amsterdam
-
University College of London [London]
-
University of Amsterdam [Amsterdam] = Universiteit van Amsterdam
-
University of Augsburg
-
University of Bamberg
-
University of Bath [Bath]
-
University of Belgrade [Belgrade]
-
University of Birjand [Iran]
-
University of Birmingham [Birmingham]
-
University of Bremen
-
University of California
-
University of California [Los Angeles]
-
University of Cambridge [UK]
-
University of Ca’ Foscari [Venice, Italy]
-
University of Central Arkansas
-
University of Debrecen Egyetem [Debrecen]
-
University of Electro-Communications [Tokyo]
-
University of Fukui [Bunkyo]
-
University of Groningen [Groningen]
-
University of Hawai'i [Honolulu]
-
University of Hyogo
-
University of Illinois System
-
University of Illinois at Urbana-Champaign [Urbana]
-
University of Latvia
-
University of Leicester
-
University of Liverpool
-
University of Luxembourg [Luxembourg]
-
University of Maryland System
-
University of Maryland [College Park]
-
University of New South Wales [Sydney]
-
University of Notre Dame [Indiana]
-
University of Oslo
-
University of Ottawa [Ottawa]
-
University of Oxford
-
University of Pisa - Università di Pisa
-
University of Portsmouth
-
University of Prince Edward Island
-
University of Saskatchewan [Saskatoon, Canada]
-
University of Southampton
-
University of Strathclyde [Glasgow]
-
University of Stuttgart
-
University of Szeged [Szeged]
-
University of Tabriz [Tabriz]
-
University of Technology
-
University of Technology Sydney
-
University of Tehran
-
University of Turku
-
University of Victoria [Canada]
-
University of Warsaw
-
University of Waterloo [Waterloo]
-
University of York [York, UK]
-
University of Zanjan
-
Università degli Studi di Firenze = University of Florence = Université de Florence
-
Università degli Studi di Milano = University of Milan
-
Università degli Studi di Milano-Bicocca = University of Milano-Bicocca
-
Università degli Studi di Roma "La Sapienza" = Sapienza University [Rome]
-
Università degli Studi di Roma Tor Vergata [Roma] = University of Rome Tor Vergata
-
Università degli Studi di Salerno = University of Salerno
-
Università degli Studi di Sassari = University of Sassari [Sassari]
-
Università degli Studi di Udine - University of Udine [Italie]
-
Università degli studi di Catania = University of Catania
-
Università degli studi di Genova = University of Genoa
-
Università degli studi di Torino = University of Turin
-
Universitá degli Studi dell’Insubria = University of Insubria [Varese]
-
Universität Augsburg [Augsburg]
-
Universität Bayreuth
-
Universität Duisburg-Essen = University of Duisburg-Essen [Essen]
-
Universität Heidelberg [Heidelberg] = Heidelberg University
-
Universität Kassel [Kassel]
-
Universität Zürich [Zürich] = University of Zurich
-
Universität des Saarlandes [Saarbrücken]
-
Université Bourgogne Franche-Comté [COMUE]
-
Université Claude Bernard Lyon 1
-
Université Côte d'Azur
-
Université Grenoble Alpes [2016-2019]
-
Université Henri Poincaré - Nancy 1
-
Université Joseph Fourier - Grenoble 1
-
Université Nancy 2
-
Université Nice Sophia Antipolis (1965 - 2019)
-
Université Paris 13
-
Université Paris Cité
-
Université Paris Dauphine-PSL
-
Université Paris Diderot - Paris 7
-
Université Paris Sciences et Lettres
-
Université Paris-Est Créteil Val-de-Marne - Paris 12
-
Université Paris-Est Marne-la-Vallée
-
Université Paris-Sud - Paris 11
-
Université Pierre Mendès France - Grenoble 2
-
Université Publique de France
-
Université Sorbonne Paris Cité
-
Université Toulouse - Jean Jaurès
-
Université Toulouse Capitole
-
Université Toulouse III - Paul Sabatier
-
Université d'Orléans
-
Université de Bordeaux
-
Université de Bretagne Sud
-
Université de Caen Normandie
-
Université de Franche-Comté
-
Université de Lorraine
-
Université de Lyon
-
Université de Montpellier
-
Université de Nantes
-
Université de Nantes - UFR des Sciences et des Techniques
-
Université de Rennes
-
Université de Sfax - University of Sfax
-
Université de Technologie de Belfort-Montbeliard
-
Université de Toulon
-
Université de Toulouse
-
Université de Tsukuba = University of Tsukuba
-
Université de la Méditerranée - Aix-Marseille 2
-
Université du Luxembourg
-
Université libre de Bruxelles
-
Univerzita Karlova [Praha, Česká republika] = Charles University [Prague, Czech Republic]
-
Ural Federal University [Ekaterinburg]
-
VIT University
-
Vali-e-Aser University of Rafsanjan
-
Vellore Institute of Technology
-
Vienna University of Technology = Technische Universität Wien
-
Virginia Tech [Blacksburg]
-
Vrije Universiteit Brussel [Bruxelles]
-
Warsaw University of Technology [Warsaw]
-
Waseda University [Tokyo, Japan]
-
Westsächsische Hochschule Zwickau = West Saxon University of Applied Sciences of Zwickau
-
Wroclaw University of Economics
-
Yazd University
-
Yonsei University
-
Åbo Akademi University [Turku]
-
École Centrale de Marseille
-
École Centrale de Nantes
-
École Nationale Supérieure d'Ingénieurs de Caen
-
École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)
-
École des Mines de Saint-Étienne
-
École des Ponts ParisTech
-
École normale supérieure - Cachan
-
École normale supérieure - Rennes
-
École normale supérieure de Lyon
-
Équipe Verification de Systèmes Temporisés Critiques