Search Results - "Volker Diekert"

Preface to Klaus-Jörn Lange Festschrift.

Authors: Fernau, Henning Holzer, Markus Wolf, Petra

Source: Acta Informatica; Aug2022, Vol. 59 Issue 4, p285-287, 3p

Preface of the Special Issue Dedicated to Selected Papers from DLT 2022.

Authors: Diekert, Volker Volkov, Mikhail

Source: Theory of Computing Systems; Jun2024, Vol. 68 Issue 3, p299-300, 2p

OPTIMAL CONTROLLER SYNTHESIS FOR TIMED SYSTEMS.

Authors: BUSATTO-GASTON, DAMIEN MONMEGE, BENJAMIN REYNIER, PIERRE-ALAIN

Source: Logical Methods in Computer Science (LMCS); 2023, Vol. 19 Issue 1, p1-77, 77p

Properties of graphs specified by a regular language.

Authors: Diekert, Volker Fernau, Henning Wolf, Petra

Source: Acta Informatica; Aug2022, Vol. 59 Issue 4, p357-385, 29p

DECIDABILITY OF ONE-CLOCK WEIGHTED TIMED GAMES WITH ARBITRARY WEIGHTS.

Authors: MONMEGE, BENJAMIN PARREAUX, JULIE REYNIER, PIERRE-ALAIN

Source: Logical Methods in Computer Science (LMCS); 2025, Vol. 21 Issue 1, p1-45, 45p

Opportunities and challenges in partitioning the graph measure space of real-world networks.

Authors: Józsa, Máté Lázár, Alpár S Lázár, Zsolt I

Source: Journal of Complex Networks; 2021, Vol. 9 Issue 2, p1-13, 13p

TIGHT POLYNOMIAL WORST-CASE BOUNDS FOR LOOP PROGRAMS.

Authors: BEN-AMRAM, AMIR M. HAMILTON, GEOFF

Source: Logical Methods in Computer Science (LMCS); 2020, Vol. 16 Issue 2, p1-39, 39p

LOGICAL AND ALGEBRAIC CHARACTERIZATIONS OF RATIONAL TRANSDUCTIONS.

Authors: FILIOT, EMMANUEL GAUWIN, OLIVIER LHOTE, NATHAN

Source: Logical Methods in Computer Science (LMCS); Oct2019, Vol. 15 Issue 4, p1-42, 42p, 4 Diagrams, 1 Chart

REGISTER AUTOMATA WITH EXTREMA CONSTRAINTS, AND AN APPLICATION TO TWO-VARIABLE LOGIC.

Authors: TORUŃCZYK, SZYMON ZEUME, THOMAS

Source: Logical Methods in Computer Science (LMCS); 2022, Vol. 18 Issue 1, p1-38, 38p, 4 Graphs

SEPARATION FOR DOT-DEPTH TWO.

Authors: PLACE, THOMAS ZEITOUN, MARC

Source: Logical Methods in Computer Science (LMCS); 2021, Vol. 17 Issue 3, p1-42, 42p, 1 Diagram

Efficient Normalization of Linear Temporal Logic.

Authors: Esparza, Javier Rubio, Rubén Sickert, Salomon

Source: Journal of the ACM. Apr2024, Vol. 71 Issue 2, p1-42. 42p.

Identities and bases in the sylvester and Baxter monoids.

Authors: Cain, Alan J. Malheiro, António Ribeiro, Duarte

Source: Journal of Algebraic Combinatorics. Dec2023, Vol. 58 Issue 4, p933-966. 34p.

The absolute Galois group of a p-adic field: In Erinnerung an Jürgen Ritter (1943–2021).

Authors: Jarden, Moshe Shusterman, Mark

Source: Mathematische Annalen. Aug2023, Vol. 386 Issue 3/4, p1595-1603. 9p.

Discrete Algebraic Methods : Arithmetic, Cryptography, Automata and Groups

Authors: Volker Diekert Manfred Kufleitner Gerhard Rosenberger et al.

Resource Type: eBook.

Subjects: Ordered algebraic structures--Textbooks, Algorithms--Textbooks, Computer science--Textbooks--Mathematics, Cryptography--Textbooks

Categories: MATHEMATICS / Discrete Mathematics, COMPUTERS / Computer Science, COMPUTERS / Information Theory, COMPUTERS / Programming / Algorithms, MATHEMATICS / Number Theory, MATHEMATICS / Combinatorics

Recompression: A Simple and Powerful Technique for Word Equations.

Authors: JEŻ, ARTUR¹ aje@cs.uni.wroc.pl

Source: Journal of the ACM. Feb2016, Vol. 63 Issue 1, p4:1-4:51. 51p.

Sumsets and fixed points of substitutions.

Authors: Dekking, F. Michel¹ (AUTHOR)

Source: Proceedings of the American Mathematical Society, Series B. 10/28/2022, Vol. 9, p393-403. 11p.

TREE-AUTOMATIC WELL-FOUNDED TREES.

Authors: HUSCHENBETT, MARTIN KARTZOW, ALEXANDER JIAMOU LIU et al.

Source: Logical Methods in Computer Science (LMCS); Apr2013, Vol. 9 Issue 2, p1-44, 44p, 4 Diagrams

EFFECTIVE CHARACTERIZATIONS OF SIMPLE FRAGMENTS OF TEMPORAL LOGIC USING CARTON–MICHEL AUTOMATA.

Authors: PREUGSCHAT, EBASTIAN WILKE, THOMAS

Source: Logical Methods in Computer Science (LMCS); Apr2013, Vol. 9 Issue 2, p1-22, 22p

SOUNDNESS IN NEGOTIATIONS.

Authors: ESPARZA, JAVIER KUPERBERG, DENIS MUSCHOLL, ANCA et al.

Source: Logical Methods in Computer Science (LMCS); Jan2018, Vol. 14 Issue 1, p1-29, 29p, 5 Diagrams

Algebras defined by Lyndon words and Artin-Schelter regularity.

Authors: Gateva-Ivanova, Tatiana¹ (AUTHOR)

Source: Transactions of the American Mathematical Society, Series B. 6/30/2022, Vol. 9, p648-699. 52p.