# Tom Hirschowitz

According to our database

Collaborative distances:

^{1}, Tom Hirschowitz authored at least 31 papers between 2004 and 2020.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2020

Proceedings of the LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020

Proceedings of the 5th International Conference on Formal Structures for Computation and Deduction, 2020

2019

Proc. ACM Program. Lang., 2019

Proceedings of the Proceedings Combined 26th International Workshop on Expressiveness in Concurrency and 16th Workshop on Structural Operational Semantics, 2019

Proceedings of the 4th International Conference on Formal Structures for Computation and Deduction, 2019

2018

J. Log. Comput., 2018

CoRR, 2018

Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018

2017

Log. Methods Comput. Sci., 2017

Justified Sequences in String Diagrams: a Comparison Between Two Approaches to Concurrent Game Semantics.

Proceedings of the 7th Conference on Algebra and Coalgebra in Computer Science, 2017

2016

Quelques ponts entre sémantique opérationnelle et modèles dénotationnels des langages de programmation.

, 2016

2015

Proceedings of the 13th International Conference on Typed Lambda Calculi and Applications, 2015

Proceedings of the 6th Conference on Algebra and Coalgebra in Computer Science, 2015

2014

Log. Methods Comput. Sci., 2014

2013

Cartesian closed 2-categories and permutation equivalence in higher-order rewriting.

Log. Methods Comput. Sci., 2013

CoRR, 2013

Proceedings of the Algebra and Coalgebra in Computer Science, 2013

2011

CoRR, 2011

Proceedings of the Proceedings Fourth Interaction and Concurrency Experience, 2011

2009

High. Order Symb. Comput., 2009

Proceedings of the 25th Conference on Mathematical Foundations of Programming Semantics, 2009

Electron. Notes Theor. Comput. Sci., 2009

Proceedings of the CONCUR 2009 - Concurrency Theory, 20th International Conference, 2009

2008

CoRR, 2008

CoRR, 2008

CoRR, 2008

2007

Proceedings of the FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, 2007

2005

ACM Trans. Program. Lang. Syst., 2005

Proceedings of the Generative Programming and Component Engineering, 2005

2004

Proceedings of the Functional and Logic Programming, 7th International Symposium, 2004

Proceedings of the Programming Languages and Systems, 2004