ACM DL

ACM Transactions on

Computational Logic (TOCL)

Menu
Latest Articles

Parametrised Complexity of Satisfiability in Temporal Logic

We apply the concept of formula treewidth and pathwidth to computation tree logic, linear temporal logic, and the full branching time logic. Several... (more)

A Hoare Logic for GPU Kernels

We study a Hoare Logic to reason about parallel programs executed on graphics processing units (GPUs), called GPU kernels. During the execution of GPU kernels, multiple threads execute in lockstep, that is, execute the same instruction simultaneously. When the control branches, the two branches are executed sequentially, but during the execution of... (more)

Datalog Queries Distributing over Components

We investigate the class D of queries that distribute over components. These are the queries that can be evaluated by taking the union of the query results over the connected components of the database instance. We show that it is undecidable whether a (positive) Datalog program distributes over components. Additionally, we show that connected... (more)

Abstract Program Slicing

In the present article, we formally define the notion of abstract program slicing, a general form of program slicing where properties of data are considered instead of their exact value. This approach is applied to a language with numeric and reference values and relies on the notion of abstract dependencies between program statements. The... (more)

NEWS

The ACM is soliciting nominations for Editior-in-Chief for the ACM Transactions on Computational Logic. For more information, read the Call for Nominations.

Forthcoming Articles

Merging in the Horn Fragment

Belief merging is a central operation within the field of belief change and addresses the problem of combining multiple, possibly mutually inconsistent knowledge bases into a single, consistent one. A current research trend in belief change is concerned with representation theorems tailored to fragments of logic, in particular Horn logic. Hereby, the goal is to guarantee that the result of the change operations stays within the fragment under consideration. While several such results have been obtained for Horn revision and Horn contraction, merging of Horn theories has been neglected so far. In this paper, we provide a novel representation theorem for Horn merging by strengthening the standard merging postulates. Moreover, we present concrete Horn merging operators satisfying all postulates.

Quantified Constraint Satisfaction Problem on semicomplete digraphs

We study the (non-uniform) quantified constraint satisfaction problem QCSP$({\mathcal H})$ as ${\mathcal H}$ ranges over semicomplete digraphs. We obtain a complexity-theoretic trichotomy: QCSP$({\mathcal H})$ is either in P, is NP-complete or is Pspace-complete. The largest part of our work is the algebraic classification of precisely which semicompletes enjoy only essentially unary polymorphisms, which is combinatorially interesting in its own right.

Bibliometrics

Publication Years 2000-2017
Publication Count 462
Citation Count 4671
Available for Download 462
Downloads (6 weeks) 1120
Downloads (12 Months) 8240
Downloads (cumulative) 135725
Average downloads per article 294
Average citations per article 10
First Name Last Name Award
Robert Brayton ACM Paris Kanellakis Theory and Practice Award (2006)
Randal E Bryant ACM Paris Kanellakis Theory and Practice Award (1998)
Stephen A Cook ACM A. M. Turing Award (1982)
Joseph Halpern ACM AAAI Allen Newell Award (2008)
Vasant G Honavar ACM Senior Member (2006)
Daphne Koller ACM Prize in Computing (2007)
Frank Pfenning ACM Senior Member (2007)
Andre Platzer ACM Doctoral Dissertation Award
Honorable Mention (2009) ACM Doctoral Dissertation Award
Honorable Mention (2009)
Thomas Reps ACM Doctoral Dissertation Award (1983)
Peter James Stuckey ACM Distinguished Member (2009)
Moshe Y Vardi Outstanding Contribution to ACM Award (2009)
ACM Presidential Award (2008)
ACM Paris Kanellakis Theory and Practice Award (2005)
Reinhard Wilhelm ACM Distinguished Service Award (2010)
Pierre Wolper ACM Paris Kanellakis Theory and Practice Award (2005)
Qiang Yang ACM Distinguished Member (2011)
Ron van der Meyden ACM Distinguished Member (2009)

First Name Last Name Paper Counts
Yuri Gurevich 10
Orna Kupferman 8
Andreas Blass 8
Thomas Eiter 8
VS Subrahmanian 6
Thomas Henzinger 5
Nicola Olivetti 5
Massimo Lauria 5
Michael Benedikt 5
Ranko Lazić 5
Georg Gottlob 5
Marc Denecker 5
Paolo Liberatore 5
Hans Tompits 4
Leonid Libkin 4
Thomas Schwentick 4
Krishnendu Chatterjee 4
Frank Neven 4
Luc Segoufin 4
Georg Struth 4
Samir Genaim 4
Michael Zakharyaschev 4
Nadia Creignou 4
Joost Vennekens 3
Erich Grädel 3
Guido Fiorino 3
Fabio Mogavero 3
Aniello Murano 3
Stefan Szeider 3
Yidong Shen 3
Grigoris Antoniou 3
Paulo Shakarian 3
Mauro Ferrari 3
Camillo Fiorentini 3
Randal Bryant 3
Krzysztof Apt 3
Frank Pfenning 3
Neil Thapen 3
Maurizio Gabbrielli 3
Joseph Halpern 3
Stéphane Demri 3
Silvio Ghilardi 3
Fangzhen Lin 3
Jürgen Dix 3
Maria Meo 3
Dale Miller 3
Dexter Kozen 3
Jakob Nordström 3
Heribert Vollmer 3
Yuan Feng 3
Moshe Vardi 3
Chiaki Sakama 3
Gerardo Simari 3
Stefan Woltran 3
Rajeev Alur 3
Véronique Cortier 3
Jiahuai You 3
Nicola Galesi 3
Alessio Guglielmi 3
Tony Tan 3
Albert Atserias 3
Thomas Lukasiewicz 3
Ke Wang 3
Guido Governatori 2
Michael Maher 2
Camilla Schwind 2
Udi Boker 2
Eugénie Foustoucos 2
Mariangiola Dezani-Ciancaglini 2
Olaf Beyersdorff 2
Ilka Schnoor 2
Roberto Sebastiani 2
Giorgi Japaridze 2
Francesca Rossi 2
Elvira Albert 2
Brigitte Pientka 2
Ullrich Hustadt 2
Martin Grohe 2
Stavros Cosmadakis 2
Valentin Goranko 2
John Derrick 2
Witold Charatonik 2
Arie Gurfinkel 2
Carsten Lutz 2
Arnold Beckmann 2
Simone Bova 2
Andrzej Murawski 2
Andrea Asperti 2
Torsten Schaub 2
Cristian Molinaro 2
Mirosław Truszczyński 2
Silvia Crafa 2
Emanuel Kieroński 2
Paqui Lucio 2
Tim Willemse 2
Marcello Bonsangue 2
Alexandra Silva 2
Gian Pozzato 2
Arnaud Durand 2
Juha Kontinen 2
Nicola Leone 2
Wolfgang Faber 2
Michael Kaminski 2
Axel Polleres 2
Panos Rondogiannis 2
Scott Weinstein 2
Rohit Chadha 2
James Worrell 2
Maria Bonacina 2
Stefan Ratschan 2
Robert Harper 2
Alexander Artikis 2
Renate Schmidt 2
Ugo Montanari 2
Marek Sergot 2
Venkatramanan Subrahmanian 2
Frank Wolter 2
Arne Meier 2
Laura Giordano 2
Luigi Palopoli 2
Orna Grumberg 2
Giovambattista Ianni 2
Axel Haddad 2
Olivier Serre 2
Daniele Nardi 2
Jeffery Zucker 2
Kristina Sojakova 2
Stephen Cook 2
Jakob Simonsen 2
Felix Klaedtke 2
Simone Martini 2
Filippo Bonchi 2
Samuel Buss 2
Pierre Wolper 2
David Billington 2
Laurent Doyen 2
Guillem Godoy 2
Andrei Voronkov 2
Robert Nieuwenhuis 2
Fabrizio Angiulli 2
William Wadge 2
Jónathan Heras 2
Maurice Bruynooghe 2
Frank Stephan 2
Jeremy Avigad 2
Ori Lahav 2
Manuel Bodirsky 2
Rob Van Glabbeek 2
Riccardo Rosati 2
John Tucker 2
Lawrence Paulson 2
Hitoshi Furusawa 2
Morgan Deters 2
Jean Raskin 2
Vladimir Lifschitz 2
Silvio Ranise 2
Stefano Bistarelli 2
Karl Crary 2
Clare Dixon 2
Wan Fokkink 2
Paul Gastin 2
Ralf Küsters 2
Henning Schnoor 2
Jean Marion 2
Valentina Gliozzi 2
Mingsheng Ying 2
Marco Cadoli 2
Olivier Danvy 2
Michael Fink 2
Pascal Van Hentenryck 2
Ugo Lago 2
Stefan Göller 2
Miroslav Velev 2
Salvatore La Torre 2
Stéphanie Delaune 2
Richard Trefler 2
Nachum Dershowitz 2
David Gilis 2
Anuj Dawar 2
Hana Chockler 2
Gerald Pfeifer 2
Amy Sliva 2
Dirk Vermeir 2
Michaël Rusinowitch 2
Wouter Gelade 2
Agostino Dovier 2
Helmut Veith 2
Francesco Ranzato 2
Roman Kontchakov 2
Alwen Tiu 2
Michael Fisher 2
Kousha Etessami 2
Klaus Aehlig 2
Agata Ciabattoni 2
Arnaud Carayol 2
Uwe Egly 2
Florian Rabe 2
Victor Vianu 2
Trancao Son 2
Sasha Rubin 1
Liliana Pasquale 1
Steve Kremer 1
Bart Bogaerts 1
Alexander Rabinovich 1
Sheila McIlraith 1
Greta Yorsh 1
Harald Zankl 1
Frank De Boer 1
Sofie Haesevoets 1
Eugenia Ternovska 1
Daniele Zucchelli 1
Hubie Chen 1
Carlo Furia 1
Reinhard Pichler 1
Enrique Martin-Martin 1
Michael Boom 1
Carla Piazza 1
Bas Luttik 1
Francesca Scozzari 1
Prakash Panangaden 1
Jeroen Janssen 1
Kumud Sanwal 1
Zhaohui Luo 1
John Hitchcock 1
Kumar Verma 1
Sebastian Müller 1
Ulrich Schöpp 1
Matthias Horbach 1
Sarit Kraus 1
Anatoli Degtyarev 1
Andrei Bulatov 1
Lutz Burger 1
Marco Gaboardi 1
Manfred Schmidt-Schauß 1
Bjørn Kjos-Hanssen 1
Sara More 1
Pavel Naumov 1
Flemming Nielson 1
Hanne Nielson 1
Joost Engelfriet 1
Dmitry Shkatov 1
Gianluigi Greco 1
Sara Cohen 1
Andreas Krebs 1
Massimo Benerecetti 1
Lutz Straßburger 1
Ian Hayes 1
Antonino Salibra 1
Slim Abdennadher 1
Ofer Arieli 1
Oliver Kutz 1
Fred Mesnard 1
Dirk Pattinson 1
Paola Bruscoli 1
Mirco Nanni 1
Ron Van Der Meyden 1
Taolue Chen 1
Alexandru Mereacre 1
Arnon, Avron 1
Andreas Herzig 1
Prahladh Harsha 1
Markus Lohrey 1
Jia Tao 1
María Poza 1
Daniel Schwartz 1
Yuval Filmus 1
Markus Aschinger 1
Agustín Valverde 1
David Pearce 1
Fariba Sadri 1
Jean Moyen 1
Naohi Eguchi 1
Pierre Valarcher 1
Neil Jones 1
Bruce Kapron 1
Bakhadyr Khoussainov 1
Maciej Komosinski 1
Dorota Leszczyńska-Jasion 1
Paola Spoletini 1
Yi Zhou 1
Ngoc Nguyen 1
Benedikt Bollig 1
K Leino 1
Qiang Yang 1
Michał Skrzypczak 1
Cinzia Di Giusto 1
José Meseguer 1
Chitta Baral 1
David Baelde 1
Daniel Stamate 1
Nils Gesbert 1
Frédéric Benhamou 1
David Griffioen 1
Frits Vaandrager 1
Bart Kuijpers 1
Véronique Bruyère 1
Paolo Coppola 1
Axel Legay 1
Matteo Rossi 1
Alessandro Cimatti 1
Alberto Griggio 1
Clemens Ley 1
Konstantinos Mamouras 1
Luca Aceto 1
Raymond Mcdowell 1
Luca Roversi 1
Martin Gebser 1
José Alferes 1
Mnacho Echenim 1
Diego Figueira 1
Costas Koutras 1
Linh Nguyen 1
Adnan Aziz 1
Evelina Lamma 1
Roberto Cosmo 1
Martin Hofmann 1
Luca Alfaro 1
Ugo de’Liguoro 1
Mateu Villaret 1
Pavol Černý 1
Sebastian Nanz 1
Philip Wadler 1
Hendrik Hoogeboom 1
Sharon Shoham 1
Roman Schindlauer 1
Carlos Damásio 1
Christoph Berkholz 1
Bettina Fazzinga 1
Noga Alon 1
Bernard Boigelot 1
Stefano Guerrini 1
Alessio Lomuscio 1
Maciej Gazda 1
Pierre Marquis 1
Thomas Wilke 1
P Mateus 1
Vasant Honavar 1
Mario Bravetti 1
Roberto Gorrieri 1
David McAllester 1
Michele Loreti 1
Yangjia Li 1
Thom Frühwirth 1
Xiaoping Chen 1
Colin Hirsch 1
Vincent Danos 1
Giuseppe Perelli 1
Rémy Chrétien 1
Johannes Fichte 1
Francesco Donini 1
Piero Bonatti 1
Wenfei Fan 1
Vincent Cheval 1
Michael Elberfeld 1
Till Tantau 1
Benno Van Den Berg 1
Richard Garner 1
Nils Klarlund 1
Jules Desharnais 1
Nam Tran 1
Silvia Tomasi 1
Bertram Felgenhauer 1
Matthew Bauer 1
Roberto Bruttomesso 1
Francesco Santini 1
Fang Wei 1
Edward Hung 1
Chiuwo Choi 1
Matthias Knorr 1
Ian Pratt-Hartmann 1
Ewa Madalińska-Bugaj 1
Vigyan Singhal 1
Diego Recupero 1
Jack Lutz 1
Sebastiaan Terwijn 1
Michael Laurence 1
Venkatramanan Subrahmanian 1
Marcel Marquardt 1
Luís Pinto 1
Furio Honsell 1
Toni Mancini 1
Ferruccio Guidi 1
Rob Arthan 1
Nathalie Bertrand 1
Jan Johannsen 1
Christian Urban 1
James Cheney 1
Austin Parker 1
Sylvain Schmitz 1
Dan Suciu 1
Ashish Tiwari 1
Christophe Rigotti 1
Laurent Michel 1
Francesco Quaglia 1
Stephan Kreutzer 1
Nobuyuki Suzuki 1
Rachel Ben-Eliyahu -- Zohary 1
Martin Lange 1
Thierry Coquand 1
Jose Gaintzarain 1
Jeanchristoph Jung 1
Shulamit Halamish 1
Gaëlle Fontaine 1
Vladislav Ryzhikov 1
Julien Truffaut 1
Doron Peled 1
Danny De Schreye 1
Toshiyasu Arai 1
Russell Harmer 1
Fabrizio Riguzzi 1
Adam Kups 1
Mariusz Urbański 1
Fabio Gadducci 1
Heike Wehrheim 1
Jan Otop 1
Samuel Shen 1
Jeremy Bryans 1
Alessandro Facchini 1
Lorenzo Carlucci 1
Aleksy Schubert 1
Paweł Urzyczyn: 1
Daria Walukiewicz-Chrząszcz 1
Barnaby Martin 1
Sandro Etalle 1
Thomas Reps 1
Albert Rubio 1
Pierre Genevès 1
Anastasios Skarlatidis 1
Vincent Van Oostrom 1
Marc Christie 1
David Fernández-Duque 1
Mahesh Viswanathan 1
Balder Cate 1
Franco Montagna 1
Lise Getoor 1
Etienne Grandjean 1
Lou Dries 1
Rakesh Verma 1
Sophia Knight 1
Robin Adams 1
Mathieu Turuani 1
Yannick Chevalier 1
Paola Mello 1
Paolo Torroni 1
Makoto Tatsuta 1
Alexis Saurin 1
Boris Konev 1
Jordi Levy 1
Mdaquil Khan 1
Murdoch Gabbay 1
Marcel Jackson 1
Jos De Bruijn 1
Paliath Narendran 1
David Pym 1
Lucas Bordeaux 1
Alexander Serebrenik 1
Florian Horn 1
Ph Schnoebelen 1
Christel Baier 1
Giuliana Sabbatini 1
Lizhu Zhou 1
Martin Mundhenk 1
Francesco Parisi 1
Jerzy Tiuryn 1
Brijesh Dongol 1
Lian Wen 1
Sébastien Jodogne 1
Marco Pedicini 1
Isabelle Gnaedig 1
Hélène Kirchner 1
Jean Puget 1
Laurent Perron 1
Mark Ryan 1
Sjoerd Cranen 1
Vincent Siles 1
Jeroen Ketema 1
H Macpherson 1
M Praveen 1
Abu Masud 1
Angelos Charalambidis 1
Floor Sietsma 1
Eli Ben-Sasson 1
Giora Slutzki 1
Richard Mckinley 1
Stefan Milius 1
Viviana Bono 1
Robert Givan 1
Rocco De Nicola 1
Bard Bloom 1
Mingsheng Ying 1
Nengkun Yu 1
Alessandro Artale 1
Mladen Mikša 1
Marc Vinyals 1
Mehrnoosh Sadrzadeh 1
Johannes Schmidt 1
Martin Luck 1
Hector Levesque 1
Tristan Crolard 1
Dominic Hughes 1
Anthonywidjaja Lin 1
Vernon Asuncion 1
Enrico Pontelli 1
Cindy Eisner 1
Dana Fisman 1
Krishnendu Chatterjee 1
Jakub Michaliszyn 1
Liyan Yuan 1
Saguy Benaim 1
Phuong Nguyen 1
Michel Reniers 1
David Basin 1
Marco Schaerf 1
Bernhard Möller 1
Nicolas Spyratos 1
Mooly Sagiv 1
Reinhard Wilhelm 1
Jean Jouannaud 1
Nabil Layaïda 1
Eric Languénou 1
Frédéric Goualard 1
Andrea Formisano 1
Nathan Segerlind 1
Diego Calvanese 1
Richard Lassaigne 1
Jimmy Lee 1
Luca Iocchi 1
Yiannis Moschovakis 1
Stephan Schulz 1
Yan Zhang 1
C Ong 1
Arthur Charlesworth 1
Michael Mendler 1
Rupak Majumdar 1
Alexander Kartzow 1
Nicolas Peltier 1
Yavor Nenov 1
James Delgrande 1
Mary Williams 1
Catuscia Palamidessi 1
Robert Brayton 1
Octavian Udrea 1
Hubert Comon-Lundh 1
Viorica Sofronie-Stokkermans 1
Marco Gavanelli 1
Elio Giovannetti 1
Ilkka Niemelä 1
Dietmar Seipel 1
Adrià Gascón 1
Stefano Berardi 1
Robert Hierons 1
Michael Thomas 1
Kazuhisa Makino 1
Alessandro Bianco 1
Joséespírito Santo 1
Marcin Jurdziński 1
James Harland 1
Fabio Alessi 1
David Gray 1
Kevin Donnelly 1
Stefan Berghofer 1
Adam Trybus 1
Novak Novaković 1
Peter Lumsdaine 1
Nicole Schweikardt 1
George Metcalfe 1
Dov Gabbay 1
Aleksandar Ignjatović 1
Doron Bustan 1
Simone Tini 1
Andrea Masini 1
Simon Kramer 1
Wieger Wesselink 1
Zhe Wang 1
Rodney Topor 1
Wojciech Kazana 1
Marco Diciolla 1
Anders Mörtberg 1
Konstantinos Handjopoulos 1
Johan Wittocx 1
Mathieu Baudet 1
Guy Rey 1
Enrico Marchioni 1
Marko Samer 1
Sofie Verbaeten 1
Irena Schindler 1
Fabio Massacci 1
Martin Otto 1
Terrance Swift 1
Pavel Pudlák 1
Gerhard Schellhorn 1
Marc Zeitoun 1
Serenella Cerrito 1
Alberto Momigliano 1
Filip Murlak 1
Marsha Chećhik 1
Florent Madelaine 1
Jan Smaus 1
Christopher Stone 1
Annabelle McIver 1
Carroll Morgan 1
George Vouros 1
Christian Sattler 1
Sławomir Lasota 1
Alexander Razborov 1
Eugenio Omodeo 1
Dmitry Tishkovsky 1
Prakash Panangaden 1
Jan Rutten 1
Antonio Flores-Montoya 1
Susmit Sarkar 1
Gianfranco Rossi 1
Giuseppe Giacomo 1
Sylvain Peyronnet 1
Frédéric Magniez 1
Michel De Rougemont 1
Lan Zhang 1
Anna Ingólfsdóttir 1
Simona Perri 1
Gerald Lüttgen 1
Roberto Giacobazzi 1
Matthias Broecheler 1
Steven Schockaert 1
Ernie Cohen 1
Eugen Zălinescu 1
Anthonywidjaja To 1
Federico Chesani 1
Paolo Ferraris 1
Simona Ronchi Della Rocca 1
Hirotaka Ono 1
Gilles Dowek 1
Jason Teutsch 1
Franz Baader 1
Jan Bergstra 1
Peter Thiemann 1
René Thiemann 1
Erik Mathiesen 1
Shuvendu Lahiri 1
Małgorzata Biernacka 1
Jan Bussche 1
Werner Nutt 1
Sergio Flesca 1
Odile Papini 1
Stefan Rümmele 1
Tova Milo 1
Neil Immerman 1
Daphne Koller 1
Oliver Friedmann 1
Johan Thapper 1
Iddo Tzameret 1
Anna Zamansky 1
M Biscaia 1
Markus KröTzsch 1
Sebastian Rudolph 1
Dominique Larchey-Wendling 1
Didier Galmiche 1
Guy Avni 1
Martin Peim 1
Konstantinos Sagonas 1
Conrad Drescher 1
Robert Simmons 1
Romain Péchoux 1
Lars Kristiansen 1
Damiano Zanardini 1
Yan Zhang 1
Yuxin Deng 1
André Platzer 1
Ştefan Ciobâcă 1
Rastislav Lenhardt 1
Naghmeh Ghafari 1
Jeroen Keiren 1
Annalisa Bossi 1
Yann Loyer 1
Aart Middeldorp 1
Nicolai Kraus 1
Igor Walukiewicz 1
Emmanuel Dall'olio 1
Russell Impagliazzo 1
Helle Hansen 1
Robert Ganian 1
Andy King 1
Maurizio Lenzerini 1
Peter Stuckey 1
Neil Yorke-Smith 1
Churnjung Liau 1
Wim Hesselink 1
John Dickerson 1
Anastasios Sidiropoulos 1
Marco Alberti 1
Stijn Heymans 1
Davy Van Nieuwenborgh 1
Christoph Weidenbach 1
Patrik Simons 1
Deborah East 1
Mikołaj Bojańczyk 1
Claire David 1
Robert Goldblatt 1
Hubert Comon 1
Zbigniew Lonc 1
Runyao Duan 1
Zhengfeng Ji 1
Adel Bouhoula 1
Stavros Tripakis 1
Peter Schneider-Kamp 1
Ursula Martin 1
Paulo Oliva 1
Paul Raff 1
Stijn Vansummeren 1
Yehoshua Sagiv 1
Stefan Szeider 1
Thomas Schneider 1
Oleg Verbitsky 1
Marijn Heule 1
Joël Ouaknine 1
Micah Adler 1
Foto Afrati 1
K Subramani 1
Holger Sturm 1
Salvatore Ruggieri 1
Marta Kwiatkowska 1
Ian Zerny 1
Jérôme Lang 1
Jan Kára 1
Kedar Namjoshi 1
Detlef Kähler 1
Lara Spendier 1
Pascal Hitzler 1
Michele Bugliesi 1
Steven German 1
Teodor Przymusinski 1
Stefan Brass 1
Michael Wooldridge 1
Hariolf Betz 1
Jianmin Ji 1
Nada Lavrač 1
Peter Flach 1
Giuseppe De Giacomo 1
Luigia Aiello 1
Victor Marek 1
Antonis Kakas 1
Helmut Schwichtenberg 1
James Lynch 1
Giacoma Monreale 1
Achille Frigeri 1
Benjamin Monmege 1
John Havlicek 1
Amelie David 1
Howard Bowman 1
Peter Buneman 1
Martin Grohe 1
Piotr Witkowski 1
Filip Mazowiecki 1
Marco Bernardo 1
Manuel Clavel 1
Sabina Rossi 1
Pawel Mielniczuk 1
Alan Schmitt 1
Georgios Paliouras 1
Eryk Kopczyński 1
Floris Geerts 1
Enrica Nicolini 1
Katsumi Inoue 1
Aleksandar Nanevski 1
Sophie Laplante 1
Jeremy Pitt 1
Alessandro Armando 1
Carmen Gervet 1
Francesco Scarcello 1
Ara Hayrapetyan 1
Terrance Swift 1
Pavlos Peppas 1
Nathalie Sznajder 1
Konstantinos Chatzikokolakis 1
Mantas Šimkus 1
James Bailey 1
Guozhu Dong 1
Helmut Seidl 1
Tomi Janhunen 1
Anca Muscholl 1
Sebastian Danicic 1
Mihalis Yannakakis 1
Mohua Banerjee 1
Alban Ponse 1
Akitoshi Kawamura 1
Jürgen Giesl 1
Konstantin Korovin 1
Itay Neeman 1
Michael Bauland 1
Anastasia Analyti 1
Michael Warren 1
Christopher Hampson 1
Agi Kurucz 1
Włodzimierz Drabent 1
Revantha Ramanayake 1
Matthew Stone 1
Arun Sharma 1
Lutz Schröder 1
Ruggero Lanotte 1
Nir Friedman 1
Diogo Henriques 1
César Domínguez 1
Julio Rubio 1
Roy Dyckhoff 1
Raymond Reiter 1
Sebastian SardiñA 1
Emmanuel Polonowski 1

Affiliation Paper Counts
Laval University 1
Saarland University 1
University of Seville 1
University of Carthage 1
Vinh University 1
Institute for Work and Health (IST) 1
NEC Deutschland GmbH 1
Laboratoire d'Informatique Fondamentale de Marseille 1
Academic College of Tel-Aviv - Yaffo 1
Microsoft Research Cambridge 1
Universite de Bordeaux 1
Karlsruhe Institute of Technology 1
National University Corporation Shizuoka University 1
Laboratoire d'Analyse et Modelisation de Systemes pour l'Aide a la Decision 1
Universite Paris Saclay 1
Yale NUS College 1
Laboratoire Bordelais de Recherche en Informatique 1
Academia Sinica Taiwan 1
University of Tubingen 1
University of Sussex 1
Weizmann Institute of Science Israel 1
Istituto Per Le Applicazioni Del Calcolo Mauro Picone, Rome 1
Kassel University 1
Munich University of the Federal Armed Forces 1
CSIC - Instituto de Investigacion en Inteligencia Artificial 1
University of Southern Denmark 1
Athens University of Economics and Business 1
Georgia Institute of Technology 1
Boston University 1
University of Birmingham 1
University of Paderborn 1
University of Bern 1
University of Twente 1
University of Bristol 1
Freescale Semiconductor 1
West Virginia University 1
University of St Andrews 1
University of Durham 1
Massachusetts Institute of Technology 1
Faculdade de Ciencias e Tecnologia, New University of Lisbon 1
University of Richmond 1
Telcordia Technologies, Inc. 1
University of Technology Sydney 1
Jozef Stefan Institute 1
Cardiff University 1
National Institute of Advanced Industrial Science and Technology 1
Universite Paris-Sud XI 1
University of Missouri System 1
University of California, Santa Cruz 1
Shanghai Jiaotong University 1
University of Genoa 1
University of Stirling 1
Institute of Software Chinese Academy of Sciences 1
University of Tokyo 1
University of Konstanz 1
University of Sydney 1
Clarkson University 1
Nokia Corporation 1
Ben-Gurion University of the Negev 1
Polytechnic Institute of Bari 1
University of California, Los Angeles 1
United States Military Academy 1
Swiss Federal Institute of Technology, Lausanne 1
Stockholm University 1
Northeastern University 1
NICTA 1
Friedrich Schiller University Jena 1
University of California, Riverside 1
European Commission 1
Universite de Versailles Saint-Quentin-en-Yvelines 1
Columbia University 1
Texas State University-San Marcos 1
University of Queensland 1
Tokyo Institute of Technology 1
Johannes Gutenberg University Mainz 1
Tata Institute of Fundamental Research 1
Institute of Mathematical Sciences India 1
University of Urbino 1
University of Wisconsin Madison 1
Universite de Caen Basse Normandie 1
INRIA Rocquencourt 1
SRI International 1
Universite de La Reunion 1
Harvey Mudd College 1
German University in Cairo 1
Universite Pierre et Marie Curie 1
University of Crete 1
Florida State University 1
Victoria University of Wellington 1
Bar-Ilan University 1
National Technical University of Athens 1
University of Haifa 1
University of Perugia 1
Universidad de Malaga 1
Warsaw University of Technology 1
University of Peloponnese 1
Uppsala University 1
University of Parma 1
University of Illinois 1
University of Minnesota System 1
La Trobe University 1
University of Bonn 1
Technical University in Braunschweig 1
University of Leipzig 1
CNRS Centre National de la Recherche Scientifique 1
Medical University of Innsbruck 1
AT&T Laboratories Florham Park 1
National University of Ireland, Galway 1
Poznan University of Technology 1
Vrije Universiteit Amsterdam 1
University of Wyoming 1
Hong Kong Polytechnic University 1
Australian National University 1
INP Grenoble 1
Purdue University 1
Linkoping University 1
Universitat de Girona 1
Harvard University 1
Avaya Inc. 1
University of Groningen 1
University of Oslo 1
University of Mons-Hainaut 1
Institute of Computer Science of the Polish Academy of Sciences 1
Queensland University of Technology 1
Kyushu University 1
RMIT University 1
State University of New York at Albany 1
University of Leeds 1
BRICS Basic Research in Computer Science 1
INRIA Rhone-Alpes 1
Universidad de Chile 1
The Interdisciplinary Center Herzliya 1
Philipps-Universitat Marburg 1
University of Wurzburg 1
University of Hawaii at Manoa 1
Martin Luther University of Halle-Wittenberg 1
Institute of Informatics and Telecommunications, Athens 1
Capital University of Economics and Business China 1
Alexandru Ioan Cuza University 1
Kalamazoo College 1
University of Washington, Seattle 1
University of Witwatersrand 1
Charles University in Prague 1
Bryn Mawr College 1
University of Heidelberg 1
University of Amsterdam 2
Chinese University of Hong Kong 2
University of Helsinki 2
University of Victoria 2
Arizona State University 2
Iowa State University 2
Ecole des Mines de Nancy 2
University of Auckland 2
University of Houston 2
Google Inc. 2
Utrecht University 2
University of Dundee 2
University of Ulm 2
IBM Research 2
Kobe University 2
University of Trier 2
University of Massachusetts Amherst 2
University of Nottingham 2
University of Augsburg 2
Jacobs University Bremen 2
National University of Singapore 2
IBM Thomas J. Watson Research Center 2
INRIA Lorraine 2
Wright State University 2
Technical University of Dresden 2
University of L'Aquila 2
University of Science and Technology of China 2
Macquarie University 2
Heriot-Watt University, Edinburgh 2
University of Minho 2
Royal Holloway University of London 2
Brunel University 2
IBM, USA 2
New York University 2
Technical University of Clausthal 2
University of Florence 2
Indian Institute of Technology, Kanpur 2
Manchester Metropolitan University 2
Beijing University of Technology 2
Politecnico di Milano 2
University of Melbourne 2
Institute for Advanced Studies 2
University of the Basque Country 2
McDaniel College 2
University of Eastern Piedmont Amedeo Avogadro, Alessandria 2
Kagoshima University 2
Research Organization of Information and Systems National Institute of Informatics 2
IRIT Institut de Recherche Informatique de Toulouse 2
Rutgers, The State University of New Jersey 2
McMaster University 2
University of London 2
Institute of Computer Science Crete 2
Reykjavik University 2
Fondazione Bruno Kessler 2
Universite Paris-Est 2
Aalto University 2
Universidad del Pais Vasco - Euskal Herriko Unibertsitatea, Campus Bizkaia 2
Informatique, Biologie Integrative et Systemes Complexes 2
Villanova University 3
Universite Libre de Bruxelles 3
University of Illinois at Urbana-Champaign 3
Humboldt University of Berlin 3
Chalmers University of Technology 3
Pennsylvania State University 3
New Mexico State University Las Cruces 3
University of Siena 3
Ecole Normale Superieure de Cachan 3
Rice University 3
Universite Henri Poincare 3
Hong Kong University of Science and Technology 3
Free University of Bozen-Bolzano 3
University of Piraeus 3
Technical University of Darmstadt 3
Technical University of Denmark 3
Brown University 3
University of Milan - Bicocca 3
Universidad de La Rioja 3
Lubeck University 3
INRIA Institut National de Rechereche en Informatique et en Automatique 3
Adam Mickiewicz University of Poznaniu 3
University of Waterloo 3
Transnationale Universiteit Limburg 3
University of Kentucky 3
Chinese Academy of Sciences 3
Leiden University 3
University of Potsdam 3
Universite Paul Cezanne Aix-Marseille III 3
Wakayama University 3
Technical University of Madrid 3
LORIA Laboratoire Lorrain de Recherche en Informatique et ses Applications 3
Laboratoire d'Informatique de l'Ecole Polytechnique 3
University of Aarhus 3
University of Copenhagen 3
University of Patras 3
University of Dortmund 3
Universite de Lyon 3
INRIA Saclay 3
Universidade de Lisboa 3
University of G. d'Annunzio Chieti and Pescara 4
University of Innsbruck 4
University of Kent 4
Center for Mathematics and Computer Science - Amsterdam 4
University of Kiel 4
Stanford University 4
University of Texas at Austin 4
University of Trento 4
Radboud University Nijmegen 4
University of Western Sydney 4
Simon Fraser University 4
Technical University of Munich 4
Nokia Bell Labs 4
Queen Mary, University of London 4
University of Ferrara 4
University of California, Berkeley 4
University of Freiburg 4
Swiss Federal Institute of Technology, Zurich 4
Vrije Universiteit Brussel 4
University of Cambridge 4
Academy of Sciences of the Czech Republic (Avcr.Cz) 4
New University of Lisbon 4
Laboratoire d'Informatique de Nantes-Atlantique 4
Laboratoire de Recherche en Informatique 4
University of Padua 5
University of Liege 5
McGill University 5
Swansea University 5
University of Insubria 5
University of Pennsylvania 5
Bremen University 5
Birkbeck University of London 5
Ecole Polytechnique 5
Ca' Foscari University of Venice 5
The University of Warwick 5
University of New South Wales 5
University of Bath 5
University of California, San Diego 5
University of Alberta 5
University of Verona 5
Aix Marseille Universite 5
Max Planck Institute for Informatics 6
King's College London 6
University of Udine 6
University of Edinburgh 6
University of Athens 6
University of Sheffield 7
Royal Institute of Technology 7
Gottfried Wilhelm Leibniz Universitat 7
Cornell University 7
University of Wroclaw 7
Technion - Israel Institute of Technology 7
Tsinghua University 7
Complutense University of Madrid 7
Ludwig Maximilian University of Munich 7
Institute of Science and Technology Austria 7
Universite Paris 7- Denis Diderot 8
University of Liverpool 8
University of Pisa 8
Imperial College London 9
University of Naples Federico II 9
University Michigan Ann Arbor 9
Eindhoven University of Technology 9
University of Manchester 10
Tel Aviv University 10
Universitat Politecnica de Catalunya 10
RWTH Aachen University 10
Microsoft Research 10
Griffith University 10
Specifications and Verification Laboratory 10
Hasselt University 11
University of Milan 11
Hebrew University of Jerusalem 12
University of Warsaw 12
University of Toronto 12
University of Calabria 13
University of Turin 14
University of Bologna 15
Catholic University of Leuven, Leuven 16
University of Maryland 21
Carnegie Mellon University 22
University of Roma La Sapienza 25
University of Oxford 26
Vienna University of Technology 49

ACM Transactions on Computational Logic (TOCL)
Archive


2017
Volume 18 Issue 1, February 2017  Issue-in-Progress

2016
Volume 17 Issue 4, November 2016
Volume 17 Issue 3, July 2016
Volume 17 Issue 2, March 2016

2015
Volume 17 Issue 1, December 2015
Volume 16 Issue 4, November 2015
Volume 16 Issue 3, July 2015
Volume 16 Issue 2, March 2015
Volume 16 Issue 1, March 2015

2014
Volume 15 Issue 4, August 2014
Volume 15 Issue 3, July 2014
Volume 15 Issue 2, April 2014
Volume 15 Issue 1, February 2014

2013
Volume 14 Issue 4, November 2013
Volume 14 Issue 3, August 2013
Volume 14 Issue 2, June 2013
Volume 14 Issue 1, February 2013

2012
Volume 13 Issue 4, October 2012
Volume 13 Issue 3, August 2012
Volume 13 Issue 2, April 2012
Volume 13 Issue 1, January 2012

2011
Volume 12 Issue 4, July 2011
Volume 12 Issue 3, May 2011
Volume 12 Issue 2, January 2011

2010
Volume 12 Issue 1, October 2010
Volume 11 Issue 4, July 2010
Volume 11 Issue 3, May 2010
Volume 11 Issue 2, January 2010

2009
Volume 11 Issue 1, October 2009
Volume 10 Issue 4, August 2009
Volume 10 Issue 3, April 2009
Volume 10 Issue 2, February 2009
Volume 10 Issue 1, January 2009

2008
Volume 9 Issue 4, August 2008
Volume 9 Issue 3, June 2008
Volume 9 Issue 2, March 2008

2007
Volume 9 Issue 1, December 2007
Volume 8 Issue 4, August 2007
Volume 8 Issue 3, July 2007
Volume 8 Issue 2, April 2007
Volume 8 Issue 1, January 2007

2006
Volume 7 Issue 4, October 2006
Volume 7 Issue 3, July 2006
Volume 7 Issue 2, April 2006
Volume 7 Issue 1, January 2006

2005
Volume 6 Issue 4, October 2005
Volume 6 Issue 3, July 2005
Volume 6 Issue 2, April 2005
Volume 6 Issue 1, January 2005

2004
Volume 5 Issue 4, October 2004
Volume 5 Issue 3, July 2004
Volume 5 Issue 2, April 2004
Volume 5 Issue 1, January 2004

2003
Volume 4 Issue 4, October 2003
Volume 4 Issue 3, July 2003
Volume 4 Issue 2, April 2003
Volume 4 Issue 1, January 2003

2002
Volume 3 Issue 4, October 2002
Volume 3 Issue 3, July 2002
Volume 3 Issue 2, April 2002
Volume 3 Issue 1, January 2002

2001
Volume 2 Issue 4, Oct. 2001 Special issue devoted to Robert A. Kowalski
Volume 2 Issue 3, July 2001
Volume 2 Issue 2, April 2001
Volume 2 Issue 1, Jan. 2001

2000
Volume 1 Issue 2, Oct. 2000
Volume 1 Issue 1, July 2000
 
All ACM Journals | See Full Journal Index

Search TOCL
enter search term and/or author name