Search - IFIP - Lecture Notes in Computer Science

	For these 24 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

		On the Integration of Automatic Deployment into the ABS Modeling Language Stijn De Gouw , Michael Lienhardt , Jacopo Mauro , Behrooz Nobakht , Gianluigi Zavattaro 4th European Conference on Service-Oriented and Cloud Computing (ESOCC), Sep 2015, Taormina, Italy. pp.49-64, ⟨10.1007/978-3-319-24072-5_4⟩ Conference papers hal-01757558v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Interactive Digital Gameplay Can Lower Stress Hormone Levels in Home Alone Dogs — A Case for Animal Welfare Informatics Annika Geurtsen , Maarten H. Lamers , Marcel Schaaf 14th International Conference on Entertainment Computing (ICEC), Sep 2015, Trondheim, Norway. pp.238-251, ⟨10.1007/978-3-319-24589-8_18⟩ Conference papers hal-01758456v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		ML-ModelExplorer: An Explorative Model-Agnostic Approach to Evaluate and Compare Multi-class Classifiers Andreas Theissler , Simon Vollert , Patrick Benz , Laurentius A. Meerhoff , Marc Fernandes 4th International Cross-Domain Conference for Machine Learning and Knowledge Extraction (CD-MAKE), Aug 2020, Dublin, Ireland. pp.281-300, ⟨10.1007/978-3-030-57321-8_16⟩ Conference papers hal-03414731v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Duality of Equations and Coequations via Contravariant Adjunctions Julian Salamanca , Marcello Bonsangue , Jurriaan Rot 13th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2016, Eindhoven, Netherlands. pp.73-93, ⟨10.1007/978-3-319-40370-0_6⟩ Conference papers hal-01446034v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Unbounded Allocation in Bounded Heaps Jurriaan Rot , Frank De Boer , Marcello Bonsangue 5th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2013, Tehran, Iran. pp.1-16, ⟨10.1007/978-3-642-40213-5_1⟩ Conference papers hal-01514664v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Games that Make Curious: An Exploratory Survey into Digital Games that Invoke Curiosity Marcello A. Gómez Maureira , Isabelle Kniestedt 17th International Conference on Entertainment Computing (ICEC), Sep 2018, Poznan, Poland. pp.76-89, ⟨10.1007/978-3-319-99426-0_7⟩ Conference papers hal-02128582v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		An “almost dual” to Gottschalk’s Conjecture Silvio Capobianco , Jarkko Kari , Siamak Taati 22th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Jun 2016, Zurich, Switzerland. pp.77-89, ⟨10.1007/978-3-319-39300-1_7⟩ Conference papers hal-01435035v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Service Orchestration with Priority Constraints Behnaz Changizi , Natallia Kokash , Farhad Arbab 8th International Conference on Fundamentals of Software Engineering (FSEN), May 2019, Tehran, Iran. pp.194-209, ⟨10.1007/978-3-030-31517-7_14⟩ Conference papers hal-03769135v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Communication Requirements for Team Automata Maurice Beek , Josep Carmona , Rolf Hennicker , Jetty Kleijn 19th International Conference on Coordination Languages and Models (COORDINATION), Jun 2017, Neuchâtel, Switzerland. pp.256-277, ⟨10.1007/978-3-319-59746-1_14⟩ Conference papers hal-01657348v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Virtual Team Performance Depends on Distributed Leadership Nico van Dijk , Joost Broekens 9th International Conference on Entertainment Computing (ICEC), Sep 2010, Seoul, South Korea. pp.91-102, ⟨10.1007/978-3-642-15399-0_9⟩ Conference papers hal-01055582v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Defining Context-Free Power Series Coalgebraically Marcello M. Bonsangue , Jan Rutten , Joost Winter 11th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Mar 2012, Tallinn, Estonia. pp.20-39, ⟨10.1007/978-3-642-32784-1_2⟩ Conference papers hal-01539885v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		A Formal Model to Integrate Behavioral and Structural Adaptations in Self-adaptive Systems Narges Khakpour , Jetty Kleijn , Marjan Sirjani 8th International Conference on Fundamentals of Software Engineering (FSEN), May 2019, Tehran, Iran. pp.3-19, ⟨10.1007/978-3-030-31517-7_1⟩ Conference papers hal-03769124v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Restricted Density Classification in One Dimension Siamak Taati 21st Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Jun 2015, Turku, Finland. pp.238-250, ⟨10.1007/978-3-662-47221-7_18⟩ Conference papers hal-01442476v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Innovation and Big Data H. Herik 15th IFIP International Conference on Computer Information Systems and Industrial Management (CISIM), Sep 2016, Vilnius, Lithuania. pp.23-30, ⟨10.1007/978-3-319-45378-1_3⟩ Conference papers hal-01637511v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Towards Participatory E-Government?: Learning from E-Government Project Evaluations Wouter Bronsgeest , Rex Arendsen , Jan Van Dijk 9th International Conference on Electronic Participation (ePart), Sep 2017, St. Petersburg, Russia. pp.127-139, ⟨10.1007/978-3-319-64322-9_11⟩ Conference papers hal-01703336v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Formal Verification of Service Level Agreements Through Distributed Monitoring Behrooz Nobakht , Stijn De Gouw , Frank Boer 4th European Conference on Service-Oriented and Cloud Computing (ESOCC), Sep 2015, Taormina, Italy. pp.125-140, ⟨10.1007/978-3-319-24072-5_9⟩ Conference papers hal-01757576v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Bounded Model Checking of Recursive Programs with Pointers in K Irina Măriuca Asăvoae , Frank De Boer , Marcello M. Bonsangue , Dorel Lucanu , Jurriaan Rot 21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spain. pp.59-76, ⟨10.1007/978-3-642-37635-1_4⟩ Conference papers hal-01485978v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Declarative Elasticity in ABS Stijn De Gouw , Jacopo Mauro , Behrooz Nobakht , Gianluigi Zavattaro 5th European Conference on Service-Oriented and Cloud Computing (ESOCC), Sep 2016, Vienna, Austria. pp.118-134, ⟨10.1007/978-3-319-44482-6_8⟩ Conference papers hal-01638585v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Coalgebraic Methods in Computer Science Marcello M. Bonsangue Springer, LNCS-8446, 2014, Coalgebraic Methods in Computer Science, 978-3-662-44123-7 Books hal-01408765v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Team Automata@Work: On Safe Communication Maurice H. ter Beek , Rolf Hennicker , Jetty Kleijn 22th International Conference on Coordination Languages and Models (COORDINATION), Jun 2020, Valletta, Malta. pp.77-85, ⟨10.1007/978-3-030-50029-0_5⟩ Conference papers hal-03273992v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		The Future of a Missed Deadline Behrooz Nobakht , Frank De Boer , Mohammad Mahdi Jaghoori 15th International Conference on Coordination Models and Languages (COORDINATION), Jun 2013, Florence, Italy. pp.181-195, ⟨10.1007/978-3-642-38493-6_13⟩ Conference papers hal-01486026v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		The Vocal Range of Movies - Sonifying Gender Representation in Film Marcello Maureira , Lisa E. Rombout 14th International Conference on Entertainment Computing (ICEC), Sep 2015, Trondheim, Norway. pp.545-550, ⟨10.1007/978-3-319-24589-8_54⟩ Conference papers hal-01758454v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Human-in-the-Loop Simulation of Cloud Services Nikolaos Bezirgiannis , Frank De Boer , Stijn De Gouw 6th European Conference on Service-Oriented and Cloud Computing (ESOCC), Sep 2017, Oslo, Norway. pp.143-158, ⟨10.1007/978-3-319-67262-5_11⟩ Conference papers hal-01677612v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Triadic Motifs and Dyadic Self-Organization in the World Trade Network Tiziano Squartini , Diego Garlaschelli 6th International Workshop on Self-Organizing Systems (IWSOS), Mar 2012, Delft, Netherlands. pp.24-35, ⟨10.1007/978-3-642-28583-7_3⟩ Conference papers hal-01527529v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More

On the Integration of Automatic Deployment into the ABS Modeling Language

Stijn De Gouw , Michael Lienhardt , Jacopo Mauro , Behrooz Nobakht , Gianluigi Zavattaro

4th European Conference on Service-Oriented and Cloud Computing (ESOCC), Sep 2015, Taormina, Italy. pp.49-64, ⟨10.1007/978-3-319-24072-5_4⟩

Conference papers hal-01757558v1

Interactive Digital Gameplay Can Lower Stress Hormone Levels in Home Alone Dogs — A Case for Animal Welfare Informatics

Annika Geurtsen , Maarten H. Lamers , Marcel Schaaf

14th International Conference on Entertainment Computing (ICEC), Sep 2015, Trondheim, Norway. pp.238-251, ⟨10.1007/978-3-319-24589-8_18⟩

Conference papers hal-01758456v1

ML-ModelExplorer: An Explorative Model-Agnostic Approach to Evaluate and Compare Multi-class Classifiers

Andreas Theissler , Simon Vollert , Patrick Benz , Laurentius A. Meerhoff , Marc Fernandes

4th International Cross-Domain Conference for Machine Learning and Knowledge Extraction (CD-MAKE), Aug 2020, Dublin, Ireland. pp.281-300, ⟨10.1007/978-3-030-57321-8_16⟩

Conference papers hal-03414731v1

Duality of Equations and Coequations via Contravariant Adjunctions

Julian Salamanca , Marcello Bonsangue , Jurriaan Rot

13th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2016, Eindhoven, Netherlands. pp.73-93, ⟨10.1007/978-3-319-40370-0_6⟩

Conference papers hal-01446034v1

Unbounded Allocation in Bounded Heaps

Jurriaan Rot , Frank De Boer , Marcello Bonsangue

5th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2013, Tehran, Iran. pp.1-16, ⟨10.1007/978-3-642-40213-5_1⟩

Conference papers hal-01514664v1

Games that Make Curious: An Exploratory Survey into Digital Games that Invoke Curiosity

Marcello A. Gómez Maureira , Isabelle Kniestedt

17th International Conference on Entertainment Computing (ICEC), Sep 2018, Poznan, Poland. pp.76-89, ⟨10.1007/978-3-319-99426-0_7⟩

Conference papers hal-02128582v1

An “almost dual” to Gottschalk’s Conjecture

Silvio Capobianco , Jarkko Kari , Siamak Taati

22th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Jun 2016, Zurich, Switzerland. pp.77-89, ⟨10.1007/978-3-319-39300-1_7⟩

Conference papers hal-01435035v1

Service Orchestration with Priority Constraints

Behnaz Changizi , Natallia Kokash , Farhad Arbab

8th International Conference on Fundamentals of Software Engineering (FSEN), May 2019, Tehran, Iran. pp.194-209, ⟨10.1007/978-3-030-31517-7_14⟩

Conference papers hal-03769135v1

Communication Requirements for Team Automata

Maurice Beek , Josep Carmona , Rolf Hennicker , Jetty Kleijn

19th International Conference on Coordination Languages and Models (COORDINATION), Jun 2017, Neuchâtel, Switzerland. pp.256-277, ⟨10.1007/978-3-319-59746-1_14⟩

Conference papers hal-01657348v1

Virtual Team Performance Depends on Distributed Leadership

Nico van Dijk , Joost Broekens

9th International Conference on Entertainment Computing (ICEC), Sep 2010, Seoul, South Korea. pp.91-102, ⟨10.1007/978-3-642-15399-0_9⟩

Conference papers hal-01055582v1

Defining Context-Free Power Series Coalgebraically

Marcello M. Bonsangue , Jan Rutten , Joost Winter

11th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Mar 2012, Tallinn, Estonia. pp.20-39, ⟨10.1007/978-3-642-32784-1_2⟩

Conference papers hal-01539885v1

A Formal Model to Integrate Behavioral and Structural Adaptations in Self-adaptive Systems

Narges Khakpour , Jetty Kleijn , Marjan Sirjani

8th International Conference on Fundamentals of Software Engineering (FSEN), May 2019, Tehran, Iran. pp.3-19, ⟨10.1007/978-3-030-31517-7_1⟩

Conference papers hal-03769124v1

Restricted Density Classification in One Dimension

Siamak Taati

21st Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Jun 2015, Turku, Finland. pp.238-250, ⟨10.1007/978-3-662-47221-7_18⟩

Conference papers hal-01442476v1

Innovation and Big Data

H. Herik

15th IFIP International Conference on Computer Information Systems and Industrial Management (CISIM), Sep 2016, Vilnius, Lithuania. pp.23-30, ⟨10.1007/978-3-319-45378-1_3⟩

Conference papers hal-01637511v1

Towards Participatory E-Government?: Learning from E-Government Project Evaluations

Wouter Bronsgeest , Rex Arendsen , Jan Van Dijk

9th International Conference on Electronic Participation (ePart), Sep 2017, St. Petersburg, Russia. pp.127-139, ⟨10.1007/978-3-319-64322-9_11⟩

Conference papers hal-01703336v1

Formal Verification of Service Level Agreements Through Distributed Monitoring

Behrooz Nobakht , Stijn De Gouw , Frank Boer

4th European Conference on Service-Oriented and Cloud Computing (ESOCC), Sep 2015, Taormina, Italy. pp.125-140, ⟨10.1007/978-3-319-24072-5_9⟩

Conference papers hal-01757576v1

Bounded Model Checking of Recursive Programs with Pointers in K

Irina Măriuca Asăvoae , Frank De Boer , Marcello M. Bonsangue , Dorel Lucanu , Jurriaan Rot

21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spain. pp.59-76, ⟨10.1007/978-3-642-37635-1_4⟩

Conference papers hal-01485978v1

Declarative Elasticity in ABS

Stijn De Gouw , Jacopo Mauro , Behrooz Nobakht , Gianluigi Zavattaro

5th European Conference on Service-Oriented and Cloud Computing (ESOCC), Sep 2016, Vienna, Austria. pp.118-134, ⟨10.1007/978-3-319-44482-6_8⟩

Conference papers hal-01638585v1

Coalgebraic Methods in Computer Science

Marcello M. Bonsangue

Springer, LNCS-8446, 2014, Coalgebraic Methods in Computer Science, 978-3-662-44123-7

Books hal-01408765v1

Team Automata@Work: On Safe Communication

Maurice H. ter Beek , Rolf Hennicker , Jetty Kleijn

22th International Conference on Coordination Languages and Models (COORDINATION), Jun 2020, Valletta, Malta. pp.77-85, ⟨10.1007/978-3-030-50029-0_5⟩

Conference papers hal-03273992v1

The Future of a Missed Deadline

Behrooz Nobakht , Frank De Boer , Mohammad Mahdi Jaghoori

15th International Conference on Coordination Models and Languages (COORDINATION), Jun 2013, Florence, Italy. pp.181-195, ⟨10.1007/978-3-642-38493-6_13⟩

Conference papers hal-01486026v1

The Vocal Range of Movies - Sonifying Gender Representation in Film

Marcello Maureira , Lisa E. Rombout

14th International Conference on Entertainment Computing (ICEC), Sep 2015, Trondheim, Norway. pp.545-550, ⟨10.1007/978-3-319-24589-8_54⟩

Conference papers hal-01758454v1

Human-in-the-Loop Simulation of Cloud Services

Nikolaos Bezirgiannis , Frank De Boer , Stijn De Gouw

6th European Conference on Service-Oriented and Cloud Computing (ESOCC), Sep 2017, Oslo, Norway. pp.143-158, ⟨10.1007/978-3-319-67262-5_11⟩

Conference papers hal-01677612v1

Triadic Motifs and Dyadic Self-Organization in the World Trade Network

Tiziano Squartini , Diego Garlaschelli

6th International Workshop on Self-Organizing Systems (IWSOS), Mar 2012, Delft, Netherlands. pp.24-35, ⟨10.1007/978-3-642-28583-7_3⟩

Conference papers hal-01527529v1

Filter your results