Computer Languages, Systems & StructuresAn International Journal Short Title: Comput. Lang. Syst. Struct. Publisher: Elsevier (Pergamon), Oxford ISSN: 1477-8424 Online: https://www.sciencedirect.com/journal/computer-languages-systems-and-structures/issues Predecessor: Computer Languages Comments: No longer indexed Documents Indexed: 109 Publications (2002–2017) References Indexed: 105 Publications with 3,094 References. all top 5 Latest Issues 47, Part 1 (2017) 46 (2016) 44, Part C (2015) 44, Part B (2015) 44, Part A (2015) 43 (2015) 42 (2015) 41 (2015) 40, No. 3-4 (2014) 39, No. 4 (2013) 39, No. 3 (2013) 39, No. 2 (2013) 39, No. 1 (2013) 38, No. 3 (2012) 38, No. 2 (2012) 37, No. 3 (2011) 37, No. 2 (2011) 37, No. 1 (2011) 36, No. 4 (2010) 36, No. 3 (2010) 36, No. 1 (2010) 35, No. 4 (2009) 35, No. 3 (2009) 35, No. 2 (2009) 34, No. 1 (2008) 33, No. 3-4 (2007) 33, No. 2 (2007) 33, No. 1 (2007) 32, No. 4 (2006) 32, No. 2-3 (2006) 32, No. 1 (2006) 31, No. 3-4 (2005) 31, No. 2 (2005) 31, No. 1 (2005) 30, No. 3-4 (2004) 30, No. 1-2 (2004) 29, No. 3 (2003) 29, No. 1-2 (2003) 28, No. 4 (2002) 28, No. 3 (2002) 28, No. 2 (2002) 28, No. 1 (2002) all top 5 Authors 6 Cortesi, Agostino 5 Ducasse, Stéphane 5 Wuyts, Roel 3 Focardi, Riccardo 2 Bergel, Alexandre 2 Braghin, Chiara 2 Brandner, Florian 2 Campo, Marcelo R. 2 Chan, Jien-Tsai 2 Cheng, Chuntian 2 Fallah, Mehran S. 2 Lusth, John C. 2 Nigam, Vivek 2 Olsson, Ronald A. 2 Piazza, Carla 2 Scedrov, Andre 2 Schärli, Nathanael 2 Shang, Weijia 2 Yang, Wuu 2 Zunino, Alejandro 1 Adjé, Assalé 1 Agrawal, Vikram 1 Aldinucci, Marco 1 Amandi, Analía 1 Amir-Mohammadian, Sepehr 1 Amtoft, Torben 1 Andronikos, Theodore 1 Arusoaie, Andrei 1 Axelsson, Emil 1 Ban Kirigin, Tajana 1 Barbosa, Luís Soares 1 Barthe, Gilles 1 Basu, Amitabh 1 Baumgartner, Gerald 1 Benson, Gregory D. 1 Beringer, Lennart 1 Besova, Galina 1 Bigonha, Roberto S. 1 Black, Andrew Philip 1 Bossi, Annalisa 1 Bouraqadi, Noury 1 Bourbakis, Nikolaos G. 1 Bowman, Richard Sean 1 Brusò, Mayla 1 Bryant, Barrett R. 1 Bugliesi, Michele 1 Campos, Alvaro E. 1 Castagna, Giuseppe 1 Chang, Morris 1 Chau, Ki Wai 1 Cheatham, Michelle 1 Chen, Jim X. 1 Clark, David 1 Clarke, Dave 1 Cleereman, Kevin 1 Cociorva, Daniel 1 Cockshott, Paul 1 Colombet, Quentin 1 Combemale, Benoit 1 Costantini, Giulia 1 Dabrowski, Frédéric 1 Dal Palù, Alessandro 1 Dan, Andrei Marian 1 Danelutto, Marco 1 De Lamadrid, James Gil 1 de Oliveira Guimarães, José 1 Della Penna, Giuseppe 1 Demaid, A. 1 Denker, Marcus 1 Dhamdhere, Dhananjay M. 1 D’Hondt, Maja 1 Di Cosmo, Roberto 1 Di Iorio, Vladimir O. 1 Dimopoulos, Alexandros C. 1 Dong, Zegang 1 Dovier, Agostino 1 D’Souza, Deepak 1 Ellmenreich, Nils 1 Ferrara, Pietro 1 Fodor, Eugene F. 1 Fruja, Nicu G. 1 G. Gupta, Gopal 1 Gallagher, John P. 1 Garoche, Pierre-Loïc 1 Gautier, Thierry 1 Ge, Tingjian 1 Ghorbal, Khalil 1 Goutis, Costas E. 1 Grabowski, Robert 1 Gybels, Kris 1 H.-F. Guo, Hai-Feng 1 Hains, Gaétan 1 Halder, Raju 1 Hamidi, Hamid-Reza 1 Hanenberg, Stefan 1 Hankin, Chris L. 1 Haraburda, David 1 Hedin, Görel 1 Hennessy, Matthew C. B. 1 Heo, Kihong ...and 128 more Authors Fields 109 Computer science (68-XX) 5 General and overarching topics; collections (00-XX) 5 Mathematical logic and foundations (03-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 54 Publications have been cited 128 times in 115 Documents Cited by ▼ Year ▼ Model checking and abstraction to the aid of parameterized systems (a survey). Zbl 1072.68069Zuck, Lenore; Pnueli, Amir 10 2004 Verifying persistent security properties. Zbl 1072.68065Bossi, Annalisa; Focardi, Riccardo; Piazza, Carla; Rossi, Sabina 9 2004 Flexary connectives in Mizar. Zbl 1387.68207Korniłowicz, Artur 7 2015 Effective abstractions for verification under relaxed memory models. Zbl 1379.68237Dan, Andrei; Meshman, Yuri; Vechev, Martin; Yahav, Eran 5 2017 Behavioural typing for safe ambients. Zbl 1028.68005Bugliesi, Michele; Castagna, Giuseppe 5 2002 Widening and narrowing operators for abstract interpretation. Zbl 1218.68100Cortesi, Agostino; Zanioli, Matteo 5 2011 First-order reasoning for higher-order concurrency. Zbl 1248.68355Koutavas, Vasileios; Hennessy, Matthew 5 2012 Horn clause verification with convex polyhedral abstraction and tree automata-based refinement. Zbl 1379.68239Kafle, Bishoksan; Gallagher, John P. 4 2017 A hierarchy of proof rules for checking positive invariance of algebraic and semi-algebraic sets. Zbl 1379.68238Ghorbal, Khalil; Sogokon, Andrew; Platzer, André 4 2017 Class invariants as abstract interpretation of trace semantics. Zbl 1387.68052Logozzo, Francesco 4 2009 Information flow for Algol-like languages. Zbl 1027.68021Clark, David; Hankin, Chris; Hunt, Sebastian 4 2002 Symbolic execution based on language transformation. Zbl 1387.68047Arusoaie, Andrei; Lucanu, Dorel; Rusu, Vlad 3 2015 Security boundaries in mobile ambients. Zbl 1028.68004Braghin, Chiara; Cortesi, Agostino; Focardi, Riccardo 3 2002 Memory-optimal evaluation of expression trees involving large objects. Zbl 1218.68072Lam, Chi-Chung; Rauber, Thomas; Baumgartner, Gerald; Cociorva, Daniel; Sadayappan, P. 3 2011 Reasoning about layered message passing systems. Zbl 1072.68067Meenakshi, B.; Ramanujam, R. 3 2004 Unanticipated integration of development tools using the classification model. Zbl 1091.68014Wuyts, Roel; Ducasse, Stéphane 3 2004 Security types preserving compilation. Zbl 1109.68025Barthe, Gilles; Rezk, Tamara; Basu, Amitabh 3 2007 A methodology for speeding up loop kernels by exploiting the software information and the memory architecture. Zbl 1387.68065Kelefouras, Vasilios; Kritikakou, Angeliki; Goutis, Costas 2 2015 Intra- and interdiagram consistency checking of behavioral multiview models. Zbl 1387.68051Kaufmann, Petra; Kronegger, Martin; Pfandler, Andreas; Seidl, Martina; Widl, Magdalena 2 2015 Applying model-checking to solve queries on semistructured data. Zbl 1387.68104Dovier, A.; Quintarelli, E. 2 2009 Towards proving type safety of \(\mathrm{C}^{\#}\). Zbl 1387.68049Fruja, Nicu G. 2 2010 Orderly communication in the ambient calculus. Zbl 1051.68029Amtoft, Torben; Kfoury, Assaf J.; Pericas-Geertsen, Santiago M. 2 2002 A study of dynamic memory management in C++ programs. Zbl 1038.68015Lee, Woo Hyong; Chang, Morris 2 2002 Nesting analysis of mobile ambients. Zbl 1072.68066Braghin, Chiara; Cortesi, Agostino; Focardi, Riccardo; Luccio, Flaminia L.; Piazza, Carla 2 2004 Bounded memory protocols. Zbl 1308.68055Kanovich, Max; Kirigin, Tajana Ban; Nigam, Vivek; Scedrov, Andre 2 2014 Maintaining distributed logic programs incrementally. Zbl 1248.68129Nigam, Vivek; Jia, Limin; Loo, Boon Thau; Scedrov, Andre 2 2012 Program equivalence in a simple language with state. Zbl 1248.68155Tzevelekos, Nikos 2 2012 Inference of ranking functions for proving temporal properties by abstract interpretation. Zbl 1379.68101Urban, Caterina; Miné, Antoine 1 2017 An array content static analysis based on non-contiguous partitions. Zbl 1379.68096Liu, Jiangchao; Rival, Xavier 1 2017 A formal semantics of nested atomic sections with thread escape. Zbl 1387.68048Dabrowski, Frédéric; Loulergue, Frédéric; Pinsard, Thomas 1 2015 Fully abstract trace semantics for protected module architectures. Zbl 1387.68054Patrignani, Marco; Clarke, Dave 1 2015 On the verification of architectural reconfigurations. Zbl 1387.68071Sanchez, Alejandro; Madeira, Alexandre; Barbosa, Luís S. 1 2015 Compiling and verifying SC-SystemJ programs for safety-critical reactive systems. Zbl 1387.68053Park, Heejong; Malik, Avinash; Salcic, Zoran 1 2015 Specification and static enforcement of scheduler-independent noninterference in a middleweight Java. Zbl 1387.68050Iranmanesh, Zeinab; Fallah, Mehran S. 1 2016 Efficient determinization of visibly and height-deterministic pushdown automata. Zbl 1387.68160Polách, Radomír; Trávníček, Jan; Janoušek, Jan; Melichar, Bořivoj 1 2016 Dynamic reordering of alternatives for definite logic programs. Zbl 1387.68058H.-F. Guo, Hai-Feng; G. Gupta, Gopal 1 2009 A monotone framework for CCS. Zbl 1387.68172Nielson, Hanne Riis; Nielson, Flemming 1 2009 Utility-driven solution for optimal resource allocation in computational grid. Zbl 1387.68045Li, Zhi-Jie; Cheng, Chun-Tian; Huang, Fei-Xue 1 2009 The dependence condition graph: precise conditions for dependence between program points. Zbl 1387.68073Sukumaran, Srihari; Sreenivas, Ashok; Metta, Ravindra 1 2010 Incremental programming language development. Zbl 1101.68632Mernik, Marjan; Žumer, Viljem 1 2005 JavaLog: a framework-based integration of Java and Prolog for agent-oriented programming. Zbl 1079.68519Amandi, Analía; Campo, Marcelo; Zunino, Alejandro 1 2005 Classboxes: controlling visibility of class extensions. Zbl 1101.68441Bergel, Alexandre; Ducasse, Stéphane; Nierstrasz, Oscar; Wuyts, Roel 1 2005 Unified selection from lists, arrays, and objects. Zbl 1038.68016Lusth, John C. 1 2002 Logic programs as compact denotations. Zbl 1059.68018Hill, Patricia M.; Spoto, Fausto 1 2003 Safe metaclass composition using mixin-based inheritance. Zbl 1072.68518Bouraqadi, Noury 1 2004 Refinement of worst-case execution time bounds by graph pruning. Zbl 1308.68024Brandner, Florian; Jordan, Alexander 1 2014 Binary trees as a computational framework. Zbl 1296.68028Haraburda, David; Tarau, Paul 1 2013 Inter-language reflection: a conceptual model and its implementation. Zbl 1103.68465Gybels, Kris; Wuyts, Roel; Ducasse, Stéphane; D’Hondt, Maja 1 2006 Runtime bytecode transformation for Smalltalk. Zbl 1102.68435Denker, Marcus; Ducasse, Stéphane; Tanter, Éric 1 2006 Co-evolving code and design with intensional views: a case study. Zbl 1102.68449Mens, Kim; Kellens, Andy; Pluquet, Frédéric; Wuyts, Roel 1 2006 Parallel resource co-allocation for the computational grid. Zbl 1103.68338Li, Hui-Xian; Cheng, Chun-Tian; Chau, K. W. 1 2007 Extending movilog for supporting web services. Zbl 1103.68344Mateos, Cristian; Zunino, Alejandro; Campo, Marcelo 1 2007 A calculus for parallel computations over multidimensional dense arrays. Zbl 1112.68058Di Cosmo, Roberto; Li, Zheng; Pelagatti, Susanna 1 2007 A bulk-synchronous parallel process algebra. Zbl 1112.68105Merlin, Armelle; Hains, Gaétan 1 2007 Effective abstractions for verification under relaxed memory models. Zbl 1379.68237Dan, Andrei; Meshman, Yuri; Vechev, Martin; Yahav, Eran 5 2017 Horn clause verification with convex polyhedral abstraction and tree automata-based refinement. Zbl 1379.68239Kafle, Bishoksan; Gallagher, John P. 4 2017 A hierarchy of proof rules for checking positive invariance of algebraic and semi-algebraic sets. Zbl 1379.68238Ghorbal, Khalil; Sogokon, Andrew; Platzer, André 4 2017 Inference of ranking functions for proving temporal properties by abstract interpretation. Zbl 1379.68101Urban, Caterina; Miné, Antoine 1 2017 An array content static analysis based on non-contiguous partitions. Zbl 1379.68096Liu, Jiangchao; Rival, Xavier 1 2017 Specification and static enforcement of scheduler-independent noninterference in a middleweight Java. Zbl 1387.68050Iranmanesh, Zeinab; Fallah, Mehran S. 1 2016 Efficient determinization of visibly and height-deterministic pushdown automata. Zbl 1387.68160Polách, Radomír; Trávníček, Jan; Janoušek, Jan; Melichar, Bořivoj 1 2016 Flexary connectives in Mizar. Zbl 1387.68207Korniłowicz, Artur 7 2015 Symbolic execution based on language transformation. Zbl 1387.68047Arusoaie, Andrei; Lucanu, Dorel; Rusu, Vlad 3 2015 A methodology for speeding up loop kernels by exploiting the software information and the memory architecture. Zbl 1387.68065Kelefouras, Vasilios; Kritikakou, Angeliki; Goutis, Costas 2 2015 Intra- and interdiagram consistency checking of behavioral multiview models. Zbl 1387.68051Kaufmann, Petra; Kronegger, Martin; Pfandler, Andreas; Seidl, Martina; Widl, Magdalena 2 2015 A formal semantics of nested atomic sections with thread escape. Zbl 1387.68048Dabrowski, Frédéric; Loulergue, Frédéric; Pinsard, Thomas 1 2015 Fully abstract trace semantics for protected module architectures. Zbl 1387.68054Patrignani, Marco; Clarke, Dave 1 2015 On the verification of architectural reconfigurations. Zbl 1387.68071Sanchez, Alejandro; Madeira, Alexandre; Barbosa, Luís S. 1 2015 Compiling and verifying SC-SystemJ programs for safety-critical reactive systems. Zbl 1387.68053Park, Heejong; Malik, Avinash; Salcic, Zoran 1 2015 Bounded memory protocols. Zbl 1308.68055Kanovich, Max; Kirigin, Tajana Ban; Nigam, Vivek; Scedrov, Andre 2 2014 Refinement of worst-case execution time bounds by graph pruning. Zbl 1308.68024Brandner, Florian; Jordan, Alexander 1 2014 Binary trees as a computational framework. Zbl 1296.68028Haraburda, David; Tarau, Paul 1 2013 First-order reasoning for higher-order concurrency. Zbl 1248.68355Koutavas, Vasileios; Hennessy, Matthew 5 2012 Maintaining distributed logic programs incrementally. Zbl 1248.68129Nigam, Vivek; Jia, Limin; Loo, Boon Thau; Scedrov, Andre 2 2012 Program equivalence in a simple language with state. Zbl 1248.68155Tzevelekos, Nikos 2 2012 Widening and narrowing operators for abstract interpretation. Zbl 1218.68100Cortesi, Agostino; Zanioli, Matteo 5 2011 Memory-optimal evaluation of expression trees involving large objects. Zbl 1218.68072Lam, Chi-Chung; Rauber, Thomas; Baumgartner, Gerald; Cociorva, Daniel; Sadayappan, P. 3 2011 Towards proving type safety of \(\mathrm{C}^{\#}\). Zbl 1387.68049Fruja, Nicu G. 2 2010 The dependence condition graph: precise conditions for dependence between program points. Zbl 1387.68073Sukumaran, Srihari; Sreenivas, Ashok; Metta, Ravindra 1 2010 Class invariants as abstract interpretation of trace semantics. Zbl 1387.68052Logozzo, Francesco 4 2009 Applying model-checking to solve queries on semistructured data. Zbl 1387.68104Dovier, A.; Quintarelli, E. 2 2009 Dynamic reordering of alternatives for definite logic programs. Zbl 1387.68058H.-F. Guo, Hai-Feng; G. Gupta, Gopal 1 2009 A monotone framework for CCS. Zbl 1387.68172Nielson, Hanne Riis; Nielson, Flemming 1 2009 Utility-driven solution for optimal resource allocation in computational grid. Zbl 1387.68045Li, Zhi-Jie; Cheng, Chun-Tian; Huang, Fei-Xue 1 2009 Security types preserving compilation. Zbl 1109.68025Barthe, Gilles; Rezk, Tamara; Basu, Amitabh 3 2007 Parallel resource co-allocation for the computational grid. Zbl 1103.68338Li, Hui-Xian; Cheng, Chun-Tian; Chau, K. W. 1 2007 Extending movilog for supporting web services. Zbl 1103.68344Mateos, Cristian; Zunino, Alejandro; Campo, Marcelo 1 2007 A calculus for parallel computations over multidimensional dense arrays. Zbl 1112.68058Di Cosmo, Roberto; Li, Zheng; Pelagatti, Susanna 1 2007 A bulk-synchronous parallel process algebra. Zbl 1112.68105Merlin, Armelle; Hains, Gaétan 1 2007 Inter-language reflection: a conceptual model and its implementation. Zbl 1103.68465Gybels, Kris; Wuyts, Roel; Ducasse, Stéphane; D’Hondt, Maja 1 2006 Runtime bytecode transformation for Smalltalk. Zbl 1102.68435Denker, Marcus; Ducasse, Stéphane; Tanter, Éric 1 2006 Co-evolving code and design with intensional views: a case study. Zbl 1102.68449Mens, Kim; Kellens, Andy; Pluquet, Frédéric; Wuyts, Roel 1 2006 Incremental programming language development. Zbl 1101.68632Mernik, Marjan; Žumer, Viljem 1 2005 JavaLog: a framework-based integration of Java and Prolog for agent-oriented programming. Zbl 1079.68519Amandi, Analía; Campo, Marcelo; Zunino, Alejandro 1 2005 Classboxes: controlling visibility of class extensions. Zbl 1101.68441Bergel, Alexandre; Ducasse, Stéphane; Nierstrasz, Oscar; Wuyts, Roel 1 2005 Model checking and abstraction to the aid of parameterized systems (a survey). Zbl 1072.68069Zuck, Lenore; Pnueli, Amir 10 2004 Verifying persistent security properties. Zbl 1072.68065Bossi, Annalisa; Focardi, Riccardo; Piazza, Carla; Rossi, Sabina 9 2004 Reasoning about layered message passing systems. Zbl 1072.68067Meenakshi, B.; Ramanujam, R. 3 2004 Unanticipated integration of development tools using the classification model. Zbl 1091.68014Wuyts, Roel; Ducasse, Stéphane 3 2004 Nesting analysis of mobile ambients. Zbl 1072.68066Braghin, Chiara; Cortesi, Agostino; Focardi, Riccardo; Luccio, Flaminia L.; Piazza, Carla 2 2004 Safe metaclass composition using mixin-based inheritance. Zbl 1072.68518Bouraqadi, Noury 1 2004 Logic programs as compact denotations. Zbl 1059.68018Hill, Patricia M.; Spoto, Fausto 1 2003 Behavioural typing for safe ambients. Zbl 1028.68005Bugliesi, Michele; Castagna, Giuseppe 5 2002 Information flow for Algol-like languages. Zbl 1027.68021Clark, David; Hankin, Chris; Hunt, Sebastian 4 2002 Security boundaries in mobile ambients. Zbl 1028.68004Braghin, Chiara; Cortesi, Agostino; Focardi, Riccardo 3 2002 Orderly communication in the ambient calculus. Zbl 1051.68029Amtoft, Torben; Kfoury, Assaf J.; Pericas-Geertsen, Santiago M. 2 2002 A study of dynamic memory management in C++ programs. Zbl 1038.68015Lee, Woo Hyong; Chang, Morris 2 2002 Unified selection from lists, arrays, and objects. Zbl 1038.68016Lusth, John C. 1 2002 all cited Publications top 5 cited Publications all top 5 Cited by 262 Authors 6 Cortesi, Agostino 4 Bouajjani, Ahmed 4 Korniłowicz, Artur 4 Pérez, Jorge A. 4 Piazza, Carla 4 Rossi, Sabina 3 Beillahi, Sidi Mohamed 3 Bergel, Alexandre 3 Braghin, Chiara 3 Castellani, Ilaria 3 Dezani-Ciancaglini, Mariangiola 3 Enea, Constantin 3 Ferrara, Pietro 3 Focardi, Riccardo 3 Gallagher, John P. 3 Grabowski, Adam 3 Kafle, Bishoksan 3 Naumowicz, Adam 3 Nielson, Flemming 3 Nigam, Vivek 3 Riis Nielson, Hanne 3 Sogokon, Andrew 3 Spoto, Fausto 3 Wuyts, Roel 2 Arceri, Vincenzo 2 Campo, Marcelo R. 2 Capecchi, Sara 2 Ducasse, Stéphane 2 Ganty, Pierre 2 Hillston, Jane 2 Kelefouras, Vasilios I. 2 Kellens, Andy 2 Levi, Francesca 2 Marin, Andrea 2 Mateos, Cristian 2 McMillan, Kenneth L. 2 Murray, Toby 2 Pąk, Karol 2 Platzer, André 2 Pnueli, Amir 2 Rossi, André 2 Sangiorgi, Davide 2 Scedrov, Andre 2 Schärli, Nathanael 2 Sevaux, Marc 2 Sison, Robert 2 Soto, María 2 Tan, Yong Kiam 2 Toninho, Bernardo 2 Wehrheim, Heike 2 Zuck, Lenore D. 2 Zunino, Alejandro 1 Abdulla, Parosh Aziz 1 Aldinucci, Marco 1 Alpuente, María 1 Arusoaie, Andrei 1 Atig, Mohamed Faouzi 1 Balaban, Ittai 1 Ban Kirigin, Tajana 1 Bancerek, Grzegorz 1 Bartoletti, Massimo 1 Becchi, Anna 1 Bérard, Béatrice 1 Bigonha, Roberto S. 1 Black, Andrew Philip 1 Blondin, Michael 1 Borgström, Johannes 1 Boutonnet, Rémy 1 Bowman, Richard Sean 1 Brichau, Johan 1 Byliński, Czesław 1 Caires, Luís 1 Cassez, Franck 1 Castro, Sergio 1 Chatzikalymnios, Evangelos 1 Cimatti, Alessandro 1 Clarke, Dave 1 Colvin, Robert J. 1 Cordwell, Katherine 1 Costantini, Giulia 1 Crafa, Silvia 1 Cruz-Filipe, Luís 1 Dabrowski, Frédéric 1 Dalvandi, Sadegh 1 Danelutto, Marco 1 De Angelis, Emanuele 1 De Francesco, Nicoletta 1 De Nicola, Rocco 1 Debant, Alexandre 1 Delaune, Stéphanie 1 Deniélou, Pierre-Malo 1 D’Hondt, Theo 1 Di Iorio, Vladimir O. 1 Doherty, Simon 1 Dongol, Brijesh 1 Drossopolou, Sophia 1 Eisenbach, Susan 1 Ene, Cristian 1 Eriksson, Lars-Henrik 1 Fallah, Mehran S. ...and 162 more Authors all top 5 Cited in 28 Journals 19 Computer Languages, Systems & Structures 9 Information and Computation 8 Theoretical Computer Science 5 Journal of Automated Reasoning 5 Logical Methods in Computer Science 4 Theory and Practice of Logic Programming 4 Journal of Logical and Algebraic Methods in Programming 3 Acta Informatica 3 Formal Aspects of Computing 3 Formal Methods in System Design 2 Artificial Intelligence 2 Science of Computer Programming 2 MSCS. Mathematical Structures in Computer Science 2 Higher-Order and Symbolic Computation 2 Fundamenta Informaticae 1 Computing 1 Fuzzy Sets and Systems 1 Journal of Symbolic Computation 1 Journal of Parallel and Distributed Computing 1 European Journal of Operational Research 1 SIAM Journal on Scientific Computing 1 Journal of Functional Programming 1 International Transactions in Operational Research 1 Journal of Heuristics 1 Journal of the ACM 1 International Journal of Applied Mathematics and Computer Science 1 Journal of Applied Mathematics 1 Formalized Mathematics all top 5 Cited in 11 Fields 112 Computer science (68-XX) 16 Mathematical logic and foundations (03-XX) 5 Operations research, mathematical programming (90-XX) 3 Systems theory; control (93-XX) 2 Number theory (11-XX) 2 Ordinary differential equations (34-XX) 1 General and overarching topics; collections (00-XX) 1 Convex and discrete geometry (52-XX) 1 Numerical analysis (65-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year