Skip to contents

Dochev, Danail [Editor]; Pistore, Marco [Other]; Traverso, Paolo [Other] ; AIMSA 13 2008 Warna

Artificial intelligence: methodology, systems, and applications : 13th International Conference, AIMSA 2008, Varna, Bulgaria, September 4-6, 2006 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2008

Published in: Lecture notes in computer science ; 5253
Zseby, Tanja [Editor]; Savola, Reijo [Other]; Pistore, Marco [Other] ; FIS 2 2009 Berlin

Future internet - FIS 2009 : second Future Internet Symposium, FIS 2009, Berlin, Germany, September 1-3, 2009 ; revised selected papers

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2010

Published in: Lecture notes in computer science ; 6152
Papazoglou, Mike [Author] ; Aiello, Marco [Other]; Pistore, Marco [Other]

Xsrl : An Xml Web-Services Request Language

View online
Schließen

Access

https://ssrn.com/abstract=3125458

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

[S.l.]: SSRN, [2018]

Published in: Computer Science Preprint Archive ; Vol. 2002, Issue 10, pp 153-178
Zseby, Tanja [Author] ; Savola, Reijo [Other]; Pistore, Marco [Other]

Future Internet - FIS 2009 : Second Future Internet Symposium, FIS 2009, Berlin, Germany, September 1-3, 2009

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2010

Published in: Lecture notes in computer science ; 6152
Karastoyanova, Dimka [Author]; Kazhamiakin, Raman [Author]; Metzger, Andreas [Author]; Pistore, Marco [Author]

Workshop on Service Monitoring, Adaptation and Beyond: A workshop held at the ServiceWave 2008 conference - Proceedings

View online
Schließen

Links

http://hdl.handle.net/10419/58147

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Essen: Universität Duisburg-Essen, Institut für Informatik und Wirtschaftsinformatik (ICB), 2009
Karastoyanova, Dimka [Other]; Kazhamiakin, Raman [Other]; Metzger, Andreas [Other]; Pistore, Marco [Other] ; Workshop on Service Monitoring, Adaption and Beyond 1 2008 Madrid, ServiceWave 1 2008 Madrid

Proceedings / Workshop on Service Monitoring, Adaption and Beyond : a workshop held at the ServiceWave 2008 conference ; [first workshop ... held on December 13, 2008 in Madrid, Spain]

View online
Schließen

Access

http://www.icb.uni-due.de/fileadmin/ICB/research/research_reports/ICB_Report_No34.pdf

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Essen: ICB, 2009

Published in: Universität Duisburg-Essen: ICB research report ; 34
Koehler, Jana [Author]; Pistore, Marco [Author]; Sheth, Amit P. [Author]; Traverso, Paolo [Author]; Wirsing, Martin [Author] ; Jana Koehler and Marco Pistore and Amit P. Sheth and Paolo Traverso and Martin Wirsing [Contributor]

07061 Abstracts Collection – Autonomous and Adaptive Web Services

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2007
Carbonell, Jaime G. [Other]; Dochev, Danail [Other]; Pistore, Marco [Other]; Siekmann, Jörg [Other]; Traverso, Paolo [Other]

Artificial Intelligence: Methodology, Systems, and Applications : 13th International Conference, AIMSA 2008, Varna, Bulgaria, September 4-6, 2008. Proceedings

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2008

Published in: Lecture notes in computer science ; 5253
Marconi, Annapaola; Pistore, Marco

Formal Methods for Web Services: Synthesis and Composition of Web Services

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2009

Published in: Formal Methods for Web Services
Kazhamiakin, Raman; Pistore, Marco

Lecture Notes in Computer Science: Analysis of Realizability Conditions for Web Service Choreographies

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2006

Published in: Lecture Notes in Computer Science
Kazhamiakin, Raman; Pistore, Marco

Lecture Notes in Computer Science: Choreography Conformance Analysis: Asynchronous Communications and Information Alignment

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2006

Published in: Lecture Notes in Computer Science
Kazhamiakin, Raman; Pistore, Marco

Lecture Notes in Computer Science: A Parametric Communication Model for the Verification of BPEL4WS Compositions

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2005

Published in: Lecture Notes in Computer Science
Montanari, Ugo; Pistore, Marco

Lecture Notes in Computer Science: History-Dependent Automata: An Introduction

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2005

Published in: Lecture Notes in Computer Science
Traverso, Paolo; Pistore, Marco

The Semantic Web – ISWC 2004: Automated Composition of Semantic Web Services into Executable Processes

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2004

Published in: The Semantic Web – ISWC 2004
Montanari, Ugo; Pistore, Marco

Structured coalgebras and minimal HD-automata for the π-calculus

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Elsevier BV, 2005

Published in: Theoretical Computer Science
Pistore, Marco; Sangiorgi, Davide

A Partition Refinement Algorithm for the π-Calculus

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Elsevier BV, 2001

Published in: Information and Computation
Corradini, Flavio; Pistore, Marco

‘Closed Interval Process Algebra’ versus ‘Interval Process Algebra’

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Science and Business Media LLC, 2001

Published in: Acta Informatica
Montanari, Ugo; Pistore, Marco

Lecture Notes in Computer Science: π-Calculus, Structured Coalgebras, and Minimal HD-Automata

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2000

Published in: Lecture Notes in Computer Science
Montanari, Ugo; Pistore, Marco

Tools and Algorithms for the Construction and Analysis of Systems: Finite State Verification for the Asynchronous π-Calculus

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 1999

Published in: Tools and Algorithms for the Construction and Analysis of Systems
Montanari, Ugo; Pistore, Marco

An Introduction to History Dependent Automata

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Elsevier BV, 1998

Published in: Electronic Notes in Theoretical Computer Science

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication