Filter your results
- 39
- 3
- 39
- 2
- 1
- 41
- 5
- 1
- 7
- 1
- 3
- 3
- 5
- 1
- 7
- 4
- 3
- 5
- 3
- 42
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
|
sorted by
|
|
|
Fuel Cell Systems for TelecommunicationsFirst IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS), Feb 2010, Costa de Caparica, Portugal. pp.467-474, ⟨10.1007/978-3-642-11628-5_52⟩
Conference papers
hal-01060772v1
|
||
|
|
Concurrent Pattern Calculus6th IFIP TC 1/WG 2.2 International Conference on Theoretical Computer Science (TCS) / Held as Part of World Computer Congress (WCC), Sep 2010, Brisbane, Australia. pp.244-258, ⟨10.1007/978-3-642-15240-5_18⟩
Conference papers
hal-01054456v1
|
||
|
|
A Semiring-Based Trace Semantics for Processes with Applications to Information Leakage Analysis6th IFIP TC 1/WG 2.2 International Conference on Theoretical Computer Science (TCS) / Held as Part of World Computer Congress (WCC), Sep 2010, Brisbane, Australia. pp.340-354, ⟨10.1007/978-3-642-15240-5_25⟩
Conference papers
hal-01054448v1
|
||
|
|
Hyperspectral Sensing Techniques Applied to Bio-masses Characterization: The Olive Husk Case4th Conference on Computer and Computing Technologies in Agriculture (CCTA), Oct 2010, Nanchang, China. pp.751-764, ⟨10.1007/978-3-642-18369-0_89⟩
Conference papers
hal-01564837v1
|
||
|
|
Privacy-Preserving Environment Monitoring in Networks of Mobile DevicesInternational IFIP TC 6 Workshops PE-CRN, NC-Pro, WCNS, and SUNSET 2011 Held at NETWORKING 2011 (NETWORKING), May 2011, Valencia, Spain. pp.179-191, ⟨10.1007/978-3-642-23041-7_18⟩
Conference papers
hal-01587843v1
|
||
|
|
Paving the Way for Future Research in ICT for Governance and Policy Modelling10th Electronic Government (EGOV), Aug 2011, Delft, Netherlands. pp.50-61, ⟨10.1007/978-3-642-22878-0_5⟩
Conference papers
hal-01589071v1
|
||
|
|
Information Strategies for Open Government in Europe: EU Regions Opening Up the Data on Structural Funds10th Electronic Government (EGOV), Aug 2011, Delft, Netherlands. pp.173-184, ⟨10.1007/978-3-642-22878-0_15⟩
Conference papers
hal-01589081v1
|
||
|
|
Stochastic Traffic Engineering for Live Audio/Video Delivering over Energy-Limited Wireless Access Networks10th IFIP Networking Conference (NETWORKING), May 2011, Valencia, Spain. pp.186-197, ⟨10.1007/978-3-642-20757-0_15⟩
Conference papers
hal-01583415v1
|
||
|
|
Experimental Analysis of a Standalone Renewable Energy Based Hybrid System3rd Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS), Feb 2012, Costa de Caparica, Portugal. pp.337-344, ⟨10.1007/978-3-642-28255-3_37⟩
Conference papers
hal-01365603v1
|
||
|
|
SCORe: A Scalable One-Copy Serializable Partial Replication Protocol13th International Middleware Conference (MIDDLEWARE), Dec 2012, Montreal, QC, Canada. pp.456-475, ⟨10.1007/978-3-642-35170-9_23⟩
Conference papers
hal-01555547v1
|
||
|
|
MailOfMine – Analyzing Mail Messages for Mining Artful Collaborative Processes1st International Symposium on Data-Driven Process Discovery and Analysis (SIMPDA), Jun 2011, Campione d’Italia, Italy. pp.55-81, ⟨10.1007/978-3-642-34044-4_4⟩
Conference papers
hal-01515541v1
|
||
|
|
Is Healthy Eating Healthy for the Environment? Barilla Center for Food and Nutrition Double Food Pyramid20th Advances in Production Management Systems (APMS), Sep 2013, State College, PA, United States. pp.393-401, ⟨10.1007/978-3-642-41263-9_49⟩
Conference papers
hal-01451783v1
|
||
|
|
Semantic Subtyping for Objects and Classes15th 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
|
||
|
|
Pattern Matching and Bisimulation15th International Conference on Coordination Models and Languages (COORDINATION), Jun 2013, Florence, Italy. pp.60-74, ⟨10.1007/978-3-642-38493-6_5⟩
Conference papers
hal-01486035v1
|
||
|
|
A Review of Security Attacks on the GSM Standard1st International Conference on Information and Communication Technology (ICT-EurAsia), Mar 2013, Yogyakarta, Indonesia. pp.507-512, ⟨10.1007/978-3-642-36818-9_58⟩
Conference papers
hal-01480210v1
|
||
|
|
Two Semi-Lagrangian Fast Methods for Hamilton-Jacobi-Bellman Equations26th Conference on System Modeling and Optimization (CSMO), Sep 2013, Klagenfurt, Austria. pp.74-84, ⟨10.1007/978-3-662-45504-3_7⟩
Conference papers
hal-01286401v1
|
||
|
|
A High-Order Semi-Lagrangian/Finite Volume Scheme for Hamilton-Jacobi-Isaacs Equations26th Conference on System Modeling and Optimization (CSMO), Sep 2013, Klagenfurt, Austria. pp.105-117, ⟨10.1007/978-3-662-45504-3_10⟩
Conference papers
hal-01286403v1
|
||
|
|
Collaboration in Virtual Enterprises through the Smart Vortex Suite15th Working Conference on Virtual Enterprises (PROVE), Oct 2014, Amsterdam, Netherlands. pp.426-434, ⟨10.1007/978-3-662-44745-1_42⟩
Conference papers
hal-01392145v1
|
||
|
|
Experimental Evaluation of an Algorithm for the Detection of Tampered JPEG Images2nd Information and Communication Technology - EurAsia Conference (ICT-EurAsia), Apr 2014, Bali, Indonesia. pp.643-652, ⟨10.1007/978-3-642-55032-4_66⟩
Conference papers
hal-01397282v1
|
||
|
|
Self-Organizing SystemsSpringer, LNCS 8221, 2014, Lecture Notes in Computer Science, 978-3-642-54139-1. ⟨10.1007/978-3-642-54140-7⟩
Books
hal-01291531v1
|
||
|
|
A System Dynamics Framework for Modeling Critical Infrastructure Resilience8th International Conference on Critical Infrastructure Protection (ICCIP), Mar 2014, Arlington, United States. pp.141-154, ⟨10.1007/978-3-662-45355-1_10⟩
Conference papers
hal-01386762v1
|
||
|
|
Modeling the Emergence of a New Language: Naming Game with Hybridization7th International Workshop on Self-Organizing Systems (IWSOS), May 2013, Palma de Mallorca, Spain. pp.78-89, ⟨10.1007/978-3-642-54140-7_7⟩
Conference papers
hal-01291501v1
|
||
|
|
The Effect of Noise on Mined Declarative Constraints3rd International Symposium on Data-Driven Process Discovery and Analysis (SIMPDA), Aug 2013, Riva del Garda, Italy. pp.1-24
Conference papers
hal-01746406v1
|
||
|
|
Observability of a Ring Shaped Membrane via Fourier Series27th IFIP Conference on System Modeling and Optimization (CSMO), Jun 2015, Sophia Antipolis, France. pp.322-330, ⟨10.1007/978-3-319-55795-3_30⟩
Conference papers
hal-01626896v1
|
||
|
|
FedUp! Cloud Federation as a Service5th European Conference on Service-Oriented and Cloud Computing (ESOCC), Sep 2016, Vienna, Austria. pp.168-182, ⟨10.1007/978-3-319-44482-6_11⟩
Conference papers
hal-01638589v1
|
||
|
|
Sum of Exit Times in Series of Metastable States in Probabilistic Cellular Automata22th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Jun 2016, Zurich, Switzerland. pp.105-119, ⟨10.1007/978-3-319-39300-1_9⟩
Conference papers
hal-01435037v1
|
||
|
|
Coupling MPC and DP Methods for an Efficient Solution of Optimal Control Problems27th IFIP Conference on System Modeling and Optimization (CSMO), Jun 2015, Sophia Antipolis, France. pp.68-77, ⟨10.1007/978-3-319-55795-3_5⟩
Conference papers
hal-01626904v1
|
||
|
|
The Hilbert Uniqueness Method for a Class of Integral Operators27th IFIP Conference on System Modeling and Optimization (CSMO), Jun 2015, Sophia Antipolis, France. pp.351-359, ⟨10.1007/978-3-319-55795-3_33⟩
Conference papers
hal-01626920v1
|
||
|
|
Towards Traffic-oriented Spreading Factor allocations in LoRaWAN systems17th Annual Mediterranean Ad Hoc Networking Workshop (Med-Hoc-Net 2018), Jun 2018, Capri Island, Italy. pp.55-63
Conference papers
hal-01832530v1
|
||
|
|
A Case Study in Learning Factories for Real-Time Reconfiguration of Assembly Systems Through Computational Design and Cyber-Physical Systems15th IFIP International Conference on Product Lifecycle Management (PLM), Jul 2018, Turin, Italy. pp.227-237, ⟨10.1007/978-3-030-01614-2_21⟩
Conference papers
hal-02075620v1
|
- 1
- 2