The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Pawel Sobocinski: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Bartek Klin, Vladimiro Sassone, Pawel Sobocinski
    Labels from Reductions: Towards a General Theory. [Citation Graph (0, 0)][DBLP]
    CALCO, 2005, pp:30-50 [Conf]
  2. Roberto Bruni, Fabio Gadducci, Ugo Montanari, Pawel Sobocinski
    Deriving Weak Bisimulation Congruences from Reduction Systems. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2005, pp:293-307 [Conf]
  3. Bartek Klin, Pawel Sobocinski
    Syntactic Formats for Free. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2003, pp:72-86 [Conf]
  4. Pawel Sobocinski
    Summary 1: Adhesivity, Bigraphs and Bisimulation Congruences. [Citation Graph (0, 0)][DBLP]
    Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems, 2004, pp:- [Conf]
  5. Paolo Baldan, Andrea Corradini, Tobias Heindel, Barbara König, Pawel Sobocinski
    Processes for Adhesive Rewriting Systems. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2006, pp:202-216 [Conf]
  6. Vladimiro Sassone, Pawel Sobocinski
    Deriving Bisimulation Congruences: 2-Categories Vs Precategories. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2003, pp:409-424 [Conf]
  7. Stephen Lack, Pawel Sobocinski
    Adhesive Categories. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2004, pp:273-288 [Conf]
  8. Stephen Lack, Pawel Sobocinski
    Toposes Are Adhesive. [Citation Graph (0, 0)][DBLP]
    ICGT, 2006, pp:184-198 [Conf]
  9. Vladimiro Sassone, Pawel Sobocinski
    Reactive Systems over Cospans. [Citation Graph (0, 0)][DBLP]
    LICS, 2005, pp:311-320 [Conf]
  10. Pawel Sobocinski
    Process Congruences from Reaction Rules (Column: Concurrency). [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 2004, v:84, n:, pp:102-127 [Journal]
  11. Vladimiro Sassone, Pawel Sobocinski
    Deriving Bisimulation Congruences: A 2-categorical Approach. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:68, n:2, pp:- [Journal]
  12. Vladimiro Sassone, Pawel Sobocinski
    A Congruence for Petri Nets. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:127, n:2, pp:107-120 [Journal]
  13. Vladimiro Sassone, Pawel Sobocinski
    Deriving Bisimulation Congruences using 2-categories. [Citation Graph (0, 0)][DBLP]
    Nord. J. Comput., 2003, v:10, n:2, pp:163-0 [Journal]
  14. Vladimiro Sassone, Pawel Sobocinski
    Locating reaction with 2-categories. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:333, n:1-2, pp:297-327 [Journal]
  15. Peter T. Johnstone, Stephen Lack, Pawel Sobocinski
    Quasitoposes, Quasiadhesive Categories and Artin Glueing. [Citation Graph (0, 0)][DBLP]
    CALCO, 2007, pp:312-326 [Conf]
  16. Julian Rathke, Vladimiro Sassone, Pawel Sobocinski
    Semantic Barbs and Biorthogonality. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2007, pp:302-316 [Conf]
  17. Vincent Danos, Jean Krivine, Pawel Sobocinski
    General Reversibility. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:175, n:3, pp:75-86 [Journal]

  18. Unfolding Grammars in Adhesive Categories. [Citation Graph (, )][DBLP]


  19. Van Kampen Colimits as Bicolimits in Span. [Citation Graph (, )][DBLP]


  20. Deriving Structural Labelled Transitions for Mobile Ambients. [Citation Graph (, )][DBLP]


  21. Representations of Petri Net Interactions. [Citation Graph (, )][DBLP]


  22. Deconstructing behavioural theories of mobility. [Citation Graph (, )][DBLP]


  23. Subobject Transformation Systems. [Citation Graph (, )][DBLP]


  24. A non-interleaving process calculus for multi-party synchronisation [Citation Graph (, )][DBLP]


  25. Proceedings Sixth Workshop on Structural Operational Semantics [Citation Graph (, )][DBLP]


  26. Proceedings Seventh Workshop on Structural Operational Semantics [Citation Graph (, )][DBLP]


  27. A Well-behaved LTS for the Pi-calculus: (Abstract). [Citation Graph (, )][DBLP]


  28. Making the Unobservable, Unobservable. [Citation Graph (, )][DBLP]


Search in 0.029secs, Finished in 0.030secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002