The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "ICE@ICALP"( http://dblp.L3S.de/Venues/ICE@ICALP )

URL (DBLP): http://dblp.uni-trier.de/db/conf/ice

Publication years (Num. hits)
2008 (9) 2009 (1)
Publication types (Num. hits)
inproceedings(9) proceedings(1)
Venues (Conferences, Journals, ...)
ICE@ICALP(10)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 10 publication records. Showing 10 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Filippo Bonchi, Davide Grohmann, Paola Spoletini, Angelo Troina, Emilio Tuosto (eds.) Proceedings of the First Interaction and Concurrency Experiences Workshop, ICE@ICALP 2008, Reykjavik, Iceland, July 6, 2008 Search on Bibsonomy ICE@ICALP The full citation details ... 2009 DBLP  BibTeX  RDF
1Luca Fossati, Daniele Varacca A Petri Net Model of Handshake Protocols. Search on Bibsonomy ICE@ICALP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Matthew Hennessy, Manish Gaur Counting the Cost in the Picalculus (Extended Abstract). Search on Bibsonomy ICE@ICALP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Tobias Heindel Towards Secrecy for Rewriting in Weakly Adhesive Categories. Search on Bibsonomy ICE@ICALP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Andrea Bracciali, Roberto Bruni, Alberto Lluch-Lafuente On Symbolic Semantics for Name-decorated Contexts. Search on Bibsonomy ICE@ICALP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Danièle Beauquier, Joëlle Cohen, Ruggero Lanotte Security Policies Enforcement Using Finite Edit Automata. Search on Bibsonomy ICE@ICALP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Philippe Balbiani, Fahima Cheikh, Guillaume Feuillade Algorithms and Complexity of Automata Synthesis by Asynhcronous Orchestration With Applications to Web Services Composition. Search on Bibsonomy ICE@ICALP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Julian Rathke, Pawel Sobocinski 0001 Making the Unobservable, Unobservable. Search on Bibsonomy ICE@ICALP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Filippo Bonchi, Davide Grohmann, Paola Spoletini, Angelo Troina, Emilio Tuosto Preface. Search on Bibsonomy ICE@ICALP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Rob J. van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke Symmetric and Asymmetric Asynchronous Interaction. Search on Bibsonomy ICE@ICALP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #10 of 10 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license