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 Latest Volumes 354 (2020) 352 (2020) 351 (2000) 350 (2020) 348 (2020) 347 (2019) 346 (2019) 345 (2019) 344 (2019) 341 (2018) 338 (2018) 336 (2018) 335 (2018) 334 (2018) 333 (2017) 332 (2017) 331 (2017) 328 (2016) 326 (2016) 325 (2016) 324 (2016) 323 (2016) 322 (2016) 319 (2015) 317 (2015) 316 (2015) 315 (2014) 313 (2014) 312 (2015) 309 (2014) 308 (2014) 307 (2014) 306 (2014) 305 (2014) 303 (2014) 301 (2014) 300 (2014) 299 (2013) 298 (2013) 297 (2013) 293 (2013) 290 (2012) 288 (2012) 287 (2012) 286 (2012) 285 (2012) 284 (2012) 283 (2012) 282 (2012) 278 (2011) 277 (2011) 276 (2011) 273 (2011) 272 (2011) 271 (2011) 270, No. 2 (2011) 270, No. 1 (2011) 269 (2011) 268 (2010) 267, No. 1 (2010) 265 (2010) 264, No. 2 (2010) 262 (2010) 259 (2009) 258, No. 2 (2009) 258, No. 1 (2009) 257 (2009) 256 (2009) 255 (2009) 253, No. 4 (2009) 252 (2009) 251 (2009) 250, No. 2 (2009) 250, No. 1 (2009) 249 (2009) 248 (2009) 247 (2009) 246 (2009) 242, No. 3 (2009) 242, No. 1 (2009) 240 (2009) 239 (2009) 238, No. 3 (2009) 237 (2009) 231 (2009) 230 (2009) 229, No. 5 (2011) 229, No. 3 (2009) 229, No. 2 (2009) 229, No. 1 (2009) 228 (2009) 227 (2009) 226 (2009) 225 (2009) 223 (2008) 222 (2009) 221 (2008) 220, No. 4 (2009) 220, No. 3 (2008) 220, No. 2 (2008) ...and 237 more Volumes 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 all top 5 Fields 330 General and overarching topics; collections (00-XX) 318 Computer science (68-XX) 54 Mathematical logic and foundations (03-XX) 14 Biology and other natural sciences (92-XX) 9 Information and communication theory, circuits (94-XX) 5 Order, lattices, ordered algebraic structures (06-XX) 5 Category theory; homological algebra (18-XX) 4 Combinatorics (05-XX) 4 Quantum theory (81-XX) 2 Numerical analysis (65-XX) 2 Operations research, mathematical programming (90-XX) 2 Systems theory; control (93-XX) 1 General algebraic systems (08-XX) 1 General topology (54-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 22 Publications have been cited 77 times in 76 Documents Cited by ▼ Year ▼ Retracted: Semantic domains for combining probability and non-determinism. Zbl 1271.68004Tix, Regina; Keimel, Klaus; Plotkin, Gordon D. 20 2005 Semantic domains for combining probability and non-determinism. Zbl 1271.68005Tix, Regina; Keimel, Klaus; Plotkin, Gordon D. 18 2009 Continuous domains in logical form. Zbl 1080.03043Kegelmann, Mathias 8 2002 Developing theories of types and computability via realizability. Zbl 0947.68049Birkedal, Lars 7 2000 Topological dualities in semantics. Zbl 0904.68130Bonsangue, 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.68004Williams, 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 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 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 Map theory and antifoundation. (“Map theory” et antifondation.) Zbl 1109.03010Vallée, Thierry 1 2003 Types for modules. Zbl 1266.68086Russo, 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 1 2002 CLIMA’2002. Computational logic in multi-agent systems (FLoC satellite event), Copenhagen, Denmark, August 1, 2002. Zbl 1270.68023 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 1 2005 Proceedings of the REFINE 2005 workshop, Guildford, UK, April 2005. Zbl 1273.68027 1 2005 GETGRATS closing workshop on graph transformation systems, Bordeaux, France, June 22–23, 2001. Proceedings. Zbl 1262.68010 1 2002 CMCS 2001. Proceedings of the 4th workshop on coalgebraic methods in computer science, Genova, Italy, April 6–7, 2001. Zbl 1260.68011 1 2001 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 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 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.68005Tix, Regina; Keimel, Klaus; Plotkin, Gordon D. 18 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.68004Tix, 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.68086Russo, Claudio V. 1 2004 Map theory and antifoundation. (“Map theory” et antifondation.) Zbl 1109.03010Vallée, Thierry 1 2003 Continuous domains in logical form. Zbl 1080.03043Kegelmann, 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 1 2002 CLIMA’2002. Computational logic in multi-agent systems (FLoC satellite event), Copenhagen, Denmark, August 1, 2002. Zbl 1270.68023 1 2002 GETGRATS closing workshop on graph transformation systems, Bordeaux, France, June 22–23, 2001. Proceedings. Zbl 1262.68010 1 2002 Formal verification based on Boolean expression diagrams. Zbl 1266.68004Williams, 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.68049Birkedal, 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.68130Bonsangue, 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 cited Publications top 5 cited Publications all top 5 Cited by 117 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 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 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 1 Silva, Alexandra 1 Streader, David ...and 17 more Authors all top 5 Cited in 25 Journals 15 Theoretical Computer Science 4 MSCS. Mathematical Structures in Computer Science 4 Journal of Logical and Algebraic Methods in Programming 3 Topology and its Applications 3 Formal Aspects of Computing 2 Annals of Pure and Applied Logic 2 Journal of Functional Programming 1 Acta Informatica 1 Communications in Algebra 1 Algebra Universalis 1 Fuzzy Sets and Systems 1 Information Sciences 1 Journal of Pure and Applied Algebra 1 Semigroup Forum 1 Bulletin of the Iranian Mathematical Society 1 Journal of Symbolic Computation 1 Information and Computation 1 Archive for Mathematical Logic 1 Computer Languages, Systems & Structures 1 Electronic Notes in Theoretical Computer Science 1 Logical Methods in Computer Science 1 Science China. Information Sciences 1 Sahand Communications in Mathematical Analysis 1 Minimax Theory and its Applications 1 Categories and General Algebraic Structures with Applications all top 5 Cited in 16 Fields 58 Computer science (68-XX) 20 Category theory; homological algebra (18-XX) 19 Mathematical logic and foundations (03-XX) 16 Order, lattices, ordered algebraic structures (06-XX) 7 General topology (54-XX) 3 Group theory and generalizations (20-XX) 2 History and biography (01-XX) 2 Functional analysis (46-XX) 1 General and overarching topics; collections (00-XX) 1 General algebraic systems (08-XX) 1 Topological groups, Lie groups (22-XX) 1 Operator theory (47-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Convex and discrete geometry (52-XX) 1 Probability theory and stochastic processes (60-XX) 1 Statistics (62-XX) Citations by Year