Search - IFIP - Lecture Notes in Computer Science

Access content directly

Documentation

Collection IFIP-LNCS
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

Lecture Notes in Computer Science

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

Loading...

Filter your results

Fulltext
2

Conference papers
2

Computer Science [cs]
2

2017
2

English
2

Laboratoire d'informatique de l'École polytechnique [Palaiseau]
1
Mathématiques et Informatique pour la Complexité et les Systèmes
1
Inria Grenoble - Rhône-Alpes
7
Laboratoire Lorrain de Recherche en Informatique et ses Applications
6
Laboratoire d'Informatique de Grenoble
6
United Nations University - Operating Unit Policy-Driven Electronic Governance
6
Inria Nancy - Grand Est
4
Institut de Recherche en Informatique et Systèmes Aléatoires
4
Institut de recherche en informatique de Toulouse
4
Laboratoire Traitement et Communication de l'Information
4
Inria Rennes – Bretagne Atlantique
3
Inria Saclay - Ile de France
3
Laboratoire Bordelais de Recherche en Informatique
3
Laboratoire de Recherche en Informatique
3
Services répartis, Architectures, MOdélisation, Validation, Administration des Réseaux
3
Centre d'études et de recherche en informatique et communications
2
Department of Mathematics
2
Ecole Superieure d'Ingenieurs de Rennes [Rennes]
2
Groupe de Recherche en Informatique, Image et Instrumentation de Caen
2
Inria Sophia Antipolis - Méditerranée
2
Institut de Mathématiques de Marseille
2
Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis
2
Laboratoire de l'Informatique du Parallélisme
2
Arts des Images et Art Contemporain
1
Bremer Institut für Produktion und Logistik GmbH
1
Center for e-Government Studies
1
Commissariat à l'énergie atomique et aux énergies alternatives - Laboratoire d'Electronique et de Technologie de l'Information
1
Computer Graphics and HCI Group [Kaiserslautern]
1
Computer Technology Institute and Press "Diophantus"
1
DAIS - Computer Science
1
Data61 [Canberra]
1
Departamento de Ciência de Computadores
1
Departamento de Informática
1
Department of Computer Science - Vrije Universiteit
1
Department of Computer Science [Dallas]
1
Department of Information Technology
1
Department of Information and Communication Technology [Kristiansand]
1
Department of Mathematical Sciences [Matieland, Stellenbosch Uni.]
1
Department of Product and Systems Design Engineering
1
Dipartimento di Informatica [Torino]
1
Distributed Systems and Computer Networks
1
Ecole Nationale Supérieure de Cognitique
1
EnsadLab
1
Faculty of Engineering and Natural Sciences
1
Federal Research Center Krasnoyarsk Scientific Center
1
Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174)
1
IMEC
1
Informatique, Biologie Intégrative et Systèmes Complexes
1
Inria Lille - Nord Europe
1
Institut ACTE - Arts, Créations, Théories, Esthétiques
1
Institut für Systems Engineering
1
Institute of Computing Technology [Beijing]
1
Institute of Neurosciences
1
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa
1
Istituto di Informatica e Telematica
1
Karlstad Business School
1
Key Laboratory of Big Data Analysis and Processing
1
Key Laboratory of Intelligent Telecommunications Software and Multimedia
1
LE STUDIUM
1
LaSIGE [Lisboa]
1
Laboratoire Jean Kuntzmann
1
Laboratoire d'Algorithmique Complexité et Logique
1
Laboratoire d'Electronique, d'Informatique et d'Image [EA 7508]
1
Laboratoire d'InfoRmatique en Image et Systèmes d'information
1
Laboratoire d'Informatique Fondamentale d'Orléans
1
Laboratoire d'Informatique Fondamentale de Lille
1
Laboratoire d'Informatique Médicale et Ingénierie des Connaissances en e-Santé
1
Laboratoire d'Informatique de Paris-Nord
1
Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier
1
Laboratoire d'Informatique de l'Université du Mans
1
Laboratoire d'Informatique pour la Mécanique et les Sciences de l'Ingénieur
1
Laboratoire d'Intégration des Systèmes et des Technologies
1
Laboratoire de Haute Sécurité
1
Laboratoire de Recherche en Informatique [ESI-SBA, Sidi Bel Abbès]
1
Laboratoire de Recherche en Technologies de l’Information et de la Communication & Génie Electrique [Tunis]
1
Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance
1
Leiden Institute of Advanced Computer Science [Leiden]
1
Lingua et Machina
1
MIMOS BERHAD
1
Max-Planck-Institut für Informatik
1
Microsoft Research India [Bangalore]
1
Mohammadia School of Engineering
1
NTT Communication Science Laboratories
1
National Engineering Laboratory for Mobile Network Security
1
National Institute of Criminalistics [Brasília]
1
Orange Labs [Chatillon]
1
Orange Polska
1
Saxion University of Applied Sciences
1
School of Computer Science and Informatics [Dublin]
1
Sciences et Technologies de la Musique et du Son
1
Sino-European Usability Center
1
Tampere Unit for Computer-Human Interaction)
1
Tata Research Development and Design Center
1
Tilburg University [Tilburg]
1
VERIMAG
1
XLIM
1
giCentre
1

Arnault Lapitre
1
Beniamino Accattoli
1
Christophe Gaston
1
Giulio Guerrieri
1
Nassim Benharrat
1
Pascale Le Gall
1
Robert M. Hierons
1

2 results

Deposit type : Fulltext

labStructName_s : Mathématiques et Informatique pour la Complexité et les Systèmes

labStructName_s : Laboratoire d'informatique de l'École polytechnique [Palaiseau]

	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

		Implementing Open Call-by-Value Beniamino Accattoli , Giulio Guerrieri 7th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2017, Teheran, Iran. pp.1-19, ⟨10.1007/978-3-319-68972-2_1⟩ Conference papers hal-01675365v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Constraint-Based Oracles for Timed Distributed Systems Nassim Benharrat , Christophe Gaston , Robert M. Hierons , Arnault Lapitre , Pascale Le Gall 29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.276-292, ⟨10.1007/978-3-319-67549-7_17⟩ Conference papers hal-01678964v1	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