Filter your results
- 33
- 2
- 32
- 2
- 1
- 35
- 3
- 1
- 2
- 3
- 5
- 3
- 7
- 1
- 4
- 5
- 2
- 2
- 35
- 8
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 9
- 5
- 4
- 3
- 3
- 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
- 1
|
|
sorted by
|
|
Emerging Barriers in E-Government Implementation9th IFIP WG 8.5 International Conference on Electronic Government (EGOV), Aug 2010, Lausanne, Switzerland. pp.216-225, ⟨10.1007/978-3-642-14799-9_19⟩
Conference papers
hal-01056585v1
|
||
Theoretical Computer ScienceSpringer, AICT-323, 2010, IFIP Advances in Information and Communication Technology, 978-3-642-15239-9
Books
hal-01556302v1
|
|||
|
Transformational Government Citizens’ Services Adoption: A Conceptual Framework10th Electronic Government (EGOV), Aug 2011, Delft, Netherlands. pp.134-143, ⟨10.1007/978-3-642-22878-0_12⟩
Conference papers
hal-01589087v1
|
||
|
Knowledge-Based Service Architecture for Multi-risk Environmental Decision Support Applications9th International Symposium on Environmental Software Systems (ISESS), Jun 2011, Brno, Czech Republic. pp.101-109, ⟨10.1007/978-3-642-22285-6_11⟩
Conference papers
hal-01569196v1
|
||
|
Using Emulators to Estimate Uncertainty in Complex Models10th Working Conference on Uncertainty Quantification in Scientific Computing (WoCoUQ), Aug 2011, Boulder, CO, United States. pp.151-164, ⟨10.1007/978-3-642-32677-6_10⟩
Conference papers
hal-01518680v1
|
||
|
Internal Models for Coalgebraic Modal Logics11th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Mar 2012, Tallinn, Estonia. pp.238-258, ⟨10.1007/978-3-642-32784-1_13⟩
Conference papers
hal-01539883v1
|
||
|
Building Computational Grids Using Ubiquitous Web Technologies13th Working Confeence on Virtual Enterpries (PROVE), Oct 2012, Bournemouth, United Kingdom. pp.254-261, ⟨10.1007/978-3-642-32775-9_26⟩
Conference papers
hal-01520439v1
|
||
|
Relational Presheaves as Labelled Transition Systems11th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Mar 2012, Tallinn, Estonia. pp.40-50, ⟨10.1007/978-3-642-32784-1_3⟩
Conference papers
hal-01539889v1
|
||
|
Human Factors Engineering as the Methodological Babel Fish: Translating User Needs into Software Design4th International Conference on Human-Centered Software Engineering (HCSE), Oct 2012, Toulouse, France. pp.1-17, ⟨10.1007/978-3-642-34347-6_1⟩
Conference papers
hal-01556825v1
|
||
|
Online Forums vs. Social Networks: Two Case Studies to Support eGovernment with Topic Opinion Analysis12th International Conference on Electronic Government (EGOV), Sep 2013, Koblenz, Germany. pp.322-334, ⟨10.1007/978-3-642-40358-3_27⟩
Conference papers
hal-01490917v1
|
||
|
Crime Open Data Aggregation and Management for the Design of Safer Spaces in Urban Environments10th International Symposium on Environmental Software Systems (ISESS), Oct 2013, Neusiedl am See, Austria. pp.311-320, ⟨10.1007/978-3-642-41151-9_30⟩
Conference papers
hal-01457462v1
|
||
|
A Viable System Model for Information Security Governance: Establishing a Baseline of the Current Information Security Operations System28th Security and Privacy Protection in Information Processing Systems (SEC), Jul 2013, Auckland, New Zealand. pp.245-256, ⟨10.1007/978-3-642-39218-4_19⟩
Conference papers
hal-01463830v1
|
||
|
The Future Internet Enablement of the Environment Information Space10th International Symposium on Environmental Software Systems (ISESS), Oct 2013, Neusiedl am See, Austria. pp.109-120, ⟨10.1007/978-3-642-41151-9_11⟩
Conference papers
hal-01457440v1
|
||
|
Dimming Relations for the Efficient Analysis of Concurrent Systems via Action Abstraction34th Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2014, Berlin, Germany. pp.216-231, ⟨10.1007/978-3-662-43613-4_14⟩
Conference papers
hal-01398017v1
|
||
|
IdleWars: An Evaluation of a Pervasive Game to Promote Sustainable Behaviour in the Workplace14th International Conference on Entertainment Computing (ICEC), Sep 2015, Trondheim, Norway. pp.224-237, ⟨10.1007/978-3-319-24589-8_17⟩
Conference papers
hal-01758407v1
|
||
|
Advanced Data Analytics and Visualisation for the Management of Human Perception of Safety and Security in Urban Spaces11th International Symposium on Environmental Software Systems (ISESS), Mar 2015, Melbourne, Australia. pp.445-454, ⟨10.1007/978-3-319-15994-2_45⟩
Conference papers
hal-01328590v1
|
||
|
Open Data Sources for the Development of Mobile Applications and Forecast of Microbial Contamination in Bathing Waters11th International Symposium on Environmental Software Systems (ISESS), Mar 2015, Melbourne, Australia. pp.303-310, ⟨10.1007/978-3-319-15994-2_30⟩
Conference papers
hal-01328563v1
|
||
|
Context Ontology Modelling for Improving Situation Awareness and Crowd Evacuation from Confined Spaces11th International Symposium on Environmental Software Systems (ISESS), Mar 2015, Melbourne, Australia. pp.407-416, ⟨10.1007/978-3-319-15994-2_41⟩
Conference papers
hal-01328584v1
|
||
|
Obscuring Provenance Confidential Information via Graph Transformation9th IFIP International Conference on Trust Management (TM), May 2015, Hamburg, Germany. pp.109-125, ⟨10.1007/978-3-319-18491-3_8⟩
Conference papers
hal-01416217v1
|
||
|
From Event-B Models to Dafny Code Contracts6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. pp.308-315, ⟨10.1007/978-3-319-24644-4_21⟩
Conference papers
hal-01446608v1
|
||
|
An Interval-Based Approach to Modelling Time in Event-B6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. pp.292-307, ⟨10.1007/978-3-319-24644-4_20⟩
Conference papers
hal-01446607v1
|
||
|
Consumers’ Attitudes Towards Social Media Banking15th Conference on e-Business, e-Services and e-Society (I3E), Sep 2016, Swansea, United Kingdom. pp.717-727, ⟨10.1007/978-3-319-45234-0_65⟩
Conference papers
hal-01702171v1
|
||
|
Lawvere Categories as Composed PROPs13th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2016, Eindhoven, Netherlands. pp.11-32, ⟨10.1007/978-3-319-40370-0_3⟩
Conference papers
hal-01446031v1
|
||
|
Supporting Coordinated Maintenance of System Trustworthiness and User Trust at Runtime10th IFIP International Conference on Trust Management (TM), Jul 2016, Darmstadt, Germany. pp.96-112, ⟨10.1007/978-3-319-41354-9_7⟩
Conference papers
hal-01438351v1
|
||
|
An Integrated Decision-Support Information System on the Impact of Extreme Natural Hazards on Critical Infrastructure12th International Symposium on Environmental Software Systems (ISESS), May 2017, Zadar, Croatia. pp.302-314, ⟨10.1007/978-3-319-89935-0_25⟩
Conference papers
hal-01852606v1
|
||
|
Preventing Unauthorized Data Flows31th IFIP Annual Conference on Data and Applications Security and Privacy (DBSEC), Jul 2017, Philadelphia, PA, United States. pp.41-62, ⟨10.1007/978-3-319-61176-1_3⟩
Conference papers
hal-01684345v1
|
||
|
EO Big Data Connectors and Analytics for Understanding the Effects of Climate Change on Migratory Trends of Marine Wildlife12th International Symposium on Environmental Software Systems (ISESS), May 2017, Zadar, Croatia. pp.85-94, ⟨10.1007/978-3-319-89935-0_8⟩
Conference papers
hal-01852638v1
|
||
|
Large Scale Surveillance, Detection and Alerts Information Management System for Critical Infrastructure12th International Symposium on Environmental Software Systems (ISESS), May 2017, Zadar, Croatia. pp.237-246, ⟨10.1007/978-3-319-89935-0_20⟩
Conference papers
hal-01852643v1
|
||
|
Toward Group-Based User-Attribute Policies in Azure-Like Access Control Systems31th IFIP Annual Conference on Data and Applications Security and Privacy (DBSEC), Jul 2017, Philadelphia, PA, United States. pp.349-361, ⟨10.1007/978-3-319-61176-1_20⟩
Conference papers
hal-01684364v1
|
||
|
Coalgebraic Methods in Computer ScienceSpringer International Publishing, LNCS-11202, 2018, Lecture Notes in Computer Science, 978-3-030-00388-3. ⟨10.1007/978-3-030-00389-0⟩
Books
hal-02044638v1
|
- 1
- 2