×

zbMATH — the first resource for mathematics

Kahn, Gilles

Compute Distance To:
Author ID: kahn.gilles Recent zbMATH articles by "Kahn, Gilles"
Published as: Kahn, Gilles; Kahn, G.
External Links: Wikidata
Documents Indexed: 13 Publications since 1974, including 3 Books
Biographic References: 3 Publications

Publications by Year

Citations contained in zbMATH Open

9 Publications have been cited 151 times in 145 Documents Cited by Year
Natural semantics. Zbl 0635.68007
Kahn, G.
44
1987
The semantics of a simple language for parallel programming. Zbl 0299.68007
Kahn, Gilles
33
1974
Concrete domains. Zbl 0809.68085
Kahn, G.; Plotkin, G. D.
25
1993
Coroutines and networks of parallel processes. Zbl 0363.68076
Kahn, Gilles; MacQueen, David B.
16
1977
Natural semantics. Zbl 0657.68079
Kahn, G.
13
1988
Algorithmes d’équivalence et de reduction à des expressions minimales dans une classe d’équations recursive simples. Zbl 0285.68022
Courcelle, B.; Kahn, G.; Vuillemin, J.
13
1974
Extracting text from proofs. Zbl 1063.68647
Coscoy, Yann; Kahn, Gilles; Théry, Laurent
3
1995
Proof by pointing. Zbl 0942.03504
Bertot, Yves; Kahn, Gilles; Théry, Laurent
2
1994
A structure-oriented program editor: A first step towards computer assisted programming. Zbl 0321.68020
Donzeau-Gouge, V.; Huet, G.; Kahn, G.; Lang, B.; Levy, J. J.
2
1975
Extracting text from proofs. Zbl 1063.68647
Coscoy, Yann; Kahn, Gilles; Théry, Laurent
3
1995
Proof by pointing. Zbl 0942.03504
Bertot, Yves; Kahn, Gilles; Théry, Laurent
2
1994
Concrete domains. Zbl 0809.68085
Kahn, G.; Plotkin, G. D.
25
1993
Natural semantics. Zbl 0657.68079
Kahn, G.
13
1988
Natural semantics. Zbl 0635.68007
Kahn, G.
44
1987
Coroutines and networks of parallel processes. Zbl 0363.68076
Kahn, Gilles; MacQueen, David B.
16
1977
A structure-oriented program editor: A first step towards computer assisted programming. Zbl 0321.68020
Donzeau-Gouge, V.; Huet, G.; Kahn, G.; Lang, B.; Levy, J. J.
2
1975
The semantics of a simple language for parallel programming. Zbl 0299.68007
Kahn, Gilles
33
1974
Algorithmes d’équivalence et de reduction à des expressions minimales dans une classe d’équations recursive simples. Zbl 0285.68022
Courcelle, B.; Kahn, G.; Vuillemin, J.
13
1974
all top 5

Cited by 224 Authors

6 Roşu, Grigore
5 Meseguer Guaita, José
5 Miller, Dale Allen
3 Benveniste, Albert
3 Caspi, Paul
3 Courcelle, Bruno
3 Cousot, Patrick
3 Mosses, Peter D.
3 Şerbănuţă, Traian Florin
3 Varacca, Daniele
3 Yoshida, Nobuko
2 Abramsky, Samson
2 Amadio, Roberto M.
2 Arkoudas, Konstantine
2 Boussinot, Frédéric
2 Brookes, Stephen D.
2 Coppo, Mario
2 Cousot, Radhia
2 Danvy, Olivier
2 Goldin, Dina Q.
2 Honda, Kohei
2 Inverardi, Paola
2 Lämmel, Ralf
2 Le Guernic, Paul
2 Nesi, Monica
2 Palamidessi, Catuscia
2 Ranta, Aarne
2 Sacerdoti Coen, Claudio
2 Smolka, Scott A.
2 Tripakis, Stavros
2 Winskel, Glynn
1 Abbes, Samy
1 Adams, Michael D.
1 Agrigoroaiei, Oana
1 Aguado, Joaquin
1 Amamiya, Makoto
1 Amitan, I. I.
1 Arnold, André
1 Asperti, Andrea
1 Astesiano, Egidio
1 Attie, Paul C.
1 Avron, Arnon
1 Bacci, Giorgio
1 Bacci, Giovanni
1 Bach Poulsen, Casper
1 Bagnara, Roberto
1 Bahr, Patrick
1 Balarin, Felice
1 Barthe, Gilles
1 Bernardeschi, Cinzia
1 Bloom, Stephen L.
1 Boudol, Gérard
1 Brandt, Jorgen
1 Bringsjord, Selmer
1 Broy, Manfred
1 Cai, Jiazhen
1 Cardone, Felice
1 Caromel, Denis
1 Castellani, Ilaria
1 Chalopin, Jérémie
1 Chen, Xi
1 Chepoi, Victor D.
1 Chihani, Zakaria
1 Ciaffaglione, Alberto
1 Cimini, Matteo
1 Ciobanu, Gabriel
1 Costa, Gerardo
1 Cowan, Donald D.
1 Crole, Roy L.
1 Curien, Pierre-Louis
1 Dabrowski, Frédéric
1 Dal Zilio, Silvano
1 Damiani, Ferruccio
1 de Boer, Frank S.
1 De Francesco, Nicoletta
1 de Lucena, Carlos José Pereira
1 Dederichs, Frank
1 Demers, Alan J.
1 Despeyroux, Joëlle
1 Di Pierro, Alessandra
1 Dou, Yong
1 Dybjer, Peter
1 Ésik, Zoltán
1 Feautrier, Paul
1 Fiore, Marcelo P.
1 Francez, Nissim
1 Fuhrmann, Insa
1 Gacek, Andrew
1 García-Pérez, Álvaro
1 Giannini, Paola
1 Gilray, Thomas
1 Gottliebsen, Hanne
1 Grall, Hervé
1 Gries, David
1 Groote, Jan Friso
1 Gurevich, Yuri
1 Hage, Jurriaan
1 Hains, Gaétan
1 Halbwachs, Nicolas
1 Hamana, Makoto
...and 124 more Authors

Citations by Year

Wikidata Timeline

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.