×

zbMATH — the first resource for mathematics

Hirschkoff, Daniel

Compute Distance To:
Author ID: hirschkoff.daniel Recent zbMATH articles by "Hirschkoff, Daniel"
Published as: Hirschkoff, D.; Hirschkoff, Daniel
Documents Indexed: 33 Publications since 1997

Publications by Year

Citations contained in zbMATH Open

27 Publications have been cited 107 times in 75 Documents Cited by Year
A full formalisation of \(\pi\)-calculus theory in the calculus of constructions. Zbl 0883.03012
Hirschkoff, Daniel
12
1997
Separability in the ambient logic. Zbl 1151.03017
Lozes, Étienne; Hirschkoff, Daniel; Sangiorgi, Davide
11
2008
Using ambients to control resources. Zbl 1012.68530
Teller, David; Zimmer, Pascal; Hirschkoff, Daniel
11
2002
Higher-order abstract syntax with induction in Isabelle/HOL: formalizing the \(\pi\)-calculus and mechanizing the theory of contexts. Zbl 0978.68045
Röckl, Christine; Hirschkoff, Daniel; Berghofer, Stefan
10
2001
On the representation of McCarthy’s \(amb\) in the \(\pi\)-calculus. Zbl 1078.68106
Carayol, Arnaud; Hirschkoff, Daniel; Sangiorgi, Davide
8
2005
A fully adequate shallow embedding of the \(\pi\)-calculus in Isabelle/HOL with mechanized syntax analysis. Zbl 1096.68679
Röckl, Christine; Hirschkoff, Daniel
6
2003
Name-passing calculi: from fusions to preorders and types. Zbl 1366.68205
Hirschkoff, Daniel; Madiot, Jean-Marie; Sangiorgi, Davide
5
2013
Termination in impure concurrent languages. Zbl 1287.68129
Demangeon, Romain; Hirschkoff, Daniel; Sangiorgi, Davide
4
2010
An efficient abstract machine for safe ambients. Zbl 1116.68056
Hirschkoff, Daniel; Pous, Damien; Sangiorgi, Davide
4
2007
Minimality results for the spatial logics. Zbl 1205.03046
Hirschkoff, D.; Lozes, É.; Sangiorgi, D.
4
2003
A behavioural theory for a \(\pi\)-calculus with preorders. Zbl 1434.68328
Hirschkoff, Daniel; Madiot, Jean-Marie; Xu, Xian
3
2015
A distribution law for CCS and a new congruence result for the \(\pi \)-calculus. Zbl 1149.68063
Hirschkoff, Daniel; Pous, Damien
3
2008
An extensional spatial logic for mobile processes. Zbl 1099.68067
Hirschkoff, Daniel
3
2004
On the way to certify computer algebra systems. Zbl 0958.68197
Boulmé, S.; Hardin, T.; Hirschkoff, D.; Ménissier-Morain, V.; Rioboo, R.
3
1999
Divergence and unique solution of equations. Zbl 1442.68134
Durier, Adrien; Hirschkoff, Daniel; Sangiorgi, Davide
2
2019
A behavioural theory for a \(\pi\)-calculus with preorders. Zbl 1330.68205
Hirschkoff, Daniel; Madiot, Jean-Marie; Xian, Xu
2
2015
Duality and i/o-types in the \(\pi \)-calculus. Zbl 1365.68343
Hirschkoff, Daniel; Madiot, Jean-Marie; Sangiorgi, Davide
2
2012
On bisimilarity and substitution in presence of replication. Zbl 1288.68182
Hirschkoff, Daniel; Pous, Damien
2
2010
Termination in higher-order concurrent calculi. Zbl 1274.68067
Demangeon, Romain; Hirschkoff, Daniel; Sangiorgi, Davide
2
2010
Mobile processes and termination. Zbl 1253.68239
Demangeon, Romain; Hirschkoff, Daniel; Sangiorgi, Davide
2
2009
On the expressiveness of the ambient logic. Zbl 1126.68056
Hirschkoff, Daniel; Lozes, Etienne; Sangiorgi, Davide
2
2006
Towards ‘up to context’ reasoning about higher-order processes. Zbl 1436.68211
Durier, Adrien; Hirschkoff, Daniel; Sangiorgi, Davide
1
2020
Divergence and unique solution of equations. Zbl 1442.68135
Durier, Adrien; Hirschkoff, Daniel; Sangiorgi, Davide
1
2017
Name-passing calculi: from fusions to preorders and types. Zbl 1353.68206
Hirschkoff, Daniel; Madiot, Jean-Marie; Sangiorgi, Davide
1
2016
Termination in higher-order concurrent calculi. Zbl 1205.68241
Demangeon, Romain; Hirschkoff, Daniel; Sangiorgi, Davide
1
2010
A distribution law for CCS and a new congruence result for the \(\pi \)-calculus. Zbl 1195.68071
Hirschkoff, Daniel; Pous, Damien
1
2007
Incremental inference of partial types. Zbl 1042.68029
Coppo, Mario; Hirschkoff, Daniel
1
2001
Towards ‘up to context’ reasoning about higher-order processes. Zbl 1436.68211
Durier, Adrien; Hirschkoff, Daniel; Sangiorgi, Davide
1
2020
Divergence and unique solution of equations. Zbl 1442.68134
Durier, Adrien; Hirschkoff, Daniel; Sangiorgi, Davide
2
2019
Divergence and unique solution of equations. Zbl 1442.68135
Durier, Adrien; Hirschkoff, Daniel; Sangiorgi, Davide
1
2017
Name-passing calculi: from fusions to preorders and types. Zbl 1353.68206
Hirschkoff, Daniel; Madiot, Jean-Marie; Sangiorgi, Davide
1
2016
A behavioural theory for a \(\pi\)-calculus with preorders. Zbl 1434.68328
Hirschkoff, Daniel; Madiot, Jean-Marie; Xu, Xian
3
2015
A behavioural theory for a \(\pi\)-calculus with preorders. Zbl 1330.68205
Hirschkoff, Daniel; Madiot, Jean-Marie; Xian, Xu
2
2015
Name-passing calculi: from fusions to preorders and types. Zbl 1366.68205
Hirschkoff, Daniel; Madiot, Jean-Marie; Sangiorgi, Davide
5
2013
Duality and i/o-types in the \(\pi \)-calculus. Zbl 1365.68343
Hirschkoff, Daniel; Madiot, Jean-Marie; Sangiorgi, Davide
2
2012
Termination in impure concurrent languages. Zbl 1287.68129
Demangeon, Romain; Hirschkoff, Daniel; Sangiorgi, Davide
4
2010
On bisimilarity and substitution in presence of replication. Zbl 1288.68182
Hirschkoff, Daniel; Pous, Damien
2
2010
Termination in higher-order concurrent calculi. Zbl 1274.68067
Demangeon, Romain; Hirschkoff, Daniel; Sangiorgi, Davide
2
2010
Termination in higher-order concurrent calculi. Zbl 1205.68241
Demangeon, Romain; Hirschkoff, Daniel; Sangiorgi, Davide
1
2010
Mobile processes and termination. Zbl 1253.68239
Demangeon, Romain; Hirschkoff, Daniel; Sangiorgi, Davide
2
2009
Separability in the ambient logic. Zbl 1151.03017
Lozes, Étienne; Hirschkoff, Daniel; Sangiorgi, Davide
11
2008
A distribution law for CCS and a new congruence result for the \(\pi \)-calculus. Zbl 1149.68063
Hirschkoff, Daniel; Pous, Damien
3
2008
An efficient abstract machine for safe ambients. Zbl 1116.68056
Hirschkoff, Daniel; Pous, Damien; Sangiorgi, Davide
4
2007
A distribution law for CCS and a new congruence result for the \(\pi \)-calculus. Zbl 1195.68071
Hirschkoff, Daniel; Pous, Damien
1
2007
On the expressiveness of the ambient logic. Zbl 1126.68056
Hirschkoff, Daniel; Lozes, Etienne; Sangiorgi, Davide
2
2006
On the representation of McCarthy’s \(amb\) in the \(\pi\)-calculus. Zbl 1078.68106
Carayol, Arnaud; Hirschkoff, Daniel; Sangiorgi, Davide
8
2005
An extensional spatial logic for mobile processes. Zbl 1099.68067
Hirschkoff, Daniel
3
2004
A fully adequate shallow embedding of the \(\pi\)-calculus in Isabelle/HOL with mechanized syntax analysis. Zbl 1096.68679
Röckl, Christine; Hirschkoff, Daniel
6
2003
Minimality results for the spatial logics. Zbl 1205.03046
Hirschkoff, D.; Lozes, É.; Sangiorgi, D.
4
2003
Using ambients to control resources. Zbl 1012.68530
Teller, David; Zimmer, Pascal; Hirschkoff, Daniel
11
2002
Higher-order abstract syntax with induction in Isabelle/HOL: formalizing the \(\pi\)-calculus and mechanizing the theory of contexts. Zbl 0978.68045
Röckl, Christine; Hirschkoff, Daniel; Berghofer, Stefan
10
2001
Incremental inference of partial types. Zbl 1042.68029
Coppo, Mario; Hirschkoff, Daniel
1
2001
On the way to certify computer algebra systems. Zbl 0958.68197
Boulmé, S.; Hardin, T.; Hirschkoff, D.; Ménissier-Morain, V.; Rioboo, R.
3
1999
A full formalisation of \(\pi\)-calculus theory in the calculus of constructions. Zbl 0883.03012
Hirschkoff, Daniel
12
1997
all top 5

Cited by 111 Authors

14 Sangiorgi, Davide
12 Hirschkoff, Daniel
6 Sabel, David
6 Schmidt-Schauß, Manfred
5 Caires, Luís
4 Madiot, Jean-Marie
3 Bengtson, Jesper
3 Durier, Adrien
3 Parrow, Joachim
3 Pous, Damien
3 Xu, Xian
2 Cardelli, Luca
2 Ciobanu, Gabriel
2 Demangeon, Romain
2 Fu, Yuxi
2 Lozes, Etienne
2 Martí-Oliet, Narciso
2 Miculan, Marino
2 Miller, Dale Allen
2 Niehren, Joachim
2 Pérez, Jorge A.
2 Pfenning, Frank
2 Scagnetto, Ivan
2 Schmitt, Alan
2 Schwinghammer, Jan
2 Talbot, Jean-Marc
2 Verdejo, Alberto
2 Vieira, Hugo Torres
1 Affeldt, Reynald
1 Åman Pohjola, Johannes
1 Ambal, Guillaume
1 Barbanera, Franco
1 Berardi, Stefano
1 Bidinger, Philippe
1 Bogdan, Aman
1 Boneva, Iovka
1 Bourke, Timothy
1 Bugliesi, Michele
1 Busi, Nadia
1 Cai, Xiaojuan
1 Carayol, Arnaud
1 Cervesato, Iliano
1 Charatonik, Witold
1 Chen, Taolue
1 Cheney, James
1 Ciaffaglione, Alberto
1 Compagnoni, Adriana B.
1 Cristescu, Ioana Domnina
1 Dal Lago, Ugo
1 Dal Zilio, Silvano
1 de’Liguoro, Ugo
1 Dezani-Ciancaglini, Mariangiola
1 Dreier, Jannik
1 Ene, Cristian
1 Gadducci, Fabio
1 Geuvers, Jan Herman
1 Gordon, Andrew D.
1 Gottliebsen, Hanne
1 Han, Tingting
1 Henrio, Ludovic
1 Höfner, Peter
1 Honsell, Furio
1 Kammüller, Florian
1 Kelsey, Tom
1 Kobayashi, Naoki
1 Komendantsky, Vladimir
1 Konovalov, Alexander B.
1 Kwiatkowska, Marta Z.
1 Lafourcade, Pascal
1 Lakhnech, Yassine
1 Lanese, Ivan
1 Lenglet, Sergueï
1 Levi, Francesca
1 Levy, Paul Blain
1 Linton, Steve A.
1 Lu, Jian
1 Luttik, Bas
1 Lutz, Bianca
1 Maffeis, Sergio
1 Margaria, Ines
1 Martin, Ursula
1 Martini, Simone
1 Momigliano, Alberto
1 Monreale, Giacoma Valentina
1 Mukhopadhyay, Supratik
1 Norman, Gethin
1 Parker, David F.
1 Perera, Roly
1 Phillips, Iain W.
1 Pientka, Brigitte
1 Pollack, Randy
1 Prokić, Ivan
1 Rathke, Julian
1 Röckl, Christine
1 Sassone, Vladimiro
1 Sobociński, Paweł
1 Thibodeau, David
1 Tian, Chun
1 Toninho, Bernardo
1 van Glabbeek, Robert Jan
...and 11 more Authors

Citations by Year