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
1

Conference papers
1

Computer Science [cs]
1

2021
1

English
1

Department of Informatics [Sussex]
1
Departamento de Informática
4
Institut de recherche en informatique de Toulouse
4
Instituto Superior Técnico
4
Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189
3
Department of Industrial Design [Eindhoven]
3
Department of Informatics [Pretoria]
3
Dipartimento di Informatica, Bioingegneria, Robotica e Ingegneria dei Sistemi [Genova]
3
Inria Sophia Antipolis - Méditerranée
3
Laboratoire Lorrain de Recherche en Informatique et ses Applications
3
Bremer Institut für Produktion und Logistik GmbH
2
Centro de Investigaçao e Desenvolvimento em Matematica e Aplicaçoes
2
Computer Science Department
2
Department of Computer Science, Amrita Vishwa Vidyapeetham, Bangalore, India
2
Department of Electrical and Computer Engineering [Waterloo]
2
Department of Planning [Aalborg]
2
Dipartimento di Informatica [Torino]
2
Inria Nancy - Grand Est
2
Institute of Information Engineering [Beijing]
2
Laboratoire d'Automatique, de Mécanique et d'Informatique industrielles et Humaines - UMR 8201
2
Laboratoire d'Informatique de Grenoble
2
Qatar Computing Research Institute
2
School of Arts, Design and Architecture [Aalto]
2
School of Computing Science [Newcastle]
2
School of Management [Swansea]
2
Airbus Operation S.A.S.
1
Auckland Bioengineering Institute
1
Blekinge Institute of Technology
1
Centre Européen de Recherche en Economie Financière et Gestion des Entreprises
1
Cheriton School of Computer Science [Waterloo]
1
Computer Learning Research Centre [Royal Holloway, University of London]
1
Computer Science Department [Amsterdam]
1
Computer Security Division
1
Deakin University, Burwood, Australia
1
Departamento de Ciência da Computação [Minas Gerais]
1
Departamento de Engenharia Informática | Department of Informatics Engineering
1
Department of Applied Mathematics and Computer Science [Lyngby]
1
Department of Architecture and Design [Aalborg]
1
Department of Computer Engineering and Informatics [Patras]
1
Department of Computer Science
1
Department of Computer Science [Beer-Sheva]
1
Department of Computer Science [Gjøvik]
1
Department of Computer Science [Malta]
1
Department of Computer Science and Engineering
1
Department of Computer and Information Science [Trondheim]
1
Department of Information Systems
1
Department of Information and Computer Science
1
Department of Management and Engineering
1
Department of Mathematics and Computer Science
1
Department of Mathematics and Computer Science [Udine]
1
Department of Social Informatics [Kyoto]
1
Department of mathematics|Dipartimento di Matematica [Univ. Trento]
1
Dipartimento di Elettronica, Informazione e Bioingegneria
1
Dipartimento di Informatica [Pisa]
1
Disaster Prevention Research Institute
1
Département Sciences de la Fabrication et Logistique
1
Ecole Nationale de la Statistique et de l'Analyse Economique
1
Faculty of Informatics
1
Faculty of Technology, Policy and Management [Delft]
1
Graduate School of Informatics [Kyoto]
1
Hochschule Bremen - University of Applied Sciences
1
Huawei Research Center [Munich]
1
Human Interfaces in Information Systems [Pisa]
1
Human-Computer Interaction Group [Munich]
1
Human-Computer Interaction Laboratory
1
IBM Almaden Research Center [San Jose]
1
IBM Research - Ireland
1
Industrial Design Centre [Bombay]
1
Inria Grenoble - Rhône-Alpes
1
Inria Lille - Nord Europe
1
Inria Rennes – Bretagne Atlantique
1
Inria Saclay - Ile de France
1
Institut de Recherche en Informatique et Systèmes Aléatoires
1
Institut des Systèmes Intelligents et de Robotique
1
Institute for Applied Computer Science [Karlsruhe]
1
Institute for IS Research, Research Group E-Government
1
Institute of Automation and Electrometry of the Siberian Branch of the RAS
1
Institute of Computer Science [FORTH, Heraklion]
1
Institute of Distributed Systems
1
Intel Corporation [Santa Clara]
1
Internet Technology and Data Science Lab
1
Istituto di Informatica e Telematica
1
LaSIGE [Lisboa]
1
Laboratoire Interdisciplinaire des Sciences du Numérique
1
Laboratoire Traitement et Communication de l'Information
1
Laboratoire d'Economie Appliquée de Grenoble
1
Laboratoire d'Informatique et des Systèmes (LIS) (Marseille, Toulon)
1
Laboratoire d'Informatique, de Modélisation et d'Optimisation des Systèmes
1
Laboratoire d'informatique de l'École polytechnique [Palaiseau]
1
Laboratoire de l'Informatique du Parallélisme
1
Laboratoire des Sciences du Numérique de Nantes
1
School of Computer Sciences & Informatics [Cardiff]
1
School of Computer Sciences [Penang]
1
School of Computing
1
School of Electrical Engineering and Computer Science [Tehran]
1
School of Information Science [Ishikawa]
1
Toulouse School of Management Research
1
United Nations University - Operating Unit Policy-Driven Electronic Governance
1
Weizenbaum Institute for the Networked Society
1

Harold Pancho Eliott
1
Martin Berger
1

1 Array

Deposit type : Fulltext

labStructName_s : Department of Informatics [Sussex]

	For these 1 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

		A Program Logic for Fresh Name Generation Harold Pancho Eliott , Martin Berger 9th International Conference on Fundamentals of Software Engineering (FSEN), May 2021, Virtual, Iran. pp.76-91, ⟨10.1007/978-3-030-89247-0_6⟩ Conference papers hal-04074511v1	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