×

Found 29,977 Documents (Results 1–100)

A matrix method for detecting formal solutions to the problem of algebraic synthesis of a finite-state machine with a datapath of transitions. (English. Ukrainian original) Zbl 07683867

Cybern. Syst. Anal. 59, No. 2, 190-198 (2023); translation from Kibern. Sist. Anal. 59, No. 2, 18-26 (2023).
MSC:  68M07 68Q45
PDF BibTeX XML Cite
Full Text: DOI

Efficient oblivious evaluation protocol and conditional disclosure of secrets for DFA. (English) Zbl 07614782

Ateniese, Giuseppe (ed.) et al., Applied cryptography and network security. 20th international conference, ACNS 2022, Rome, Italy, June 20–23, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13269, 605-625 (2022).
MSC:  68Q10 68Q45 94A60
PDF BibTeX XML Cite
Full Text: DOI

Weighted automata, formal power series and weighted logic. (English) Zbl 1498.68005

BestMasters. Wiesbaden: Springer Spektrum; Konstanz: Univ. of Konstanz (Master Thesis) (ISBN 978-3-658-39322-9/pbk; 978-3-658-39323-6/ebook). xi, 190 p. (2022).
PDF BibTeX XML Cite
Full Text: DOI

Logic synthesis for VLSI-based combined finite state machines. Synthesis targeting ASICs, CPLDs and FPGAs. (English) Zbl 1502.68007

Lecture Notes in Electrical Engineering 922. Cham: Springer (ISBN 978-3-031-16026-4/hbk; 978-3-031-16029-5/pbk; 978-3-031-16027-1/ebook). xv, 291 p. (2022).
MSC:  68-02 68Q45 94C11
PDF BibTeX XML Cite
Full Text: DOI

Learning finite state models from recurrent neural networks. (English) Zbl 1502.68263

ter Beek, Maurice H. (ed.) et al., Integrated formal methods. 17th international conference, IFM 2022, Lugano, Switzerland, June 7–10, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13274, 229-248 (2022).
MSC:  68T05 68Q32 68Q45
PDF BibTeX XML Cite
Full Text: DOI

Untangling the graphs of timed automata to decrease the number of clocks. (English) Zbl 1502.68167

ter Beek, Maurice H. (ed.) et al., Integrated formal methods. 17th international conference, IFM 2022, Lugano, Switzerland, June 7–10, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13274, 168-187 (2022).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI

Avoiding exponential explosion in Petri net models of control flows. (English) Zbl 1499.68227

Bernardinello, Luca (ed.) et al., Application and theory of Petri nets and concurrency. 43rd international conference, PETRI NETS 2022, Bergen, Norway, June 19–24, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13288, 261-277 (2022).
PDF BibTeX XML Cite
Full Text: DOI

Layered memory automata: recognizers for quasi-regular languages with unbounded memory. (English) Zbl 1499.68167

Bernardinello, Luca (ed.) et al., Application and theory of Petri nets and concurrency. 43rd international conference, PETRI NETS 2022, Bergen, Norway, June 19–24, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13288, 43-63 (2022).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI

Effective reductions of Mealy machines. (English) Zbl 07573247

Mousavi, Mohammad Reza (ed.) et al., Formal techniques for distributed objects, components, and systems. 42nd IFIP WG 6.1 international conference, FORTE 2022, held as part of the 17th international federated conference on distributed computing techniques, DisCoTec 2022, Lucca, Italy, June 13–17, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13273, 114-130 (2022).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI arXiv

Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4–6, 2022. (English) Zbl 1492.68007

New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-9196-2). xii, 30 articles, not consecutively paged (2022).
PDF BibTeX XML Cite
Full Text: DOI

An ambiguity hierarchy of weighted context-free grammars. (English) Zbl 07572326

Caron, Pascal (ed.) et al., Implementation and application of automata. 26th international conference, CIAA 2022, Rouen, France, June 28 – July 1, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13266, 238-250 (2022).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI

Constrained synchronization for monotonic and solvable automata and automata with simple idempotents. (English) Zbl 07572325

Caron, Pascal (ed.) et al., Implementation and application of automata. 26th international conference, CIAA 2022, Rouen, France, June 28 – July 1, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13266, 225-237 (2022).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI

Real-time, constant-space, constant-randomness verifiers. (English) Zbl 07572324

Caron, Pascal (ed.) et al., Implementation and application of automata. 26th international conference, CIAA 2022, Rouen, France, June 28 – July 1, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13266, 212-224 (2022).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI arXiv

Energy complexity of regular language recognition. (English) Zbl 07572323

Caron, Pascal (ed.) et al., Implementation and application of automata. 26th international conference, CIAA 2022, Rouen, France, June 28 – July 1, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13266, 200-211 (2022).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI arXiv

Nondeterministic state complexity of site-directed deletion. (English) Zbl 07572322

Caron, Pascal (ed.) et al., Implementation and application of automata. 26th international conference, CIAA 2022, Rouen, France, June 28 – July 1, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13266, 189-199 (2022).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI

Homomorphisms on graph-walking automata. (English) Zbl 07572321

Caron, Pascal (ed.) et al., Implementation and application of automata. 26th international conference, CIAA 2022, Rouen, France, June 28 – July 1, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13266, 177-188 (2022).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI arXiv

The cut operation in subclasses of convex languages (extended abstract). (English) Zbl 07572319

Caron, Pascal (ed.) et al., Implementation and application of automata. 26th international conference, CIAA 2022, Rouen, France, June 28 – July 1, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13266, 152-164 (2022).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI

On the power of pushing or stationary moves for input-driven pushdown automata. (English) Zbl 07572318

Caron, Pascal (ed.) et al., Implementation and application of automata. 26th international conference, CIAA 2022, Rouen, France, June 28 – July 1, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13266, 140-151 (2022).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI

Syntax checking either way. (English) Zbl 07572317

Caron, Pascal (ed.) et al., Implementation and application of automata. 26th international conference, CIAA 2022, Rouen, France, June 28 – July 1, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13266, 128-139 (2022).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI

Some results concerning careful synchronization of partial automata and subset synchronization of DFA’s. (English) Zbl 07572315

Caron, Pascal (ed.) et al., Implementation and application of automata. 26th international conference, CIAA 2022, Rouen, France, June 28 – July 1, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13266, 106-115 (2022).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software