×

Computer Languages, Systems & Structures

An 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: Journal; 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 Ščedrov, Andrej
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, Kwokwing
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, Adrian
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 129 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

60 Publications have been cited 167 times in 156 Documents Cited by ▼ Year ▼
Flexary connectives in Mizar. Zbl 1387.68207
Korniłowicz, Artur
17
2015
Model checking and abstraction to the aid of parameterized systems (a survey). Zbl 1072.68069
Zuck, Lenore; Pnueli, Amir
12
2004
Verifying persistent security properties. Zbl 1072.68065
Bossi, Annalisa; Focardi, Riccardo; Piazza, Carla; Rossi, Sabina
10
2004
Widening and narrowing operators for abstract interpretation. Zbl 1218.68100
Cortesi, Agostino; Zanioli, Matteo
6
2011
Horn clause verification with convex polyhedral abstraction and tree automata-based refinement. Zbl 1379.68239
Kafle, Bishoksan; Gallagher, John P.
6
2017
A hierarchy of proof rules for checking positive invariance of algebraic and semi-algebraic sets. Zbl 1379.68238
Ghorbal, Khalil; Sogokon, Andrew; Platzer, André
6
2017
Effective abstractions for verification under relaxed memory models. Zbl 1379.68237
Dan, Andrei; Meshman, Yuri; Vechev, Martin; Yahav, Eran
6
2017
Information flow for Algol-like languages. Zbl 1027.68021
Clark, David; Hankin, Chris; Hunt, Sebastian
6
2002
Reasoning about layered message passing systems. Zbl 1072.68067
Meenakshi, B.; Ramanujam, R.
6
2004
Class invariants as abstract interpretation of trace semantics. Zbl 1387.68052
Logozzo, Francesco
5
2009
First-order reasoning for higher-order concurrency. Zbl 1248.68355
Koutavas, Vasileios; Hennessy, Matthew
5
2012
Behavioural typing for safe ambients. Zbl 1028.68005
Bugliesi, Michele; Castagna, Giuseppe
5
2002
Memory-optimal evaluation of expression trees involving large objects. Zbl 1218.68072
Lam, Chi-Chung; Rauber, Thomas; Baumgartner, Gerald; Cociorva, Daniel; Sadayappan, P.
4
2011
Program equivalence in a simple language with state. Zbl 1248.68155
Tzevelekos, Nikos
4
2012
Symbolic execution based on language transformation. Zbl 1387.68047
Arusoaie, Andrei; Lucanu, Dorel; Rusu, Vlad
4
2015
Fully abstract trace semantics for protected module architectures. Zbl 1387.68054
Patrignani, Marco; Clarke, Dave
3
2015
Security types preserving compilation. Zbl 1109.68025
Barthe, Gilles; Rezk, Tamara; Basu, Amitabh
3
2007
Security boundaries in mobile ambients. Zbl 1028.68004
Braghin, Chiara; Cortesi, Agostino; Focardi, Riccardo
3
2002
Unanticipated integration of development tools using the classification model. Zbl 1091.68014
Wuyts, Roel; Ducasse, Stéphane
3
2004
Verifying pointer and string analyses with region type systems. Zbl 1290.68034
Beringer, Lennart; Grabowski, Robert; Hofmann, Martin
2
2013
Maintaining distributed logic programs incrementally. Zbl 1248.68129
Nigam, Vivek; Jia, Limin; Loo, Boon Thau; Scedrov, Andre
2
2012
An array content static analysis based on non-contiguous partitions. Zbl 1379.68096
Liu, Jiangchao; Rival, Xavier
2
2017
A methodology for speeding up loop kernels by exploiting the software information and the memory architecture. Zbl 1387.68065
Kelefouras, Vasilios; Kritikakou, Angeliki; Goutis, Costas
2
2015
Intra- and interdiagram consistency checking of behavioral multiview models. Zbl 1387.68051
Kaufmann, Petra; Kronegger, Martin; Pfandler, Andreas; Seidl, Martina; Widl, Magdalena
2
2015
Combining deep and shallow embedding of domain-specific languages. Zbl 1387.68057
Svenningsson, Josef; Axelsson, Emil
2
2015
Specification and static enforcement of scheduler-independent noninterference in a middleweight Java. Zbl 1387.68050
Iranmanesh, Zeinab; Fallah, Mehran S.
2
2016
A study of dynamic memory management in C++ programs. Zbl 1038.68015
Lee, Woo Hyong; Chang, Morris
2
2002
Orderly communication in the ambient calculus. Zbl 1051.68029
Amtoft, Torben; Kfoury, Assaf J.; Pericas-Geertsen, Santiago M.
2
2002
Applying model-checking to solve queries on semistructured data. Zbl 1387.68104
Dovier, A.; Quintarelli, E.
2
2009
Nesting analysis of mobile ambients. Zbl 1072.68066
Braghin, Chiara; Cortesi, Agostino; Focardi, Riccardo; Luccio, Flaminia L.; Piazza, Carla
2
2004
Bounded memory protocols. Zbl 1308.68055
Kanovich, Max; Kirigin, Tajana Ban; Nigam, Vivek; Scedrov, Andre
2
2014
A formal semantics of nested atomic sections with thread escape. Zbl 1387.68048
Dabrowski, Frédéric; Loulergue, Frédéric; Pinsard, Thomas
1
2015
Inter-language reflection: a conceptual model and its implementation. Zbl 1103.68465
Gybels, Kris; Wuyts, Roel; Ducasse, Stéphane; D’Hondt, Maja
1
2006
Runtime bytecode transformation for Smalltalk. Zbl 1102.68435
Denker, Marcus; Ducasse, Stéphane; Tanter, Éric
1
2006
Co-evolving code and design with intensional views: a case study. Zbl 1102.68449
Mens, Kim; Kellens, Andy; Pluquet, Frédéric; Wuyts, Roel
1
2006
A calculus for parallel computations over multidimensional dense arrays. Zbl 1112.68058
Di Cosmo, Roberto; Li, Zheng; Pelagatti, Susanna
1
2007
A bulk-synchronous parallel process algebra. Zbl 1112.68105
Merlin, Armelle; Hains, Gaétan
1
2007
Parallel resource co-allocation for the computational grid. Zbl 1103.68338
Li, Hui-Xian; Cheng, Chun-Tian; Chau, K. W.
1
2007
Extending movilog for supporting web services. Zbl 1103.68344
Mateos, Cristian; Zunino, Alejandro; Campo, Marcelo
1
2007
Automatic synthesis of \(k\)-inductive piecewise quadratic invariants for switched affine control programs. Zbl 1379.68234
Adjé, Assalé; Garoche, Pierre-Loïc
1
2017
Inference of ranking functions for proving temporal properties by abstract interpretation. Zbl 1379.68101
Urban, Caterina; Miné, Antoine
1
2017
On the verification of architectural reconfigurations. Zbl 1387.68071
Sanchez, Alejandro; Madeira, Alexandre; Barbosa, Luís S.
1
2015
Compiling and verifying SC-SystemJ programs for safety-critical reactive systems. Zbl 1387.68053
Park, Heejong; Malik, Avinash; Salcic, Zoran
1
2015
Efficient determinization of visibly and height-deterministic pushdown automata. Zbl 1387.68160
Polách, Radomír; Trávníček, Jan; Janoušek, Jan; Melichar, Bořivoj
1
2016
Detection of redundant expressions: a precise, efficient, and pragmatic algorithm in SSA. Zbl 1387.68070
Pai, Rekha R.
1
2016
An optimal data structure to handle dynamic environments in non-deterministic computations. Zbl 1027.68038
Pontelli, E.; Ranjan, D.; Dal Palú, A.
1
2002
Unified selection from lists, arrays, and objects. Zbl 1038.68016
Lusth, John C.
1
2002
Logic programs as compact denotations. Zbl 1059.68018
Hill, Patricia M.; Spoto, Fausto
1
2003
Dynamic reordering of alternatives for definite logic programs. Zbl 1387.68058
H.-F. Guo, Hai-Feng; G. Gupta, Gopal
1
2009
A monotone framework for CCS. Zbl 1387.68172
Nielson, Hanne Riis; Nielson, Flemming
1
2009
Utility-driven solution for optimal resource allocation in computational grid. Zbl 1387.68045
Li, Zhi-Jie; Cheng, Chun-Tian; Huang, Fei-Xue
1
2009
Towards proving type safety of \(\mathrm{C}^{\#}\). Zbl 1387.68049
Fruja, Nicu G.
1
2010
The dependence condition graph: precise conditions for dependence between program points. Zbl 1387.68073
Sukumaran, Srihari; Sreenivas, Ashok; Metta, Ravindra
1
2010
JavaLog: a framework-based integration of Java and Prolog for agent-oriented programming. Zbl 1079.68519
Amandi, Analía; Campo, Marcelo; Zunino, Alejandro
1
2005
Employing symmetry reductions in model checking. Zbl 1072.68068
Sistla, A. Prasad
1
2004
Safe metaclass composition using mixin-based inheritance. Zbl 1072.68518
Bouraqadi, Noury
1
2004
Refinement of worst-case execution time bounds by graph pruning. Zbl 1308.68024
Brandner, Florian; Jordan, Alexander
1
2014
Incremental programming language development. Zbl 1101.68632
Mernik, Marjan; Žumer, Viljem
1
2005
Classboxes: controlling visibility of class extensions. Zbl 1101.68441
Bergel, Alexandre; Ducasse, Stéphane; Nierstrasz, Oscar; Wuyts, Roel
1
2005
Binary trees as a computational framework. Zbl 1296.68028
Haraburda, David; Tarau, Paul
1
2013
Horn clause verification with convex polyhedral abstraction and tree automata-based refinement. Zbl 1379.68239
Kafle, Bishoksan; Gallagher, John P.
6
2017
A hierarchy of proof rules for checking positive invariance of algebraic and semi-algebraic sets. Zbl 1379.68238
Ghorbal, Khalil; Sogokon, Andrew; Platzer, André
6
2017
Effective abstractions for verification under relaxed memory models. Zbl 1379.68237
Dan, Andrei; Meshman, Yuri; Vechev, Martin; Yahav, Eran
6
2017
An array content static analysis based on non-contiguous partitions. Zbl 1379.68096
Liu, Jiangchao; Rival, Xavier
2
2017
Automatic synthesis of \(k\)-inductive piecewise quadratic invariants for switched affine control programs. Zbl 1379.68234
Adjé, Assalé; Garoche, Pierre-Loïc
1
2017
Inference of ranking functions for proving temporal properties by abstract interpretation. Zbl 1379.68101
Urban, Caterina; Miné, Antoine
1
2017
Specification and static enforcement of scheduler-independent noninterference in a middleweight Java. Zbl 1387.68050
Iranmanesh, Zeinab; Fallah, Mehran S.
2
2016
Efficient determinization of visibly and height-deterministic pushdown automata. Zbl 1387.68160
Polách, Radomír; Trávníček, Jan; Janoušek, Jan; Melichar, Bořivoj
1
2016
Detection of redundant expressions: a precise, efficient, and pragmatic algorithm in SSA. Zbl 1387.68070
Pai, Rekha R.
1
2016
Flexary connectives in Mizar. Zbl 1387.68207
Korniłowicz, Artur
17
2015
Symbolic execution based on language transformation. Zbl 1387.68047
Arusoaie, Andrei; Lucanu, Dorel; Rusu, Vlad
4
2015
Fully abstract trace semantics for protected module architectures. Zbl 1387.68054
Patrignani, Marco; Clarke, Dave
3
2015
A methodology for speeding up loop kernels by exploiting the software information and the memory architecture. Zbl 1387.68065
Kelefouras, Vasilios; Kritikakou, Angeliki; Goutis, Costas
2
2015
Intra- and interdiagram consistency checking of behavioral multiview models. Zbl 1387.68051
Kaufmann, Petra; Kronegger, Martin; Pfandler, Andreas; Seidl, Martina; Widl, Magdalena
2
2015
Combining deep and shallow embedding of domain-specific languages. Zbl 1387.68057
Svenningsson, Josef; Axelsson, Emil
2
2015
A formal semantics of nested atomic sections with thread escape. Zbl 1387.68048
Dabrowski, Frédéric; Loulergue, Frédéric; Pinsard, Thomas
1
2015
On the verification of architectural reconfigurations. Zbl 1387.68071
Sanchez, Alejandro; Madeira, Alexandre; Barbosa, Luís S.
1
2015
Compiling and verifying SC-SystemJ programs for safety-critical reactive systems. Zbl 1387.68053
Park, Heejong; Malik, Avinash; Salcic, Zoran
1
2015
Bounded memory protocols. Zbl 1308.68055
Kanovich, Max; Kirigin, Tajana Ban; Nigam, Vivek; Scedrov, Andre
2
2014
Refinement of worst-case execution time bounds by graph pruning. Zbl 1308.68024
Brandner, Florian; Jordan, Alexander
1
2014
Verifying pointer and string analyses with region type systems. Zbl 1290.68034
Beringer, Lennart; Grabowski, Robert; Hofmann, Martin
2
2013
Binary trees as a computational framework. Zbl 1296.68028
Haraburda, David; Tarau, Paul
1
2013
First-order reasoning for higher-order concurrency. Zbl 1248.68355
Koutavas, Vasileios; Hennessy, Matthew
5
2012
Program equivalence in a simple language with state. Zbl 1248.68155
Tzevelekos, Nikos
4
2012
Maintaining distributed logic programs incrementally. Zbl 1248.68129
Nigam, Vivek; Jia, Limin; Loo, Boon Thau; Scedrov, Andre
2
2012
Widening and narrowing operators for abstract interpretation. Zbl 1218.68100
Cortesi, Agostino; Zanioli, Matteo
6
2011
Memory-optimal evaluation of expression trees involving large objects. Zbl 1218.68072
Lam, Chi-Chung; Rauber, Thomas; Baumgartner, Gerald; Cociorva, Daniel; Sadayappan, P.
4
2011
Towards proving type safety of \(\mathrm{C}^{\#}\). Zbl 1387.68049
Fruja, Nicu G.
1
2010
The dependence condition graph: precise conditions for dependence between program points. Zbl 1387.68073
Sukumaran, Srihari; Sreenivas, Ashok; Metta, Ravindra
1
2010
Class invariants as abstract interpretation of trace semantics. Zbl 1387.68052
Logozzo, Francesco
5
2009
Applying model-checking to solve queries on semistructured data. Zbl 1387.68104
Dovier, A.; Quintarelli, E.
2
2009
Dynamic reordering of alternatives for definite logic programs. Zbl 1387.68058
H.-F. Guo, Hai-Feng; G. Gupta, Gopal
1
2009
A monotone framework for CCS. Zbl 1387.68172
Nielson, Hanne Riis; Nielson, Flemming
1
2009
Utility-driven solution for optimal resource allocation in computational grid. Zbl 1387.68045
Li, Zhi-Jie; Cheng, Chun-Tian; Huang, Fei-Xue
1
2009
Security types preserving compilation. Zbl 1109.68025
Barthe, Gilles; Rezk, Tamara; Basu, Amitabh
3
2007
A calculus for parallel computations over multidimensional dense arrays. Zbl 1112.68058
Di Cosmo, Roberto; Li, Zheng; Pelagatti, Susanna
1
2007
A bulk-synchronous parallel process algebra. Zbl 1112.68105
Merlin, Armelle; Hains, Gaétan
1
2007
Parallel resource co-allocation for the computational grid. Zbl 1103.68338
Li, Hui-Xian; Cheng, Chun-Tian; Chau, K. W.
1
2007
Extending movilog for supporting web services. Zbl 1103.68344
Mateos, Cristian; Zunino, Alejandro; Campo, Marcelo
1
2007
Inter-language reflection: a conceptual model and its implementation. Zbl 1103.68465
Gybels, Kris; Wuyts, Roel; Ducasse, Stéphane; D’Hondt, Maja
1
2006
Runtime bytecode transformation for Smalltalk. Zbl 1102.68435
Denker, Marcus; Ducasse, Stéphane; Tanter, Éric
1
2006
Co-evolving code and design with intensional views: a case study. Zbl 1102.68449
Mens, Kim; Kellens, Andy; Pluquet, Frédéric; Wuyts, Roel
1
2006
JavaLog: a framework-based integration of Java and Prolog for agent-oriented programming. Zbl 1079.68519
Amandi, Analía; Campo, Marcelo; Zunino, Alejandro
1
2005
Incremental programming language development. Zbl 1101.68632
Mernik, Marjan; Žumer, Viljem
1
2005
Classboxes: controlling visibility of class extensions. Zbl 1101.68441
Bergel, Alexandre; Ducasse, Stéphane; Nierstrasz, Oscar; Wuyts, Roel
1
2005
Model checking and abstraction to the aid of parameterized systems (a survey). Zbl 1072.68069
Zuck, Lenore; Pnueli, Amir
12
2004
Verifying persistent security properties. Zbl 1072.68065
Bossi, Annalisa; Focardi, Riccardo; Piazza, Carla; Rossi, Sabina
10
2004
Reasoning about layered message passing systems. Zbl 1072.68067
Meenakshi, B.; Ramanujam, R.
6
2004
Unanticipated integration of development tools using the classification model. Zbl 1091.68014
Wuyts, Roel; Ducasse, Stéphane
3
2004
Nesting analysis of mobile ambients. Zbl 1072.68066
Braghin, Chiara; Cortesi, Agostino; Focardi, Riccardo; Luccio, Flaminia L.; Piazza, Carla
2
2004
Employing symmetry reductions in model checking. Zbl 1072.68068
Sistla, A. Prasad
1
2004
Safe metaclass composition using mixin-based inheritance. Zbl 1072.68518
Bouraqadi, Noury
1
2004
Logic programs as compact denotations. Zbl 1059.68018
Hill, Patricia M.; Spoto, Fausto
1
2003
Information flow for Algol-like languages. Zbl 1027.68021
Clark, David; Hankin, Chris; Hunt, Sebastian
6
2002
Behavioural typing for safe ambients. Zbl 1028.68005
Bugliesi, Michele; Castagna, Giuseppe
5
2002
Security boundaries in mobile ambients. Zbl 1028.68004
Braghin, Chiara; Cortesi, Agostino; Focardi, Riccardo
3
2002
A study of dynamic memory management in C++ programs. Zbl 1038.68015
Lee, Woo Hyong; Chang, Morris
2
2002
Orderly communication in the ambient calculus. Zbl 1051.68029
Amtoft, Torben; Kfoury, Assaf J.; Pericas-Geertsen, Santiago M.
2
2002
An optimal data structure to handle dynamic environments in non-deterministic computations. Zbl 1027.68038
Pontelli, E.; Ranjan, D.; Dal Palú, A.
1
2002
Unified selection from lists, arrays, and objects. Zbl 1038.68016
Lusth, John C.
1
2002
all cited Publications top 5 cited Publications
all top 5

Cited by 328 Authors

10 Korniłowicz, Artur
6 Cortesi, Agostino
5 Grabowski, Adam
5 Piazza, Carla
5 Rossi, Sabina
4 Bouajjani, Ahmed
4 Gallagher, John P.
4 Kafle, Bishoksan
4 Pérez, Jorge A.
4 Platzer, André
4 Sogokon, Andrew
4 Tan, Yong Kiam
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 Marin, Andrea
3 Naumowicz, Adam
3 Nielson, Flemming
3 Nigam, Vivek
3 Riis Nielson, Hanne
3 Spoto, Fausto
3 Wehrheim, Heike
3 Wuyts, Roel
2 Abate, Carmine
2 Arceri, Vincenzo
2 Arusoaie, Andrei
2 Campo, Marcelo R.
2 Capecchi, Sara
2 Cordwell, Katherine
2 Dalvandi, Sadegh
2 De Angelis, Emanuele
2 Doherty, Simon
2 Dongol, Brijesh
2 Ducasse, Stéphane
2 Ene, Cristian
2 Falcone, Yliès
2 Fallah, Mehran S.
2 Fioravanti, Fabio
2 Gange, Graeme
2 Ganty, Pierre
2 Hermenegildo, Manuel V.
2 Hillston, Jane
2 Hunt, Sebastian
2 Kelefouras, Vasilios I.
2 Kellens, Andy
2 Levi, Francesca
2 Logozzo, Francesco
2 Lösch, Steffen
2 Mateos, Cristian
2 McMillan, Kenneth L.
2 Mitsch, Stefan
2 Mounier, Laurent
2 Pąk, Karol
2 Patrignani, Marco
2 Pettorossi, Alberto
2 Pitts, Andrew M.
2 Pnueli, Amir
2 Podelski, Andreas
2 Potet, Marie-Laure
2 Proietti, Maurizio
2 Rossi, André
2 Sands, David
2 Sangiorgi, Davide
2 Ščedrov, Andrej
2 Schachte, Peter
2 Schärli, Nathanael
2 Schwarzweller, Christoph
2 Sevaux, Marc
2 Søndergaard, Harald
2 Soto, María
2 Soueidi, Chukri
2 Stuckey, Peter James
2 Toninho, Bernardo
2 Zuck, Lenore D.
2 Zunino, Alejandro
1 Abdulla, Parosh Aziz
1 Aldinucci, Marco
1 Alpuente, María
1 Amin, Nada
1 Assaf, Mounir
1 Atig, Mohamed Faouzi
1 Babu, Jasine
1 Balaban, Ittai
1 Ballabriga, Clément
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 Blanco, Roberto
1 Blondin, Michael
1 Bollig, Benedikt
1 Borgström, Johannes
...and 228 more Authors
all top 5

Cited in 30 Journals

19 Computer Languages, Systems & Structures
10 Formalized Mathematics
9 Information and Computation
8 Theoretical Computer Science
6 Theory and Practice of Logic Programming
5 Journal of Automated Reasoning
5 Logical Methods in Computer Science
4 Formal Methods in System Design
4 Journal of Logical and Algebraic Methods in Programming
3 Acta Informatica
3 Formal Aspects of Computing
2 Artificial Intelligence
2 Science of Computer Programming
2 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 International Journal of Foundations of Computer Science
1 European Journal of Operational Research
1 SIAM Journal on Scientific Computing
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 ACM Transactions on Computational Logic
1 Asian Journal of Control
all top 5

Cited in 14 Fields

151 Computer science (68-XX)
23 Mathematical logic and foundations (03-XX)
9 Number theory (11-XX)
5 Operations research, mathematical programming (90-XX)
5 Systems theory; control (93-XX)
4 Information and communication theory, circuits (94-XX)
3 Ordinary differential equations (34-XX)
2 Order, lattices, ordered algebraic structures (06-XX)
2 Field theory and polynomials (12-XX)
1 General and overarching topics; collections (00-XX)
1 Convex and discrete geometry (52-XX)
1 Probability theory and stochastic processes (60-XX)
1 Numerical analysis (65-XX)
1 Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Citations by Year