×

zbMATH — the first resource for mathematics

Electronic Notes in Theoretical Computer Science

Short Title: Electron. Notes Theor. Comput. Sci.
Publisher: Elsevier, Amsterdam
ISSN: 1571-0661/e
Online: http://www.sciencedirect.com/science/journal/15710661
Comments: Book series; This journal is available open access. This journal is published electronic only.
Documents Indexed: 339 Publications (since 1995)
References Indexed: 2 Publications with 170 References.
all top 5

Authors / Editors

14 Mislove, Michael W.
7 Mackie, Ian
7 Panangaden, Prakash
6 Jung, Achim
6 Selinger, Peter
5 Goubault, Eric
4 Aceto, Luca
4 Biere, Armin
4 Birkedal, Lars
4 Boiten, Eerke A.
4 Corradini, Andrea
4 Corradini, Flavio
4 de Vink, Erik P.
4 Derrick, John
4 Gramlich, Bernhard
4 Heckel, Reiko
4 Hurley, Ted
4 Jacobs, Bart
4 König, Barbara
4 Lucas, Salvador
4 Mac an Airchinnigh, Mícheál
4 Merelli, Emanuela
4 Palamidessi, Catuscia
4 Schellekens, Michel P.
4 Seda, Anthony Karel
4 Strichman, Ofer
4 Ulidowski, Irek
4 Weihrauch, Klaus
3 Armando, Alessandro
3 Ayala-Rincón, Mauricio
3 Benevides, Mario R. F.
3 Bolander, Thomas
3 Brattka, Vasco
3 Braüner, Torben
3 Brim, Luboš
3 Ehrig, Hartmut
3 Feret, Jérôme
3 Gordon, Andrew D.
3 Grubba, Tanja
3 Grumberg, Orna
3 Haeusler, Edward Hermann
3 Keimel, Klaus
3 Levchenko, Andre
3 Lomuscio, Alessio
3 Marcial-Romero, José Raymundo
3 Montanari, Ugo G.
3 Nestmann, Uwe
3 Pimentel, Elaine
3 Raussen, Martin
3 Rensink, Arend
3 Rutten, Jan J. M. M.
3 Scedrov, Andre
3 Silva, Alexandra
3 Troina, Angelo
3 van der Hoek, Wiebe
2 Adámek, Jiří
2 Aldini, Alessandro
2 Amadio, Roberto M.
2 Antoy, Sergio
2 Autexier, Serge
2 Baeten, Jos C. M.
2 Baier, Christel
2 Benzmüller, Christoph Ewald
2 Bonsangue, Marcello Maria
2 Boy de la Tour, Thierry
2 Brookes, Stephen D.
2 Brookes, Steve
2 Busi, Nadia
2 Canal, Carlos
2 Cannata, Nicola
2 Castellani, Ilaria
2 Černá, Ivana
2 Cimatti, Alessandro
2 Coecke, Bob
2 Cousot, Patrick
2 Dahn, Ingo
2 de Boer, Frank S.
2 de Paiva, Valeria
2 Di Crescenzo, Giovanni
2 Dillhage, Ruth
2 Edalat, Abbas
2 Etalle, Sandro
2 Fajstrup, Lisbeth
2 Fernández, Maribel
2 Fiore, Marcelo P.
2 Galmiche, Didier
2 Giannini, Paola
2 Goldin, Dina Q.
2 Gulias, Victor M.
2 Harland, James A.
2 Hennessy, Matthew C. B.
2 Herlihy, Maurice P.
2 Hötzel Escardó, Martín
2 Huth, Michael R. A.
2 Kamareddine, Fairouz D.
2 Křetínský, Mojmír
2 Krivine, Jean
2 Kwiatkowska, Marta Z.
2 Lucio, Paqui
2 Luo, Maokang
...and 366 more Authors

Publications by Year

Citations contained in zbMATH Open

22 Publications have been cited 75 times in 74 Documents Cited by Year
Retracted: Semantic domains for combining probability and non-determinism. Zbl 1271.68004
Tix, Regina; Keimel, Klaus; Plotkin, Gordon D.
20
2005
Semantic domains for combining probability and non-determinism. Zbl 1271.68005
Tix, Regina; Keimel, Klaus; Plotkin, Gordon D.
16
2009
Continuous domains in logical form. Zbl 1080.03043
Kegelmann, Mathias
8
2002
Developing theories of types and computability via realizability. Zbl 0947.68049
Birkedal, Lars
7
2000
Topological dualities in semantics. Zbl 0904.68130
Bonsangue, Marcello
3
1998
IThe 2nd international workshop on rewriting logic and its applications, RWLW.. Abbaye des Prèmontrès at Pont-á-Mousson, France, September 1998. Zbl 0903.00070
Kirchner, Claude (ed.); Kirchner, Hèléne (ed.)
3
1998
Formal verification based on Boolean expression diagrams. Zbl 1266.68004
Williams, Poul Frederick
2
2001
Coalgebraic methods in computer science, CMCS ’98. Proceedings of the 1st workshop, Lisbon, Portugal, March 28–29, 1998. Zbl 0903.00067
Jacobs, Bart (ed.); Moss, Larry (ed.); Reichel, Horst (ed.); Rutten, Jan (ed.)
2
1998
Types for modules. Zbl 1266.68086
Russo, Claudio V.
1
2004
REFINE 2002. Proceedings of the BCS FACS refinement workshop (satellite event of FLoC 2002), Copenhagen, Denmark, July 20–21, 2002. Zbl 1270.68022
Derrick, John (ed.); Boiten, Eerke (ed.); Woodcock, Jim (ed.); von Wright, Joakim (ed.)
1
2002
CLIMA’2002. Computational logic in multi-agent systems (FLoC satellite event), Copenhagen, Denmark, August 1, 2002. Zbl 1270.68023
Dix, Jurgen (ed.); Leite, Joao Alexandre (ed.); Satoh, Ken (ed.)
1
2002
Selected papers from the workshops on disproving and the second international workshop on pragmatics of decision procedures (PDPAR 2004), Cork, Ireland, 2004. Zbl 1271.68015
Ahrendt, Wolfgang (ed.); Baumgartner, P. (ed.); de Nivelle, H. (ed.); Ranise, S. (ed.); Tinelli, C. (ed.)
1
2005
Proceedings of the REFINE 2005 workshop, Guildford, UK, April 2005. Zbl 1273.68027
Derrick, John (ed.); Boiten, Eerke (ed.)
1
2005
Joint COMPUGRAPH/ SEMAGRAPH workshop on Graph rewriting and computation (SEGRAGRA ’95). Selected papers from the workshop, Volterra, Italy, August 28 - September 1, 1995. Zbl 0903.00060
Corradini, Andrea (ed.); Montanari, Ugo (ed.)
1
1995
Rewriting logic and its applications. Proceedings of the 1st international workshop, Pacific Grove, CA, USA, September 3–6, 1996. Zbl 0903.00068
Meseguer, J. (ed.)
1
1996
HLCL ’98. 3rd international workshop on High-level concurrent languages. Nice, France, September 12, 1998. Zbl 0903.00063
Nestmann, Uwe (ed.); Pierce, Benjamin C. (ed.)
1
1998
Proceedings of the 1st international workshop on Symbolic model checking (SMC ’99), as part of the 2nd federated logic conference (FLoC ’99). Trento, Italy, July 6, 1999. Zbl 0920.00044
Cimatti, Alessandro (ed.); Grumberg, Orna (ed.)
1
1999
Proceedings of the 7th international workshop on parallel and distributed methods in verification (PDMC 2008), Budapest, Hungary, March 29, 2008. Zbl 1279.68009
Černá, Ivana (ed.); Lüttgen, Gerald (ed.)
1
2008
Proceedings of the 27th conference on the mathematical foundations of programming semantics (MFPS XXVII), Pittsburgh, PA, USA, May 25–28, 2011. Zbl 1281.68036
Mislove, Michael (ed.); Ouaknine, Joël (ed.)
1
2011
CMCS 2001. Proceedings of the 4th workshop on coalgebraic methods in computer science, Genova, Italy, April 6–7, 2001. Zbl 1260.68011
Corradini, Andrea (ed.); Lenisa, Marina (ed.); Montanari, Ugo (ed.)
1
2001
GETGRATS closing workshop on graph transformation systems, Bordeaux, France, June 22–23, 2001. Proceedings. Zbl 1262.68010
Bauderon, Michel (ed.); Corradini, Andrea (ed.)
1
2002
Map theory and antifoundation. (“Map theory” et antifondation.) Zbl 1109.03010
Vallée, Thierry
1
2003
Proceedings of the 27th conference on the mathematical foundations of programming semantics (MFPS XXVII), Pittsburgh, PA, USA, May 25–28, 2011. Zbl 1281.68036
Mislove, Michael; Ouaknine, Joël
1
2011
Semantic domains for combining probability and non-determinism. Zbl 1271.68005
Tix, Regina; Keimel, Klaus; Plotkin, Gordon D.
16
2009
Proceedings of the 7th international workshop on parallel and distributed methods in verification (PDMC 2008), Budapest, Hungary, March 29, 2008. Zbl 1279.68009
Černá, Ivana; Lüttgen, Gerald
1
2008
Retracted: Semantic domains for combining probability and non-determinism. Zbl 1271.68004
Tix, Regina; Keimel, Klaus; Plotkin, Gordon D.
20
2005
Selected papers from the workshops on disproving and the second international workshop on pragmatics of decision procedures (PDPAR 2004), Cork, Ireland, 2004. Zbl 1271.68015
Ahrendt, Wolfgang; Baumgartner, P.; de Nivelle, H.; Ranise, S.; Tinelli, C.
1
2005
Proceedings of the REFINE 2005 workshop, Guildford, UK, April 2005. Zbl 1273.68027
Derrick, John; Boiten, Eerke
1
2005
Types for modules. Zbl 1266.68086
Russo, Claudio V.
1
2004
Map theory and antifoundation. (“Map theory” et antifondation.) Zbl 1109.03010
Vallée, Thierry
1
2003
Continuous domains in logical form. Zbl 1080.03043
Kegelmann, Mathias
8
2002
REFINE 2002. Proceedings of the BCS FACS refinement workshop (satellite event of FLoC 2002), Copenhagen, Denmark, July 20–21, 2002. Zbl 1270.68022
Derrick, John; Boiten, Eerke; Woodcock, Jim; von Wright, Joakim
1
2002
CLIMA’2002. Computational logic in multi-agent systems (FLoC satellite event), Copenhagen, Denmark, August 1, 2002. Zbl 1270.68023
Dix, Jurgen; Leite, Joao Alexandre; Satoh, Ken
1
2002
GETGRATS closing workshop on graph transformation systems, Bordeaux, France, June 22–23, 2001. Proceedings. Zbl 1262.68010
Bauderon, Michel; Corradini, Andrea
1
2002
Formal verification based on Boolean expression diagrams. Zbl 1266.68004
Williams, Poul Frederick
2
2001
CMCS 2001. Proceedings of the 4th workshop on coalgebraic methods in computer science, Genova, Italy, April 6–7, 2001. Zbl 1260.68011
Corradini, Andrea; Lenisa, Marina; Montanari, Ugo
1
2001
Developing theories of types and computability via realizability. Zbl 0947.68049
Birkedal, Lars
7
2000
Proceedings of the 1st international workshop on Symbolic model checking (SMC ’99), as part of the 2nd federated logic conference (FLoC ’99). Trento, Italy, July 6, 1999. Zbl 0920.00044
Cimatti, Alessandro; Grumberg, Orna
1
1999
Topological dualities in semantics. Zbl 0904.68130
Bonsangue, Marcello
3
1998
IThe 2nd international workshop on rewriting logic and its applications, RWLW.. Abbaye des Prèmontrès at Pont-á-Mousson, France, September 1998. Zbl 0903.00070
Kirchner, Claude; Kirchner, Hèléne
3
1998
Coalgebraic methods in computer science, CMCS ’98. Proceedings of the 1st workshop, Lisbon, Portugal, March 28–29, 1998. Zbl 0903.00067
Jacobs, Bart; Moss, Larry; Reichel, Horst; Rutten, Jan
2
1998
HLCL ’98. 3rd international workshop on High-level concurrent languages. Nice, France, September 12, 1998. Zbl 0903.00063
Nestmann, Uwe; Pierce, Benjamin C.
1
1998
Rewriting logic and its applications. Proceedings of the 1st international workshop, Pacific Grove, CA, USA, September 3–6, 1996. Zbl 0903.00068
Meseguer, J.
1
1996
Joint COMPUGRAPH/ SEMAGRAPH workshop on Graph rewriting and computation (SEGRAGRA ’95). Selected papers from the workshop, Volterra, Italy, August 28 - September 1, 1995. Zbl 0903.00060
Corradini, Andrea; Montanari, Ugo
1
1995
all top 5

Cited by 111 Authors

4 Goubault-Larrecq, Jean
4 Jung, Achim
4 Keimel, Klaus
3 Bauer, Andrej
3 Jacobs, Bart
3 Plotkin, Gordon D.
2 Abadi, Martín
2 Battenfeld, Ingo
2 Birkedal, Lars
2 Chen, Yixiang
2 Corradini, Andrea
2 Durán, Francisco
2 Eker, Steven
2 Escobar, Santiago
2 Hasuo, Ichiro
2 Hyland, J. Martin E.
2 Khanjanzadeh, Zeinab
2 Madanshekaf, Ali
2 Martí-Oliet, Narciso
2 Mislove, Michael W.
2 Moshier, M. Andrew
2 Planul, Jérémy
2 Power, John
2 Rutten, Jan J. M. M.
2 Talcott, Carolyn L.
2 Wu, Hengyang
1 Abbes, Samy
1 Adams, Robin
1 Alvarez-Manilla, Mauricio
1 Amandi, Analía
1 Awodey, Steve
1 Barker, Tyler
1 Beaulieu, Guy
1 Benveniste, Albert
1 Berline, Chantal
1 Bryant, Randal E.
1 Campo, Marcelo R.
1 Chadha, Rohit
1 Clavel, Manuel
1 Cockett, J. Robin B.
1 Cockett, Robin
1 Cruz-Filipe, Luís
1 de Vink, Erik P.
1 Deng, Yuxin
1 Deutsch, Moshe
1 Ehrhard, Thomas
1 Emerson, Ernest Allen
1 Foster, Nate
1 Gallagher, Jonathan
1 Große-Rhode, Martin
1 Grue, Klaus E.
1 Hassanzadeh, Ali
1 Heckel, Reiko
1 Hennessy, Matthew C. B.
1 Henson, Martin C.
1 Hofmann, Dirk
1 Hofmann, Karl Heinrich
1 Hofstra, Pieter J. W.
1 Hötzel Escardó, Martín
1 Hughes, Jesse
1 Kawabe, Yoshinobu
1 Kegelmann, Mathias
1 Kiselyov, Oleg
1 Kou, Hui
1 Kozen, Dexter C.
1 Kurz, Alexander
1 Lawson, Jimmie Don
1 Lincoln, Patrick D.
1 Lyu, Zhenchao
1 Mamouras, Konstantinos
1 Maruyama, Yoshihiro
1 Mateus, Paulo C.
1 Meseguer Guaita, José
1 Moghbeli-Damaneh, Halimeh
1 Morgan, Carroll C.
1 Morris, Joseph M.
1 Nipkow, Tobias
1 Nora, Pedro
1 Paulson, Lawrence Charles
1 Rabehaja, Tahiry M.
1 Reeves, Steve
1 Reitblatt, Mark
1 Rensink, Arend
1 Ringeissen, Christophe
1 Rosenbusch, Artus Ph.
1 Rubio, Rubén
1 Sadeqi, Ildar
1 Sakurada, Hideki
1 Scott, Dana Stewart
1 Sernadas, Amilcar C.
1 Shan, Chung-chieh
1 Shen, Yuping
1 Silva, Alexandra
1 Streader, David
1 Streicher, Thomas
1 Tasson, Christine
1 Tyrrell, Malcolm
1 van den Brand, Mark G. J.
1 van Glabbeek, Robert Jan
1 van Gool, Samuel Jacob
...and 11 more Authors

Citations by Year