Pawel Sobocinski
Orcid: 0000-0002-7992-9685Affiliations:
- Tallinn University of Technology, Estonia
- University of Southampton, School of Electronics and Computer Science, UK (former)
- University of Cambridge, Computer Laboratory, UK (former)
- University of Aarhus, BRICS, Denmark (former)
According to our database1,
Pawel Sobocinski
authored at least 95 papers
between 2002 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2005
2010
2015
2020
0
1
2
3
4
5
6
7
8
9
10
1
1
2
4
3
3
1
1
3
1
3
4
1
1
2
1
1
2
1
1
1
1
2
5
3
4
3
2
3
3
5
2
1
2
1
3
2
3
3
3
3
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
On csauthors.net:
Bibliography
2024
Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024
2023
Softw. Syst. Model., April, 2023
Proceedings of the 48th International Symposium on Mathematical Foundations of Computer Science, 2023
2022
Math. Struct. Comput. Sci., August, 2022
Math. Struct. Comput. Sci., April, 2022
Proceedings of the Proceedings Fifth International Conference on Applied Category Theory, 2022
Proceedings of the 47th International Symposium on Mathematical Foundations of Computer Science, 2022
2021
Proceedings of the Advancing Research in Information and Communication Technology, 2021
Inf. Comput., 2021
Proceedings of the Fourth International Conference on Applied Category Theory, 2021
Proceedings of the 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2021
Proceedings of the Formal Aspects of Component Software - 17th International Conference, 2021
Proceedings of the 29th EACSL Annual Conference on Computer Science Logic, 2021
Proceedings of the 9th Conference on Algebra and Coalgebra in Computer Science, 2021
2020
Proceedings of the Formal Methods: Foundations and Applications - 23rd Brazilian Symposium, 2020
Proceedings of the Foundations of Software Science and Computation Structures, 2020
Proceedings of the Diagrammatic Representation and Inference, 2020
2019
Proc. ACM Program. Lang., 2019
Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 2019
Proceedings of the 30th International Conference on Concurrency Theory, 2019
Proceedings of the 8th Conference on Algebra and Coalgebra in Computer Science, 2019
Proceedings of the 8th Conference on Algebra and Coalgebra in Computer Science, 2019
2018
J. Log. Algebraic Methods Program., 2018
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018
Proceedings of the Theoretical Aspects of Computing - ICTAC 2018, 2018
Proceedings of the 27th EACSL Annual Conference on Computer Science Logic, 2018
2017
Inf. Comput., 2017
Proceedings of the Programming Languages and Systems, 2017
Proceedings of the 28th International Conference on Concurrency Theory, 2017
2016
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016
Proceedings of the Coalgebraic Methods in Computer Science, 2016
2015
J. Comput. Syst. Sci., 2015
Proceedings of the 31st Conference on the Mathematical Foundations of Programming Semantics, 2015
Proceedings of the Eleventh International Workshop on Developments in Computational Models, 2015
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015
2014
Math. Struct. Comput. Sci., 2014
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2014
Proceedings of the Reachability Problems - 8th International Workshop, 2014
Proceedings of the Graph Transformation - 7th International Conference, 2014
Proceedings of the Foundations of Software Science and Computation Structures, 2014
Proceedings of the CONCUR 2014 - Concurrency Theory - 25th International Conference, 2014
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2014
2013
Log. Methods Comput. Sci., 2013
Proceedings of the Algebra and Coalgebra in Computer Science, 2013
Proceedings of the Algebra and Coalgebra in Computer Science, 2013
2012
Proceedings of the Coalgebraic Methods in Computer Science - 11th International Workshop, 2012
2011
Proceedings of the Mathematical Foundations of Computer Science 2011, 2011
Proceedings of the Algebra and Coalgebra in Computer Science, 2011
2010
Proceedings of the CONCUR 2010 - Concurrency Theory, 21th International Conference, 2010
2009
Deriving Labelled Transition Systems - A Structural Approach.
Bull. EATCS, 2009
Proceedings of the Proceedings 2nd Interaction and Concurrency Experience: Structured Interactions, 2009
Proceedings of the Algebra and Coalgebra in Computer Science, 2009
Proceedings of the Algebra and Coalgebra in Computer Science, 2009
2008
Proceedings of the First Interaction and Concurrency Experiences Workshop, 2008
Proceedings of the Fifth IFIP International Conference On Theoretical Computer Science, 2008
2007
Proceedings of the Fourth Workshop on Structural Operational Semantics, 2007
Proceedings of the Foundations of Software Science and Computational Structures, 2007
Proceedings of the Algebra and Coalgebra in Computer Science, 2007
2006
Proceedings of the 13th International Workshop on Expressiveness in Concurrency, 2006
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006
Proceedings of the Graph Transformations, Third International Conference, 2006
Proceedings of the Foundations of Software Science and Computation Structures, 2006
2005
Proceedings of the 20th IEEE Symposium on Logic in Computer Science (LICS 2005), 2005
Proceedings of the CONCUR 2005 - Concurrency Theory, 16th International Conference, 2005
Proceedings of the Algebra and Coalgebra in Computer Science: First International Conference, 2005
2004
Proceedings of the Workshop on Petri Nets and Graph Transformations, 2004
Process Congruences from Reaction Rules (Column: Concurrency).
Bull. EATCS, 2004
Proceedings of the Foundations of Software Science and Computation Structures, 2004
Proceedings of the Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems, 2004
2003
Deriving Bisimulation Congruences using 2-categories.
Nord. J. Comput., 2003
Proceedings of the Foundations of Software Science and Computational Structures, 2003
2002
Proceedings of the 9th International Workshop on Expressiveness in Concurrency, 2002