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
Mathematics [math]
1

2018
1

English
1

Japanese French Laboratory for Informatics
1
Faculty of Informatics and Management [Hradec Králové]
8
Laboratoire de Réseau et Systèmes Distribués
5
Department of Industrial Design [Eindhoven]
4
School of Management [Swansea]
4
CAS Institute of Computing Technology
3
Department of Management and Engineering [Linköping]
3
Inria Sophia Antipolis - Méditerranée
3
Institut de recherche en informatique de Toulouse
3
School of Arts, Design and Architecture [Aalto]
3
Turku School of Economics
3
Bremer Institut für Produktion und Logistik GmbH
2
Computer Security Division
2
Concordia Institute for Information Systems Engineering
2
Department of Computer Science [Swansea]
2
Department of Computer Science and Engineering [Bologna]
2
Department of Electrical Engineering and Computer Science
2
Department of Informatics and Information Technology [Ouargla]
2
Département d'informatique [M'sila]
2
Faculty of Computer Science [Vienna]
2
Faculty of Engineering and Design [Ontario]
2
Faculté d'Electronique et d'Informatique
2
Fakultät für Mathematik, Informatik und Naturwissenschaften
2
Inria Nancy - Grand Est
2
Institute of Computing Technology [Beijing]
2
Institute of Information Engineering [Beijing]
2
Istituto di Informatica e Telematica [Pisa]
2
Laboratoire Lorrain de Recherche en Informatique et ses Applications
2
Laboratoire Signaux et Images
2
Laboratoire Spécification et Vérification [Cachan]
2
Laboratoire d'Electromagnétisme et Télécommunication
2
Laboratoire d'InfoRmatique en Image et Systèmes d'information
2
Laboratoire d'Informatique et des Systèmes (LIS) (Marseille, Toulon)
2
Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis
2
Laboratoire de Mathématiques et d'Informatique Appliquées
2
Laboratoire de Méthodes de Conception de Systèmes
2
Laboratoire de Recherche en Informatique
2
Laboratoire de Recherche en Informatique [ESI-SBA, Sidi Bel Abbès]
2
Laboratoire de Recherche en Intelligence Artificielle [Alger]
2
Laboratoire des Sciences et des Technologies de l'Information et de la Communication
2
School of Business IT and Logistics [Melbourne]
2
School of Computer Science and Engineering [Beijing]
2
School of Computing [Malaysia]
2
School of Computing, Informatics and Decision Systems Engineering
2
Services Computing Technology and System Lab [HUST]
2
Technologies de Formation et Apprentissage
2
United Nations University - Operating Unit Policy-Driven Electronic Governance
2
Advanced Research Center on Electronic Systems for Information and Communication Technologies E. De Castro [Bologna]
1
Amman College of Banking and Financial Studies
1
Applied Information Security
1
Blekinge Institute of Technology
1
CRACS & Inesc TEC [Porto]
1
CSIRO Information and Commuciation Technologies
1
Center for Cybersecurity and Digital Forensics
1
Center for Secure Information Systems [Fairfax]
1
Chair of Corporate Strategy & Innovation [Lausanne]
1
Chebyshev Laboratory
1
Christian Doppler Laboratory for Security and Quality Improvement and Quality Improvement in the Production System Lifecycle
1
College of Business Administration [Dubai]
1
College of Business [Rabigh]
1
College of Computer Science [Changsha]
1
College of Engineering and Science [Louisiana]
1
College of Mathematics, Physics and Information Engineering [Jinhua]
1
Commission nationale de l'informatique des libertés
1
Curtin Institute for Computation
1
Departamento de Ciência da Computação [Minas Gerais]
1
Departamento de Engenharia Informática | Department of Informatics Engineering
1
Departamento de Fìsica [Lisboa]
1
Departement of Electrical Engeneering
1
Department Intelligent Data Analysis [Berlin]
1
Department of Accounting and Finance [Perak]
1
Department of Applied Informatics [University of Macedonia]
1
Department of Communications and Networking [Aalto Univ]
1
Department of Computer Engineering [Kurdistan]
1
Department of Computer Science [Beer-Sheva]
1
Department of Computer Science [Calgary]
1
Department of Computer Science [Helsinki]
1
Department of Computer Science [Oxford]
1
Department of Computer Science [Pisa]
1
Department of Computer Science [San Antonio]
1
Department of Computer Science [Warwick]
1
Department of Computer Science and Engineering
1
Department of Computer Science and Engineering [Bombay]
1
Department of Computer Science and Engineering [Kharagpur]
1
Department of Computer science [University College of London]
1
Department of Design
1
Department of Electrical and Computer Engineering [Queen's University Kingston]
1
Department of Electrical and Computer Engineering [University of Toronto]
1
Department of Industrial Engineering
1
Department of Informatics [Brighton]
1
Department of Informatics [Oslo]
1
Department of Information & Communication Systems Engineering [Grece]
1
Department of Management Information Systems
1
Department of Mathematics [Bologna]
1
Department of Science and Engineering [University of Waseda]
1
Department of mathematics [Bloomington]
1
Dipartimento di Ingegneria Elettrica [Palermo]
1
Dipartimento di Matematica [Bologna]
1
Distributed Programming Laboratory
1
Département de Mathématiques et Informatique - Université de Nantes
1
ESEO-Tech
1
Ericsson Security Research
1
Expertise centre for Digital Media [Hasselt]
1
Faculty of Computer and Informatics [Istanbul]
1
Faculty of Engineering, Environment and Computing [Coventry]
1
Faculty of Technology, Policy and Management [Delft]
1
Graduate School of Advanced Integrated Studies in Human Survivability
1
Graduate School of Politics [Muenster
1
Grenoble Images Parole Signal Automatique
1
Heuristique et Diagnostic des Systèmes Complexes [Compiègne]
1
High-Assurance Software Laboratory [Braga, Portugal]
1
Human Interfaces in Information Systems [Pisa]
1
Icosy Laboratory
1
Information Systems [Linköping]
1
Information Systems [Luleå ]
1
Information and Software Engineering Group [Vienna]
1
Inria Grenoble - Rhône-Alpes
1
Inria Saclay - Ile de France
1
Inria-EPFL
1
Institut de Recherche en Informatique Fondamentale
1
Institut für Informatik [München|Munich]
1
Institut universitaire de France
1
Institut Élie Cartan de Lorraine
1
Institute for Computing and Information Sciences [Nijmegen]
1
Institute of Applied Physics and Computational Mathematics - IACM (Beijing, China))
1
Institute of Informatics and Telematics [Pise]
1
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa
1
Interdisciplinary Centre for Security, Reliability and Trust [Luxembourg]
1
LIP6
1
Lab for Automated Reasoning and Analysis
1
Laboratoire Bordelais de Recherche en Informatique
1
Laboratoire Informatique de l'Université de Pau et des Pays de l'Adour
1
Laboratoire LMP2M
1
Laboratoire Traitement et Communication de l'Information
1
Laboratoire d'Automatique, de Mécanique et d'Informatique industrielles et Humaines - UMR 8201
1
Laboratoire d'Electronique, d'Informatique et d'Image [EA 7508]
1
Laboratoire d'Informatique Fondamentale et Appliquée de Tours
1
Laboratoire d'Informatique Parallélisme Réseaux Algorithmes Distribués
1
Laboratoire d'Informatique de Grenoble
1
Laboratoire d'Informatique de Paris-Nord
1
Laboratoire d'Informatique et de Mathématiques
1
Laboratoire d'Informatique, de Traitement de l'Information et des Systèmes
1
Laboratoire d'Innovation Numérique pour les Entreprises et les Apprentissages au service de la Compétitivité des Territoires
1
Laboratoire de Gestion Electronique de Document [Annaba]
1
Laboratoire de Mathématiques et d’Informatique [Antsiranana]
1
Laboratoire de Recherche Appliquée en TIC
1
Laboratoire de la Communication dans les Systèmes Informatiques [ESI]
1
Laboratoire des Sciences du Numérique de Nantes
1
Laboratory of Computer Science and Mathematics
1
Laboratory of Pure and Applied Mathematics
1
Lectorate Play and Civic Media
1
Leiden Institute of Advanced Computer Science [Leiden]
1
Manufacturing engineering laboratory of Tlemcen
1
Mathématiques et Informatique pour la Complexité et les Systèmes
1
Mobile Business and Multilateral Security
1
Modélisation et d'Implémentation des Systèmes Complexes [Constantine]
1
Multimedia, InfoRmation systems and Advanced Computing Laboratory
1
Network Information and Computer Security Lab [Malaga]
1
School of Business Administration [Hefei]
1
School of Business Administration [Wuhan]
1
School of Business and Management [Lappeenranta]
1
School of Business and Management [London]
1
School of Computer Science [Reykjavik]
1
School of Computer Science [Wuhan]
1
School of Electrical Engineering and Computer Science [Tehran]
1
School of Instrumentation Science and Opto-electronics Engineering [Beijing]
1
School of Public Health and Health Systems [Waterloo]
1
Secure-IC S.A.S
1
Services répartis, Architectures, MOdélisation, Validation, Administration des Réseaux
1
Shenzhen Institutes of Advanced Technology
1
Sino-German Joint Software Institute
1
Sobolev Institute of Mathematics
1
Sydney Business School [Wollongong]
1
System Design Engineering
1
Thales Alenia Space [Toulouse]
1
The Maersk Mc-Kinney Moller Institute
1
Unité de recherche Laboratoire de Modélisation et Optimisation des Systèmes [Université de Béjaïa]
1
WINLAB Rutgers University
1

David Sprunger
1
Ichiro Hasuo
1
Jérémy Dubut
1
Shin-Ya Katsumata
1

1 Array

Deposit type : Fulltext

labStructName_s : Japanese French Laboratory for Informatics

	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

		Fibrational Bisimulations and Quantitative Reasoning David Sprunger , Shin-Ya Katsumata , Jérémy Dubut , Ichiro Hasuo 14th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2018, Thessaloniki, Greece. pp.190-213, ⟨10.1007/978-3-030-00389-0_11⟩ Conference papers hal-01901092v1	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