×

Found 128,423 Documents (Results 1–100)

Newest Citations Relevance
Bordais, Benjamin; Bouyer, Patricia; Le Roux, Stéphane

Subgame optimal strategies in finite concurrent games with prefix-independent objectives. (English) Zbl 07770354

Kupferman, Orna (ed.) et al., Foundations of software science and computation structures. 26th international conference, FOSSACS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2023, Paris, France, April 22–27, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13992, 541-560 (2023).
MSC:  68Nxx 68Qxx
PDF BibTeX XML Cite
\textit{B. Bordais} et al., Lect. Notes Comput. Sci. 13992, 541--560 (2023; Zbl 07770354)
Full Text: DOI arXiv
Attie, Paul C.; Cocke, William L.

Model and program repair via group actions. (English) Zbl 07770353

Kupferman, Orna (ed.) et al., Foundations of software science and computation structures. 26th international conference, FOSSACS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2023, Paris, France, April 22–27, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13992, 520-540 (2023).
MSC:  68Nxx 68Qxx
PDF BibTeX XML Cite
\textit{P. C. Attie} and \textit{W. L. Cocke}, Lect. Notes Comput. Sci. 13992, 520--540 (2023; Zbl 07770353)
Full Text: DOI
van Glabbeek, Rob

Just testing. (English) Zbl 07770352

Kupferman, Orna (ed.) et al., Foundations of software science and computation structures. 26th international conference, FOSSACS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2023, Paris, France, April 22–27, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13992, 498-519 (2023).
MSC:  68Nxx 68Qxx
PDF BibTeX XML Cite
\textit{R. van Glabbeek}, Lect. Notes Comput. Sci. 13992, 498--519 (2023; Zbl 07770352)
Full Text: DOI arXiv
Le, Quang Loc; Le, Xuan-Bach D.

An efficient cyclic entailment procedure in a fragment of separation logic. (English) Zbl 07770351

Kupferman, Orna (ed.) et al., Foundations of software science and computation structures. 26th international conference, FOSSACS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2023, Paris, France, April 22–27, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13992, 477-497 (2023).
MSC:  68Nxx 68Qxx
PDF BibTeX XML Cite
\textit{Q. L. Le} and \textit{X.-B. D. Le}, Lect. Notes Comput. Sci. 13992, 477--497 (2023; Zbl 07770351)
Full Text: DOI arXiv
Lopez, Aliaume

Fixed points and Noetherian topologies. (English) Zbl 07770350

Kupferman, Orna (ed.) et al., Foundations of software science and computation structures. 26th international conference, FOSSACS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2023, Paris, France, April 22–27, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13992, 456-476 (2023).
MSC:  68Nxx 68Qxx
PDF BibTeX XML Cite
\textit{A. Lopez}, Lect. Notes Comput. Sci. 13992, 456--476 (2023; Zbl 07770350)
Full Text: DOI arXiv
Douéneau-Tabot, Gaëtan

Pebble minimization: the last theorems. (English) Zbl 07770349

Kupferman, Orna (ed.) et al., Foundations of software science and computation structures. 26th international conference, FOSSACS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2023, Paris, France, April 22–27, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13992, 436-455 (2023).
MSC:  68Nxx 68Qxx
PDF BibTeX XML Cite
\textit{G. Douéneau-Tabot}, Lect. Notes Comput. Sci. 13992, 436--455 (2023; Zbl 07770349)
Full Text: DOI arXiv
Labbaf, Faezeh; Groote, Jan Friso; Hojjat, Hossein; Mousavi, Mohammad Reza

Compositional learning for interleaving parallel automata. (English) Zbl 07770348

Kupferman, Orna (ed.) et al., Foundations of software science and computation structures. 26th international conference, FOSSACS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2023, Paris, France, April 22–27, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13992, 413-435 (2023).
MSC:  68Nxx 68Qxx
PDF BibTeX XML Cite
\textit{F. Labbaf} et al., Lect. Notes Comput. Sci. 13992, 413--435 (2023; Zbl 07770348)
Full Text: DOI
Holík, Lukáš; Síč, Juraj; Turoňová, Lenka; Vojnar, Tomáš

Fast matching of regular patterns with synchronizing counting. (English) Zbl 07770347

Kupferman, Orna (ed.) et al., Foundations of software science and computation structures. 26th international conference, FOSSACS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2023, Paris, France, April 22–27, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13992, 392-412 (2023).
MSC:  68Nxx 68Qxx
PDF BibTeX XML Cite
\textit{L. Holík} et al., Lect. Notes Comput. Sci. 13992, 392--412 (2023; Zbl 07770347)
Full Text: DOI arXiv
Boker, Udi; Hefetz, Guy

On the comparison of discounted-sum automata with multiple discount factors. (English) Zbl 07770346

Kupferman, Orna (ed.) et al., Foundations of software science and computation structures. 26th international conference, FOSSACS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2023, Paris, France, April 22–27, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13992, 371-391 (2023).
MSC:  68Nxx 68Qxx
PDF BibTeX XML Cite
\textit{U. Boker} and \textit{G. Hefetz}, Lect. Notes Comput. Sci. 13992, 371--391 (2023; Zbl 07770346)
Full Text: DOI arXiv
Henzinger, Thomas A.; Mazzocchi, Nicolas; Saraç, N. Ege

Quantitative safety and liveness. (English) Zbl 07770345

Kupferman, Orna (ed.) et al., Foundations of software science and computation structures. 26th international conference, FOSSACS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2023, Paris, France, April 22–27, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13992, 349-370 (2023).
MSC:  68Nxx 68Qxx
PDF BibTeX XML Cite
\textit{T. A. Henzinger} et al., Lect. Notes Comput. Sci. 13992, 349--370 (2023; Zbl 07770345)
Full Text: DOI arXiv
Turkenburg, Ruben; Kupke, Clemens; Rot, Jurriaan; Schoen, Ezra

Preservation and reflection of bisimilarity via invertible steps. (English) Zbl 07770344

Kupferman, Orna (ed.) et al., Foundations of software science and computation structures. 26th international conference, FOSSACS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2023, Paris, France, April 22–27, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13992, 328-348 (2023).
MSC:  68Nxx 68Qxx
PDF BibTeX XML Cite
\textit{R. Turkenburg} et al., Lect. Notes Comput. Sci. 13992, 328--348 (2023; Zbl 07770344)
Full Text: DOI
Dubut, Jérémy; Wißmann, Thorsten

Weighted and branching bisimilarities from generalized open maps. (English) Zbl 07770343

Kupferman, Orna (ed.) et al., Foundations of software science and computation structures. 26th international conference, FOSSACS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2023, Paris, France, April 22–27, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13992, 308-327 (2023).
MSC:  68Nxx 68Qxx
PDF BibTeX XML Cite
\textit{J. Dubut} and \textit{T. Wißmann}, Lect. Notes Comput. Sci. 13992, 308--327 (2023; Zbl 07770343)
Full Text: DOI arXiv
Rady, Amgad; van Breugel, Franck

Explainability of probabilistic bisimilarity distances for labelled Markov chains. (English) Zbl 07770342

Kupferman, Orna (ed.) et al., Foundations of software science and computation structures. 26th international conference, FOSSACS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2023, Paris, France, April 22–27, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13992, 285-307 (2023).
MSC:  68Nxx 68Qxx
PDF BibTeX XML Cite
\textit{A. Rady} and \textit{F. van Breugel}, Lect. Notes Comput. Sci. 13992, 285--307 (2023; Zbl 07770342)
Full Text: DOI
Bernardo, Marco; Rossi, Sabina

Reverse bisimilarity vs. forward bisimilarity. (English) Zbl 07770341

Kupferman, Orna (ed.) et al., Foundations of software science and computation structures. 26th international conference, FOSSACS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2023, Paris, France, April 22–27, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13992, 265-284 (2023).
MSC:  68Nxx 68Qxx
PDF BibTeX XML Cite
\textit{M. Bernardo} and \textit{S. Rossi}, Lect. Notes Comput. Sci. 13992, 265--284 (2023; Zbl 07770341)
Full Text: DOI
Baumann, Pascal; D’Alessandro, Flavio; Ganardi, Moses; Ibarra, Oscar; McQuillan, Ian; Schütze, Lia; Zetzsche, Georg

Unboundedness problems for machines with reversal-bounded counters. (English) Zbl 07770340

Kupferman, Orna (ed.) et al., Foundations of software science and computation structures. 26th international conference, FOSSACS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2023, Paris, France, April 22–27, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13992, 240-264 (2023).
MSC:  68Nxx 68Qxx
PDF BibTeX XML Cite
\textit{P. Baumann} et al., Lect. Notes Comput. Sci. 13992, 240--264 (2023; Zbl 07770340)
Full Text: DOI arXiv
Prakash, Aditya; Thejaswini, K. S.

On history-deterministic one-counter nets. (English) Zbl 07770339

Kupferman, Orna (ed.) et al., Foundations of software science and computation structures. 26th international conference, FOSSACS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2023, Paris, France, April 22–27, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13992, 218-239 (2023).
MSC:  68Nxx 68Qxx
PDF BibTeX XML Cite
\textit{A. Prakash} and \textit{K. S. Thejaswini}, Lect. Notes Comput. Sci. 13992, 218--239 (2023; Zbl 07770339)
Full Text: DOI arXiv
Mazowiecki, Filip; Sinclair-Banks, Henry; Węgrzycki, Karol

Coverability in 2-VASS with one unary counter is in NP. (English) Zbl 07770338

Kupferman, Orna (ed.) et al., Foundations of software science and computation structures. 26th international conference, FOSSACS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2023, Paris, France, April 22–27, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13992, 196-217 (2023).
MSC:  68Nxx 68Qxx
PDF BibTeX XML Cite
\textit{F. Mazowiecki} et al., Lect. Notes Comput. Sci. 13992, 196--217 (2023; Zbl 07770338)
Full Text: DOI arXiv
Starchak, Mikhail R.

On the existential arithmetics with addition and bitwise minimum. (English) Zbl 07770337

Kupferman, Orna (ed.) et al., Foundations of software science and computation structures. 26th international conference, FOSSACS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2023, Paris, France, April 22–27, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13992, 176-195 (2023).
MSC:  68Nxx 68Qxx
PDF BibTeX XML Cite
\textit{M. R. Starchak}, Lect. Notes Comput. Sci. 13992, 176--195 (2023; Zbl 07770337)
Full Text: DOI
Hainry, Emmanuel; Péchoux, Romain; Silva, Mário

A programming language characterizing quantum polynomial time. (English) Zbl 07770336

Kupferman, Orna (ed.) et al., Foundations of software science and computation structures. 26th international conference, FOSSACS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2023, Paris, France, April 22–27, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13992, 156-175 (2023).
MSC:  68Nxx 68Qxx
PDF BibTeX XML Cite
\textit{E. Hainry} et al., Lect. Notes Comput. Sci. 13992, 156--175 (2023; Zbl 07770336)
Full Text: DOI arXiv
Echahed, Rachid; Echenim, Mnacho; Mhalla, Mehdi; Peltier, Nicolas

A strict constrained superposition calculus for graphs. (English) Zbl 07770335

Kupferman, Orna (ed.) et al., Foundations of software science and computation structures. 26th international conference, FOSSACS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2023, Paris, France, April 22–27, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13992, 135-155 (2023).
MSC:  68Nxx 68Qxx
PDF BibTeX XML Cite
\textit{R. Echahed} et al., Lect. Notes Comput. Sci. 13992, 135--155 (2023; Zbl 07770335)
Full Text: DOI
New, Max S.; Licata, Daniel R.

A formal logic for formal category theory. (English) Zbl 07770334

Kupferman, Orna (ed.) et al., Foundations of software science and computation structures. 26th international conference, FOSSACS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2023, Paris, France, April 22–27, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13992, 113-134 (2023).
MSC:  68Nxx 68Qxx
PDF BibTeX XML Cite
\textit{M. S. New} and \textit{D. R. Licata}, Lect. Notes Comput. Sci. 13992, 113--134 (2023; Zbl 07770334)
Full Text: DOI arXiv
de Amorim, Pedro H. Azevedo

A higher-order language for Markov kernels and linear operators. (English) Zbl 07770333

Kupferman, Orna (ed.) et al., Foundations of software science and computation structures. 26th international conference, FOSSACS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2023, Paris, France, April 22–27, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13992, 89-112 (2023).
MSC:  68Nxx 68Qxx
PDF BibTeX XML Cite
\textit{P. H. A. de Amorim}, Lect. Notes Comput. Sci. 13992, 89--112 (2023; Zbl 07770333)
Full Text: DOI arXiv
Chen, Zhibo; Pfenning, Frank

A logical framework with higher-order rational (circular) terms. (English) Zbl 07770332

Kupferman, Orna (ed.) et al., Foundations of software science and computation structures. 26th international conference, FOSSACS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2023, Paris, France, April 22–27, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13992, 68-88 (2023).
MSC:  68Nxx 68Qxx
PDF BibTeX XML Cite
\textit{Z. Chen} and \textit{F. Pfenning}, Lect. Notes Comput. Sci. 13992, 68--88 (2023; Zbl 07770332)
Full Text: DOI arXiv
Goncharov, Sergey; Hofmann, Dirk; Nora, Pedro; Schröder, Lutz; Wild, Paul

Kantorovich functors and characteristic logics for behavioural distances. (English) Zbl 07770331

Kupferman, Orna (ed.) et al., Foundations of software science and computation structures. 26th international conference, FOSSACS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2023, Paris, France, April 22–27, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13992, 46-67 (2023).
MSC:  68Nxx 68Qxx
PDF BibTeX XML Cite
\textit{S. Goncharov} et al., Lect. Notes Comput. Sci. 13992, 46--67 (2023; Zbl 07770331)
Full Text: DOI arXiv
Hirschkoff, Daniel; Jaber, Guilhem; Prebet, Enguerrand

Deciding contextual equivalence of \(\nu \)-calculus with effectful contexts. (English) Zbl 07770330

Kupferman, Orna (ed.) et al., Foundations of software science and computation structures. 26th international conference, FOSSACS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2023, Paris, France, April 22–27, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13992, 24-45 (2023).
MSC:  68Nxx 68Qxx
PDF BibTeX XML Cite
\textit{D. Hirschkoff} et al., Lect. Notes Comput. Sci. 13992, 24--45 (2023; Zbl 07770330)
Full Text: DOI
Ahman, Danel

When programs have to watch paint dry. (English) Zbl 07770329

Kupferman, Orna (ed.) et al., Foundations of software science and computation structures. 26th international conference, FOSSACS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2023, Paris, France, April 22–27, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13992, 1-23 (2023).
MSC:  68Nxx 68Qxx
PDF BibTeX XML Cite
\textit{D. Ahman}, Lect. Notes Comput. Sci. 13992, 1--23 (2023; Zbl 07770329)
Full Text: DOI arXiv
Petrucci, Laure (ed.); Sproston, Jeremy (ed.)

Formal modeling and analysis of timed systems. 21st international conference, FORMATS 2023, Antwerp, Belgium, September 19–21, 2023. Proceedings. (English) Zbl 07768469

Lecture Notes in Computer Science 14138. Cham: Springer (ISBN 978-3-031-42625-4/pbk; 978-3-031-42626-1/ebook). xiv, 181 p. (2023).
MSC:  68-06 68Qxx 00B25
PDF BibTeX XML Cite
\textit{L. Petrucci} (ed.) and \textit{J. Sproston} (ed.), Formal modeling and analysis of timed systems. 21st international conference, FORMATS 2023, Antwerp, Belgium, September 19--21, 2023. Proceedings. Cham: Springer (2023; Zbl 07768469)
Full Text: DOI

Filter Results by …

Document Type

Database

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Biographic Reference

all top 3

Software