|
|
|
|
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  |
GETCO  |
2012 |
DBLP BibTeX RDF |
|
| 1 | Barbara Di Fabio, Claudia Landi 0001 |
Stability of Reeb Graphs of Closed Curves. |
GETCO |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Goubault, Samuel Mimram |
Formal Relationships Between Geometrical and Classical Models for Concurrency. |
GETCO |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Emmanuel Haucourt |
Streams, d-Spaces and Their Fundamental Categories. |
GETCO |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Robinson 0001 |
Asynchronous Logic Circuits and Sheaf Obstructions. |
GETCO |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | A. E. Costa, Michael Farber, Thomas Kappeler |
Topics of Stochastic Algebraic Topology. |
GETCO |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Lisbeth Fajstrup, Eric Goubault, Martin Raussen |
Preface. |
GETCO |
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. |
GETCO |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Dmitry N. Kozlov |
Some Conjectures Concerning Complexity of PL subdivisions. |
GETCO |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Bubenik |
Simplicial Models for Concurrency. |
GETCO |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Rodolfo Conde, Sergio Rajsbaum |
An Introduction to the Topological Theory of Distributed Computing with Safe-consensus. |
GETCO |
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 |
GETCO |
2009 |
DBLP BibTeX RDF |
|
| 1 | Luigi Santocanale |
Topological Properties of Event Structures. |
GETCO |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Sanjeevi Krishnan |
Criteria for Homotopic Maps to be So Along Monotone Homotopies. |
GETCO |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Kahl |
A Fibration Category of Local Pospaces. |
GETCO |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Viorica Sofronie-Stokkermans |
Sheaves and Geometric Logic and Applications to Modular Verification of Complex Systems. |
GETCO |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Goubault |
Preface. |
GETCO |
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 |
GETCO |
2003 |
DBLP BibTeX RDF |
|
| 1 | Timothy Porter 0001 |
Geometric Aspects of Multiagent Systems. |
GETCO |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Giovanni Adagio |
Using the Topological Characterization of Synchronous Models. |
GETCO |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Ulrich Fahrenberg |
The Geometry of Timed PV Programs. |
GETCO |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Rachid Guerraoui, Petr Kouznetsov, Bastian Pochon |
A Note on Set Agreement with Omission Failures. |
GETCO |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Sokolowski |
A case for po-manifolds - in chase after a good topological model for concurrency. |
GETCO |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Goubault |
Foreword. |
GETCO |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Malbos |
Rewriting Systems and Hochschild-Mitchell Homology. |
GETCO |
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 |
GETCO |
2002 |
DBLP BibTeX RDF |
|
| 1 | Philippe Gaucher |
Investigating The Algebraic Structure of Dihomotopy Types. |
GETCO |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Sokolowski |
Categories of dimaps and their dihomotopies in po-spaces and local po-spaces. |
GETCO |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Goubault |
Preface. |
GETCO |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter McBurney, Simon Parsons |
A Geometric Semantics for Dialogue Game Protocols for Autonomous Agent Interactions. |
GETCO |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Gaucher |
From Concurrency to Algebraic Topology. |
GETCO |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Goubault |
Preface. |
GETCO |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Jérôme Feret |
Occurrence Counting Analysis for the pi-Calculus. |
GETCO |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Lisbeth Fajstrup, Stefan Sokolowski |
Infinitely Running Concurrent Processes with Loops from a Geometric Viewpoint. |
GETCO |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Maurice Herlihy, Sergio Rajsbaum, Mark R. Tuttle |
An Overview of Synchronous Message-Passing and Topology. |
GETCO |
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 |
GETCO |
2000 |
DBLP BibTeX RDF |
|
Displaying result #1 - #36 of 36 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license