-
ABB
-
ABB Robotics
-
AELOS
-
ALL4TEC
-
ALL4TEC RD [Laval]
-
ARM Ltd [Cambridge]
-
AT&T Laboratories
-
AVL LIST GmbH (.)
-
AVL List GmbH
-
Aalborg University [Denmark]
-
Aalto University
-
Accenture Technology Labs [Bangalore]
-
Adaptive Distributed Applications and Middleware
-
Airbus Central Research and Technology [Munich]
-
Airbus Defence and Space [Taufkirchen]
-
Airbus Group Innovations [Suresnes]
-
Airbus [France]
-
Aix Marseille Université
-
Al-Baha University
-
Al-Balqa' Applied University [Salt]
-
Alarcos Research Group
-
Albert-Ludwigs-Universität Freiburg = University of Freiburg
-
Alcatel-Lucent Bell Labs
-
Alexandru Ioan Cuza University of Iași = Universitatea Alexandru Ioan Cuza din Iași
-
Algorithms for the Grid
-
Alma Mater Studiorum Università di Bologna = University of Bologna
-
Altreonic
-
Amazon Web Services [Seattle]
-
AmbieSense Ltd
-
American University of Beirut [Beyrouth]
-
American University of Sharjah
-
Analysis and Transformation based on rEliAble tool coMpositionS
-
Andrea Razmadze Mathematical Institute
-
Anhui University [Hefei]
-
Anna University
-
Applied Information Security
-
Architecture, Cloud continuum, formal Models, artificial intElligence and Services in distributed computing
-
Argonne National Laboratory [Lemont]
-
Aristotle University of Thessaloniki
-
Arizona State University [Tempe]
-
As Scalable As Possible: foundations of large scale dynamic distributed systems
-
Aspect and composition languages
-
Assistance à la Certification d’Applications DIstribuées et Embarquées
-
Aston University [Birmingham]
-
Athens University of Economics and Business
-
Audi Electronics Venture GmbH
-
Australian National University
-
Austrian Institute of Technology [Vienna]
-
Autonomic and Critical Embedded Systems
-
BASICS
-
BBN Technologies
-
Bag-Era [Grenoble]
-
Bar-Ilan University [Israël]
-
Barcelona Supercomputing Center (BSC) and Technical University of Catalonia (UPC)
-
Barcelona Supercomputing Center (BSC) and Universitat Politecnica de Catalunya - Barcelona Tech (UPC)
-
Barry University
-
Beijing University of Technology
-
Bergen University College
-
Binghamton University [SUNY]
-
Blekinge Institute of Technology [Karlskrona]
-
Bombardier Transportation [Västerås]
-
Boston University [Boston]
-
Brunel University London [Uxbridge]
-
Budapest University of Technology and Economics [Budapest]
-
CASH - Compilation and Analysis, Software and Hardware
-
CBCU|ECRIC
-
CERN [Genève]
-
CISC Semiconductor GmbH
-
CISCO Systems, Inc
-
CISTER [Porto]
-
CNR Istituto di Scienza e Tecnologie dell’Informazione “A. Faedo” [Pisa]
-
COMmunications, Réseaux, systèmes Embarqués et Distribués
-
CRACS & Inesc TEC [Porto]
-
CREST Centre, Department of Computer Science
-
CRIM
-
California Institute of Technology
-
Carleton University
-
Carnegie Mellon University [Pittsburgh]
-
Carnegie Mellon University in Qatar
-
Catholic University of Leuven = Katholieke Universiteit Leuven
-
Center for Quantum Computing [Shenzhen]
-
Centrale Lille
-
CentraleSupélec
-
Centre National de la Recherche Scientifique
-
Centre Suisse d'Electronique et Microtechnique SA
-
Centre de Coopération Internationale en Recherche Agronomique pour le Développement
-
Centre de Recherche Informatique de Montréal = Computer Research Institute of Montréal
-
Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189
-
Centre de Recherche en Numérique de Sfax
-
Centro de Informática e Tecnologia Informação
-
Centrum Wiskunde & Informatica
-
Centrum voor Wiskunde en Informatica
-
Chalmers University of Technology [Göteborg]
-
Chercheur indépendant
-
Chinese Academy of Sciences [Beijing]
-
Chinese Academy of Sciences [Changchun Branch]
-
City University London
-
College of William and Mary [Williamsburg]
-
Combination of approaches to the security of infinite states systems
-
Commissariat à l'énergie atomique et aux énergies alternatives
-
Commissariat à l'énergie atomique et aux énergies alternatives - Laboratoire d'Electronique et de Technologie de l'Information
-
Commonwealth Scientific and Industrial Research Organisation [Australia]
-
Compiler Optimization and Run-time Systems
-
Composition de modèles pour l'ingénierie logicielle
-
Computational and Systems Biology [Trento]
-
Computer Learning Research Centre [Royal Holloway, University of London]
-
Computer Research Institute of Montréal
-
Computer Science Department
-
Computer Science and Artificial Intelligence Laboratory [Cambridge]
-
Computing Department
-
Computing Department [Lancaster]
-
Concordia University [Montreal]
-
Concurrency, Mobility and Transactions
-
Consejo Nacional de Investigaciones Científicas y Técnicas [Buenos Aires]
-
Construction of verified concurrent systems
-
Control for Autonomic computing systems
-
Cornell University [New York]
-
Corporate Technology
-
Cracow University of Technology
-
Czech Technical University in Prague
-
DCR Solutions
-
DOCOMO Communications Laboratories Europe GmbH
-
DOCOMO Euro-Labs
-
DSIC
-
Daimler [Stuttgart]
-
Danish Technological Institute
-
Danmarks Tekniske Universitet = Technical University of Denmark
-
Darmstadt University of Technology [Darmstadt]
-
Data61 [Canberra]
-
Delft University of Technology
-
Departamento Sistemas Informáticos y Computación [Madrid]
-
Departamento de Ciência da Computação [Minas Gerais]
-
Departamento de Informática
-
Departamento de Lenguajes y Sistemas Informáticos e Ingeniería de Software [Madrid]
-
Departamento de Sistemas Informáticos y Computación
-
Departamento de Sistemas Informáticos y Computación, Universidad Complutense de Madrid
-
Department of Applied Mathematics and Computer Science [Lyngby]
-
Department of Computer Architecture & Operating Systems
-
Department of Computer Science
-
Department of Computer Science - Trinity College Dublin
-
Department of Computer Science [Buenos Aires]
-
Department of Computer Science [Copenhagen]
-
Department of Computer Science [Malta]
-
Department of Computer Science [Pisa]
-
Department of Computer Science [Santa Barbara]
-
Department of Computer Science [UIUC]
-
Department of Computer Science and Engineering [Bologna]
-
Department of Computer and Information Science [Pennsylvania]
-
Department of Computer and Information Sciences [Univ Strathclyde]
-
Department of Computing and Information Sciences [Kansas]
-
Department of Electrical Engineering and Computer Science [Stavanger]
-
Department of Electrical and Computer Engineering
-
Department of Electronics and Telecommunication
-
Department of Engineering [Sannio]
-
Department of Formal Methods
-
Department of Informatics [Athens]
-
Department of Informatics [Bergen]
-
Department of Informatics [Oslo]
-
Department of Information Science
-
Department of Information Systems and Computing
-
Department of Information Technology
-
Department of Information and Computer Science
-
Department of Mathematical Informatics
-
Department of Mathematical Sciences [Matieland, Stellenbosch Uni.]
-
Department of Mathematics
-
Department of Mathematics and Computer Science
-
Department of Mathematics and Computer Science [Eindhoven]
-
Department of Mathematics and Computer Science [Odense]
-
Department of Networks, Systems and Services
-
Department of Physics, Applied Physics, and Astronomy [Troy]
-
Department of Software Science
-
Department of Statistics, Trinity College Dublin
-
Department of Telematics
-
Departmento de Sistemas Informáticos
-
Design and Implementation of Autonomous Distributed Systems
-
Deutsche Telekom
-
Deutsche Telekom Laboratories
-
Dipartimento di Elettronica e Informazione [Milanio]
-
Dipartimento di Informatica
-
Dipartimento di Informatica - Scienza e Ingegneria [Bologna]
-
Dipartimento di Informatica [Pisa]
-
Dipartimento di Informatica [Torino]
-
Dipartimento di Informatica e Sistemistica "Antonio Ruberti"
-
Dipartimento di Informatica, Bioingegneria, Robotica e Ingegneria dei Sistemi [Genova]
-
Dipartimento di Ingegneria informatica automatica e gestionale [Roma]
-
Dipartimento di Matematica e Informatica [Perugia]
-
Dipartimento di Scienze Pure e Applicate
-
Dipartimento di Scienze dell'Informazione [Bologna]
-
Direction de Recherche Technologique (CEA)
-
Disruption-Tolerant Networking & Computing
-
DistriNet, Dept. of Computer Science
-
DistributEd aLgorithms and sYStems
-
Distributed Programming Laboratory
-
Distributed Systems (VSIS), Informatics Department
-
Distributed Systems Group
-
Distributed Systems and Computer Networks
-
Distributed Systems research group [Kassel]
-
Distributed and Iterative Algorithms for the Management of Telecommunications Systems
-
Distribution, Recherche d'Information et Mobilité
-
Dublin City University [Dublin]
-
Duke University Medical Center
-
Dynamique du pouvoir dans l'anthropocene
-
Département Automatique
-
Département Informatique
-
Département Informatique et Réseaux
-
Département Intelligence Ambiante et Systèmes Interactifs
-
Département Logiciels et Réseaux
-
Département Réseaux et Services Multimédia Mobiles
-
Département Systèmes Réseaux, Cybersécurité et Droit du numérique
-
Département d'Informatique [Université de Turin]
-
Département d'Ingénierie Informatique - UCL
-
Département informatique - EMN
-
ESCP Europe Campus Berlin
-
East China Normal University [Shangaï]
-
Eberhard Karls Universität Tübingen = University of Tübingen
-
Ecole Centrale Paris
-
Ecole Nationale Supérieure d'Electronique, Informatique et Radiocommunications de Bordeaux
-
Ecole Nationale Supérieure de Mécanique et des Microtechniques
-
Ecole Nationale Supérieure des Mines de St Etienne
-
Ecole Polytechnique Fédérale de Lausanne
-
Ecole Pour l'Informatique et les Techniques Avancées
-
Ecole Superieure d'Ingenieurs de Rennes [Rennes]
-
Ecole Supérieure d'Electricité - SUPELEC (FRANCE)
-
Ecole Supérieure de Commerce de Paris
-
Efficient STAtistical methods in SYstems of systems
-
Efficient and Robust Distributed Systems
-
Efficient and safe distributed systems
-
Eidgenössische Technische Hochschule - Swiss Federal Institute of Technology [Zürich]
-
Eindhoven University of Technology [Eindhoven]
-
Ericsson Inc [Canada]
-
Ericsson [Stockholm]
-
Ericsson [Sweden]
-
European Media Laboratory GmbH
-
European Organization for Nuclear Research
-
Exformatics [Copenhagen]
-
FUTURE HEALTH DEPARTMENT [KU Leuven]
-
Facebook
-
Fachhochschule Dortmund - University of Applied Sciences and Arts
-
Faculdade de Ciências
-
Faculdade de Ciências e Tecnologia = School of Science & Technology
-
Faculdade de Ciências e Tecnologia [Ponta Delgada]
-
Facultad de Ciencias Exactas y Naturales [Buenos Aires]
-
Faculty of Computer Science [Iași]
-
Faculty of Computer Science and Mathematics [Bremen]
-
Faculty of Electrical Engineering and Computing [Zagreb]
-
Faculty of Engineering and Natural Sciences
-
Faculty of Informatics
-
Faculty of Information Technology [Prague]
-
Faculty of Mathematics and Natural Sciences [Oslo]
-
Faculty of Science [Copenhagen]
-
FernUniversit¨at in Hagen
-
Fondazione Bruno Kessler [Trento, Italy]
-
Fondements opérationnels, logiques et algébriques des systèmes logiciels
-
Formal Methods and Tools
-
Formal Methods for Embedded Systems
-
Foundation for Research and Technology - Hellas
-
Foundations of Component-based Ubiquitous Systems
-
France Télécom
-
Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174)
-
Fraunhofer
-
Fraunhofer Institute for Applied Information Technology
-
Fraunhofer Institute for Factory Operation and Automation
-
Fraunhofer Institute for Open Communication Systems
-
Friedrich-Alexander Universität Erlangen-Nürnberg = University of Erlangen-Nuremberg
-
GIPSA - Systèmes non linéaires et complexité
-
Gebze Technical University
-
General Motors [Warren]
-
Georg-August-University = Georg-August-Universität Göttingen
-
Georgetown University [Washington]
-
Georgia Institute of Technology [Atlanta]
-
Gifu University
-
GitHub, Inc.
-
Google Inc [Mountain View]
-
Government College of Engineering
-
Gran Sasso Science Institute
-
GraphSQL
-
Graz University of Technology [Graz]
-
Grenoble Images Parole Signal Automatique
-
Gulf University for Science and Technology
-
Guru Nanak Dev University, Punjab
-
HP Italy
-
HP Labs China [Beijing]
-
Hamburg University of Applied Sciences [Hamburg]
-
Handicap et système nerveux :Action, communication, interaction: rétablissement de la fonction et de la participation [Bordeaux]
-
Hasso Plattner Institute [Potsdam, Germany]
-
Haute École spécialisée de Suisse occidentale = HES-SO University of Applied Sciences and Arts Western Switzerland = Fachhochschule Westschweiz [Schweiz]
-
Heinrich Heine Universität Düsseldorf = Heinrich Heine University [Düsseldorf]
-
Heterogeneous and Adaptive distributed DAta management Systems
-
Hewlett Packard Research Labs
-
Hewlett-Packard
-
High-Assurance Software Laboratory [Braga, Portugal]
-
Huawei Technologies France [Boulogne-Billancourt]
-
Human-Machine Systems Engineering [Kassel]
-
Humboldt State University
-
Humboldt-Universität zu Berlin = Humboldt University of Berlin = Université Humboldt de Berlin
-
Hungarian Academy of Sciences
-
IBM
-
IBM Austin Research Lab [Austin]
-
IBM India Research Lab.
-
IBM Research - India
-
IBM Research Laboratory [Zurich]
-
IBM Research [Zurich]
-
IBM T. J. Watson Research Centre
-
IBM T.J. Watson Research Center
-
IBM Thomas J. Watson Research Center
-
IIIA-CSIC
-
IIT-CNR
-
IMEC
-
IMT Alti Studi Lucca
-
IMT Atlantique
-
IMT Institute for Advanced Studies [Lucca]
-
INRIA Lorraine
-
INTEL Labs
-
IT University of Copenhagen
-
IVU Traffic Technologies AG
-
Imperial College London
-
Indenova SL
-
Indian Institute of Management Bangalore
-
Indian Institute of Science
-
Indian Institute of Science Education and Research Bhopal
-
Indian Institute of Technology Delhi
-
Indiana University-Purdue University Fort Wayne
-
Informal systems [Vienna]
-
Information and Communication Technology [Oslo]
-
Innopolis University
-
Inria Bordeaux - Sud-Ouest
-
Inria Grenoble - Rhône-Alpes
-
Inria Lille - Nord Europe
-
Inria Nancy - Grand Est
-
Inria Paris-Rocquencourt
-
Inria Rennes – Bretagne Atlantique
-
Inria Saclay - Ile de France
-
Inria Sophia Antipolis - Méditerranée
-
Inria de Paris
-
Inria-EPFL
-
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 - Rennes
-
Institut National des Sciences Appliquées de Lyon
-
Institut Polytechnique de Bordeaux
-
Institut Polytechnique de Paris
-
Institut d'Informatique [Neuchâtel]
-
Institut de Recherche en Informatique Fondamentale
-
Institut de Recherche en Informatique et Systèmes Aléatoires
-
Institut de recherche en informatique de Toulouse
-
Institut für Informatik
-
Institut polytechnique de Grenoble - Grenoble Institute of Technology
-
Institut universitaire de France
-
Institute IMDEA Software [Madrid]
-
Institute for Infocomm Research - I²R [Singapore]
-
Institute for System Programming of the Russian Academy of Sciences [Moscow]
-
Institute for Systems and Computer Engineering, Technology and Science [Braga]
-
Institute for Systems and Computer Engineering, Technology and Science [Porto]
-
Institute of Automation - Chinese Academy of Sciences
-
Institute of Computer Science [FORTH, Heraklion]
-
Institute of Computer and Network Engineering [Braunschweig]
-
Institute of Distributed Systems
-
Institute of Intelligent Software [Guangzhou]
-
Institute of Parallel and Distributed Systems [Stuttgart]
-
Institute of Science and Technology [Klosterneuburg, Austria]
-
Institute of Software Chinese Academy of Sciences [Beijing]
-
Instituto Superior Técnico
-
Instituto Superior de Engenharia de Lisboa
-
Instituto de Engenharia de Sistemas e Computadores
-
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa
-
Instituto de Engenharia de Sistemas e Computadores, Investigação e Desenvolvimento em Lisboa
-
Instituto de Investigación en Ciencias de la Computación [Buenos Aires]
-
Intel
-
Ionian University [Corfu]
-
Istituto di Informatica e Telematica
-
Japan Advanced Institute of Science and Technology
-
Japanese French Laboratory for Informatics
-
Jaypee University of Information Technology
-
Jozef Stefan Institute [Ljubljana]
-
KDDI R&D Laboratories Inc.
-
KDDI R&D Laboratories Inc. [Saitama]
-
KEREVAL
-
KTH Royal Institute of Technology [Stockholm]
-
Kansas State University
-
Karlstad University [Sweden]
-
Kharkov National University
-
King Mongkut’s University of Technology Thonburi [Bangkok]
-
Kyoto University
-
Kyushu Institute of Technology
-
LANGAGE ET GÉNIE LOGICIEL
-
LIP6
-
LaSIGE [Lisboa]
-
Lab for Automated Reasoning and Analysis
-
Laboratoire Bordelais de Recherche en Informatique
-
Laboratoire Franco-Chinois d'Informatique, d'Automatique et de Mathématiques Appliquées
-
Laboratoire Informatique de l'Université de Pau et des Pays de l'Adour
-
Laboratoire Jean Kuntzmann
-
Laboratoire Lorrain de Recherche en Informatique et ses Applications
-
Laboratoire Spécification et Vérification [Cachan]
-
Laboratoire Traitement et Communication de l'Information
-
Laboratoire d'Electronique, Antennes et Télécommunications
-
Laboratoire d'InfoRmatique en Image et Systèmes d'information
-
Laboratoire d'Informatique Fondamentale de Lille
-
Laboratoire d'Informatique de Grenoble
-
Laboratoire d'Informatique de Nantes Atlantique
-
Laboratoire d'Informatique de Paris 6
-
Laboratoire d'Informatique de Paris-Nord
-
Laboratoire d'Informatique et des Systèmes (LIS) (Marseille, Toulon)
-
Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis
-
Laboratoire d'Informatique, de Modélisation et d'Optimisation des Systèmes
-
Laboratoire d'Intégration des Systèmes et des Technologies
-
Laboratoire d'informatique Algorithmique : Fondements et Applications
-
Laboratoire d'informatique Fondamentale de Marseille - UMR 6166
-
Laboratoire d'informatique de l'École polytechnique [Palaiseau]
-
Laboratoire de Génie Electrique de Grenoble
-
Laboratoire de Recherche en Informatique
-
Laboratoire de Recherche et de Développement de l'EPITA
-
Laboratoire de Robotique Interactive
-
Laboratoire de l'Informatique du Parallélisme
-
Laboratoire des Sciences du Numérique de Nantes
-
Laboratorio CINI-ITEM Carlo Savy
-
Laboratory for Reliable Software
-
Laboratory of Advanced Software SYstems [Luxembourg]
-
Laboratório de Sistemas Distribuídos [Bahia]
-
Lancaster University
-
Large-Scale Distributed Systems and Applications
-
Lawrence Livermore National Laboratory
-
Lebanese International University
-
Linnaeus University
-
Logic and Security Laboratory, Department of Computer Engineering, Faculty of Engineering
-
Logical Time for Formal Embedded System Design
-
Lomonosov Moscow State University
-
Ludwig Maximilian University [Munich] = Ludwig Maximilians Universität München
-
MTA SZTE Research Group on Artificial Intelligence
-
MTA-BME Research Group of Technical Analytical Chemistry
-
Maastricht University [Maastricht]
-
Macquarie University
-
MaibornWolff
-
Mansoura University [Egypt]
-
Massachusetts Institute of Technology
-
Mathématiques Appliquées aux Systèmes - EA 4037
-
Mathématiques et Informatique pour la Complexité et les Systèmes
-
Max Planck Institute for Software Systems
-
Max-Planck-Gesellschaft
-
Max-Planck-Institut für Informatik
-
Maximatecc [Västerås]
-
McAfee [Cordoba]
-
McGill University = Université McGill [Montréal, Canada]
-
McMaster University [Hamilton, Ontario]
-
Mentor Graphics
-
Mestrado em Informática Aplicada
-
Michigan State University System
-
Michigan State University [East Lansing]
-
Microsoft Corporation [Redmond, Wash.]
-
Microsoft Research
-
Microsoft Research Silicon Valley
-
Microsoft Research [Cambridge]
-
Microsoft Research [Redmond]
-
Middleware efficiently scalable
-
Mines Nantes
-
Ministère de l'Education nationale, de l’Enseignement supérieur et de la Recherche
-
Modeling and Verification of Distributed Algorithms and Systems
-
Modelling and Inference of Complex and Structured Stochastic Systems
-
Modèles Discrets pour les Systèmes Complexes
-
Modélisation et Vérification
-
Modélisation, Information et Systèmes - UR UPJV 4290
-
Montimage (EURL) [Paris]
-
Montimage [Paris]
-
Motilal Nehru National Institute of Technology Allahabad
-
Mälardalen University
-
Méthodes et modèles pour les réseaux
-
NETQUEST
-
NOVA Laboratory for Computer Science and Informatics
-
Nagoya University
-
Nanjing University
-
Nanyang Technological University [Singapour]
-
National Health Serivice
-
National ICT Australia [Sydney]
-
National Informatics Centre
-
National Institute for Research and Development in Informatics [Bucharest]
-
National Institute for Subatomic Physics [Amsterdam]
-
National Institute of Advanced Industrial Science and Technology
-
National Institute of Informatics
-
National Institute of Technology [Patna]
-
National Research Council of Italy | Consiglio Nazionale delle Ricerche
-
National Taiwan University [Taiwan]
-
National Technical University of Athens [Athens]
-
National Tsing Hua University [Hsinchu]
-
National University of Defense Technology [China]
-
National and Kapodistrian University of Athens
-
Naval Research Laboratory
-
Netherlands Organisation for Scientific Research
-
Newcastle University [Newcastle]
-
Nile University
-
Northeastern University [Boston]
-
Norvegian University of Science, Trondheim
-
Norwegian University of Science and Technology
-
Norwegian University of Science and Technology [Trondheim]
-
Nottingham Trent University
-
Objets communicants pour l'Internet du futur
-
Océ-Technologies B.V.
-
Open Universiteit Nederland [Heerlen]
-
Open University of the Netherlands [Heerlen]
-
Orange Labs
-
Orange Labs R&D [Rennes]
-
Orange Labs [Meylan]
-
Orange Labs [Paris]
-
Organisation for Economic Co-operation and Development
-
Osaka University
-
Osaka University [Osaka]
-
OutSystems
-
PIXIEL GROUP
-
Palo Alto Research Center
-
Peking University [Beijing]
-
Pengcheng Laboratory = Peng Cheng Laboratory [Shenzhen]
-
Penn State System
-
Pennsylvania State University
-
Performance analysis and optimization of LARge Infrastructures and Systems
-
Pohang University of Science and Technology
-
Politecnico di Milano [Milan]
-
Pontificia universidad Javeriana, Cali
-
Pontifícia Universidade Católica do Rio de Janeiro [Brasil] = Pontifical Catholic University of Rio de Janeiro [Brazil] = Université catholique pontificale de Rio de Janeiro [Brésil]
-
Poznan University of Technology
-
Preuves, Programmes et Systèmes
-
Programming Language Technology For Communication Services
-
Proof-oriented development of computer-based systems
-
Purdue University [West Lafayette]
-
Queen Mary University of London
-
Queen's University [Kingston, Canada]
-
Radboud University Medical Center [Nijmegen]
-
Radboud University [Nijmegen]
-
Raytheon BBN Technologies
-
RelationalAI [Berkeley]
-
Reliable and efficient component based software engineering
-
Rensselaer Polytechnic Institute
-
Republic University
-
Research and Development [General Motors]
-
Research at Google
-
Resilience and Elasticity for Security and ScalabiliTy of dynamic networked systems
-
Reykjavík University
-
Rheinisch-Westfälische Technische Hochschule Aachen University
-
Rigorous System Design Laboratory [Lausanne]
-
Riot Games
-
Royal Holloway [University of London]
-
RÉSEAUX, TÉLÉCOMMUNICATION ET SERVICES
-
Réseaux, Systèmes, Services, Sécurité
-
SAP Japan
-
SBA Research
-
SCILLE
-
SDL Fredhopper
-
SINTEF Digital, Microsystems and Nanotechnology [Oslo]
-
SRH Fernhochschule – The Mobile University
-
SRI International [Menlo Park]
-
SUpervision of large MOdular and distributed systems
-
SYSTÈMES LARGE ÉCHELLE
-
Saarland University [Saarbrücken]
-
Sabanci University [Istanbul]
-
Salisbury University
-
Samsung Electronics [Korea]
-
Saxion University of Applied Sciences
-
Scania CV AB [Södertälje]
-
School for Advanced Studies Lucca
-
School of Computer Science [Reykjavik]
-
School of Computer Science and Informatics [Dublin]
-
School of Computing
-
School of Computing Science
-
School of Computing Science [Glasgow]
-
School of Electrical Engineering and Computer Science [Tehran]
-
School of Electrical and Computer Engineering
-
School of Engineering (ISEP) of the Polytechnic Institute of Porto (IPP)
-
School of Mathematical Sciences
-
School of Software Engineering [Beijing]
-
Self-adaptation for distributed services and large software systems
-
Service Oriented Applications Research Unit [Trento]
-
Services répartis, Architectures, MOdélisation, Validation, Administration des Réseaux
-
Shanghai Jiao Tong University [Shanghai]
-
Sherpa Engineering
-
Siemens AG [Munich]
-
Simula Research Laboratory [Lysaker]
-
Singapore University of Technology and Design
-
Software Engineering and Technology
-
Software Languages Lab
-
Software Technology Department
-
Software Testing Centre
-
Software architectures and distributed systems
-
Software certification with semantic analysis
-
Sorbonne Université
-
Sound Programming of Adaptive Dependable Embedded Systems
-
Space Sciences Laboratory [Berkeley]
-
Sri Sivasubramaniya Nadar College of Engineering
-
State Key Laboratory of Computer Science [Beijing]
-
State Key Laboratory of Novel Software Technology [Nanjing University]
-
State University of New York
-
Stellenbosch University
-
Stevens Institute of Technology [Hoboken]
-
Stiftelsen for INdustriell og TEknisk Forskning Digital [Trondheim]
-
Supélec Sciences des Systèmes
-
Swansea University
-
Swedish ICT
-
Swedish Institute of Computer Science [Stockholm]
-
Swinburne University of Technology [Melbourne]
-
System architecture for reflective distributed computing environments
-
System synthesis and supervision, scenarios
-
Système d’exploitation, systèmes répartis, de l’intergiciel à l’architecture
-
TCS Innovation Labs
-
THALES [France]
-
Tallinn University of Technology
-
Tampere University of Technology [Tampere]
-
Tata Research Development and Design Center
-
Tbilisi State University
-
Technical University of Berlin | Technische Universität Berlin
-
Technical University of Cluj-Napoca
-
Technical University of Eindhoven
-
Technical University of Lisbon
-
Techniques de l'Informatique et de la Microélectronique pour l'Architecture des systèmes intégrés
-
Technische Universität Braunschweig = Technical University of Braunschweig [Braunschweig]
-
Technische Universität Darmstadt - Technical University of Darmstadt
-
Technische Universität Dresden = Dresden University of Technology
-
Technische Universität Graz
-
Technische Universität Munchen - Technical University Munich - Université Technique de Munich
-
Telecom Orange
-
Thales Services
-
Thales Transportation Systems [Berlin]
-
The Chinese University of Hong Kong [Hong Kong]
-
The Interventional Center, Oslo University Hospital, Institute of Hospital Medicine
-
The MathWorks
-
The Ohio State University [Columbus]
-
The University of Queensland
-
The University of Tennessee [Knoxville]
-
The University of Tokyo
-
Threat Analysis and Mitigation for Information Security
-
Tim, Events and Architectures
-
Tomsk State University [Tomsk]
-
Toulouse Business School
-
Toulouse Mind & Brain Institut
-
Towson University [Towson, MD, United States]
-
Trinity College Dublin
-
Tsinghua University [Beijing]
-
Turku Centre for Computer Science
-
TÜV SÜD
-
Télécom Bretagne
-
Télécom Paris
-
Télécom ParisTech
-
Télécom SudParis
-
U-Hopper srl [Trento]
-
UCLM, Ciudad Real
-
UCM
-
UFR Sciences médicales 3 [Bordeaux]
-
Umeå University = Umeå Universitet
-
Umm Al-Qura University
-
United Nations University - Operating Unit Policy-Driven Electronic Governance
-
United Nations University [Guimarães]
-
Universidad Complutense de Madrid = Complutense University of Madrid [Madrid]
-
Universidad Politécnica de Madrid
-
Universidad de Buenos Aires [Buenos Aires]
-
Universidad de Castilla-La Mancha = University of Castilla-La Mancha
-
Universidad de Cádiz = University of Cádiz
-
Universidad de Murcia
-
Universidad de Málaga [Málaga] = University of Málaga [Málaga]
-
Universidad de Oviedo = University of Oviedo
-
Universidade Católica de Brasília=Catholic University of Brasília
-
Universidade Federal da Bahia = Federal University of Bahia
-
Universidade Federal de Campina Grande [Campina Grande]
-
Universidade Federal de Minas Gerais = Federal University of Minas Gerais [Belo Horizonte, Brazil]
-
Universidade Federal de Pernambuco [Recife]
-
Universidade Federal do Ceará = Federal University of Ceará
-
Universidade Federal do Paraná [Curitiba, Brasil] = Federal University of Paraná [Curitiba, Brazil] = Université fédérale du Paraná [Curitiba, Brésil]
-
Universidade Federal do Rio Grande do Norte [Natal]
-
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 Nova de Lisboa = NOVA University Lisbon
-
Universidade de Fortaleza (UNIFOR)
-
Universidade de Lisboa = University of Lisbon = Université de Lisbonne
-
Universidade de São Paulo = University of São Paulo
-
Universidade do Minho = University of Minho [Braga]
-
Universidade do Porto = University of Porto
-
Universidade dos Açores
-
Universitad de Buenos Aires = University of Buenos Aires [Argentina]
-
Universitat Autònoma de Barcelona = Autonomous University of Barcelona = Universidad Autónoma de Barcelona
-
Universitat Politècnica de Catalunya = Université polytechnique de Catalogne [Barcelona]
-
Universitat Politècnica de València = Universitad Politecnica de Valencia = Polytechnic University of Valencia
-
Universiteit Gent = Ghent University = Université de Gand
-
Universiteit Leiden = Leiden University
-
Universiteit van Amsterdam
-
Universiti Putra Malaysia
-
University College Dublin [Dublin]
-
University College of London [London]
-
University Politehnica of Bucharest [Romania]
-
University of A Coruña
-
University of Amsterdam [Amsterdam] = Universiteit van Amsterdam
-
University of Auckland [Auckland]
-
University of Bergen
-
University of British Columbia
-
University of California
-
University of California [Berkeley]
-
University of California [Irvine]
-
University of California [Los Angeles]
-
University of California [San Diego]
-
University of California [Santa Barbara]
-
University of California [Santa Cruz]
-
University of Cambridge [UK]
-
University of Ca’ Foscari [Venice, Italy]
-
University of Central Florida [Orlando]
-
University of Chicago
-
University of Chinese Academy of Sciences [Beijing]
-
University of Copenhagen = Københavns Universitet
-
University of Cyprus [Nicosia]
-
University of Dublin
-
University of Edinburgh
-
University of Electro-Communications [Tokyo]
-
University of Glasgow
-
University of Groningen [Groningen]
-
University of Hamburg
-
University of Houston
-
University of Hradec Králové
-
University of Illinois System
-
University of Illinois at Urbana-Champaign [Urbana]
-
University of Kaiserslautern [Kaiserslautern]
-
University of Kansas [Lawrence]
-
University of Kassel
-
University of Kent [Canterbury]
-
University of Koblenz-Landau
-
University of L'Aquila [Italy]
-
University of Leicester
-
University of Lugano
-
University of Macau
-
University of Malta [Malta]
-
University of Maryland System
-
University of Massachusetts Medical School [Worcester]
-
University of Massachusetts System
-
University of Massachusetts [Boston]
-
University of Melbourne
-
University of Michigan System
-
University of Michigan [Ann Arbor]
-
University of Minnesota System
-
University of Minnesota [Twin Cities]
-
University of Moratuwa
-
University of Naples Federico II = Università degli studi di Napoli Federico II
-
University of Nebraska System
-
University of Nebraska–Lincoln
-
University of New South Wales [Sydney]
-
University of North Texas
-
University of Novi Sad
-
University of Oslo
-
University of Otago [Dunedin, Nouvelle-Zélande]
-
University of Ottawa [Ottawa]
-
University of Oxford
-
University of Paderborn
-
University of Passau
-
University of Patras
-
University of Pennsylvania
-
University of Pennsylvania School of Veterinary Medicine
-
University of Pisa [Italy] = Università di Pisa [Italia] = Université de Pise [Italie]
-
University of Potsdam = Universität Potsdam
-
University of Quebec at Montreal, Montreal, Quebec, Canada
-
University of Salzburg
-
University of Sannio [Benevento]
-
University of Science and Technology of China [Hefei]
-
University of Sheffield [Sheffield]
-
University of Southampton
-
University of Southern Denmark
-
University of Stavanger
-
University of Strathclyde [Glasgow]
-
University of Stuttgart
-
University of Surrey
-
University of Szeged [Szeged]
-
University of Tehran
-
University of Texas at Arlington [Arlington]
-
University of Texas at Austin [Austin]
-
University of Toronto
-
University of Tromsø
-
University of Turku
-
University of Twente
-
University of Utah
-
University of Waterloo [Waterloo]
-
University of York [York, UK]
-
University of Zagreb
-
University of the Study of Campania Luigi Vanvitelli
-
Università degli Studi di Bergamo = University of Bergamo
-
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 Modena e Reggio Emilia = University of Modena and Reggio Emilia
-
Università degli Studi di Napoli “Parthenope” = University of Naples
-
Università degli Studi di Padova = University of Padua
-
Università degli Studi di Perugia = University of Perugia
-
Università degli Studi di Roma "La Sapienza" = Sapienza University [Rome]
-
Università degli Studi di Salerno = University of Salerno
-
Università degli Studi di Trento = University of Trento
-
Università degli Studi di Udine - University of Udine [Italie]
-
Università degli Studi di Urbino 'Carlo Bo'
-
Università degli studi dell'Insubria [Como]
-
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 di Trieste = University of Trieste
-
Università degli studi di Verona = University of Verona
-
Università del Piemonte Orientale - Dipartimento DISIT Italy
-
Università della Calabria [Arcavacata di Rende, Italia] = University of Calabria [Italy] = Université de Calabre [Italie]
-
Universitá degli Studi dell’Insubria = University of Insubria [Varese]
-
Universität Augsburg [Deutschland] = University of Augsburg [Germany] = Université d'Augsburg [Allemagne]
-
Universität Bremen [Deutschland] = University of Bremen [Germany] = Université de Brême [Allemagne]
-
Universität Duisburg-Essen = University of Duisburg-Essen [Essen]
-
Universität Paderborn
-
Universität Ulm - Ulm University [Ulm, Allemagne]
-
Université Bourgogne Franche-Comté [COMUE]
-
Université Catholique de Louvain = Catholic University of Louvain
-
Université Claude Bernard Lyon 1
-
Université Clermont Auvergne [2017-2020]
-
Université Côte d'Azur
-
Université Grenoble Alpes
-
Université Grenoble Alpes [2016-2019]
-
Université Henri Poincaré - Nancy 1
-
Université Joseph Fourier - Grenoble 1
-
Université Lumière - Lyon 2
-
Université Nancy 2
-
Université Nice Sophia Antipolis (1965 - 2019)
-
Université Paris 13
-
Université Paris Diderot - Paris 7
-
Université Paris Nanterre
-
Université Paris-Saclay
-
Université Paris-Sud - Paris 11
-
Université Pierre Mendès France - Grenoble 2
-
Université Pierre et Marie Curie - Paris 6
-
Université Sorbonne Paris Cité
-
Université Toulouse - Jean Jaurès
-
Université Toulouse Capitole
-
Université Toulouse III - Paul Sabatier
-
Université de Bordeaux
-
Université de Bordeaux Ségalen [Bordeaux 2]
-
Université de Bretagne Sud
-
Université de Bâle = University of Basel = Basel Universität
-
Université de Carthage (Tunisie)
-
Université de Franche-Comté
-
Université de Genève = University of Geneva
-
Université de Lille
-
Université de Lille, Sciences Humaines et Sociales
-
Université de Lille, Sciences et Technologies
-
Université de Lorraine
-
Université de Lyon
-
Université de Namur [Namur]
-
Université de Nantes
-
Université de Nantes - UFR des Sciences et des Techniques
-
Université de Neuchâtel = University of Neuchatel
-
Université de Pau et des Pays de l'Adour
-
Université de Picardie Jules Verne
-
Université de Provence - Aix-Marseille 1
-
Université de Rennes
-
Université de Sfax - University of Sfax
-
Université de Technologie de Belfort-Montbeliard
-
Université de Toulon
-
Université de Toulouse
-
Université de Tunis El Manar
-
Université de la Manouba [Tunisie]
-
Université de la Méditerranée - Aix-Marseille 2
-
Université du Luxembourg = University of Luxembourg = Universität Luxemburg
-
Université du Québec à Chicoutimi
-
Université du Québec à Montréal = University of Québec in Montréal
-
Université libre de Bruxelles
-
Uniwersytet Jagielloński w Krakowie = Jagiellonian University
-
Uppsala University
-
VERIMAG
-
VERIfication pour les systèmes DIStribués
-
VORTEX CoLab
-
VU University Medical Center [Amsterdam]
-
Vanderbilt University [Nashville]
-
Verification models and techniques applied to testing and control of reactive systems
-
Verified Systems International GmbH [Bremen]
-
Vienna University of Technology
-
Vienna University of Technology = Technische Universität Wien
-
Virginia Tech [Blacksburg]
-
Virtual Vehicle Research Center
-
Vrije Universiteit Amsterdam [Amsterdam]
-
Vrije Universiteit Brussel [Bruxelles]
-
Washington University in Saint Louis
-
Web Scale Trustworthy Collaborative Service Systems
-
Wesleyan University
-
Westfälische Wilhelms-Universität Münster = University of Münster
-
Xavier School of Management
-
Xerox Company
-
Yahoo! Research [Barcelona]
-
Yale University [New Haven]
-
Zürcher Hochschule für Angewandte Wissenschaften = Zurich University of Applied Sciences
-
italianaSoftware srl.
-
jaypee Institute of Information Technology
-
the World Is Distributed Exploring the tension between scale and coordination
-
Åbo Akademi University [Turku]
-
École Centrale de Lyon
-
École Centrale de Nantes
-
École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)
-
École normale supérieure - Cachan
-
École normale supérieure - Rennes
-
École normale supérieure de Lyon
-
École polytechnique
-
Örebro University
