Search - IFIP Open Digital Library

Access content directly

Documentation

HAL Portal ifip
Search
Loading...
Advanced Search
Information de documents
Titles
Subtitle
Work title
hal_serie_t
Default search field (multi-criteria) + PDF full text
Abstract
Full text of PDF document
Keywords
Document type
Document subtype
All document identifiers
HAL submission identifier
Language of document (text)
Country (Text)
City
hal_inPress_bool

Author
Author (multi-criteria)
Author: Full name
Author: Last name
Author: First name
Author: middle name
Author: funding institution
Author: IdHal (string)
Author: function
Author: personID (integer)
Author: funding institution identifier
Author: Structure identifier
Thesis director
Publisher
Scientific editor
Series editor

Structure
Structure (multi-criteria)
Structure: Acronym
Structure: Name
Structure: Code
Structure: Country
Structure: Type
Structure: Referential status
Structure: Internal structure identifier
Structure/research team: Country
Structure/department: Country
Structure/laboratory: Country
Structure/group of departments: State
Structure/institution: Country
Structure/group of institutions: Country

Autres
Default search field (multi-criteria)
Journals (multi-criteria)
Journal: Publisher
Journal: Abbreviated title
Journal: Title
Journal: Internal identifier
Journal: beginning publication date
Journal: online ISSN
Journal: ISSN
Journal: Publisher
Journal: SHERPA/RoMEO color
Journal: referential status
Conference (multi-criteria)
Conference: Title
Conference: Organiser
Conference: beginning date (Year)
Conference: end date (Year)
Invited communication (yes/no)
ANR project (multi-criteria)
ANR project: Acronym
hal_anrProjectAcronymProgram_t
ANR project: Code decision (reference)
ANR project: Name
ANR project: Internal identifier
ANR project: Referential Status
European project (multi-criteria)
European project: Acronym
European project: Call identifier
European project: Reference
European project: Name
European project: end date
European project: Funding
European project: beginning date
European project: Referential status
European project: Internal identifier
Publication date: year
Release date: year
hal_publicationDateY_i
Writing date: year
Date modified: year
Submission Date: year
Online Publication date: year
HAL Collection (multi-criteria)
HAL Collection: category
HAL Collection: Code
HAL Collection: Name
HAL Collection: Internal identifier
Contributor/author Internal identifier
Contributor/author Full name
Domains
Primary domain
Root domain
Sub-domain level 1
Sub-domain level 2
Sub-domain level 3
Status of document
Document version
Submission type
Document type
ISBN
Number - reference
Identifier: DOI
Classification
Audience
Vulgarization
Peer reviewing - text (yes or no)
Conference proceedings
Internal reference
Funding
Collaborations
Search using SolR syntax
Upload

IFIP Open Access Digital Library

Home
Conferences
Browse
AICT Series
LNBIP
LNCS
eCollection Series
ePublication
IFIP Society Publications

Loading...

Filter your results

Fulltext
2

Conference papers
2

Computer Science [cs]
2

2017
1
2011
1

English
2

Max-Planck-Institut für Informatik
2
Inria Sophia Antipolis - Méditerranée
22
Institut de Recherche en Informatique et Systèmes Aléatoires
22
Laboratoire Lorrain de Recherche en Informatique et ses Applications
16
Department of Informatics [Pretoria]
15
Services répartis, Architectures, MOdélisation, Validation, Administration des Réseaux
15
School of Management [Swansea]
14
Inria Grenoble - Rhône-Alpes
11
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa
11
Inria Nancy - Grand Est
10
Inria Rennes – Bretagne Atlantique
10
Distributed Systems and Computer Networks
9
Faculty of Informatics and Management [Hradec Králové]
9
Turku School of Economics
9
Department of Computer Science
8
Institut de recherche en informatique de Toulouse
8
Laboratoire d'Informatique de Grenoble
8
High-Assurance Software Laboratory [Braga, Portugal]
7
Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis
7
INRIA Lorraine
6
Iminds [Ghent]
6
Laboratoire d'analyse et d'architecture des systèmes
6
Department of Computer Science and Engineering
5
Department of Computer Science and Engineering [Bologna]
5
IBM Thomas J. Watson Research Center
5
Inria Lille - Nord Europe
5
Institut Charles Delaunay
5
Istituto di Informatica e Telematica
5
Laboratoire Bordelais de Recherche en Informatique
5
VERIMAG
5
Departamento de Informática
4
Department of Informatics [Oslo]
4
Dipartimento di Informatica, Bioingegneria, Robotica e Ingegneria dei Sistemi [Genova]
4
Inria Paris-Rocquencourt
4
Interdisciplinary Centre for Security Relaibility and Trust
4
Laboratoire Traitement et Communication de l'Information
4
Laboratoire d'Informatique Fondamentale de Lille
4
Laboratoire d'Intégration des Systèmes et des Technologies
4
Laboratoire de Recherche en Informatique
4
Laboratoire de l'Informatique du Parallélisme
4
Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance
4
Centre of Telematics and Information Technology
3
Centrum voor Wiskunde en Informatica
3
DAI-Labor
3
Department of Communications and Networking [Aalto Univ]
3
Department of Computer Engineering and Informatics [Patras]
3
Department of Electrical & Computer Engineering [Victoria]
3
Deutsche Telekom Laboratories
3
Dipartimento di Informatica [Torino]
3
Google Inc [Mountain View]
3
Institute of Communication Networks and Computer Engineering [Stuttgart]
3
Institute of Computer Science [FORTH, Heraklion]
3
Instituto Superior Técnico
3
Instituto de Investigación en Ciencias de la Computación [Buenos Aires]
3
Interdisciplinary Centre for Security, Reliability and Trust [Luxembourg]
3
Laboratoire d'Informatique de Paris 6
3
Laboratoire d'Informatique de Paris-Nord
3
Laboratoire des Sciences du Numérique de Nantes
3
Turku Centre for Computer Science
3
University of Ghana Business School
3
Alcatel Lucent Bell Labs
2
Alcatel-Lucent Bell Labs France [Nozay]
2
Blekinge Institute of Technology
2
CISTER [Porto]
2
Center for Applied Internet Data Analysis [Univ California]
2
Center for Interdisciplinary Research and Innovation
2
Centre for Telecommunications and Value Chain Research
2
ComNets
2
Computational and Systems Biology [Trento]
2
Computer Science and Engineering [Sydney]
2
Computer Technology Institute and Press "Diophantus"
2
Computer science departement [Bremen]
2
Data61 [Canberra]
2
Departamento de Ciência da Computação [Minas Gerais]
2
Department of Applied Mathematics and Computer Science [Lyngby]
2
Department of Computer Science [Hong Kong]
2
Department of Computer Science [UIUC]
2
Department of Computer and Information Science [Trondheim]
2
Department of Electrical and Electronic Engineering [London]
2
Department of Electronic and Electrical Engineering
2
Department of Informatics [Zurich]
2
Department of Information Systems
2
Department of Information Technology
2
Department of Mathematics
2
Department of Telecommunications and Media Informatics
2
Department of Telematic Engineering
2
Department of Telematics
2
Design and Analysis of Communication Systems (DACS)
2
Dipartimento di Informatica
2
Faculty of Computer Science [TU Dresden]
2
Faculty of Engineering and Design [Ontario]
2
Faculty of Informatics
2
Hewlett Packard Research Labs
2
Hewlett-Packard Laboratories [Bristol]
2
IBM Austin Research Lab [Austin]
2
IBM Research Laboratory [Zurich]
2
Institute for Communication Systems [University of Surrey]
2
Istituto di Informatica e Telematica [Pisa]
2
Laboratoire d'InfoRmatique en Image et Systèmes d'information
2
Laboratoire d'Informatique Gaspard-Monge
2
Mathematical Institute of the Serbian Academy of Sciences and Arts
2
NEC Europe Ltd., Network Laboratories
2
NIC Research Labs [Chile]
2
Parallélisme, Réseaux, Systèmes, Modélisation
2
RCUK Digital Economy Research Hub on Social Inclusion through the Digital [Newcastle]
2
Saxion University of Applied Sciences
2
School of Business Administration [Wuhan]
2
School of Business IT and Logistics [Melbourne]
2
School of Computing Science
2
School of Computing Science [Newcastle]
2
School of Computing [Malaysia]
2
School of Electrical and Computer Engineering
2
Security, Reliability and Trust Interdisciplibary Research Centre
2
Software Languages Lab
2
Symantec Research Labs
2
WINLAB Rutgers University
2
ACCESS Linnaeus Centre [Sweden]
1
ALL4TEC RD [Laval]
1
Advanced Network Architectures Lab
1
Airbus Group Innovations [Suresnes]
1
Alcatel-Lucent Bell Labs
1
Amman College of Banking and Financial Studies
1
Applied Information Security
1
Azman Hashim International Business School
1
CAS Institute of Computing Technology
1
CBCU|ECRIC
1
CITI Centre of Innovation in Telecommunications and Integration of services
1
CRACS & Inesc TEC [Porto]
1
Carnegie Mellon University in Qatar
1
Center for Advanced Security Research Darmstadt [Darmstadt]
1
Center for Quantum Computing [Shenzhen]
1
Center for Research in Advanced Computing Systems
1
Center for e-Government Studies
1
Centre Européen de Recherche en Economie Financière et Gestion des Entreprises
1
Centre d'études et de recherche en informatique et communications
1
Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189
1
Centre de recherche en éducation de Nantes
1
Centre for Applied Internet Research
1
Centre for Communication Systems Research
1
Centre for Environment, Entrepreneurship and Sustainable Development (CEESD)
1
Centre for Quantifiable Quality of Service in Communication Systems
1
Centro de Informatica UFPE [Recife]
1
Cisco Systems France
1
College of Business Administration [Dubai]
1
College of Business [Rabigh]
1
Communication Networks, TZI
1
Communication Research Center
1
Communication Systems Group [Zurich]
1
Computer Engineering and Networks Laboratory
1
Computer Learning Research Centre [Royal Holloway, University of London]
1
Computer Science Department
1
Computer Science Department - Carnegie Mellon University
1
Computer Science Department [Boston]
1
Computer Science and Artificial Intelligence Laboratory [Cambridge]
1
Computer Science department [Herzliya]
1
Computing Department [Lancaster]
1
Consorzio Nazionale Interuniversitario per le Telecomunicazioni [Roma]
1
DEI|CISUC
1
Departament d'Enginyeria Telemàtica
1
Departamento Lenguajes y Ciencias de la Computación [Malaga]
1
Departamento Sistemas Informáticos y Computación [Madrid]
1
Departamento de Geologia [Quito]
1
Departamento de Informática [Minho]
1
Departamento de Ingeniería Telemática
1
Departamento de Sistemas Informáticos y Computación, Universidad Complutense de Madrid
1
Departement of Mathematics
1
Department of Accounting and Finance [Perak]
1
Department of Applied Informatics [University of Macedonia]
1
Department of Automation and Applied Informatics
1
Department of Computer Engineering
1
Department of Computer Science & Engineering [Riverside]
1
Department of Computer Science & Technology
1
Department of Computer Science - Trinity College Dublin
1
Department of Computer Science [Buenos Aires]
1
Department of Computer Science [Copenhagen]
1
Department of Computer Science [Dallas]
1
Department of Computer Science [Helsinki]
1
Department of Computer Science [Malta]
1
Department of Computer Science [Pisa]
1
Department of Computer Science [San Antonio]
1
Department of Computer Science and Engineering [Kanpur]
1
Department of Computer Science and Software Engineering
1
Department of Computer Science and Technology
1
Department of Computer Science, Electrical and Space Engineering [Luleå]
1
Department of Computer and Communications Engineering [Volos]
1
Department of Computer and Information Science [Pennsylvania]
1
Department of Electrical Engineering and Computer Science
1
Department of Electrical Engineering, Mathematics and Computer Science [Delft]
1
Department of Electrical and Computer Engineering
1
Department of Electrical and Computer Engineering [Amherst]
1
Department of Electrical and Computer Engineering [Blacksburg]
1
Department of Electrical and Computer Engineering [Waterloo]
1
Department of Electronics and Computer Engineer [Grèce]ing
1
Department of Electronics, Computer Science and Systems [Bologne]
1
Department of Health Sciences|Geriatrics
1
Department of Industrial Engineering
1
Department of Informatics
1
Department of Information Science
1
Department of Information Systems and Computing
1
Department of Information Technologies
1

Christoph Weidenbach
1
Dominique Méry
1
John Paul Gibson
1
Souad Kherroubi
1
Stephan Merz
1
Tianxiang Lu
1

2 results

Sub-domain level 1 : info.info-ni

labStructName_s : Max-Planck-Institut für Informatik

	For these 2 documents Send to ORCID RSS ATOM Export BibTeX XML-TEI CSV RTF EndNote PDF HTML Advanced export	Page :	sorted by Relevance Author A→Z Author Z→A Title A→Z Title Z→A Increasing publication date Decreasing publication date Increasing deposit date Decreasing deposit date

		Applying a Dependency Mechanism for Voting Protocol Models Using Event-B Paul J. Gibson , Souad Kherroubi , Dominique Méry 37th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2017), Jun 2017, Neuchâtel, Switzerland. pp.124-138, ⟨10.1007/978-3-319-60225-7_9⟩ Conference papers hal-01658423v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Towards Verification of the Pastry Protocol Using TLA + Tianxiang Lu , Stephan Merz , Christoph Weidenbach 13th Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 31th International Conference on FORmal TEchniques for Networked and Distributed Systems (FORTE), Jun 2011, Reykjavik, Iceland. pp.244-258, ⟨10.1007/978-3-642-21461-5_16⟩ Conference papers hal-01583322v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More

Page :

Contact

Support

Resources

Documentation
FAQ
API
OAI-PMH
AuréHAL

Informations

Privacy and personal data
Legal terms
Accessibility
Declaration of compliance

Legal issues

I publish, what are my rights?
The Digital Republic bill
Non-assignment strategy of rights
SHERPA/RoMEO

Portals

Institutional portals
HAL
HAL SHS
HAL Thèses
MédiHAL

CCSD

CCSD
Episciences
Sciencesconf