×
Compute Distance To:
Author ID: stark.ian Recent zbMATH articles by "Stark, Ian"
Published as: Stark, Ian; Stark, I.
External Links: MGP · ORCID

Publications by Year

Citations contained in zbMATH Open

11 Publications have been cited 75 times in 69 Documents Cited by Year
Operational reasoning for functions with local state. Zbl 0967.68035
Pitts, Andrew; Stark, Ian
33
1998
Presheaf models for the \(\pi\)-calculus. Zbl 0884.68078
Cattani, Gian Luca; Stark, Ian; Winskel, Glynn
11
1997
A dependent type theory with names and binding. Zbl 1095.03019
Schöpp, Ulrich; Stark, Ian
7
2004
Reducibility and \(\top\top\)-lifting for computation types. Zbl 1114.68035
Lindley, Sam; Stark, Ian
6
2005
Free-algebra models for the \(\pi \)-calculus. Zbl 1134.68043
Stark, Ian
6
2008
Free-algebra models for the \(\pi\)-calculus. Zbl 1119.68130
Stark, Ian
3
2005
A distributed \(\pi\)-calculus with local areas of communication. Zbl 1262.68137
Chothia, Tom; Stark, Ian
3
2001
Certified complexity (CerCo). Zbl 1445.68057
Amadio, Roberto M.; Ayache, Nicolas; Bobot, Francois; Boender, Jaap P.; Campbell, Brian; Garnier, Ilias; Madet, Antoine; McKinna, James; Mulligan, Dominic P.; Piccolo, Mauro; Pollack, Randy; Régis-Gianas, Yann; Sacerdoti Coen, Claudio; Stark, Ian; Tranquilli, Paolo
2
2014
Encoding distributed areas and local communication into the \(\pi \)-calculus. Zbl 1260.68260
Chothia, Tom; Stark, Ian
2
2002
A logic of behaviour in context. Zbl 1311.68083
Banks, C. J.; Stark, I.
1
2014
Modelling patterns of gene regulation in the bond-calculus. Zbl 1458.92039
Wright, Thomas; Stark, Ian
1
2020
Modelling patterns of gene regulation in the bond-calculus. Zbl 1458.92039
Wright, Thomas; Stark, Ian
1
2020
Certified complexity (CerCo). Zbl 1445.68057
Amadio, Roberto M.; Ayache, Nicolas; Bobot, Francois; Boender, Jaap P.; Campbell, Brian; Garnier, Ilias; Madet, Antoine; McKinna, James; Mulligan, Dominic P.; Piccolo, Mauro; Pollack, Randy; Régis-Gianas, Yann; Sacerdoti Coen, Claudio; Stark, Ian; Tranquilli, Paolo
2
2014
A logic of behaviour in context. Zbl 1311.68083
Banks, C. J.; Stark, I.
1
2014
Free-algebra models for the \(\pi \)-calculus. Zbl 1134.68043
Stark, Ian
6
2008
Reducibility and \(\top\top\)-lifting for computation types. Zbl 1114.68035
Lindley, Sam; Stark, Ian
6
2005
Free-algebra models for the \(\pi\)-calculus. Zbl 1119.68130
Stark, Ian
3
2005
A dependent type theory with names and binding. Zbl 1095.03019
Schöpp, Ulrich; Stark, Ian
7
2004
Encoding distributed areas and local communication into the \(\pi \)-calculus. Zbl 1260.68260
Chothia, Tom; Stark, Ian
2
2002
A distributed \(\pi\)-calculus with local areas of communication. Zbl 1262.68137
Chothia, Tom; Stark, Ian
3
2001
Operational reasoning for functions with local state. Zbl 0967.68035
Pitts, Andrew; Stark, Ian
33
1998
Presheaf models for the \(\pi\)-calculus. Zbl 0884.68078
Cattani, Gian Luca; Stark, Ian; Winskel, Glynn
11
1997
all top 5

Cited by 98 Authors

8 Murawski, Andrzej S.
4 Tzevelekos, Nikos
3 Biernacki, Dariusz
3 Ciancia, Vincenzo
3 Montanari, Ugo G.
3 Pitts, Andrew M.
3 Stark, Ian
3 Sumii, Eijiro
2 Berger, Martin J.
2 Birkedal, Lars
2 Cattani, Gian Luca
2 Chothia, Tom
2 Fiore, Marcelo P.
2 Gabbay, Murdoch James
2 Honda, Kohei
2 Katsumata, Shin-ya
2 Kozen, Dexter C.
2 Kurz, Alexander
2 Lenglet, Sergueï
2 Levy, Paul Blain
2 Polesiuk, Piotr
2 Schröder, Lutz
2 Staton, Sam
2 Støvring, Kristian
2 Winskel, Glynn
2 Yoshida, Nobuko
1 Aboul-Hosn, Kamal
1 Ahman, Danel
1 Ahmed, Amal
1 Aziz, Benjamin
1 Benton, Nick
1 Bickford, Mark
1 Biernacka, Małgorzata
1 Boudol, Gérard
1 Carbone, Marco
1 Charguéraud, Arthur
1 Cheney, James
1 Clouston, Ranald A.
1 Cotton-Barratt, Conrad
1 Derikx, Jasper
1 Duggan, Dominic
1 Fox, Anthony C. J.
1 Fridlender, Daniel
1 Frumin, Dan
1 Goncharov, Sergeĭ Savost’yanovich
1 Goubault-Larrecq, Jean
1 Hamana, Makoto
1 Hamilton, Geoff W.
1 Hausmann, Daniel
1 Hildebrandt, Thomas T.
1 Hofmann, Martin
1 Hur, Chung-Kil
1 Jaber, Guilhem
1 Jeannin, Jean-Baptiste
1 Jeffrey, Alan S. A.
1 Koutavas, Vasileios
1 Krebbers, Robbert
1 Kumar, Ramana
1 Lack, Stephen
1 Lassen, Søren B.
1 Lengrand, Stéphane Jean Eric
1 Licata, Daniel R.
1 Maffeis, Sergio
1 Materzok, Marek
1 Matthiesen, Justus
1 Melgratti, Hernán
1 Mezzina, Claudio Antares
1 Møgelberg, Rasmus Ejlers
1 Moggi, Eugenio
1 Mossakowski, Till
1 Mulligan, Dominic P.
1 Myreen, Magnus O.
1 New, Max S.
1 Nigam, Vivek
1 Norrish, Michael
1 Nygaard, Mikkel
1 Owens, Scott
1 Pagano, Miguel
1 Petrisan, Daniela Luan
1 Phillips, Iain W.
1 Pinna, G. Michele
1 Pottier, François
1 Rahli, Vincent
1 Rathke, Julian
1 Riba, Colin
1 Rodríguez, Leonardo Jiménez
1 Rosický, Jiří
1 Sabel, David
1 Sangiorgi, Davide
1 Sato, Tetsuya
1 Schmidt-Schauß, Manfred
1 Schweimeier, Ralf
1 Sewell, Peter
1 Shinwell, Mark R.
1 Tan, Yong Kiam
1 Thamsborg, Jacob
1 Uustalu, Tarmo
1 Vigliotti, Maria Grazia

Citations by Year