|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 36 publication records. Showing 36 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Lisbeth Fajstrup, Eric Goubault, Martin Raussen (eds.) |
Proceedings of the workshop on Geometric and Topological Methods in Computer Science, GETCO 2010, Aalborg, Denmark, January 11-15, 2010 ![Search on Bibsonomy](Pics/bibsonomy.png) |
GETCO ![Elsevier The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Barbara Di Fabio, Claudia Landi 0001 |
Stability of Reeb Graphs of Closed Curves. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GETCO ![In: Proceedings of the workshop on Geometric and Topological Methods in Computer Science, GETCO 2010, Aalborg, Denmark, January 11-15, 2010, pp. 71-76, 2010, Elsevier. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Eric Goubault, Samuel Mimram |
Formal Relationships Between Geometrical and Classical Models for Concurrency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GETCO ![In: Proceedings of the workshop on Geometric and Topological Methods in Computer Science, GETCO 2010, Aalborg, Denmark, January 11-15, 2010, pp. 77-109, 2010, Elsevier. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Emmanuel Haucourt |
Streams, d-Spaces and Their Fundamental Categories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GETCO ![In: Proceedings of the workshop on Geometric and Topological Methods in Computer Science, GETCO 2010, Aalborg, Denmark, January 11-15, 2010, pp. 111-151, 2010, Elsevier. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Michael Robinson 0001 |
Asynchronous Logic Circuits and Sheaf Obstructions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GETCO ![In: Proceedings of the workshop on Geometric and Topological Methods in Computer Science, GETCO 2010, Aalborg, Denmark, January 11-15, 2010, pp. 159-177, 2010, Elsevier. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | A. E. Costa, Michael Farber, Thomas Kappeler |
Topics of Stochastic Algebraic Topology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GETCO ![In: Proceedings of the workshop on Geometric and Topological Methods in Computer Science, GETCO 2010, Aalborg, Denmark, January 11-15, 2010, pp. 53-70, 2010, Elsevier. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Lisbeth Fajstrup, Eric Goubault, Martin Raussen |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GETCO ![In: Proceedings of the workshop on Geometric and Topological Methods in Computer Science, GETCO 2010, Aalborg, Denmark, January 11-15, 2010, pp. 1-2, 2010, Elsevier. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Armando Castañeda, Sergio Rajsbaum |
An Inductive-style Procedure for Counting Monochromatic Simplexes of Symmetric Subdivisions with Applications to Distributed Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GETCO ![In: Proceedings of the workshop on Geometric and Topological Methods in Computer Science, GETCO 2010, Aalborg, Denmark, January 11-15, 2010, pp. 13-27, 2010, Elsevier. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Dmitry N. Kozlov |
Some Conjectures Concerning Complexity of PL subdivisions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GETCO ![In: Proceedings of the workshop on Geometric and Topological Methods in Computer Science, GETCO 2010, Aalborg, Denmark, January 11-15, 2010, pp. 153-157, 2010, Elsevier. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Peter Bubenik |
Simplicial Models for Concurrency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GETCO ![In: Proceedings of the workshop on Geometric and Topological Methods in Computer Science, GETCO 2010, Aalborg, Denmark, January 11-15, 2010, pp. 3-12, 2010, Elsevier. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Rodolfo Conde, Sergio Rajsbaum |
An Introduction to the Topological Theory of Distributed Computing with Safe-consensus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GETCO ![In: Proceedings of the workshop on Geometric and Topological Methods in Computer Science, GETCO 2010, Aalborg, Denmark, January 11-15, 2010, pp. 29-51, 2010, Elsevier. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Éric Goubault (eds.) |
Proceedings of the Workshops on Geometric and Topological Methods in Concurrency Theory, GETCO@DISC 2004, Amsterdam, The Netherlands, 2004 + GETCO@CONCUR October 2005, San Francisco, CA, USA, August 2005 + GETCO 2006, Bonn, Germany, 2006 ![Search on Bibsonomy](Pics/bibsonomy.png) |
GETCO ![Elsevier The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
1 | Luigi Santocanale |
Topological Properties of Event Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GETCO ![In: Proceedings of the Workshops on Geometric and Topological Methods in Concurrency Theory, GETCO@DISC 2004, Amsterdam, The Netherlands, 2004 + GETCO@CONCUR October 2005, San Francisco, CA, USA, August 2005 + GETCO 2006, Bonn, Germany, 2006, pp. 149-160, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Sanjeevi Krishnan |
Criteria for Homotopic Maps to be So Along Monotone Homotopies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GETCO ![In: Proceedings of the Workshops on Geometric and Topological Methods in Concurrency Theory, GETCO@DISC 2004, Amsterdam, The Netherlands, 2004 + GETCO@CONCUR October 2005, San Francisco, CA, USA, August 2005 + GETCO 2006, Bonn, Germany, 2006, pp. 141-148, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Kahl |
A Fibration Category of Local Pospaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GETCO ![In: Proceedings of the Workshops on Geometric and Topological Methods in Concurrency Theory, GETCO@DISC 2004, Amsterdam, The Netherlands, 2004 + GETCO@CONCUR October 2005, San Francisco, CA, USA, August 2005 + GETCO 2006, Bonn, Germany, 2006, pp. 129-140, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Viorica Sofronie-Stokkermans |
Sheaves and Geometric Logic and Applications to Modular Verification of Complex Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GETCO ![In: Proceedings of the Workshops on Geometric and Topological Methods in Concurrency Theory, GETCO@DISC 2004, Amsterdam, The Netherlands, 2004 + GETCO@CONCUR October 2005, San Francisco, CA, USA, August 2005 + GETCO 2006, Bonn, Germany, 2006, pp. 161-187, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Eric Goubault |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GETCO ![In: Proceedings of the Workshops on Geometric and Topological Methods in Concurrency Theory, GETCO@DISC 2004, Amsterdam, The Netherlands, 2004 + GETCO@CONCUR October 2005, San Francisco, CA, USA, August 2005 + GETCO 2006, Bonn, Germany, 2006, pp. 1-2, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Cousot, Lisbeth Fajstrup, Eric Goubault, Maurice Herlihy, Martin Raussen, Vladimiro Sassone (eds.) |
4th Workshop on GEometry and Topology in COncurrency and distributed systems theory, GETCO 2002, Satellite workshop of DISC 2002, Toulouse, France, October 2002 ![Search on Bibsonomy](Pics/bibsonomy.png) |
GETCO ![Elsevier The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
1 | Timothy Porter 0001 |
Geometric Aspects of Multiagent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GETCO ![In: 4th Workshop on GEometry and Topology in COncurrency and distributed systems theory, GETCO 2002, Satellite workshop of DISC 2002, Toulouse, France, October 2002, pp. 73-98, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Giovanni Adagio |
Using the Topological Characterization of Synchronous Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GETCO ![In: 4th Workshop on GEometry and Topology in COncurrency and distributed systems theory, GETCO 2002, Satellite workshop of DISC 2002, Toulouse, France, October 2002, pp. 36-47, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Ulrich Fahrenberg |
The Geometry of Timed PV Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GETCO ![In: 4th Workshop on GEometry and Topology in COncurrency and distributed systems theory, GETCO 2002, Satellite workshop of DISC 2002, Toulouse, France, October 2002, pp. 1-14, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Rachid Guerraoui, Petr Kouznetsov, Bastian Pochon |
A Note on Set Agreement with Omission Failures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GETCO ![In: 4th Workshop on GEometry and Topology in COncurrency and distributed systems theory, GETCO 2002, Satellite workshop of DISC 2002, Toulouse, France, October 2002, pp. 48-58, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Sokolowski |
A case for po-manifolds - in chase after a good topological model for concurrency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GETCO ![In: 4th Workshop on GEometry and Topology in COncurrency and distributed systems theory, GETCO 2002, Satellite workshop of DISC 2002, Toulouse, France, October 2002, pp. 15-35, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Eric Goubault |
Foreword. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GETCO ![In: 4th Workshop on GEometry and Topology in COncurrency and distributed systems theory, GETCO 2002, Satellite workshop of DISC 2002, Toulouse, France, October 2002, pp. 99, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Philippe Malbos |
Rewriting Systems and Hochschild-Mitchell Homology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GETCO ![In: 4th Workshop on GEometry and Topology in COncurrency and distributed systems theory, GETCO 2002, Satellite workshop of DISC 2002, Toulouse, France, October 2002, pp. 59-72, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Cousot, Lisbeth Fajstrup, Eric Goubault, Jeremy Gunawardena, Maurice Herlihy, Martin Raussen, Vladimiro Sassone (eds.) |
3rd Workshop on GEometry and Topology in COncurrency theory, GETCO 2001, Satellite Event of CONCUR 2001, Aalborg, Denmark, August 25, 2001 ![Search on Bibsonomy](Pics/bibsonomy.png) |
GETCO ![Elsevier The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Philippe Gaucher |
Investigating The Algebraic Structure of Dihomotopy Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GETCO ![In: 3rd Workshop on GEometry and Topology in COncurrency theory, GETCO 2001, Satellite Event of CONCUR 2001, Aalborg, Denmark, August 25, 2001, pp. 139-163, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Sokolowski |
Categories of dimaps and their dihomotopies in po-spaces and local po-spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GETCO ![In: 3rd Workshop on GEometry and Topology in COncurrency theory, GETCO 2001, Satellite Event of CONCUR 2001, Aalborg, Denmark, August 25, 2001, pp. 164-186, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Eric Goubault |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GETCO ![In: 3rd Workshop on GEometry and Topology in COncurrency theory, GETCO 2001, Satellite Event of CONCUR 2001, Aalborg, Denmark, August 25, 2001, pp. 205, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Peter McBurney, Simon Parsons |
A Geometric Semantics for Dialogue Game Protocols for Autonomous Agent Interactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GETCO ![In: 3rd Workshop on GEometry and Topology in COncurrency theory, GETCO 2001, Satellite Event of CONCUR 2001, Aalborg, Denmark, August 25, 2001, pp. 187-204, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Philippe Gaucher |
From Concurrency to Algebraic Topology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GETCO ![In: 2nd Workshop on Geometry and Topology in Concurrency theory, GETCO 2000, Satellite Workshop of CONCUR 2000, State College, PA, USA, August 21, 2000, pp. 1-19, 2000, Elsevier. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Eric Goubault |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GETCO ![In: 2nd Workshop on Geometry and Topology in Concurrency theory, GETCO 2000, Satellite Workshop of CONCUR 2000, State College, PA, USA, August 21, 2000, pp. 1, 2000, Elsevier. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Jérôme Feret |
Occurrence Counting Analysis for the pi-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GETCO ![In: 2nd Workshop on Geometry and Topology in Concurrency theory, GETCO 2000, Satellite Workshop of CONCUR 2000, State College, PA, USA, August 21, 2000, pp. 1-18, 2000, Elsevier. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Lisbeth Fajstrup, Stefan Sokolowski |
Infinitely Running Concurrent Processes with Loops from a Geometric Viewpoint. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GETCO ![In: 2nd Workshop on Geometry and Topology in Concurrency theory, GETCO 2000, Satellite Workshop of CONCUR 2000, State College, PA, USA, August 21, 2000, pp. 1-19, 2000, Elsevier. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Maurice Herlihy, Sergio Rajsbaum, Mark R. Tuttle |
An Overview of Synchronous Message-Passing and Topology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GETCO ![In: 2nd Workshop on Geometry and Topology in Concurrency theory, GETCO 2000, Satellite Workshop of CONCUR 2000, State College, PA, USA, August 21, 2000, pp. 1-17, 2000, Elsevier. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Cousot, Eric Goubault, Jeremy Gunawardena, Maurice Herlihy, Martin Raussen, Vladimiro Sassone (eds.) |
2nd Workshop on Geometry and Topology in Concurrency theory, GETCO 2000, Satellite Workshop of CONCUR 2000, State College, PA, USA, August 21, 2000 ![Search on Bibsonomy](Pics/bibsonomy.png) |
GETCO ![Elsevier The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
Displaying result #1 - #36 of 36 (100 per page; Change: )
|
|