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

2012
1

English
1

Institut de mathématiques de Luminy
1
Institut de Recherche en Informatique et Systèmes Aléatoires
13
Inria Sophia Antipolis - Méditerranée
12
Inria Rennes – Bretagne Atlantique
9
TZI Digital Media Group
8
Department of Computer Science
7
Distributed Systems and Computer Networks
7
Department of Computer Science and Engineering [Bologna]
4
Faculty of Mathematics and Physics [Praha|Prague]
3
High-Assurance Software Laboratory [Braga, Portugal]
3
Human Media Interaction
3
Institut de recherche en informatique de Toulouse
3
Interdisciplinary Centre for Security, Reliability and Trust [Luxembourg]
3
Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis
3
Multimedia Communications Lab [Darmstadt]
3
Blekinge Institute of Technology
2
Center for Applied Internet Data Analysis [Univ California]
2
Centre d'études et de recherche en informatique et communications
2
Centre for Cybersecurity and Cybercrime Investigation [Dublin]
2
Centre for Telecommunications and Value Chain Research
2
Centrum voor Wiskunde en Informatica
2
Computer science departement [Bremen]
2
Departamento de electronica e computação
2
Department of Computer Science [Dallas]
2
Department of Computer Science [Hong Kong]
2
Department of Computer Science [UIUC]
2
Department of Computer Science and Engineering
2
Department of Electrical and Electronic Engineering [London]
2
Department of Industrial Design [Eindhoven]
2
Department of Telematics
2
Design and Analysis of Communication Systems (DACS)
2
Digital Media [Atlanta]
2
Faculty of Arts [Prague]
2
Inria Lille - Nord Europe
2
Institute for Communication Systems [University of Surrey]
2
Institute for Logic, Language and Computation
2
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa
2
Keio-NUS CUTE Center
2
Laboratoire Bordelais de Recherche en Informatique
2
Laboratoire Informatique d'Avignon
2
Laboratoire d'Informatique de Nantes Atlantique
2
Laboratoire d'Informatique de Paris-Nord
2
Laboratoire d'analyse et d'architecture des systèmes
2
Leiden Institute of Advanced Computer Science [Leiden]
2
NEC C&C Innovation Research Laboratories
2
Parallélisme, Réseaux, Systèmes, Modélisation
2
QUASAR|CITI|Faculdade de Ciências e Tecnologia
2
SMACS Research Group
2
School of Computer Science and Informatics [Dublin]
2
School of Computer [Chine]
2
School of Computing
2
School of Computing Science
2
Security, Reliability and Trust Interdisciplibary Research Centre
2
Software Languages Lab
2
State Key Laboratory of Information Security, Institute of Information Engineering
2
Studies Media Information Telecommunication
2
Symantec Research Labs
2
Telenor
2
VERIMAG
2
Air Force Research Laboratory
1
Alcatel-Lucent Bell - Belgique
1
Alcatel-Lucent Bell Labs France [Nozay]
1
BT Innovate
1
Bremer Institut für Produktion und Logistik GmbH
1
CAS Institute of Computing Technology
1
Center for Advanced Security Research Darmstadt [Darmstadt]
1
Center for Advanced Studies and Research in Information and Communication Technologies & Society
1
Centre for Quantifiable Quality of Service in Communication Systems
1
Centre of Telematics and Information Technology
1
College of Computer and Information Science, Northeastern University
1
College of Information Sciences and Technology
1
Communication Systems Group [Zurich]
1
Computational and Systems Biology [Trento]
1
Computer Engineering Department
1
Computer Engineering and Networks Laboratory
1
Computer Science and Engineering [Sydney]
1
Computer Science department [Herzliya]
1
Computing Department [Lancaster]
1
Cork Constraint Computation Centre
1
DAIS - Computer Science
1
DEXA, laboratory
1
Data and Network Security Laboratory [Tehran]
1
Defense Science and Technology Organization
1
Departamento de Ciência da Computação [Minas Gerais]
1
Departamento de Engenharia Informática [Porto]
1
Departamento de Informática
1
Departement of Mathematics
1
Department of Automation and Applied Informatics
1
Department of Computer Science & Technology
1
Department of Computer Science - K.U.Leuven
1
Department of Computer Science - Trinity College Dublin
1
Department of Computer Science [Auckland]
1
Department of Computer Science [KAIST]
1
Department of Computer Science [Liverpool]
1
Department of Computer Science [Oxford]
1
Department of Computer Science and Technology
1
Department of Computer Sciences
1
Department of Computer and Information Science [Trondheim]
1
Department of Digital Systems [Athens]
1
Department of Electrical & Computer Engineering [Victoria]
1
Department of Electrical Engineering [Tehran]
1
Department of Electrical Engineering, Mathematics and Computer Science [Delft]
1
Department of Electrical and Computer Engineering
1
Department of Electrical and Computer Engineering [Blacksburg]
1
Department of Electronic and Electrical Engineering
1
Department of Informatics [Zurich]
1
Department of Information & Communication Systems Engineering [Grece]
1
Department of Information Science
1
Department of Information Systems
1
Department of Information Technologies
1
Department of Information Technology
1
Department of Information and Computer Science
1
Department of Management, Economics and Industrial Engineering
1
Department of Mathematics [Prague]
1
Department of Mathematics and Computer Science [Udine]
1
Department of Physics
1
Department of Statistics, Trinity College Dublin
1
Department of computing [Hong Kong]
1
Department of mathematics [Bloomington]
1
Dept. of Computer Science and Engineering, Graduate School of Engineering
1
Dept. of Electrical Engineering and Computer Science
1
Digital Design Studio [Glasgow]
1
Dipartimento di Elettronica e Telecomunicazioni [Torino]
1
Dipartimento di Informatica
1
Dipartimento di Informatica, Bioingegneria, Robotica e Ingegneria dei Sistemi [Genova]
1
Dipartimento di Informatica, Sistemistica e Telematica
1
Dipartimento di Ingegneria dell'Informazione [Pisa]
1
Dipartimento di Matematica e Informatica
1
Dipartimento di Scienze dell'Informazione [Bologna]
1
Distributed Systems Group
1
Distributed Systems Group [Vienne]
1
EMACS research unit
1
Equipe de Recherche en Ingénierie des Connaissances
1
Erik Jonsson School of Engineering and Computer Science
1
Expertise centre for Digital Media [Hasselt]
1
Faculty of Computer Science [Iași]
1
Faculty of Electrical Engineering
1
Faculty of Psychology [Vienna]
1
Fakultät für Informatik
1
Fundación CTIC
1
George W. Woodruff School of Mechanical Engineering
1
Google Inc [Mountain View]
1
Graduate School of Information Systems
1
Graduate University of Chinese [Beijing]
1
HIT Lab NZ
1
Heinz Nixdorf Institute
1
Hewlett-Packard Laboratories [Bristol]
1
Huawei Noah's Ark Lab [China]
1
Human Interfaces in Information Systems [Pisa]
1
Human Media Interaction Group [Twente]
1
Human-Computer Interaction
1
Human-Machine Systems Engineering [Kassel]
1
IBBT, Department of Information Technology
1
IBM Thomas J. Watson Research Center
1
INTEL Labs
1
INVEA-TECH
1
IT4Innovations - National Supercomputing Center [Ostrava]
1
Immersive Media Group,
1
Industrial Design [Atlanta]
1
Industrial Technology Research Institute
1
Inria Grenoble - Rhône-Alpes
1
Institut für Angewandte Informatik und Formale Beschreibungsverfahren [Karlsruhe]
1
Institut für Informatik [Clausthal]
1
Institut für Systems Engineering
1
Institut für Theoretische Informatik
1
Institute for Cognitive Science
1
Institute for Computing and Information Sciences [Nijmegen]
1
Institute for Design and Assessment of Technology [Vienna]
1
Institute for IS Research, Research Group E-Government
1
Institute of Computer Languages
1
Institute of Computer Science
1
Institute of Computer Science [FORTH, Heraklion]
1
Institute of Computer Science [Warsaw]
1
Institute of Computing Technology [Beijing]
1
Institute of Ergonomics & Human Factors [Darmstadt]
1
Institute of IT-Security and Security Law
1
Institute of Informatics
1
Institute of Information Engineering [Beijing]
1
Institute of Networked and Embedded Systems
1
Institute of New Imaging Technologies
1
Institute of contemporary history
1
Instituto de Computação
1
Instituto de Ingenieria Electrica, Facultad de ingeniera
1
Instituut Lorentz for Theoretical Physics
1
Interaction and Space [Bremen]
1
Interactive and Trustworthy Technologies Research Group
1
Interdisciplinary Centre for Security Relaibility and Trust
1
Istituto di Analisi dei Sistemi ed Informatica “Antonio Ruberti”
1
JRC Institute for the Protection and Security of the Citizen [Ispra]
1
LaSIGE & Department of Informatics
1
LaSIGE [Lisboa]
1
Laboratoire Lorrain de Recherche en Informatique et ses Applications
1
Laboratoire Spécification et Vérification [Cachan]
1
Laboratoire d'Automatique, Génie Informatique et Signal
1
Laboratoire d'Automatique, de Mécanique et d'Informatique industrielles et Humaines - UMR 8201
1
Laboratoire d'Informatique Fondamentale de Lille
1
Laboratoire d'Informatique Gaspard-Monge
1
Laboratoire d'Informatique de Grenoble
1
Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier
1
Laboratoire d'Informatique, de Modélisation et d'Optimisation des Systèmes
1

Emmanuel Beffara
1
Virgile Mogbil
1

1 Array

Deposit type : Fulltext

labStructName_s : Institut de mathématiques de Luminy

	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

		Proofs as Executions Emmanuel Beffara , Virgile Mogbil 7th International Conference on Theoretical Computer Science (TCS), Sep 2012, Amsterdam, Netherlands. pp.280-294, ⟨10.1007/978-3-642-33475-7_20⟩ Conference papers hal-00586459v2	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