Pawel Gancarski
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2009–2010
Best venue rank
C
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2010 | ICTAC | Prioritized slotted-Circus. | Pawel Gancarski, Andrew Butterfield |
| 2009 | FM | The Denotational Semantics of slotted-Circus. | Pawel Gancarski, Andrew Butterfield |
| 2009 | TASE | State Visibility and Communication in Unifying Theories of Programming. | Andrew Butterfield, Pawel Gancarski, Jim Woodcock |