# Daniel Hirschkoff

According to our database

Collaborative distances:

^{1}, Daniel Hirschkoff authored at least 44 papers between 1997 and 2021.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2021

Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

2020

Theor. Comput. Sci., 2020

Proceedings of the 31st International Conference on Concurrency Theory, 2020

2019

Log. Methods Comput. Sci., 2019

Proceedings of the 20th Italian Conference on Theoretical Computer Science, 2019

2018

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

2016

Math. Struct. Comput. Sci., 2016

Inf. Comput., 2016

2015

J. Log. Algebraic Methods Program., 2015

2014

Proceedings of the Computing with New Resources, 2014

2012

Proceedings of the CONCUR 2012 - Concurrency Theory - 23rd International Conference, 2012

2011

Proceedings of the Proceedings 18th International Workshop on Expressiveness in Concurrency, 2011

Proceedings of the Fundamentals of Software Engineering - 4th IPM International Conference, 2011

2010

J. Log. Algebraic Methods Program., 2010

Proceedings of the Automata, Languages and Programming, 37th International Colloquium, 2010

Proceedings of the CONCUR 2010 - Concurrency Theory, 21th International Conference, 2010

2009

Electron. Notes Theor. Comput. Sci., 2009

Proceedings of the Semantics and Algebraic Specification, 2009

Calculs de processus: observations et inspections. (Process calculi: observations, inspections).

, 2009

2008

Log. Methods Comput. Sci., 2008

Log. Methods Comput. Sci., 2008

CoRR, 2008

Proceedings of the Fifth IFIP International Conference On Theoretical Computer Science, 2008

2007

J. Log. Algebraic Methods Program., 2007

Proceedings of the Trustworthy Global Computing, Third Symposium, 2007

A Distribution Law for CCS and a New Congruence Result for the <i>pi</i>-Calculus.

Proceedings of the Foundations of Software Science and Computational Structures, 2007

2006

Log. Methods Comput. Sci., 2006

CoRR, 2006

2005

Theor. Comput. Sci., 2005

Proceedings of the Generative Programming and Component Engineering, 2005

Proceedings of the Coordination Models and Languages, 7th International Conference, 2005

2004

Int. J. Inf. Sec., 2004

Proceedings of the CONCUR 2004 - Concurrency Theory, 15th International Conference, London, UK, August 31, 2004

2003

A fully adequate shallow embedding of the [pi]-calculus in Isabelle/HOL with mechanized syntax analysis.

J. Funct. Program., 2003

Proceedings of the 10th International Workshop on Expressiveness in Concurrency, 2003

Proceedings of the FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science, 2003

2002

Proceedings of the 17th IEEE Symposium on Logic in Computer Science (LICS 2002), 2002

2001

Int. J. Softw. Tools Technol. Transf., 2001

Proceedings of the Theoretical Computer Science, 7th Italian Conference, 2001

Higher-Order Abstract Syntax with Induction in Isabelle/HOL: Formalizing the pi-Calculus and Mechanizing the Theory of Contexts.

Proceedings of the Foundations of Software Science and Computation Structures, 2001

1999

Proceedings of the Systems for Integrated Computation and Deduction, 1999

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1999

1998

Electron. Notes Theor. Comput. Sci., 1998

1997

Proceedings of the Theorem Proving in Higher Order Logics, 10th International Conference, 1997