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]
1
Cognitive science
1

2013
2

English
2

Dipartimento di Informatica [Torino]
1
Dipartimento di Scienze dell'Informazione [Bologna]
1
Department of Computer Science
16
Laboratoire d'Informatique de Grenoble
10
Institut de recherche en informatique de Toulouse
7
Institut de Recherche en Informatique et Systèmes Aléatoires
6
Center for Advanced Security Research Darmstadt [Darmstadt]
4
Faculty of Physics and Applied Computer Science [Kraków]
4
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa
4
Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance
4
Madeira Interactive Technologies Institute [Funchal]
4
Microsoft Research [Cambridge]
4
UCL Interaction Centre
4
A.K.Choudhury School of Information Technology [Kolkata]
3
Computer Science Department
3
Department of Computer Science and Technology
3
Dipartimento di Informatica [Italy]
3
Faculty of Computer Science and Information Technology [Szczecin]
3
Faculty of Mathematics and Computer Science of the Jagiellonian University
3
Future Interaction Technology Lab [Swansea]
3
Human-Computer Interaction Group [Munich]
3
IBM Thomas J. Watson Research Center
3
Iminds [Ghent]
3
Inria Grenoble - Rhône-Alpes
3
Inria Lille - Nord Europe
3
Inria Saclay - Ile de France
3
Inria Sophia Antipolis - Méditerranée
3
Keio-NUS CUTE Center
3
Laboratoire de Recherche en Informatique
3
PALUNO - The Ruhr Institute for Software Technology
3
School of Computer Science and Engineering [Beijing]
3
School of Computer Science and Technology
3
School of Computer Science and Technology [Soochow]
3
School of Information Sciences [Finland]
3
Services Computing Technology and System Lab [HUST]
3
Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189
2
Centrum voor Wiskunde en Informatica
2
Culture Lab [Newcastle]
2
Department of Computer Science [Auckland]
2
Department of Computer Science [Copenhagen]
2
Department of Computer Science and Engineering [New Delhi]
2
Department of Cybernetics and Artificial Intelligence
2
Department of Industrial Design [Eindhoven]
2
Department of Informatics
2
Department of Psychology
2
Department of Telecommunications and Media Informatics
2
Faculty of Computer Science - University of Białystok
2
Faculty of Computer Science [TU Dresden]
2
Faculty of Computer Science and Information Systems [Szczecin]
2
Faculty of Design
2
Faculty of Electrical Engineering and Computer Science
2
Faculty of Engineering and Information Technology [Sydney]
2
Faculty of Informatics [Lugano]
2
Graduate School of Information Science and Electrical Engineering
2
HCI Group
2
Hewlett Packard Research Labs
2
Human Centered Multimedia [Augsburg]
2
Human-Computer Interaction Center at RWTH Aachen University
2
Information and Communications Technologies for Development [University of Cape Town]
2
Inria Nancy - Grand Est
2
Inria Paris-Rocquencourt
2
Inria Rennes – Bretagne Atlantique
2
Institute of Applied Information Processing and Communications [Graz]
2
Institute of Computer Science
2
Institute of Computer Science [Warszawa]
2
Interactive Technologies Lab, HCI Group, Electrical and Computer Engineering Department
2
Key Laboratory for Computer Information Processing Technology
2
Laboratoire Bordelais de Recherche en Informatique
2
Laboratoire Lorrain de Recherche en Informatique et ses Applications
2
Laboratoire d'Intégration des Systèmes et des Technologies
2
Media Effects Research Laboratory
2
Media Informatics Group
2
Microsoft Research Silicon Valley
2
Microsoft Research [Redmond]
2
Mixed Reality Laboratory [Nottingham]
2
Natural Language Processing Group [Barcelona]
2
Orange Labs [Meylan]
2
School of Computer Engineering and Science [Shanghai]
2
School of Computer Science [Wuhan]
2
School of Computer Science and Engineering [Chengdu]
2
School of Computing [Dundee]
2
School of Electronic Engineering and Computer Science
2
Social Spaces | CUO - MAD-Fac - LUCA [Leuven]
2
The Bartlett
2
Advanced Research Center on Electronic Systems for Information and Communication Technologies E. De Castro [Bologna]
1
Air Force Research Laboratory
1
Applied Statistics Unit
1
Artificial Intelligence Laboratory
1
Business School
1
CNR-ISTI, HIIS Laboratory
1
CSIR
1
Center for Advanced Studies and Research in Information and Communication Technologies & Society
1
Center for Higher Education Policy Studies
1
Center for Human-Computer Interaction
1
Center of Excellence in Social Technologies, Computing Institute
1
Centre for HCI Design [London]
1
Centre for Quantum Computation and Intelligent Systems [Sydney]
1
Cluster and Grid Computing Lab
1
Collaborative Systems Laboratory
1
College of Computer Science
1
College of Computer Science [Changsha]
1
College of Computer Science and Software Engineering
1
College of Computer Science and Technology [Hangzhou]
1
College of Computing and Information Sciences [Kampala]
1
College of Engineering and Computer Science
1
College of Information Engineering [Shenzhen]
1
College of Information Science and Engineering [Biwako-Kusatsu Campus]
1
College of Information and Technology Science [Jilin]
1
College of Mathematics, Physics and Information Engineering [Jinhua]
1
ComNets
1
Communication Networks, TZI
1
Computational and Systems Biology [Trento]
1
Computer Engineering Department
1
Computer Graphics and HCI Group [Kaiserslautern]
1
Computer Learning Research Centre [Royal Holloway, University of London]
1
Computer School
1
Computer Science and Informatics [Roskilde]
1
Computer Science and Technology College
1
Computing Institute
1
Computing and Information Systems
1
Concordia Institute for Information Systems Engineering
1
Control and Energy Management Laboratory (CEM Lab), Sfax Engineering School
1
Cryptography and Computeralgebra, Department of Computer Science
1
Cultural Studies
1
Dep. Computerwetenschappen
1
Departamento Sistemas Informáticos y Computación [Madrid]
1
Departamento de Sistemas Informáticos y Computación, Universidad Complutense de Madrid
1
Department of Applied Mathematics and Computational Sciences [Nadu]
1
Department of Applied Mathematics and Computer Science [Lyngby]
1
Department of Computer Engineering
1
Department of Computer Engineering & Informatics, School of Engineering
1
Department of Computer Science & Engineering
1
Department of Computer Science [Aarhus]
1
Department of Computer Science [Bristol]
1
Department of Computer Science [Ostrava]
1
Department of Computer Science [Rochester]
1
Department of Computer Science [Sao Carlos]
1
Department of Computer Science and Engineering
1
Department of Computer Science and Engineering [Bologna]
1
Department of Computer Science and Engineering [Nadia, West Bengal]
1
Department of Computer Science and Engineering [Shanghai]
1
Department of Computer Science and Software Engineering
1
Department of Computer Science, Faculty of Informatics
1
Department of Computing Sciences
1
Department of Computing and Information Systems
1
Department of Electrical and Computer Engineering [Vancouver]
1
Department of Electrical and Information Engineering
1
Department of ISEE
1
Department of IT Management
1
Department of Industrial Design Engineering
1
Department of Informatics [Hamburg]
1
Department of Informatics and Applied Mathematics
1
Department of Information Engineering and Computer Science
1
Department of Information Management
1
Department of Information Processing Science
1
Department of Information Processing Science [Oulu]
1
Department of Information Systems and Computing
1
Department of Information Technology
1
Department of Information Technology [Delhi]
1
Department of Information and Communication Technology [Kristiansand]
1
Department of Information and Computer Sciences
1
Department of Interaction Science
1
Department of Interaction Sciences [Seoul]
1
Department of Management Information Systems
1
Department of Mathematics [Rikkyo]
1
Department of Mathematics and Computer Science
1
Department of Mathematics and Statistics
1
Department of Multimedia and Graphic Arts [Lemesos]
1
Department of Systems and Computer Networks
1
Department of Systems and Computer Networks [Wroclaw]
1
Department of pharmacology and systems therapeutics [Mount Sinai]
1
Dept. Architecture, Design and Media Technology
1
Dept. Software Eng.
1
Dept. of Computer Science
1
Dept. of Computer Science and Engineering
1
Dept. of Psychology
1
Deutsche Telekom Labs.
1
Diagnostics and Vibro-Acoustics Science Laboratory
1
Digital Experience Laboratory [Seoul]
1
Digital World Research Centre
1
Dipartimento di Informatica e Sistemistica "Antonio Ruberti"
1
Dipartimento di Matematica e Informatica
1
Donald Bren School of Information and Computer Sciences
1
EA 4136, Handicap & Système Nerveux
1
Electrical & Computer Engineering
1
Electrical Engineering and Computer Science [Lübeck]
1
Faculdade de Informática
1
Faculty of Applied Informatics and Mathematics
1
Faculty of Arts and Sciences, Department of Statistics [Eskisehir]
1
Faculty of Computer Science
1
Faculty of Computer Science [Dąbrowa Górnicza]
1
Faculty of Computers and Information [Menofia]
1
Faculty of Economics and Administrative Sciences, Department of Labor Economics and Industrial Relations [Anadolu]
1
Faculty of Engineering [Tuzla]
1
Faculty of Health [Debrecen]
1
Faculty of Industrial Engineering
1
Faculty of Informatics [Debrecen]
1
Faculty of Mathematics and Computer Science
1
Faculty of Mathematics and Computer Science [Poznan]
1
Faculty of Mathematics and Computer Science [Toruń]
1

Andrea Tosatto
1
Daniele Gorla
1
Daniele Varacca
1
Luca Padovani
1
Ornela Dardha
1
Viviana Bono
1

2 results

Deposit type : Fulltext

labStructName_s : Dipartimento di Scienze dell'Informazione [Bologna]

labStructName_s : Dipartimento di Informatica [Torino]

	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

		Semantic Subtyping for Objects and Classes Ornela Dardha , Daniele Gorla , Daniele Varacca 15th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOOODS) / 33th International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2013, Firenze, Italy. pp.66-82, ⟨10.1007/978-3-642-38592-6_6⟩ Conference papers hal-00909299v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Polymorphic Types for Leak Detection in a Session-Oriented Functional Language Viviana Bono , Luca Padovani , Andrea Tosatto 15th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOOODS) / 33th International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2013, Florence, Italy. pp.83-98, ⟨10.1007/978-3-642-38592-6_7⟩ Conference papers hal-01515251v1	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