Journals in DBLP
Chiara Braghin , Agostino Cortesi , Riccardo Focardi Information Leakage Detection in Boundary Ambients. [Citation Graph (0, 0)][DBLP ] Journal ] Tadao Takaoka The Reverse Problem of Range Query. [Citation Graph (0, 0)][DBLP ] Journal ] Nicoletta Sabadini , Robert F. C. Walters Hierarchical Automata and P-systems. [Citation Graph (0, 0)][DBLP ] Journal ] Yutaka Matsuno , Hiroyuki Sato Flow Analytic Type System for Array Bound Checks. [Citation Graph (0, 0)][DBLP ] Journal ] Karl Lermer , Colin J. Fidge , Ian J. Hayes Formal Semantics for Program Paths. [Citation Graph (0, 0)][DBLP ] Journal ] Michael Johnson , Robert D. Rosebrugh Three approaches to Partiality in the Sketch Data Model. [Citation Graph (0, 0)][DBLP ] Journal ] Toshimasa Ishii , Yoko Akiyama , Hiroshi Nagamochi Minimum Augmentation of Edge-connectivity between Vertices and Sets of Vertices in Undirected Graphs. [Citation Graph (0, 0)][DBLP ] Journal ] Aleksandar Ignjatovic , Phuong Nguyen Characterizing polynomial time computable functions using theories with weak set existence principles. [Citation Graph (0, 0)][DBLP ] Journal ] Maurice Herlihy , Victor Luchangco , Mark Moir Space and Time Adaptive Non-blocking Algorithms. [Citation Graph (0, 0)][DBLP ] Journal ] George Havas On the Complexity of the Extended Euclidean Algorithm (extended abstract). [Citation Graph (0, 0)][DBLP ] Journal ] James Harland Preface. [Citation Graph (0, 0)][DBLP ] Journal ] Guido Governatori On the Relative Complexity of Labelled Modal Tableaux. [Citation Graph (0, 0)][DBLP ] Journal ] William Duckworth , Michele Zito Large 2-Independent Sets of Regular Graphs. [Citation Graph (0, 0)][DBLP ] Journal ] Rodney G. Downey , Vladimir Estivill-Castro , Michael R. Fellows , Elena Prieto , Frances A. Rosamond Cutting Up is Hard to Do: the Parameterized Complexity of k-Cut and Related Problems. [Citation Graph (0, 0)][DBLP ] Journal ] Michael J. Dinneen , Nian Zhou An Optimal Family of Bounded-Degree Broadcast Networks. [Citation Graph (0, 0)][DBLP ] Journal ] Jeremy E. Dawson , Rajeev Goré A New Machine-checked Proof of Strong Normalisation for Display Logic. [Citation Graph (0, 0)][DBLP ] Journal ] Mario Coppo , Mariangiola Dezani-Ciancaglini , Elio Giovannetti , Ivano Salvo Mobility Types for Mobile Processes in Mobile Ambients. [Citation Graph (0, 0)][DBLP ] Journal ] Mao-cheng Cai , Xiaotie Deng Arbitrage in Frictional Foreign Exchange Market. [Citation Graph (0, 0)][DBLP ] Journal ] David A. Wright Linearity and Passivity. [Citation Graph (0, 0)][DBLP ] Journal ] 