Journal: Mathematics in Computer Science

Volume 9, Issue 4

391 -- 408Matilde Marcolli, Alexander Port. Graph Grammars, Insertion Lie Algebras, and Quantum Field Theory
409 -- 436Bärbel M. R. Stadler, Peter F. Stadler. Connectivity Spaces
437 -- 441Sarah Berkemer, Ricardo Régis Cavalcante Chaves, Adrian Fritz, Marc Hellmuth, Maribel Hernandez-Rosales, Peter F. Stadler. Spiders can be Recognized by Counting Their Legs
443 -- 452Hadi Muhshi, Edy Tri Baskoro. Matching-Star Ramsey Minimal Graphs
453 -- 459Yiu-Kwong Man. On Computing the Measurable Amounts of the Two Jugs Problem
461 -- 475Sandeep Ameet Kumar, Jito Vanualailai, Bibhya Sharma. Lyapunov-Based Control for a Swarm of Planar Nonholonomic Vehicles

Volume 9, Issue 3

265 -- 0Pascal Fontaine, Thomas Sturm, Uwe Waldmann. Foreword to the Special Focus on Constraints and Combinations
267 -- 281Ryoya Fukasaku, Shutaro Inoue, Yosuke Sato. On QE Algorithms over an Algebraically Closed Field Based on Comprehensive Gröbner Systems
283 -- 325Willem Hagemann. Efficient Geometric Operations on Convex Polyhedra, with an Application to Reachability Analysis of Hybrid Systems
327 -- 344Martin Suda 0001. Variable and Clause Elimination for LTL Satisfiability Checking
345 -- 353M. H. M. J. Wintraecken, Gert Vegter. On the Optimal Triangulation of Convex Hypersurfaces, Whose Vertices Lie in Ambient Space
355 -- 364A. Panayotopoulos, Panayiotis Vlamos. Partitioning the Meandering Curves
365 -- 389Wolfram Koepf, Etienne Nana Chiadjeu. Algorithmic Approach for Formal Fourier Series

Volume 9, Issue 2

125 -- 126Mirka Miller, Bharati Rajan, Indra Rajasingh. Foreword
127 -- 137Jemal H. Abawajy, Andrei Kelarev, Mirka Miller, Joseph F. Ryan 0001. Distances of Centroid Sets in a Graph-Based Construction for Information Security Applications
139 -- 143Martin Baca, Oudone Phanalasy, Joe Ryan, Andrea Semanicová-Fenovcíková. Antimagic Labelings of Join Graphs
145 -- 149Josep Conde, Mirka Miller, Josep M. Miret, Kumar Saurav. On the Nonexistence of Almost Moore Digraphs of Degree Four and Five
151 -- 160Indra Rajasingh, V. Annamma. Total Vertex Irregularity Strength of 1-Fault Tolerant Hamiltonian Graphs
161 -- 167Diari Indriati, Widodo, Indah E. Wijayanti, Kiki A. Sugeng, Martin Baca. On Total Edge Irregularity Strength of Generalized Web Graphs and Related Graphs
169 -- 175Jasintha Quadras, Sajiya Merlin Mahizl Albert. Domination Parameters in Coronene Torus Network
177 -- 183Jasintha Quadras, Sarah Surya Solomon. Embedding of the Folded Hypercubes into Tori
185 -- 191J. Jeba Jesintha, K. Ezhilarasi Hilda. All Uniform Bow Graphs are Graceful
193 -- 199M. Joice Punitha. Strong Kernel Number in Certain Oriented Cycle Extension of Graphs
201 -- 208Paul Manuel, Bharati Rajan, Cyriac Grigorious, Sudeep Stephen. On the Strong Metric Dimension of Tetrahedral Diamond Lattice
209 -- 220Paul Manuel, A. S. Shanthi. Berge-Fulkerson Conjecture on Certain Snarks
221 -- 227Indra Rajasingh, Micheal Arockiaraj, Jasintha Quadras, Arul Jeya Shalini. Linear Layout of Directed Grid Graph
229 -- 237Rismawati Ramdani, A. N. M. Salman, Hilda Assiyatun, Andrea Semanicová-Fenovcíková, Martin Baca. Total Irregularity Strength of Three Families of Graphs
239 -- 247P. Roushini Leely Pushpam, Chitra Suseendran. Secure Restrained Domination in Graphs
249 -- 252G. Sethuraman, A. Velankanni, S. Anbarasu, V. Vijayalakshmi. Cycle Partition of Two-Connected and Two-Edge Connected Graphs
253 -- 263R. Sundara Rajan, N. Parthiban, T. M. Rajalaxmi. Embedding of Recursive Circulants into Certain Necklace Graphs

Volume 9, Issue 1

1 -- 3Laurent Théry, Freek Wiedijk. Foreword to the Special Focus on Formal Proofs for Mathematics and Computer Science
5 -- 22Cezary Kaliszyk, Josef Urban. HOL(y)Hammer: Online ATP Service for HOL Light
23 -- 39Lars Noschinski. A Graph Library for Isabelle
41 -- 62Sylvie Boldo, Catherine Lelay, Guillaume Melquiond. Coquelicot: A User-Friendly Library of Real Analysis for Coq
63 -- 84Matilde Marcolli, John Napp. Quantum Computation and Real Multiplication
85 -- 103Jyoti Talwar, Ranjan Kumar Mohanty. A Single Sweep AGE Algorithm based on Off-Step Discretization for the Solution of Viscous Burgers' Equation on a Variable Mesh
105 -- 111Jacqueline W. Daykin, Costas S. Iliopoulos, Mirka Miller, Oudone Phanalasy. Antimagicness of Generalized Corona and Snowflake Graphs
113 -- 123Satyabrata Paul, Madhumangal Pal, Anita Pal. L(2, 1)-Labeling of Permutation and Bipartite Permutation Graphs