External Links

    Journal: Mathematics in Computer Science

    Volume 3, Issue 4

    371 -- 0Manolis Christodoulakis, Costas S. Iliopoulos. Foreword
    373 -- 389Simon J. Puglisi, William F. Smyth, Munina Yusufu. Fast, Practical Algorithms for Computing All the Repeats in a String
    391 -- 406Luigi Cinque, Sergio De Agostino, Luca Lombardi. Scalability and Communication in Parallel Low-Complexity Lossless Compression
    407 -- 420M. Oguzhan Külekci. BLIM: A New Bit-Parallel Pattern Matching Algorithm Overcoming Computer Word Size Limitation
    421 -- 431Subhas Kumar Ghosh, Janardan Misra. A Randomized Algorithm for 3-SAT
    433 -- 442Masud Hasan, Tanaeem M. Moosa, M. Sohel Rahman. Cache Oblivious Algorithms for the RMQ and the RMSQ Problems
    443 -- 456Ida M. Pu, Yuji Shen. Analytical Studies of Energy-Time Efficiency of Blocking Expanding Ring Search
    457 -- 463Elena S. Dimitrova. Estimating the Volumes of the Cones in a Gröbner Fan
    465 -- 488Andreas Alexander Albrecht, Peter C. R. Lane, Kathleen Steinhöfel. Analysis of Local Search Landscapes for ::::k::::-SAT Instances
    489 -- 496Colin Cooper, Ryuhei Uehara. Scale Free Properties of Random ::::k::::-Trees

    Volume 3, Issue 3

    225 -- 226Serge Autexier, Petr Sojka, Masakazu Suzuki. Foreword to the Special Issue on Authoring, Digitalization and Management of Mathematical Knowledge
    227 -- 241Thierry Bouche. Digital Mathematics Libraries: The Good, the Bad, the Ugly
    243 -- 250Enrique Macías-Virgós, R. de la Viesca. Digitization Projects in Spain
    251 -- 263Zarko Mijajlovic, Zoran Ognjanovic, Aleksandar Pejovic. Digitization of Mathematical Editions in Serbia
    265 -- 278Katarzyna Zamlynska, Alek Tarkowski, Tomasz Rosiek. Evolution of the Mathematical Collection of the Polish Virtual Library of Science
    279 -- 298Akio Fujiyoshi, Masakazu Suzuki, Seiichi Uchida. Grammatical Verification for Mathematical Formula Recognition Based on Context-Free Tree Grammar
    299 -- 307Heinrich Stamerjohanns, Michael Kohlhase, Deyan Ginev, Catalin David, Bruce Miller. Transforming Large Collections of Scientific Publications to XML
    309 -- 330David Aspinall, Ewen Denney, Christoph Lüth. Tactics for Hierarchical Proof
    331 -- 347A. M. Cohen, Hans Cuypers, R. Verrijzer. Mathematical Context in Interactive Documents
    349 -- 370Bastiaan Heeren, Johan Jeuring, Alex Gerdes. Specifying Rewrite Strategies for Interactive Exercises

    Volume 3, Issue 2

    127 -- 128Jean-Charles Faugère, Ludovic Perret. Foreword
    129 -- 140Ayoub Otmani, Jean-Pierre Tillich, Léonard Dallot. Cryptanalysis of Two McEliece Cryptosystems Based on Quasi-Cyclic Codes
    141 -- 157Clemens Heuberger. Redundant ::::tau::::-Adic Expansions II: Non-Optimality and Chaotic Behaviour
    159 -- 172Tobias Eibach, Gunnar Völkel, Enrico Pilz. Optimising Gröbner Bases on Bivium
    173 -- 183Sylvain Duquesne. Traces of the Group Law on the Kummer Surface of a Curve of Genus 2 in Characteristic 2
    185 -- 200Stanislav Bulygin, Michael Brickenstein. Obtaining and Solving Systems of Equations in Key Variables Only for the Small Variants of AES
    201 -- 208Moon Sung Lee, Sang Geun Hahn. Cryptanalysis of the GGH Cryptosystem
    209 -- 224Moritz Minzlaff. Computing Zeta Functions of Superelliptic Curves in Larger Characteristic

    Volume 3, Issue 1

    1 -- 2Mirka Miller, Koichi Wada. Foreword
    3 -- 15Matthias Baumgart. Partitioning Bispanning Graphs into Spanning Trees
    17 -- 30Johannes Fischer, Volker Heun. Finding Range Minima in the Middle: Approximations and Applications
    31 -- 38Satoshi Fujita. Loose Cover of Graphs
    39 -- 45Rikio Ichishima, Akito Oshima. On Partitional Labelings of Graphs
    47 -- 60Reinhard Kutzelnigg. An Improved Version of Cuckoo Hashing: Average Case Analysis of Construction Cost and Search Operations
    61 -- 72Sof Anthony Lee. ::::k::::-Phase Oscillator Synchronization for Graph Coloring
    73 -- 84George B. Mertzios, Walter Unger. Preemptive Scheduling of Equal-Length Jobs in Polynomial Time
    85 -- 96George B. Mertzios, Walter Unger. An Optimal Algorithm for the ::::k::::-Fixed-Endpoint Path Cover on Proper Interval Graphs
    97 -- 107Balasubramanian Sivan, S. Harini, C. Pandu Rangan. On Conditional Covering Problem
    109 -- 117Yuuki Tanaka, Yukio Shibata. On the Pagenumber of the Cube-Connected Cycles
    119 -- 126Jianmin Tang, Yuqing Lin, Mirka Miller. New Results on EX Graphs
    runs on