×

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; No longer indexed; This journal is available open access. This journal is published electronic only.
Documents Indexed: 339 Publications (1995–2020)
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
3 Wooldridge, Michael J.
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 Kurz, Alexander
2 Kwiatkowska, Marta Z.
...and 365 more Authors

Publications by Year

Citations contained in zbMATH Open

22 Publications have been cited 79 times in 78 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.
20
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
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
2
1998
CMCS 2001. Proceedings of the 4th workshop on coalgebraic methods in computer science, Genova, Italy, April 6–7, 2001. Zbl 1260.68011
1
2001
GETGRATS closing workshop on graph transformation systems, Bordeaux, France, June 22–23, 2001. Proceedings. Zbl 1262.68010
1
2002
Types for modules. Zbl 1266.68086
Russo, Claudio V.
1
2004
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
1
1995
Rewriting logic and its applications. Proceedings of the 1st international workshop, Pacific Grove, CA, USA, September 3–6, 1996. Zbl 0903.00068
1
1996
HLCL ’98. 3rd international workshop on High-level concurrent languages. Nice, France, September 12, 1998. Zbl 0903.00063
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
1
1999
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
1
2005
Map theory and antifoundation. (“Map theory” et antifondation.) Zbl 1109.03010
Vallée, Thierry
1
2003
REFINE 2002. Proceedings of the BCS FACS refinement workshop (satellite event of FLoC 2002), Copenhagen, Denmark, July 20–21, 2002. Zbl 1270.68022
1
2002
CLIMA’2002. Computational logic in multi-agent systems (FLoC satellite event), Copenhagen, Denmark, August 1, 2002. Zbl 1270.68023
1
2002
Proceedings of the 7th international workshop on parallel and distributed methods in verification (PDMC 2008), Budapest, Hungary, March 29, 2008. Zbl 1279.68009
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
1
2011
Proceedings of the REFINE 2005 workshop, Guildford, UK, April 2005. Zbl 1273.68027
1
2005
Proceedings of the 27th conference on the mathematical foundations of programming semantics (MFPS XXVII), Pittsburgh, PA, USA, May 25–28, 2011. Zbl 1281.68036
1
2011
Semantic domains for combining probability and non-determinism. Zbl 1271.68005
Tix, Regina; Keimel, Klaus; Plotkin, Gordon D.
20
2009
Proceedings of the 7th international workshop on parallel and distributed methods in verification (PDMC 2008), Budapest, Hungary, March 29, 2008. Zbl 1279.68009
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
1
2005
Proceedings of the REFINE 2005 workshop, Guildford, UK, April 2005. Zbl 1273.68027
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
GETGRATS closing workshop on graph transformation systems, Bordeaux, France, June 22–23, 2001. Proceedings. Zbl 1262.68010
1
2002
REFINE 2002. Proceedings of the BCS FACS refinement workshop (satellite event of FLoC 2002), Copenhagen, Denmark, July 20–21, 2002. Zbl 1270.68022
1
2002
CLIMA’2002. Computational logic in multi-agent systems (FLoC satellite event), Copenhagen, Denmark, August 1, 2002. Zbl 1270.68023
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
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
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
3
1998
Coalgebraic methods in computer science, CMCS ’98. Proceedings of the 1st workshop, Lisbon, Portugal, March 28–29, 1998. Zbl 0903.00067
2
1998
HLCL ’98. 3rd international workshop on High-level concurrent languages. Nice, France, September 12, 1998. Zbl 0903.00063
1
1998
Rewriting logic and its applications. Proceedings of the 1st international workshop, Pacific Grove, CA, USA, September 3–6, 1996. Zbl 0903.00068
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
1
1995
all top 5

Cited by 122 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 Affeldt, Reynald
1 Alvarez-Manilla, Mauricio
1 Amandi, Analía
1 Awodey, Steve
1 Barker, Tyler
1 Beaulieu, Guy
1 Benveniste, Albert
1 Berline, Chantal
1 Bonchi, Filippo
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 Garrigue, Jacques
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 Hoffmann, Jan-Philipp
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 Lopez, Aliaume
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 Nowak, David E.
1 Paulson, Lawrence Charles
1 Rabehaja, Tahiry M.
1 Reeves, Steve
1 Reitblatt, Mark
1 Rensink, Arend
1 Reps, Thomas W.
1 Ringeissen, Christophe
1 Rosenbusch, Artus Ph.
1 Rubio, Rubén
1 Sadeqi, Ildar
1 Saikawa, Takafumi
1 Sakurada, Hideki
1 Scott, Dana Stewart
1 Sernadas, Amilcar C.
1 Shan, Chung-chieh
1 Shen, Yuping
...and 22 more Authors

Citations by Year