Latest Published Articles:
Formal Languages and Automata Theory
#FormalLanguagesandAutomataTheory
π The Intersection Problem for Finite Semigroups
π₯ Lukas Fleischer
π PDF
π State Complexity of Pattern Matching in Finite Automata
π₯ Janusz A. Brzozowski, Sylvie Davies, Abhishek Madan
π PDF
π On the $t$-adic Littlewood Conjecture
π₯ Faustin Adiceam, Erez Nesharim, Fred Lunnon
π PDF
π The "Hilbert Method" for Solving Transducer Equivalence Problems
π₯ Adrien Boiret, RadosΕaw PiΓ³rkowski, Janusz Schmude
π PDF
π Algorithms and Training for Weighted Multiset Automata and Regular Expressions
π₯ Justin DeBenedetto, David Chiang
π PDF
π Alignment-free sequence comparison using absent words
π₯ Panagiotis Charalampopoulos, Maxime Crochemore, Gabriele Fici, Robert Mercas, Solon P. Pissis
π PDF
π Regular tree languages in low levels of Wadge Hierarchy
π₯ MikoΕaj BojaΕczyk, Filippo Cavallari, Thomas Place, MichaΕ Skrzypczak
π PDF
π Learning Several Languages from Labeled Strings: State Merging and Evolutionary Approaches
π₯ Alexis Linard
π PDF
π BPjs --- a framework for modeling reactive systems using a scripting language and BP
π₯ Michael Bar-Sinai, Gera Weiss, Reut Shmuel
π PDF
π On Prefix Normal Words
π₯ Gabriele Fici, Zsuzsanna LiptΓ‘k
π PDF
π On the Metric-based Approximate Minimization of Markov Chains
π₯ Giovanni Bacci, Giorgio Bacci, Kim G. Larsen, Radu Mardare
π PDF
π Emptiness of Stack Automata is NEXPTIME-complete: A Correction
π₯ Christopher Broadbent, Arnaud Carayol, Matthew Hague, Olivier Serre
π PDF
π Convex Language Semantics for Nondeterministic Probabilistic Automata
π₯ Gerco van Heerdt, Justin Hsu, JoΓ«l Ouaknine, Alexandra Silva
π PDF
π Algorithms for Anti-Powers in Strings
π₯ Golnaz Badkobeh, Gabriele Fici, Simon J. Puglisi
π PDF
π Local time for lattice paths and the associated limit laws
π₯ Cyril Banderier, Michael Wallner
π PDF
#FormalLanguagesandAutomataTheory
AI Python & arXiv Channel
Formal Languages and Automata Theory
#FormalLanguagesandAutomataTheory
π The Intersection Problem for Finite Semigroups
π₯ Lukas Fleischer
π PDF
π State Complexity of Pattern Matching in Finite Automata
π₯ Janusz A. Brzozowski, Sylvie Davies, Abhishek Madan
π PDF
π On the $t$-adic Littlewood Conjecture
π₯ Faustin Adiceam, Erez Nesharim, Fred Lunnon
π PDF
π The "Hilbert Method" for Solving Transducer Equivalence Problems
π₯ Adrien Boiret, RadosΕaw PiΓ³rkowski, Janusz Schmude
π PDF
π Algorithms and Training for Weighted Multiset Automata and Regular Expressions
π₯ Justin DeBenedetto, David Chiang
π PDF
π Alignment-free sequence comparison using absent words
π₯ Panagiotis Charalampopoulos, Maxime Crochemore, Gabriele Fici, Robert Mercas, Solon P. Pissis
π PDF
π Regular tree languages in low levels of Wadge Hierarchy
π₯ MikoΕaj BojaΕczyk, Filippo Cavallari, Thomas Place, MichaΕ Skrzypczak
π PDF
π Learning Several Languages from Labeled Strings: State Merging and Evolutionary Approaches
π₯ Alexis Linard
π PDF
π BPjs --- a framework for modeling reactive systems using a scripting language and BP
π₯ Michael Bar-Sinai, Gera Weiss, Reut Shmuel
π PDF
π On Prefix Normal Words
π₯ Gabriele Fici, Zsuzsanna LiptΓ‘k
π PDF
π On the Metric-based Approximate Minimization of Markov Chains
π₯ Giovanni Bacci, Giorgio Bacci, Kim G. Larsen, Radu Mardare
π PDF
π Emptiness of Stack Automata is NEXPTIME-complete: A Correction
π₯ Christopher Broadbent, Arnaud Carayol, Matthew Hague, Olivier Serre
π PDF
π Convex Language Semantics for Nondeterministic Probabilistic Automata
π₯ Gerco van Heerdt, Justin Hsu, JoΓ«l Ouaknine, Alexandra Silva
π PDF
π Algorithms for Anti-Powers in Strings
π₯ Golnaz Badkobeh, Gabriele Fici, Simon J. Puglisi
π PDF
π Local time for lattice paths and the associated limit laws
π₯ Cyril Banderier, Michael Wallner
π PDF
#FormalLanguagesandAutomataTheory
AI Python & arXiv Channel
Latest Published Articles:
Formal Languages and Automata Theory
#FormalLanguagesandAutomataTheory
π Learning Graph Weighted Models on Pictures
π₯ Philip Amortila, Guillaume Rabusseau
π PDF
π Linear lambda-calculus and Reversible Automatic Combinators
π₯ Alberto Ciaffaglione, Furio Honsell, Marina Lenisa, Ivan Scagnetto
π PDF
π Deque languages, automata and planar graphs
π₯ Stefano Crespi Reghizzi, Pierluigi San Pietro
π PDF
π Finding Short Synchronizing Words for Prefix Codes
π₯ Andrew Ryzhikov, Marek SzykuΕa
π PDF
π Selective Monitoring
π₯ Radu Grigore, Stefan Kiefer
π PDF
π The Intersection Problem for Finite Semigroups
π₯ Lukas Fleischer
π PDF
π State Complexity of Pattern Matching in Finite Automata
π₯ Janusz A. Brzozowski, Sylvie Davies, Abhishek Madan
π PDF
π On the $t$-adic Littlewood Conjecture
π₯ Faustin Adiceam, Erez Nesharim, Fred Lunnon
π PDF
π The "Hilbert Method" for Solving Transducer Equivalence Problems
π₯ Adrien Boiret, RadosΕaw PiΓ³rkowski, Janusz Schmude
π PDF
π Algorithms and Training for Weighted Multiset Automata and Regular Expressions
π₯ Justin DeBenedetto, David Chiang
π PDF
π Alignment-free sequence comparison using absent words
π₯ Panagiotis Charalampopoulos, Maxime Crochemore, Gabriele Fici, Robert Mercas, Solon P. Pissis
π PDF
π Regular tree languages in low levels of Wadge Hierarchy
π₯ MikoΕaj BojaΕczyk, Filippo Cavallari, Thomas Place, MichaΕ Skrzypczak
π PDF
π Learning Several Languages from Labeled Strings: State Merging and Evolutionary Approaches
π₯ Alexis Linard
π PDF
π BPjs --- a framework for modeling reactive systems using a scripting language and BP
π₯ Michael Bar-Sinai, Gera Weiss, Reut Shmuel
π PDF
π On Prefix Normal Words
π₯ Gabriele Fici, Zsuzsanna LiptΓ‘k
π PDF
#FormalLanguagesandAutomataTheory
AI Python & arXiv Channel
Formal Languages and Automata Theory
#FormalLanguagesandAutomataTheory
π Learning Graph Weighted Models on Pictures
π₯ Philip Amortila, Guillaume Rabusseau
π PDF
π Linear lambda-calculus and Reversible Automatic Combinators
π₯ Alberto Ciaffaglione, Furio Honsell, Marina Lenisa, Ivan Scagnetto
π PDF
π Deque languages, automata and planar graphs
π₯ Stefano Crespi Reghizzi, Pierluigi San Pietro
π PDF
π Finding Short Synchronizing Words for Prefix Codes
π₯ Andrew Ryzhikov, Marek SzykuΕa
π PDF
π Selective Monitoring
π₯ Radu Grigore, Stefan Kiefer
π PDF
π The Intersection Problem for Finite Semigroups
π₯ Lukas Fleischer
π PDF
π State Complexity of Pattern Matching in Finite Automata
π₯ Janusz A. Brzozowski, Sylvie Davies, Abhishek Madan
π PDF
π On the $t$-adic Littlewood Conjecture
π₯ Faustin Adiceam, Erez Nesharim, Fred Lunnon
π PDF
π The "Hilbert Method" for Solving Transducer Equivalence Problems
π₯ Adrien Boiret, RadosΕaw PiΓ³rkowski, Janusz Schmude
π PDF
π Algorithms and Training for Weighted Multiset Automata and Regular Expressions
π₯ Justin DeBenedetto, David Chiang
π PDF
π Alignment-free sequence comparison using absent words
π₯ Panagiotis Charalampopoulos, Maxime Crochemore, Gabriele Fici, Robert Mercas, Solon P. Pissis
π PDF
π Regular tree languages in low levels of Wadge Hierarchy
π₯ MikoΕaj BojaΕczyk, Filippo Cavallari, Thomas Place, MichaΕ Skrzypczak
π PDF
π Learning Several Languages from Labeled Strings: State Merging and Evolutionary Approaches
π₯ Alexis Linard
π PDF
π BPjs --- a framework for modeling reactive systems using a scripting language and BP
π₯ Michael Bar-Sinai, Gera Weiss, Reut Shmuel
π PDF
π On Prefix Normal Words
π₯ Gabriele Fici, Zsuzsanna LiptΓ‘k
π PDF
#FormalLanguagesandAutomataTheory
AI Python & arXiv Channel
5 of Latest Published Articles:
Formal Languages and Automata Theory
#FormalLanguagesandAutomataTheory
π Number of valid decompositions of Fibonacci prefixes
π₯ Pierre Bonardo, Anna E. Frid
π PDF
π A Flexible Approach for Checking Timed Automata on Continuous Time Semantics
π₯ Claudio Menghi, Marcello Bersani, Matteo Rossi, Pierluigi San Pietro
π PDF
π A General Approach to State Complexity of Operations: Formalization and Limitations
π₯ Sylvie Davies
π PDF
π Learning Graph Weighted Models on Pictures
π₯ Philip Amortila, Guillaume Rabusseau
π PDF
π On the regularity of the Hankel determinant sequence of the characteristic sequence of powers
π₯ Ying-Jun Guo
π PDF
#FormalLanguagesandAutomataTheory
AI Python & arXiv Channel
Formal Languages and Automata Theory
#FormalLanguagesandAutomataTheory
π Number of valid decompositions of Fibonacci prefixes
π₯ Pierre Bonardo, Anna E. Frid
π PDF
π A Flexible Approach for Checking Timed Automata on Continuous Time Semantics
π₯ Claudio Menghi, Marcello Bersani, Matteo Rossi, Pierluigi San Pietro
π PDF
π A General Approach to State Complexity of Operations: Formalization and Limitations
π₯ Sylvie Davies
π PDF
π Learning Graph Weighted Models on Pictures
π₯ Philip Amortila, Guillaume Rabusseau
π PDF
π On the regularity of the Hankel determinant sequence of the characteristic sequence of powers
π₯ Ying-Jun Guo
π PDF
#FormalLanguagesandAutomataTheory
AI Python & arXiv Channel
5 of Latest Published Articles:
Formal Languages and Automata Theory
#FormalLanguagesandAutomataTheory
π Connecting Weighted Automata and Recurrent Neural Networks through Spectral Learning
π₯ Guillaume Rabusseau, Tianyu Li, Doina Precup
π PDF
π Controlling a population
π₯ Nathalie Bertrand, Miheer Dewaskar, Blaise Genest, Hugo Gimbert, Adwait Amit Godbole
π PDF
π New tools for state complexity
π₯ Pascal Caron, Edwin Hamel-De le court, Jean-Gabriel Luque, Bruno Patrou
π PDF
π Lamplighter groups, bireversible automata and rational series
π₯ Rachel Skipper, Benjamin Steinberg
π PDF
π Formal Specification and Verification of Autonomous Robotic Systems: A Survey
π₯ Matt Luckcuck, Marie Farrell, Louise Dennis, Clare Dixon, Michael Fisher
π PDF
#FormalLanguagesandAutomataTheory
AI Python & arXiv Channel
Formal Languages and Automata Theory
#FormalLanguagesandAutomataTheory
π Connecting Weighted Automata and Recurrent Neural Networks through Spectral Learning
π₯ Guillaume Rabusseau, Tianyu Li, Doina Precup
π PDF
π Controlling a population
π₯ Nathalie Bertrand, Miheer Dewaskar, Blaise Genest, Hugo Gimbert, Adwait Amit Godbole
π PDF
π New tools for state complexity
π₯ Pascal Caron, Edwin Hamel-De le court, Jean-Gabriel Luque, Bruno Patrou
π PDF
π Lamplighter groups, bireversible automata and rational series
π₯ Rachel Skipper, Benjamin Steinberg
π PDF
π Formal Specification and Verification of Autonomous Robotic Systems: A Survey
π₯ Matt Luckcuck, Marie Farrell, Louise Dennis, Clare Dixon, Michael Fisher
π PDF
#FormalLanguagesandAutomataTheory
AI Python & arXiv Channel
To access articles related to a category, touch the HashTag:
π Artificial Intelligence
π #ArtificialIntelligence π
π Hardware Architecture
π #HardwareArchitecture π
π Computational Complexity
π #ComputationalComplexity π
π Computational Engineering, Finance, and Science
π #ComputationalEngineeringFinanceandScience π
π Computational Geometry
π #ComputationalGeometry π
π Computation and Language
π #ComputationandLanguage π
π Cryptography and Security
π #CryptographyandSecurity π
π Computer Vision and Pattern Recognition
π #ComputerVisionandPatternRecognition π
π Computers and Society
π #ComputersandSociety π
π Databases
π #Databases π
π Distributed, Parallel, and Cluster Computing
π #DistributedParallelandClusterComputing π
π Digital Libraries
π #DigitalLibraries π
π Discrete Mathematics
π #DiscreteMathematics π
π Data Structures and Algorithms
π #DataStructuresandAlgorithms π
π Emerging Technologies
π #EmergingTechnologies π
π Formal Languages and Automata Theory
π #FormalLanguagesandAutomataTheory π
π General Literature
π #GeneralLiterature π
π Graphics
π #Graphics π
π Computer Science and Game Theory
π #ComputerScienceandGameTheory π
π Human-Computer Interaction
π #Human-ComputerInteraction π
π Information Retrieval
π #InformationRetrieval π
π Information Theory
π #InformationTheory π
π Learning
π #Learning π
π Logic in Computer Science
π #LogicinComputerScience π
π Multiagent Systems
π #MultiagentSystems π
π Multimedia
π #Multimedia π
π Mathematical Software
π #MathematicalSoftware π
π Numerical Analysis
π #NumericalAnalysis π
π Neural and Evolutionary Computing
π #NeuralandEvolutionaryComputing π
π Networking and Internet Architecture
π #NetworkingandInternetArchitecture π
π Other Computer Science
π #OtherComputerScience π
π Operating Systems
π #OperatingSystems π
π Performance
π #Performance π
π Programming Languages
π #ProgrammingLanguages π
π Robotics
π #Robotics π
π Symbolic Computation
π #SymbolicComputation π
π Sound
π #Sound π
π Software Engineering
π #SoftwareEngineering π
π Social and Information Networks
π #SocialandInformationNetworks π
π Systems and Control
π #SystemsandControl π
β¨οΈ arXiv Channel
π Artificial Intelligence
π #ArtificialIntelligence π
π Hardware Architecture
π #HardwareArchitecture π
π Computational Complexity
π #ComputationalComplexity π
π Computational Engineering, Finance, and Science
π #ComputationalEngineeringFinanceandScience π
π Computational Geometry
π #ComputationalGeometry π
π Computation and Language
π #ComputationandLanguage π
π Cryptography and Security
π #CryptographyandSecurity π
π Computer Vision and Pattern Recognition
π #ComputerVisionandPatternRecognition π
π Computers and Society
π #ComputersandSociety π
π Databases
π #Databases π
π Distributed, Parallel, and Cluster Computing
π #DistributedParallelandClusterComputing π
π Digital Libraries
π #DigitalLibraries π
π Discrete Mathematics
π #DiscreteMathematics π
π Data Structures and Algorithms
π #DataStructuresandAlgorithms π
π Emerging Technologies
π #EmergingTechnologies π
π Formal Languages and Automata Theory
π #FormalLanguagesandAutomataTheory π
π General Literature
π #GeneralLiterature π
π Graphics
π #Graphics π
π Computer Science and Game Theory
π #ComputerScienceandGameTheory π
π Human-Computer Interaction
π #Human-ComputerInteraction π
π Information Retrieval
π #InformationRetrieval π
π Information Theory
π #InformationTheory π
π Learning
π #Learning π
π Logic in Computer Science
π #LogicinComputerScience π
π Multiagent Systems
π #MultiagentSystems π
π Multimedia
π #Multimedia π
π Mathematical Software
π #MathematicalSoftware π
π Numerical Analysis
π #NumericalAnalysis π
π Neural and Evolutionary Computing
π #NeuralandEvolutionaryComputing π
π Networking and Internet Architecture
π #NetworkingandInternetArchitecture π
π Other Computer Science
π #OtherComputerScience π
π Operating Systems
π #OperatingSystems π
π Performance
π #Performance π
π Programming Languages
π #ProgrammingLanguages π
π Robotics
π #Robotics π
π Symbolic Computation
π #SymbolicComputation π
π Sound
π #Sound π
π Software Engineering
π #SoftwareEngineering π
π Social and Information Networks
π #SocialandInformationNetworks π
π Systems and Control
π #SystemsandControl π
β¨οΈ arXiv Channel
5 of Latest Published Articles:
Formal Languages and Automata Theory
#FormalLanguagesandAutomataTheory
π A Formal Approach to Open Multiparty Interactions
π₯ Chiara Bodei, Linda Brodo, Roberto Bruni
π PDF
π Coalgebraic Tools for Randomness-Conserving Protocols
π₯ Dexter Kozen, Matvey Soloviev
π PDF
π Equivalence checking for weak bi-Kleene algebra
π₯ Tobias KappΓ©, Paul Brunet, Bas Luttik, Alexandra Silva, Fabio Zanasi
π PDF
π Methodic of joint using the tools of automation of lexical and parsing analysis in the process of teaching the programming theory of future informatics teachers
π₯ S. O. Semerikov, O. P. Polishchuk
π PDF
π Connecting Weighted Automata and Recurrent Neural Networks through Spectral Learning
π₯ Guillaume Rabusseau, Tianyu Li, Doina Precup
π PDF
#FormalLanguagesandAutomataTheory
AI Python & arXiv Channel
Formal Languages and Automata Theory
#FormalLanguagesandAutomataTheory
π A Formal Approach to Open Multiparty Interactions
π₯ Chiara Bodei, Linda Brodo, Roberto Bruni
π PDF
π Coalgebraic Tools for Randomness-Conserving Protocols
π₯ Dexter Kozen, Matvey Soloviev
π PDF
π Equivalence checking for weak bi-Kleene algebra
π₯ Tobias KappΓ©, Paul Brunet, Bas Luttik, Alexandra Silva, Fabio Zanasi
π PDF
π Methodic of joint using the tools of automation of lexical and parsing analysis in the process of teaching the programming theory of future informatics teachers
π₯ S. O. Semerikov, O. P. Polishchuk
π PDF
π Connecting Weighted Automata and Recurrent Neural Networks through Spectral Learning
π₯ Guillaume Rabusseau, Tianyu Li, Doina Precup
π PDF
#FormalLanguagesandAutomataTheory
AI Python & arXiv Channel
Forwarded from arXiv
To access articles related to a category, touch the HashTag:
π Artificial Intelligence
π #ArtificialIntelligence π
π Hardware Architecture
π #HardwareArchitecture π
π Computational Complexity
π #ComputationalComplexity π
π Computational Engineering, Finance, and Science
π #ComputationalEngineeringFinanceandScience π
π Computational Geometry
π #ComputationalGeometry π
π Computation and Language
π #ComputationandLanguage π
π Cryptography and Security
π #CryptographyandSecurity π
π Computer Vision and Pattern Recognition
π #ComputerVisionandPatternRecognition π
π Computers and Society
π #ComputersandSociety π
π Databases
π #Databases π
π Distributed, Parallel, and Cluster Computing
π #DistributedParallelandClusterComputing π
π Digital Libraries
π #DigitalLibraries π
π Discrete Mathematics
π #DiscreteMathematics π
π Data Structures and Algorithms
π #DataStructuresandAlgorithms π
π Emerging Technologies
π #EmergingTechnologies π
π Formal Languages and Automata Theory
π #FormalLanguagesandAutomataTheory π
π General Literature
π #GeneralLiterature π
π Graphics
π #Graphics π
π Computer Science and Game Theory
π #ComputerScienceandGameTheory π
π Human-Computer Interaction
π #Human-ComputerInteraction π
π Information Retrieval
π #InformationRetrieval π
π Information Theory
π #InformationTheory π
π Learning
π #Learning π
π Logic in Computer Science
π #LogicinComputerScience π
π Multiagent Systems
π #MultiagentSystems π
π Multimedia
π #Multimedia π
π Mathematical Software
π #MathematicalSoftware π
π Numerical Analysis
π #NumericalAnalysis π
π Neural and Evolutionary Computing
π #NeuralandEvolutionaryComputing π
π Networking and Internet Architecture
π #NetworkingandInternetArchitecture π
π Other Computer Science
π #OtherComputerScience π
π Operating Systems
π #OperatingSystems π
π Performance
π #Performance π
π Programming Languages
π #ProgrammingLanguages π
π Robotics
π #Robotics π
π Symbolic Computation
π #SymbolicComputation π
π Sound
π #Sound π
π Software Engineering
π #SoftwareEngineering π
π Social and Information Networks
π #SocialandInformationNetworks π
π Systems and Control
π #SystemsandControl π
β¨οΈ arXiv Channel
π Artificial Intelligence
π #ArtificialIntelligence π
π Hardware Architecture
π #HardwareArchitecture π
π Computational Complexity
π #ComputationalComplexity π
π Computational Engineering, Finance, and Science
π #ComputationalEngineeringFinanceandScience π
π Computational Geometry
π #ComputationalGeometry π
π Computation and Language
π #ComputationandLanguage π
π Cryptography and Security
π #CryptographyandSecurity π
π Computer Vision and Pattern Recognition
π #ComputerVisionandPatternRecognition π
π Computers and Society
π #ComputersandSociety π
π Databases
π #Databases π
π Distributed, Parallel, and Cluster Computing
π #DistributedParallelandClusterComputing π
π Digital Libraries
π #DigitalLibraries π
π Discrete Mathematics
π #DiscreteMathematics π
π Data Structures and Algorithms
π #DataStructuresandAlgorithms π
π Emerging Technologies
π #EmergingTechnologies π
π Formal Languages and Automata Theory
π #FormalLanguagesandAutomataTheory π
π General Literature
π #GeneralLiterature π
π Graphics
π #Graphics π
π Computer Science and Game Theory
π #ComputerScienceandGameTheory π
π Human-Computer Interaction
π #Human-ComputerInteraction π
π Information Retrieval
π #InformationRetrieval π
π Information Theory
π #InformationTheory π
π Learning
π #Learning π
π Logic in Computer Science
π #LogicinComputerScience π
π Multiagent Systems
π #MultiagentSystems π
π Multimedia
π #Multimedia π
π Mathematical Software
π #MathematicalSoftware π
π Numerical Analysis
π #NumericalAnalysis π
π Neural and Evolutionary Computing
π #NeuralandEvolutionaryComputing π
π Networking and Internet Architecture
π #NetworkingandInternetArchitecture π
π Other Computer Science
π #OtherComputerScience π
π Operating Systems
π #OperatingSystems π
π Performance
π #Performance π
π Programming Languages
π #ProgrammingLanguages π
π Robotics
π #Robotics π
π Symbolic Computation
π #SymbolicComputation π
π Sound
π #Sound π
π Software Engineering
π #SoftwareEngineering π
π Social and Information Networks
π #SocialandInformationNetworks π
π Systems and Control
π #SystemsandControl π
β¨οΈ arXiv Channel
5 of Latest Published Articles:
Formal Languages and Automata Theory
#FormalLanguagesandAutomataTheory
π Enumerative Results on the SchrΓΆder Pattern Poset
π₯ Lapo Cioni, Luca Ferrari
π PDF
π Simulation Algorithms for Symbolic Automata (Technical Report)
π₯ LukΓ‘Ε‘ HolΓk, OndΕej LengΓ‘l, Juraj SΓΔ, Margus Veanes, TomΓ‘Ε‘ Vojnar
π PDF
π Equidistributed sequences and pure morphic subshifts
π₯ MΓ©lodie Andrieu, Anna E. Frid
π PDF
π Generating an ATL Model Checker using an Attribute Grammar
π₯ Florin Stoica, Laura Florentina Stoica
π PDF
π Robust Monitoring of Linear Temporal Properties
π₯ Daniel Neider, Maximilian Schwenger, Paulo Tabuada, Alexander Weinert, Martin Zimmermann
π PDF
#FormalLanguagesandAutomataTheory
AI Python & arXiv Channel
Formal Languages and Automata Theory
#FormalLanguagesandAutomataTheory
π Enumerative Results on the SchrΓΆder Pattern Poset
π₯ Lapo Cioni, Luca Ferrari
π PDF
π Simulation Algorithms for Symbolic Automata (Technical Report)
π₯ LukΓ‘Ε‘ HolΓk, OndΕej LengΓ‘l, Juraj SΓΔ, Margus Veanes, TomΓ‘Ε‘ Vojnar
π PDF
π Equidistributed sequences and pure morphic subshifts
π₯ MΓ©lodie Andrieu, Anna E. Frid
π PDF
π Generating an ATL Model Checker using an Attribute Grammar
π₯ Florin Stoica, Laura Florentina Stoica
π PDF
π Robust Monitoring of Linear Temporal Properties
π₯ Daniel Neider, Maximilian Schwenger, Paulo Tabuada, Alexander Weinert, Martin Zimmermann
π PDF
#FormalLanguagesandAutomataTheory
AI Python & arXiv Channel
Forwarded from arXiv
To access articles related to a category, touch the HashTag:
π Artificial Intelligence
π #ArtificialIntelligence π
π Hardware Architecture
π #HardwareArchitecture π
π Computational Complexity
π #ComputationalComplexity π
π Computational Engineering, Finance, and Science
π #ComputationalEngineeringFinanceandScience π
π Computational Geometry
π #ComputationalGeometry π
π Computation and Language
π #ComputationandLanguage π
π Cryptography and Security
π #CryptographyandSecurity π
π Computer Vision and Pattern Recognition
π #ComputerVisionandPatternRecognition π
π Computers and Society
π #ComputersandSociety π
π Databases
π #Databases π
π Distributed, Parallel, and Cluster Computing
π #DistributedParallelandClusterComputing π
π Digital Libraries
π #DigitalLibraries π
π Discrete Mathematics
π #DiscreteMathematics π
π Data Structures and Algorithms
π #DataStructuresandAlgorithms π
π Emerging Technologies
π #EmergingTechnologies π
π Formal Languages and Automata Theory
π #FormalLanguagesandAutomataTheory π
π General Literature
π #GeneralLiterature π
π Graphics
π #Graphics π
π Computer Science and Game Theory
π #ComputerScienceandGameTheory π
π Human-Computer Interaction
π #Human-ComputerInteraction π
π Information Retrieval
π #InformationRetrieval π
π Information Theory
π #InformationTheory π
π Learning
π #Learning π
π Logic in Computer Science
π #LogicinComputerScience π
π Multiagent Systems
π #MultiagentSystems π
π Multimedia
π #Multimedia π
π Mathematical Software
π #MathematicalSoftware π
π Numerical Analysis
π #NumericalAnalysis π
π Neural and Evolutionary Computing
π #NeuralandEvolutionaryComputing π
π Networking and Internet Architecture
π #NetworkingandInternetArchitecture π
π Other Computer Science
π #OtherComputerScience π
π Operating Systems
π #OperatingSystems π
π Performance
π #Performance π
π Programming Languages
π #ProgrammingLanguages π
π Robotics
π #Robotics π
π Symbolic Computation
π #SymbolicComputation π
π Sound
π #Sound π
π Software Engineering
π #SoftwareEngineering π
π Social and Information Networks
π #SocialandInformationNetworks π
π Systems and Control
π #SystemsandControl π
β¨οΈ arXiv Channel
π Artificial Intelligence
π #ArtificialIntelligence π
π Hardware Architecture
π #HardwareArchitecture π
π Computational Complexity
π #ComputationalComplexity π
π Computational Engineering, Finance, and Science
π #ComputationalEngineeringFinanceandScience π
π Computational Geometry
π #ComputationalGeometry π
π Computation and Language
π #ComputationandLanguage π
π Cryptography and Security
π #CryptographyandSecurity π
π Computer Vision and Pattern Recognition
π #ComputerVisionandPatternRecognition π
π Computers and Society
π #ComputersandSociety π
π Databases
π #Databases π
π Distributed, Parallel, and Cluster Computing
π #DistributedParallelandClusterComputing π
π Digital Libraries
π #DigitalLibraries π
π Discrete Mathematics
π #DiscreteMathematics π
π Data Structures and Algorithms
π #DataStructuresandAlgorithms π
π Emerging Technologies
π #EmergingTechnologies π
π Formal Languages and Automata Theory
π #FormalLanguagesandAutomataTheory π
π General Literature
π #GeneralLiterature π
π Graphics
π #Graphics π
π Computer Science and Game Theory
π #ComputerScienceandGameTheory π
π Human-Computer Interaction
π #Human-ComputerInteraction π
π Information Retrieval
π #InformationRetrieval π
π Information Theory
π #InformationTheory π
π Learning
π #Learning π
π Logic in Computer Science
π #LogicinComputerScience π
π Multiagent Systems
π #MultiagentSystems π
π Multimedia
π #Multimedia π
π Mathematical Software
π #MathematicalSoftware π
π Numerical Analysis
π #NumericalAnalysis π
π Neural and Evolutionary Computing
π #NeuralandEvolutionaryComputing π
π Networking and Internet Architecture
π #NetworkingandInternetArchitecture π
π Other Computer Science
π #OtherComputerScience π
π Operating Systems
π #OperatingSystems π
π Performance
π #Performance π
π Programming Languages
π #ProgrammingLanguages π
π Robotics
π #Robotics π
π Symbolic Computation
π #SymbolicComputation π
π Sound
π #Sound π
π Software Engineering
π #SoftwareEngineering π
π Social and Information Networks
π #SocialandInformationNetworks π
π Systems and Control
π #SystemsandControl π
β¨οΈ arXiv Channel
5 of Latest Published Articles:
Formal Languages and Automata Theory
#FormalLanguagesandAutomataTheory
π Computing the Width of Non-deterministic Automata
π₯ Denis Kuperberg, Anirban Majumdar
π PDF
π Decidable Verification of Uninterpreted Programs
π₯ Umang Mathur, P. Madhusudan, Mahesh Viswanathan
π PDF
π The isomorphism problem for tree-automatic ordinals with addition
π₯ Sanjay Jain, Bakhadyr Khoussainov, Philipp Schlicht, Frank Stephan
π PDF
π Multirobot Coordination with Counting Temporal Logics
π₯ Yunus Emre Sahin, Petter Nilsson, Necmiye Ozay
π PDF
π Visibly Pushdown Languages and Free Profinite Algebras
π₯ Silke Czarnetzki, Andreas Krebs, Klaus-JΓΆrn Lange
π PDF
#FormalLanguagesandAutomataTheory
AI Python & arXiv Channel
Formal Languages and Automata Theory
#FormalLanguagesandAutomataTheory
π Computing the Width of Non-deterministic Automata
π₯ Denis Kuperberg, Anirban Majumdar
π PDF
π Decidable Verification of Uninterpreted Programs
π₯ Umang Mathur, P. Madhusudan, Mahesh Viswanathan
π PDF
π The isomorphism problem for tree-automatic ordinals with addition
π₯ Sanjay Jain, Bakhadyr Khoussainov, Philipp Schlicht, Frank Stephan
π PDF
π Multirobot Coordination with Counting Temporal Logics
π₯ Yunus Emre Sahin, Petter Nilsson, Necmiye Ozay
π PDF
π Visibly Pushdown Languages and Free Profinite Algebras
π₯ Silke Czarnetzki, Andreas Krebs, Klaus-JΓΆrn Lange
π PDF
#FormalLanguagesandAutomataTheory
AI Python & arXiv Channel