We stand with Ukraine  

Reiner Hüchting

According to our database1, Reiner Hüchting authored at least 4 papers between 2012 and 2014.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2014
Bounds on Mobility.
[BibTeX]
[DOI]
Reiner Hüchting
,
Rupak Majumdar
,
Roland Meyer
Proceedings of the CONCUR 2014 - Concurrency Theory - 25th International Conference, 2014

2013
A Polynomial Translation of pi-calculus FCPs to Safe Petri Nets.
[BibTeX]
[DOI]
Victor Khomenko
,
Roland Meyer
,
Reiner Hüchting
Log. Methods Comput. Sci., 2013

A Theory of Name Boundedness.
[BibTeX]
[DOI]
Reiner Hüchting
,
Rupak Majumdar
,
Roland Meyer
Proceedings of the CONCUR 2013 - Concurrency Theory - 24th International Conference, 2013

2012
A Polynomial Translation of π-Calculus (FCP) to Safe Petri Nets.
[BibTeX]
[DOI]
Roland Meyer
,
Victor Khomenko
,
Reiner Hüchting
Proceedings of the CONCUR 2012 - Concurrency Theory - 23rd International Conference, 2012


  Loading...