Access content directly
-
ASML Netherlands B.V.
-
ASML [VELDHOVEN]
-
Aalborg University [Denmark]
-
Aalto University
-
Aarhus University [Aarhus]
-
Academic Center for Computing and Media Studies
-
ActiveEon
-
Aix Marseille Université
-
Alma Mater Studiorum Università di Bologna = University of Bologna
-
Assistance à la Certification d’Applications DIstribuées et Embarquées
-
Australian National University
-
Beijing Institute of Technology
-
CASH - Compilation and Analysis, Software and Hardware
-
CISTER [Porto]
-
CITI Centre of Innovation in Telecommunications and Integration of services
-
CNR Istituto di Scienza e Tecnologie dell’Informazione “A. Faedo” [Pisa]
-
COMmunications, Réseaux, systèmes Embarqués et Distribués
-
Cap Gemini [Amsterdam]
-
Carleton University
-
Center for Research & Development in Mathematics and Applications [Aveiro]
-
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
-
Centro de Investigaçao e Desenvolvimento em Matematica e Aplicaçoes
-
Centrum Wiskunde & Informatica
-
Centrum voor Wiskunde en Informatica
-
Certus Centre for Software Validation and Verification
-
Chalmers University of Technology [Göteborg]
-
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
-
Cluster of Excellence Multimodal Computing and Interaction
-
Combination of approaches to the security of infinite states systems
-
Computer Science and Engineering Department [Bucharest]
-
Computer Science department [Michigan Tech]
-
Computing Science Department
-
Concurrency, Mobility and Transactions
-
Construction of verified concurrent systems
-
Czech Academy of Sciences [Prague]
-
Departamento de Ciência Da Computação [Rio de Janeiro]
-
Department of Computer Science
-
Department of Computer Science [Auckland]
-
Department of Computer Science [Verona]
-
Department of Computer Science and Engineering
-
Department of Computer Science and Engineering [Göteborg]
-
Department of Computer Science and Engineering [New Delhi]
-
Department of Formal Methods
-
Department of Informatics [King's College London]
-
Department of Informatics [Sussex]
-
Department of Mathematics
-
Department of Mathematics and Computer Science
-
Department of Medical Informatics
-
Design, study and implementation of languages for proofs and programs
-
Deutsches Forschungszentrum für Künstliche Intelligenz GmbH = German Research Center for Artificial Intelligence
-
Dip. di Informatica
-
Dipartimento di Informatica
-
Dipartimento di Matematica e Informatica
-
Dipartimento di Sistemi e Informatica
-
Dipartimento di informatica
-
Division of Mathematical Sciences, School of Physical and Mathematical Sciences, College of Science
-
ESIEE Paris
-
East China University of Science and Technology
-
Eco-informatics
-
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]
-
Fachgruppe Informatik
-
Faculty of Computer Science and Engineering
-
Faculty of Science, Technology and Communication [Luxembourg]
-
Federal University of Goiás [Jataí]
-
Ferdowsi University of Mashhad
-
Foundations of Component-based Ubiquitous Systems
-
Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174)
-
Friedrich-Alexander Universität Erlangen-Nürnberg = University of Erlangen-Nuremberg
-
Fédération de Recherche Bézout
-
Google Inc.
-
Gran Sasso Science Institute
-
Graz University of Technology [Graz]
-
Griffith University [Brisbane]
-
Göteborgs Universitet = University of Gothenburg
-
Halmstad University
-
Harbin Institute of Technology
-
Hasso Plattner Institute [Potsdam, Germany]
-
Helsingin yliopisto = Helsingfors universitet = University of Helsinki
-
High-Assurance Software Laboratory [Braga, Portugal]
-
Humboldt-Universität zu Berlin = Humboldt University of Berlin = Université Humboldt de Berlin
-
IMT Institute for Advanced Studies [Lucca]
-
IT University of Copenhagen
-
Imperial College London
-
Indian Institute of Technology Delhi
-
Indraprastha Institute of Information Technology [New Delhi]
-
Inria Grenoble - Rhône-Alpes
-
Inria Lyon
-
Inria Nancy - Grand Est
-
Inria Paris-Rocquencourt
-
Inria Saclay - Ile de France
-
Inria Sophia Antipolis - Méditerranée
-
Institut Galilée
-
Institut Mines-Télécom [Paris]
-
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 des Sciences Appliquées
-
Institut National des Sciences Appliquées de Lyon
-
Institut de Mathématiques de Marseille
-
Institut de mathématiques de Luminy
-
Institut de recherche en informatique de Toulouse
-
Institut für Informatik
-
Institut polytechnique de Grenoble - Grenoble Institute of Technology
-
Institute for Computing and Information Sciences [Nijmegen]
-
Institute for Industrial Management [RWTH Aachen University]
-
Institute for Integrated and Intelligent Systems
-
Institute for Systems and Computer Engineering, Technology and Science [Braga]
-
Institute for Systems and Computer Engineering, Technology and Science [Porto]
-
Institute for Theoritical Physics and Mathematics
-
Institute of Automation - Chinese Academy of Sciences
-
Institute of Automation and Electrometry of the Siberian Branch of the RAS
-
Institute of Cybernetics [Tallinn]
-
Institute of Informatics
-
International Institute for Software Technology [Macao]
-
Iran University of Science and Technology [Tehran]
-
Justus-Liebig-Universität Gießen = Justus Liebig University
-
Khatam University
-
King‘s College London
-
Kyoto University
-
Kyoto University Hospital
-
LS2 Informatik
-
Laboratoire Bordelais de Recherche en Informatique
-
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 Gaspard-Monge
-
Laboratoire d'Informatique de Grenoble
-
Laboratoire d'Informatique de Paris-Nord
-
Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis
-
Laboratoire d'analyse et modélisation de systèmes pour l'aide à la décision
-
Laboratoire d'informatique de l'École polytechnique [Palaiseau]
-
Laboratoire de l'Informatique du Parallélisme
-
Lehrstuhl für Informatik 7
-
Leiden Institute of Advanced Computer Science [Leiden]
-
Linnaeus University
-
Logic, proof Theory and Programming
-
Macquarie University
-
Martin-Luther-Universität Halle Wittenberg
-
Max Planck Institute for Informatics [Saarbrücken]
-
Max Planck Institute for Software Systems
-
Max-Planck-Gesellschaft
-
Max-Planck-Institut für Informatik
-
Michigan State University System
-
Michigan State University [East Lansing]
-
Michigan Technological University
-
Microsoft Corporation [Redmond, Wash.]
-
Microsoft Research
-
Microsoft Research [Redmond]
-
Mobile Network Performance Group
-
Mälardalen University
-
Mälardalens University - Mälardalens Högskola, Sweden and Reykjavik University,
-
Nanyang Technological University [Singapour]
-
National ICT Australia [Sydney]
-
National Research Council of Italy | Consiglio Nazionale delle Ricerche
-
National Technical University of Athens [Athens]
-
National University of Singapore
-
Netherlands Organisation for Scientific Research
-
Open University of the Netherlands [Heerlen]
-
Peking University [Beijing]
-
Peoples Friendship University of Russia [RUDN University]
-
Politecnico di Milano [Milan]
-
Preuves et Langages
-
Preuves, Programmes et Systèmes
-
Privacy Models, Architectures and Tools for the Information Society
-
Proof search and reasoning with logic specifications
-
Radboud University [Nijmegen]
-
Reykjavík University
-
Rheinisch-Westfälische Technische Hochschule Aachen University
-
Riphah International University
-
Rochester Institute of Technology
-
Saarland University [Saarbrücken]
-
Safe Composition of Autonomous applications with Large-SCALE Execution environment
-
Sandia National Laboratories - Corporation
-
Sandia National Laboratories [Albuquerque]
-
ScaLable Information Discovery and Exploitation [Grenoble]
-
School for Advanced Studies Lucca
-
School of Computer Sc. and Eng.
-
School of Computer Science and Engineering
-
School of Computing Science [Glasgow]
-
School of Electrical Engineering and Computer Science [Tehran]
-
School of Engineering (ISEP) of the Polytechnic Institute of Porto (IPP)
-
School of Information Technology and Electrical Engineering
-
School of Science and Technology
-
School of Telecommunication Engineering, Institute of Engineering
-
Services répartis, Architectures, MOdélisation, Validation, Administration des Réseaux
-
Shahid Bahonar University of Kerman
-
Shahid Beheshti University
-
Shahid Beheshti University G.C.
-
Shanghai Jiao Tong University [Shanghai]
-
Sharif University of Technology [Tehran]
-
Shimane University
-
Siberian Branch of the Russian Academy of Sciences
-
Slovak Academy of Sciences
-
Ss. Cyril and Methodius University in Skopje
-
State Key Laboratory of Computer Science, Institute of Software
-
Suranaree University of Technology
-
TOBB University of Economics and Technology [Ankara]
-
Tallinn University of Technology
-
Technical Faculty Bor
-
Technical University of Berlin | Technische Universität Berlin
-
Technical University of Ostrava [Ostrava]
-
Technische Universität Darmstadt - Technical University of Darmstadt
-
Technische Universität Dortmund [Dortmund]
-
Tehran Institute for Advanced Studies
-
Tel Aviv University
-
The Chinese University of Hong Kong [Hong Kong]
-
The University of Queensland
-
The University of Tokyo
-
Tohoku University [Sendai]
-
Toulouse Mind & Brain Institut
-
Tsinghua University [Beijing]
-
Télécom SudParis
-
Umeå University
-
United Nations University
-
Univ. of New South Wales
-
Universidade Federal Fluminense [Rio de Janeiro]
-
Universidade Federal do Rio de Janeiro [Brasil] = Federal University of Rio de Janeiro [Brazil] = Université fédérale de Rio de Janeiro [Brésil]
-
Universidade de Aveiro
-
Universidade do Minho = University of Minho [Braga]
-
Universitat Politècnica de Catalunya = Université polytechnique de Catalogne [Barcelona]
-
Universiteit Leiden = Leiden University
-
Universiteit Utrecht
-
Universiteit Utrecht | Utrecht University [Utrecht]
-
University Politehnica of Bucharest [Romania]
-
University of Antwerp
-
University of Auckland [Auckland]
-
University of Augsburg
-
University of Bamberg
-
University of Belgrade [Belgrade]
-
University of Ca’ Foscari [Venice, Italy]
-
University of Debrecen Egyetem [Debrecen]
-
University of Freiburg
-
University of Fukui [Bunkyo]
-
University of Glasgow
-
University of Isfahan
-
University of Kassel
-
University of Leicester
-
University of Luxembourg [Luxembourg]
-
University of Malta [Malta]
-
University of New South Wales [Sydney]
-
University of Notre Dame [Indiana]
-
University of Oslo
-
University of Ottawa [Ottawa]
-
University of Pisa - Università di Pisa
-
University of Pretoria [South Africa]
-
University of Southampton
-
University of Southern California
-
University of Strathclyde [Glasgow]
-
University of Sussex
-
University of Szeged [Szeged]
-
University of Tabriz [Tabriz]
-
University of Technology
-
University of Technology Sydney
-
University of Tehran
-
University of Turku
-
Università degli Studi dell'Aquila = University of L'Aquila
-
Università degli Studi di Cagliari = University of Cagliari
-
Università degli Studi di Camerino = University of Camerino
-
Università degli Studi di Firenze = University of Florence = Université de Florence
-
Università degli Studi di Milano = University of Milan
-
Università degli Studi di Roma "La Sapienza" = Sapienza University [Rome]
-
Università degli Studi di Salerno = University of Salerno
-
Università degli studi di Genova = University of Genoa
-
Università degli studi di Torino = University of Turin
-
Università degli studi di Verona = University of Verona
-
Universität Duisburg-Essen = University of Duisburg-Essen [Essen]
-
Universität Heidelberg [Heidelberg] = Heidelberg University
-
Universität der Bundeswehr München [Neubiberg]
-
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 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é Pierre Mendès France - Grenoble 2
-
Université Sorbonne Paris Cité
-
Université Toulouse - Jean Jaurès
-
Université Toulouse Capitole
-
Université Toulouse III - Paul Sabatier
-
Université de Bordeaux
-
Université de Franche-Comté
-
Université de Lorraine
-
Université de Lyon
-
Université de Technologie de Belfort-Montbeliard
-
Université de Toulouse
-
Université de la Méditerranée - Aix-Marseille 2
-
Uppsala University
-
Ural Federal University [Ekaterinburg]
-
VU University Medical Center [Amsterdam]
-
Verum Software Tools [Eindhoven]
-
Vienna University of Technology = Technische Universität Wien
-
Vrije Universiteit Amsterdam [Amsterdam]
-
Warsaw University of Technology [Warsaw]
-
West Virginia University [Morgantown]
-
Westsächsische Hochschule Zwickau = West Saxon University of Applied Sciences of Zwickau
-
École Centrale de Marseille
-
École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)
-
École des Ponts ParisTech
-
École normale supérieure - Cachan
-
École normale supérieure de Lyon
-
École polytechnique