Filter your results
- 60
- 2
- 55
- 4
- 3
- 62
- 16
- 1
- 1
- 4
- 1
- 3
- 2
- 8
- 3
- 14
- 6
- 6
- 5
- 8
- 62
- 9
- 3
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 6
- 6
- 5
- 4
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 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
|
Artificial Intelligence Application for Crude Distillation Unit: An OverviewIFIP International Workshop on Artificial Intelligence for Knowledge Management (AI4KMES), Aug 2021, Montreal, QC, Canada. pp.156-168, ⟨10.1007/978-3-030-96592-1_12⟩
Conference papers
hal-04120814v1
|
||
|
Enterprise Coherence with GEA – A 15 year Co-evolution of Practice and Theory14th IFIP Working Conference on The Practice of Enterprise Modeling (PoEM), Nov 2021, Riga, Latvia. pp.3-18, ⟨10.1007/978-3-030-91279-6_1⟩
Conference papers
hal-04323846v1
|
||
|
De Finetti’s Construction as a Categorical Limit15th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2020, Dublin, Ireland. pp.90-111, ⟨10.1007/978-3-030-57201-3_6⟩
Conference papers
hal-03232351v1
|
||
|
Privacy as Enabler of Innovation14th IFIP International Summer School on Privacy and Identity Management (Privacy and Identity), Aug 2019, Windisch, Switzerland. pp.3-16, ⟨10.1007/978-3-030-42504-3_1⟩
Conference papers
hal-03378973v1
|
||
|
Coalgebraic Methods in Computer ScienceSpringer International Publishing, LNCS-12094, 2020, Lecture Notes in Computer Science, 978-3-030-57200-6. ⟨10.1007/978-3-030-57201-3⟩
Books
hal-03232344v1
|
||
|
Towards Enterprise-Grade Tool Support for DEMO13th IFIP WG 8.1 Working Conference on the Practice of Enterprise Modeling (PoEM 2020), Nov 2020, Riga, Latvia. pp.90-105, ⟨10.1007/978-3-030-63479-7_7⟩
Conference papers
hal-03434641v1
|
||
|
GDPR and the Concept of Risk:Eleni Kosta; Jo Pierson; Daniel Slamanig; Simone Fischer-Hübner; Stephan Krenn. Privacy and Identity Management. Fairness, Accountability, and Transparency in the Age of Big Data : 13th IFIP WG 9.2, 9.6/11.7, 11.6/SIG 9.2.2 International Summer School, Vienna, Austria, August 20-24, 2018, Revised Selected Papers, AICT-547, Springer International Publishing, pp.137-154, 2019, IFIP Advances in Information and Communication Technology, 978-3-030-16743-1. ⟨10.1007/978-3-030-16744-8_10⟩
Book sections
hal-02271667v1
|
||
|
Reflections on Using an Architecture Model for Matching Existing Applications to a Radical Business Requirements Change: A Case Study11th IFIP Working Conference on The Practice of Enterprise Modeling (PoEM), Oct 2018, Vienna, Austria. pp.383-393, ⟨10.1007/978-3-030-02302-7_25⟩
Conference papers
hal-02156475v1
|
||
|
Steps and Traces14th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2018, Thessaloniki, Greece. pp.122-143, ⟨10.1007/978-3-030-00389-0_8⟩
Conference papers
hal-02044644v1
|
||
|
(In)finite Trace Equivalence of Probabilistic Transition Systems14th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2018, Thessaloniki, Greece. pp.100-121, ⟨10.1007/978-3-030-00389-0_7⟩
Conference papers
hal-02044641v1
|
||
|
Bisimilarity of Open Terms in Stream GSOS7th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2017, Teheran, Iran. pp.35-50, ⟨10.1007/978-3-319-68972-2_3⟩
Conference papers
hal-01760851v1
|
||
|
n-Complete Test Suites for IOCO29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.91-107, ⟨10.1007/978-3-319-67549-7_6⟩
Conference papers
hal-01678988v1
|
||
|
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
|
||
|
Report on the Workshop on Assessing the Maturity of Privacy Enhancing TechnologiesDavid Aspinall; Jan Camenisch; Marit Hansen; Simone Fischer-Hübner; Charles Raab. Privacy and Identity Management. Time for a Revolution? : 10th IFIP WG 9.2, 9.5, 9.6/11.7, 11.4, 11.6/SIG 9.2.2 International Summer School, Edinburgh, UK, August 16-21, 2015, Revised Selected Papers, AICT-476, Springer International Publishing, pp.97-110, 2016, IFIP Advances in Information and Communication Technology, 978-3-319-41762-2. ⟨10.1007/978-3-319-41763-9_7⟩
Book sections
hal-01619747v1
|
||
|
Branching Bisimulation Games36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2016, Heraklion, Greece. pp.142-157, ⟨10.1007/978-3-319-39570-8_10⟩
Conference papers
hal-01432915v1
|
||
|
Vitalizing Semiotics17th International Conference on Informatics and Semiotics in Organisations (ICISO), Aug 2016, Campinas, Brazil. pp.25-34, ⟨10.1007/978-3-319-42102-5_3⟩
Conference papers
hal-01646560v1
|
||
|
ICT Systems Security and Privacy ProtectionSpringer, AICT-471, 2016, IFIP Advances in Information and Communication Technology, 978-3-319-33629-9. ⟨10.1007/978-3-319-33630-5⟩
Books
hal-01369602v1
|
||
|
Affine Monads and Side-Effect-Freeness13th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2016, Eindhoven, Netherlands. pp.53-72, ⟨10.1007/978-3-319-40370-0_5⟩
Conference papers
hal-01446033v1
|
||
|
Scheduling Games for Concurrent Systems18th International Conference on Coordination Languages and Models (COORDINATION), Jun 2016, Heraklion, Greece. pp.84-100, ⟨10.1007/978-3-319-39519-7_6⟩
Conference papers
hal-01631719v1
|
||
|
Scaffolding Stakeholder-Centric Enterprise Model Articulation9th IFIP Working Conference on The Practice of Enterprise Modeling (PoEM), Nov 2016, Skövde, Sweden. pp.133-147, ⟨10.1007/978-3-319-48393-1_10⟩
Conference papers
hal-01653512v1
|
||
|
A Semiotic Approach to Critical Reasoning16th International Conference on Informatics and Semiotics in Organisations (ICISO), Mar 2015, Toulouse, France. pp.10-19, ⟨10.1007/978-3-319-16274-4_2⟩
Conference papers
hal-01324956v1
|
||
|
Fast Revocation of Attribute-Based Credentials for Both Users and Verifiers30th IFIP International Information Security Conference (SEC), May 2015, Hamburg, Germany. pp.463-478, ⟨10.1007/978-3-319-18467-8_31⟩
Conference papers
hal-01345136v1
|
||
|
On Linkability and Malleability in Self-blindable Credentials9th Workshop on Information Security Theory and Practice (WISTP), Aug 2015, Heraklion, Crete, Greece. pp.203-218, ⟨10.1007/978-3-319-24018-3_13⟩
Conference papers
hal-01442543v1
|
||
|
Towards a Coalgebraic Chomsky Hierarchy8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. pp.265-280, ⟨10.1007/978-3-662-44602-7_21⟩
Conference papers
hal-01402071v1
|
||
|
How to Kill Epsilons with a Dagger12th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2014, Grenoble, France. pp.53-74, ⟨10.1007/978-3-662-44124-4_4⟩
Conference papers
hal-01408752v1
|
||
|
Capturing Design Rationales in Enterprise Architecture: A Case Study7th IFIP Working Conference on The Practice of Enterprise Modeling (PoEM), Nov 2014, Manchester, United Kingdom. pp.133-147, ⟨10.1007/978-3-662-45501-2_10⟩
Conference papers
hal-01282061v1
|
||
|
Quality of Service in the Long Tail: Narratives and the Exploitation of Soft Metadata15th International Conference on Informatics and Semiotics in Organisations (ICISO), May 2014, Shanghai, China. pp.22-31, ⟨10.1007/978-3-642-55355-4_3⟩
Conference papers
hal-01350907v1
|
||
|
Strong Completeness for Iteration-Free Coalgebraic Dynamic Logics8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. pp.281-295, ⟨10.1007/978-3-662-44602-7_22⟩
Conference papers
hal-01402072v1
|
||
|
Privacy and Identity Management for Emerging Services and TechnologiesSpringer, IFIP Advances in Information and Communication Technology (TUTORIAL) (AICT-421), 2014, 978-3-642-55137-6. ⟨10.1007/978-3-642-55137-6⟩
Books
hal-01276094v1
|
||
|
Two of the Grand Changes through Computer and Network TechnologyMarit Hansen; Jaap-Henk Hoepman; Ronald Leenes; Diane Whitehouse. Privacy and Identity Management for Emerging Services and Technologies : 8th IFIP WG 9.2, 9.5, 9.6/11.7, 11.4, 11.6 International Summer School, Nijmegen, The Netherlands, June 17-21, 2013, Revised Selected Papers, AICT-421, Springer, pp.1-11, 2014, IFIP Advances in Information and Communication Technology (TUTORIAL), 978-3-642-55136-9. ⟨10.1007/978-3-642-55137-6_1⟩
Book sections
hal-01276043v1
|