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

2020
1

English
1

Department of Computer Science
1
Department of Informatics [Pretoria]
11
College of Computer Science [Changsha]
5
Inria Sophia Antipolis - Méditerranée
4
Institut de recherche en informatique de Toulouse
4
Laboratoire d'Informatique de Grenoble
4
Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis
4
Escuela de Ingeniería = School of Engineering
3
Inria Grenoble - Rhône-Alpes
3
Institute of Information Engineering [Beijing]
3
School of Computer [Chine]
3
University of Ghana Business School
3
CAS Institute of Computing Technology
2
Department of Computer Science and Engineering
2
Department of Mathematics
2
Dipartimento di Informatica, Bioingegneria, Robotica e Ingegneria dei Sistemi [Genova]
2
Faculty of Science [Kyoto]
2
Graduate School of Advanced Integrated Studies in Human Survivability
2
Institut de Mathématiques de Marseille
2
Institute of Computing Technology [Beijing]
2
Instituto de Investigación en Ciencias de la Computación [Buenos Aires]
2
School of Computer Science and Engineering [Beijing]
2
School of Cyber Security
2
Turku School of Economics
2
Academic Center for Computing and Media Studies
1
AnalyzeData
1
Biomedical Research Networking Center in Bioengineering, Biomaterials and Nanomedicine
1
Bremer Institut für Produktion und Logistik GmbH
1
CISTER [Porto]
1
Center for Quantum Computing [Shenzhen]
1
Center for Research and Exploration in Space Science and Technology [GSFC]
1
Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189
1
Centre for Environment, Entrepreneurship and Sustainable Development (CEESD)
1
College of Arts, Media and Technology [Chiang Mai]
1
College of Computer Science and Technology [Hangzhou]
1
Collège of information Engineering
1
Concordia Institute for Information Systems Engineering
1
Departamento de Ciência Da Computação [Rio de Janeiro]
1
Departamento de Informática
1
Department of Communication and Network Engineering
1
Department of Computer Science [Buenos Aires]
1
Department of Computer Science [Dallas]
1
Department of Computer Science and Engineering [Colombus]
1
Department of Computer Science and Information Engineering
1
Department of Computer Science and Technology
1
Department of Cybernetics and Artificial Intelligence
1
Department of Industrial Engineering
1
Department of Informatics [Oslo]
1
Department of Information Technology [Howrah]
1
Department of Management and Engineering [Linköping]
1
Department of Mathematical Sciences
1
Dipartimento di Informatica
1
Division of Epidemiology and Biostatistics, University of Stellenbosch,
1
Département d'Informatique [Université de Turin]
1
Ecole Normale Supérieure de l'Enseignement Technique [Rabat]
1
Ericsson Inc [Canada]
1
Forschungzentrum Informatik
1
Graduate School of Information Science and Technology, the University of Tokyo
1
Information Systems Group [Saarland University]
1
Inria Lille - Nord Europe
1
Inria Nancy - Grand Est
1
Inria Rennes – Bretagne Atlantique
1
Inria de Paris
1
Institut de Recherche en Informatique Fondamentale
1
Institut de Recherche en Informatique et Systèmes Aléatoires
1
Institut für Informatik [Gießen]
1
Institut universitaire de France
1
Institute of Computer Science [FORTH, Heraklion]
1
Institute of Cybernetics [Tallinn]
1
Institute of Mathematics and Informatics [Sofia]
1
LIP6
1
Laboratoire Bordelais de Recherche en Informatique
1
Laboratoire Lorrain de Recherche en Informatique et ses Applications
1
Laboratoire Traitement et Communication de l'Information
1
Laboratoire d'Algorithmique Complexité et Logique
1
Laboratoire d'InfoRmatique en Image et Systèmes d'information
1
Laboratoire d'Informatique Gaspard-Monge
1
Laboratoire d'Informatique et de Mathématiques
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'analyse et modélisation de systèmes pour l'aide à la décision
1
Laboratoire d'informatique Fondamentale de Marseille
1
Laboratoire en Innovation, Technologies, Economie et Management (EA 7363)
1
Leiden Institute of Advanced Computer Science [Leiden]
1
Microsoft Corporation [Redmond]
1
Modélisation, Information et Systèmes - UR UPJV 4290
1
National Key Laboratory for Parallel and Distributed Processing [Changsha]
1
Observatório do Valongo|UFRJ [Rio de Janeiro]
1
Orange Labs [Paris]
1
Research and Information Center [Tokyo]
1
SAP Research [Karlsruhe]
1
Saclay Industrial Lab for Artificial Intelligence Research
1
School of Business Informatics and Mathematics [Mannheim]
1
School of Computer Science and Engineering [ Changsha]
1
School of Computer Science and Technology [Soochow]
1
School of Computer Sciences & Informatics [Cardiff]
1
School of Electrical and Computer Engineering
1
School of Electronics Engineering and Computer Science [Beijing]
1
School of Engineering and Computing Sciences
1
School of Geographical Sciences [Bristol]
1
School of Information Science [Ishikawa]
1
School of Management [Swansea]
1
School of Mathematical Sciences
1
Services répartis, Architectures, MOdélisation, Validation, Administration des Réseaux
1
Software Competence Center Hagenberg
1
State Key Lab for Strength and Vibration
1
State Key Laboratory of Computer Architecture, Institute of Computing Technology
1
State Key Laboratory of High Performance Computing
1
State Key Laboratory of Information Security, Institute of Information Engineering
1
THALES COMMUNICATIONS & SECURITY
1
TZI Digital Media Group
1
Technologie-Zentrum Informatik und Informationstechnik
1
Weizenbaum Institute for the Networked Society
1

Holger Hermanns
1
Maciej Gazda
1
Mohammad Reza Mousavi
1
Rayna Dimitrova
1
Sebastian Biewer
1

1 Array

Deposit type : Fulltext

labStructName_s : Department of Computer Science

	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

		Conformance-Based Doping Detection for Cyber-Physical Systems Rayna Dimitrova , Maciej Gazda , Mohammad Reza Mousavi , Sebastian Biewer , Holger Hermanns 40th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2020, Valletta, Malta. pp.59-77, ⟨10.1007/978-3-030-50086-3_4⟩ Conference papers hal-03283236v1	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