Remo Pareschi

Frontiers Blockchain, 2021

Tether: A Study on Bubble-Networks.

[BibT_eX]

[DOI]

Giovanni Rosa

Frontiers Blockchain, 2021

A formal model for ledger management systems based on contracts and temporal logic.

[BibT_eX]

[DOI]

Paolo Bottoni

Anna Labella

CoRR, 2021

Integrating Heuristics and Learning in a Computational Architecture for Cognitive Trading.

[BibT_eX]

[DOI]

Federico Zappone

CoRR, 2021

Blockchain and cryptocurrencies: A classification and comparison of architecture drivers.

[BibT_eX]

[DOI]

Damian Andrew Tamburri

Concurr. Comput. Pract. Exp., 2021

What is your Distributed (Hyper)Ledger?

[BibT_eX]

[DOI]

Stefano Dalla Palma

Federico Zappone

Proceedings of the 4th IEEE/ACM International Workshop on Emerging Trends in Software Engineering for Blockchain, 2021

Distributed ledgers to support revenue-sharing business consortia: a Hyperledger-based implementation.

[BibT_eX]

[DOI]

Proceedings of the IEEE Symposium on Computers and Communications, 2021

2020

The Genesy Model for a Blockchain-Based Fair Ecosystem of Genomic Data.

[BibT_eX]

[DOI]

Frontiers Blockchain, 2020

Intelligent Smart Contracts for Innovative Supply Chain Management.

[BibT_eX]

[DOI]

Frontiers Blockchain, 2020

The Genesy Model for a Blockchain-based Fair Ecosystem of Genomic Data.

[BibT_eX]

[DOI]

Proceedings of the 2020 Seventh International Conference on Software Defined Systems, 2020

2019

Genesy: a Blockchain-based Platform for DNA Sequencing.

[BibT_eX]

[DOI]

Proceedings of the Second Distributed Ledger Technology Workshop, 2019

2018

Business-Savvy Blockchains with Gamification: A Framework for Collaborative Problem Solving.

[BibT_eX]

[DOI]

Stefano Dalla Palma

Damian Andrew Tamburri

Willem-Jan van den Heuvel

Carmine Cerrone

EAI Endorsed Trans. Serious Games, 2018

2016

The Internet of Speaking Things and Its Applications to Cultural Heritage.

[BibT_eX]

[DOI]

Fiammetta Marulli

Daniele Baldacci

Proceedings of the International Conference on Internet of Things and Big Data, 2016

2015

From Global Bellies to Global Minds: The Bread Platform for Geo-Cultural Integration.

[BibT_eX]

[DOI]

Maria Felicia Santilli

Proceedings of the Future Access Enablers for Ubiquitous and Intelligent Infrastructures, 2015

2014

Integrating Concepts and Knowledge in Large Content Networks.

[BibT_eX]

[DOI]

Marco Rossetti

Fabio Stella

New Gener. Comput., 2014

Tracking Hot Topics for the Monitoring of Open-World Processes.

[BibT_eX]

[DOI]

Marco Rossetti

Fabio Stella

Proceedings of the 4th International Symposium on Data-driven Process Discovery and Analysis (SIMPDA 2014), 2014

2010

Information-Driven Collective Intelligences.

[BibT_eX]

[DOI]

Proceedings of the Computational Collective Intelligence. Technologies and Applications, 2010

Ontologies and Communities Co-evolution in Information Systems .

[BibT_eX]

Proceedings of the KEOD 2010, 2010

2009

Equalizing the Structures of Web Communities in Ontology Development Tools.

[BibT_eX]

[DOI]

Proceedings of the Ninth International Conference on Intelligent Systems Design and Applications, 2009

Boosting Concept Discovery in Collective Intelligences.

[BibT_eX]

[DOI]

Proceedings of the Brain Informatics, International Conference, BI 2009, 2009

1999

Computational Models for Information Reuse.

[BibT_eX]

[DOI]

Comput. J., 1999

1998

Constraint-Based Protocols for Distributed Problem Solving.

[BibT_eX]

[DOI]

Sci. Comput. Program., 1998

Multiparty Negotiation of Dynamic Distributed Object Services.

[BibT_eX]

[DOI]

Sci. Comput. Program., 1998

A measure of information reuse to compare distributed protocols.

[BibT_eX]

[DOI]

Comput. Commun., 1998

Agent-Based Decision Support for Managing Print Tasks.

[BibT_eX]

Proceedings of the Third International Conference on the Practical Application of Intelligent Agents and Multi-Agent Technology, 1998

Introduction.

[BibT_eX]

[DOI]

Proceedings of the Information Technology for Knowledge Management, 1998

1997

Static Analysis of Linear Logic Programming.

[BibT_eX]

[DOI]

Tiziana Castagnetti

New Gener. Comput., 1997

Information Technology for Knowledge Management.

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 1997

XPECT: A Framework for Electronic Commerce.

[BibT_eX]

[DOI]

François Pacull

IEEE Internet Comput., 1997

Distributed Coordination and Workflow on the World Wide Web.

[BibT_eX]

[DOI]

Comput. Support. Cooperative Work., 1997

Signed Feature Constraint Solving.

[BibT_eX]

Proceedings of the Third International Conference on the Practical Application of Constraint Technology, 1997

Agent-Based Document Retrieval for the European Physicists: A Project Overview.

[BibT_eX]

Heinrich Stamerjohanns

Jutta Willamowski

Proceedings of the Second International Conference on the Practical Application of Intelligent Agents and Multi-Agent Technology, 1997

Panel on Collaborative Software Engineering.

[BibT_eX]

[DOI]

Proceedings of the Pulling Together, 1997

The Constraint-Based Knowledge Broker System.

[BibT_eX]

[DOI]

Pierre-Yves Chevalier

Boris Chidlovskii

Jutta Willamowski

Proceedings of the Thirteenth International Conference on Data Engineering, 1997

Constraints and Agents for a Decentralized Network Infrastructure.

[BibT_eX]

Proceedings of the Constraints & Agents: Collected Papers from the 1997 AAAI Workshop, 1997

1996

The Coordination Language Facility: Coordination of Distributed Objects.

[BibT_eX]

Steve Freeman

Theory Pract. Object Syst., 1996

The Constraint-Based Knowledge Broker Model: Semantics, Implementation and Analysis.

[BibT_eX]

[DOI]

J. Symb. Comput., 1996

Integrated Computational Paradigms for Flexible Client-Server Communication.

[BibT_eX]

[DOI]

ACM Comput. Surv., 1996

Introduction to workshop on adaptive workflow.

[BibT_eX]

Giorgio De Michelis

Sunil K. Sarin

Proceedings of the First International Conference on Practical Aspects of Knowledge Management, 1996

Reflective agents for adaptive workflows.

[BibT_eX]

Proceedings of the First International Conference on Practical Aspects of Knowledge Management, 1996

Constraint-based Information Gathering for a Network Publication System.

[BibT_eX]

Proceedings of the First International Conference on the Practical Application of Intelligent Agents and Multi-Agent Technology, 1996

A Systemic Metaphor of Multi-Agent Coordination in Living Systems.

[BibT_eX]

Proceedings of the Modelling and Simulation, 1996

Generalized Process Structure Grammars GPSG for Flexible Representations of Work.

[BibT_eX]

[DOI]

Natalie S. Glance

Daniele Pagani

Proceedings of the CSCW '96, 1996

1995

Introduction to the Special Issue.

[BibT_eX]

Mario Tokoro

Theory Pract. Object Syst., 1995

Constraint Agents for the Information Age.

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 1995

Constraint-Based Protocols for Distributed Problem Solving (Ext. Abstract).

[BibT_eX]

Proceedings of the 9th International Workshop on Unification, 1995

Workflow Management Systems (Tutorial).

[BibT_eX]

Proceedings of the Atti del Terzo Convegno Nazionale su Sistemi Evoluti per Basi di Dati, 1995

Agent-based Document Construction.

[BibT_eX]

Proceedings of the CIKM 1995 Intelligent Information Agents Workshop, 1995

Tuning Constraint-Based Communication in Distributed Problem Solving.

[BibT_eX]

Proceedings of the First International Workshop on Concurrent Constraint Programming, 1995

Multi-Agent Coordination in Living Systems.

[BibT_eX]

Proceedings of the 1995 International Workshop on Biologically Inspired Evolutionary Systems, 1995

1994

Constraint-Based Knowledge Brokers.

[BibT_eX]

Proceedings of the First International Symposium on Parallel Symbolic Computation, 1994

Rule-Based Object Coordination.

[BibT_eX]

[DOI]

Hervé Gallaire

Proceedings of the Object-Based Models and Languages for Concurrent Systems, 1994

1993

True Concurrency Semantics for a Linear Logic Programming Language with Braodcast Communication.

[BibT_eX]

[DOI]

Proceedings of the TAPSOFT'93: Theory and Practice of Software Development, 1993

Abstract Interpretation of Linear Logic Programming.

[BibT_eX]

Tiziana Castagnetti

Proceedings of the Logic Programming, 1993

Concurrency and Communication: Choices in Implementing the Coordination Language LO.

[BibT_eX]

[DOI]

Marc Bourgois

Proceedings of the Object-Based Distributed Programming, 1993

Abstract Interpretation of Concurrent Languages based on Linear Logic.

[BibT_eX]

Tiziana Castagnetti

Proceedings of the 8th Italian Conference on Logic Programming, 1993

1992

Linear Objects: a Logic Framework for Open System Programming.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Automated Reasoning, 1992

1991

Linear Ojects: Logical Processes with Built-in Inheritance.

[BibT_eX]

[DOI]

New Gener. Comput., 1991

Communication as Fair Distribution of Knowledge.

[BibT_eX]

[DOI]

Proceedings of the Sixth Annual Conference on Object-Oriented Programming Systems, 1991

Dynamic Programming as Multiagent Programming.

[BibT_eX]

[DOI]

Marc Bourgois

Proceedings of the Object-Based Concurrent Computing, 1991

1990

LO and Behold! Concurrent Structured Processes.

[BibT_eX]

[DOI]

Proceedings of the Conference on Object-Oriented Programming Systems, 1990

Formulae as Active Representations of Data.

[BibT_eX]

Proceedings of the SPLT'90, 1990

Extending Definite Clause Grammars with Scoping Constructs.

[BibT_eX]

Dale Miller

Proceedings of the Logic Programming, 1990

Linear Objects in a Logic Processes with Built-in Inheritance.

[BibT_eX]

Proceedings of the Logic Programming, 1990

1989

Logic Programming with Sequent Systems, A Linear Logic Approach.

[BibT_eX]

[DOI]

Proceedings of the Extensions of Logic Programming, 1989

1988

Type-driven natural language analysis.

[BibT_eX]

[DOI]

PhD thesis, 1988

A Definite Clause Version of Categorial Grammar.

[BibT_eX]

[DOI]

Proceedings of the 26th Annual Meeting of the Association for Computational Linguistics, 1988

1987

A Lazy way to Chart-Parse with Categorial Grammars.

[BibT_eX]

[DOI]