Search - IFIP Open Digital Library Access content directly

Filter your results

15 results
Structure: Internal structure identifier : 54654
Page :
sorted by
Image document

Personas versus Clones for Player Decision Modeling

 Christoffer Holmgård , Antonios Liapis , Julian Togelius , Georgios N. Yannakakis
13th International Conference Entertainment Computing (ICEC), Oct 2014, Sydney, Australia. pp.159-166, ⟨10.1007/978-3-662-45212-7_20⟩
Conference papers hal-01408517v1
Image document

Towards a Hybrid Verification Methodology for Communication Protocols (Short Paper)

 Christian Bartolo Burlò , Adrian Francalanza , Alceste Scalas
40th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2020, Valletta, Malta. pp.227-235, ⟨10.1007/978-3-030-50086-3_13⟩
Conference papers hal-03283237v1
Image document

On Bidirectional Runtime Enforcement

 Luca Aceto , Ian Cassar , Adrian Francalanza , Anna Ingólfsdóttir
41th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2021, Valletta, Malta. pp.3-21, ⟨10.1007/978-3-030-78089-0_1⟩
Conference papers hal-03740261v1
Image document

On Implementing Symbolic Controllability

 Adrian Francalanza , Jasmine Xuereb
22th International Conference on Coordination Languages and Models (COORDINATION), Jun 2020, Valletta, Malta. pp.350-369, ⟨10.1007/978-3-030-50029-0_22⟩
Conference papers hal-03273999v1
Image document

AndroNeo: Hardening Android Malware Sandboxes by Predicting Evasion Heuristics

 Yonas Leguesse , Mark Vella , Joshua Ellul
11th IFIP International Conference on Information Security Theory and Practice (WISTP), Sep 2017, Heraklion, Greece. pp.140-152, ⟨10.1007/978-3-319-93524-9_9⟩
Conference papers hal-01875520v1
Image document

Verification of Smart Contract Business Logic

 Wolfgang Ahrendt , Richard Bubel , Joshua Ellul , Gordon J. Pace , Raúl Pardo , et al.
8th International Conference on Fundamentals of Software Engineering (FSEN), May 2019, Tehran, Iran. pp.228-243, ⟨10.1007/978-3-030-31517-7_16⟩
Conference papers hal-03769118v1
Image document

How to Avoid Financial Crises

 Eleftherios Thalassinos , Yannis Thalassinos
17th Conference on e-Business, e-Services and e-Society (I3E), Oct 2018, Kuwait City, Kuwait. pp.232-243, ⟨10.1007/978-3-030-02131-3_21⟩
Conference papers hal-02274199v1
Image document

Recognition of Handwritten Characters Using Google Fonts and Freeman Chain Codes

 Alexiei Dingli , Mark Bugeja , Dylan Seychell , Simon Mercieca
2nd International Cross-Domain Conference for Machine Learning and Knowledge Extraction (CD-MAKE), Aug 2018, Hamburg, Germany. pp.65-78, ⟨10.1007/978-3-319-99740-7_5⟩
Conference papers hal-02060035v1
Image document

Reversible Choreographies via Monitoring in Erlang

 Adrian Francalanza , Claudio Antares Mezzina , Emilio Tuosto
18th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2018, Madrid, Spain. pp.75-92, ⟨10.1007/978-3-319-93767-0_6⟩
Conference papers hal-01824635v1
Image document

Full-Abstraction for Must Testing Preorders

 Giovanni Bernardi , Adrian Francalanza
19th International Conference on Coordination Languages and Models (COORDINATION), Jun 2017, Neuchâtel, Switzerland. pp.237-255, ⟨10.1007/978-3-319-59746-1_13⟩
Conference papers hal-01657337v1
Image document

Exploring Self-organisation in Crowd Teams

 Ioanna Lykourentzou , Antonios Liapis , Costas Papastathis , Konstantinos Papangelis , Costas Vassilakis
18th Conference on e-Business, e-Services and e-Society (I3E), Sep 2019, Trondheim, Norway. pp.164-175, ⟨10.1007/978-3-030-39634-3_15⟩
Conference papers hal-03759100v1
Image document

Runtime Monitoring Processes Across Blockchains

 Shaun Azzopardi , Joshua Ellul , Gordon J. Pace
9th International Conference on Fundamentals of Software Engineering (FSEN), May 2021, Virtual, Iran. pp.142-156, ⟨10.1007/978-3-030-89247-0_10⟩
Conference papers hal-04074524v1
Image document

The AI4Media Project: Use of Next-Generation Artificial Intelligence Technologies for Media Sector Applications

 Filareti Tsalakanidou , Symeon Papadopoulos , Vasileios Mezaris , Ioannis Kompatsiaris , Birgit Gray , et al.
17th IFIP International Conference on Artificial Intelligence Applications and Innovations (AIAI), Jun 2021, Hersonissos, Crete, Greece. pp.81-93, ⟨10.1007/978-3-030-79150-6_7⟩
Conference papers hal-03287684v1
Image document

Little Fitness Dragon: A Gamified Activity Tracker

 Isabelle Kniestedt , Marcello A. Gómez Maureira
15th International Conference on Entertainment Computing (ICEC), Sep 2016, Wien, Austria. pp.205-210, ⟨10.1007/978-3-319-46100-7_18⟩
Conference papers hal-01640291v1
Image document

Towards Probabilistic Session-Type Monitoring

 Christian Bartolo Burlò , Adrian Francalanza , Alceste Scalas , Catia Trubiani , Emilio Tuosto
23th International Conference on Coordination Languages and Models (COORDINATION), Jun 2021, Valletta, Malta. pp.106-120, ⟨10.1007/978-3-030-78142-2_7⟩
Conference papers hal-03387845v1
Page :