×

Found 1,329 Documents (Results 1–100)

On concurrent multi-party quantum computation. (English) Zbl 07800231

Handschuh, Helena (ed.) et al., Advances in cryptology – CRYPTO 2023. 43rd annual international cryptology conference, CRYPTO 2023, Santa Barbara, CA, USA, August 20–24, 2023. Proceedings. Part V. Cham: Springer. Lect. Notes Comput. Sci. 14085, 129-161 (2023).
MSC:  81P68 81P94 94A60
PDFBibTeX XMLCite
Full Text: DOI

Encodability criteria for quantum based systems. (English) Zbl 1499.68234

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, 151-169 (2022).
MSC:  68Q85 81P68
PDFBibTeX XMLCite
Full Text: DOI arXiv

Scope-bounded reachability in valence systems. (English) Zbl 1520.68037

Haddad, Serge (ed.) et al., 32nd international conference on concurrency theory, CONCUR 2021, August 24–27, 2021, virtual conference. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 203, Article 29, 19 p. (2021).
MSC:  68Q09 68Q85
PDFBibTeX XMLCite
Full Text: DOI arXiv

Timed Petri nets with reset for pipelined synchronous circuit design. (English) Zbl 1489.68166

Buchs, Didier (ed.) et al., Application and theory of Petri nets and concurrency. 42nd international conference, PETRI NETS 2021, virtual event, June 23–25, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12734, 55-75 (2021).
PDFBibTeX XMLCite
Full Text: DOI HAL

Explicit identifiers and contexts in reversible concurrent calculus. (English) Zbl 1476.68093

Yamashita, Shigeru (ed.) et al., Reversible computation. 13th international conference, RC 2021, virtual event, July 7–8, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12805, 144-162 (2021).
MSC:  68Q09 68Q85
PDFBibTeX XMLCite
Full Text: DOI arXiv Link

Black-box constructions of bounded-concurrent secure computation. (English) Zbl 1506.94043

Galdi, Clemente (ed.) et al., Security and cryptography for networks. 12th international conference, SCN 2020, Amalfi, Italy, September 14–16, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12238, 87-107 (2020).
MSC:  94A60 68P25
PDFBibTeX XMLCite
Full Text: DOI

A characterization of distributed ASMs with partial-order runs. (English) Zbl 1497.68174

Raschke, Alexander (ed.) et al., Rigorous state-based methods. 7th international conference, ABZ 2020, Ulm, Germany, May 27–29, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12071, 78-92 (2020).
MSC:  68Q04 68Q60 68Q85
PDFBibTeX XMLCite
Full Text: DOI

How reversibility can solve traditional questions: the example of hereditary history-preserving bisimulation. (English) Zbl 07559463

Konnov, Igor (ed.) et al., 31st international conference on concurrency theory. CONCUR 2020, September 1–4, 2020, Vienna, Austria, virtual conference. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 171, Article 7, 23 p. (2020).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI arXiv

Alternative characterizations of probabilistic trace equivalences on coherent resolutions of nondeterminism. (English) Zbl 1483.68224

Gribaudo, Marco (ed.) et al., Quantitative evaluation of systems. 17th international conference, QEST 2020, Vienna, Austria, August 31 – September 3, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12289, 35-53 (2020).
MSC:  68Q85 68Q10
PDFBibTeX XMLCite
Full Text: DOI

Verifying quantum communication protocols with ground bisimulation. (English) Zbl 1473.68115

Biere, Armin (ed.) et al., Tools and algorithms for the construction and analysis of systems. 26th international conference, TACAS 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12079, 21-38 (2020).
PDFBibTeX XMLCite
Full Text: DOI

3D-array token Petri nets generating tetrahedral picture languages. (English) Zbl 1482.68154

Lukić, Tibor (ed.) et al., Combinatorial image analysis. 20th international workshop, IWCIA 2020, Novi Sad, Serbia, July 16–18, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12148, 88-105 (2020).
PDFBibTeX XMLCite
Full Text: DOI

Linear dependent type theory for quantum programming languages: extended abstract. (English) Zbl 1502.68076

Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM). 440-453 (2020).
PDFBibTeX XMLCite
Full Text: DOI arXiv

When reachability meets Grzegorczyk. (English) Zbl 1506.68061

Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM). 1-6 (2020).
MSC:  68Q85 03D15
PDFBibTeX XMLCite
Full Text: DOI HAL

Data assimilation for ocean drift trajectories using massive ensembles and GPUs. (English) Zbl 1454.65089

Klöfkorn, Robert (ed.) et al., Finite volumes for complex applications IX – methods, theoretical aspects, examples. FVCA 9, Bergen, Norway, June 15–19, 2020. In 2 volumes. Volume I and II. Cham: Springer. Springer Proc. Math. Stat. 323, 715-723 (2020).
PDFBibTeX XMLCite
Full Text: DOI Link

Reversing steps in Petri nets. (English) Zbl 07796221

Donatelli, Susanna (ed.) et al., Application and theory of Petri nets and concurrency. 40th international conference, PETRI NETS 2019, Aachen, Germany, June 23–28, 2019, Proceeding. Cham: Springer. Lect. Notes Comput. Sci. 11522, 171-191 (2019).
MSC:  68Q85 68Q55
PDFBibTeX XMLCite
Full Text: DOI

Wait-free solvability of equality negation tasks. (English) Zbl 1515.68141

Suomela, Jukka (ed.), 33rd international symposium on distributed computing, DISC 2019, Budapest, Hungary, October 14–18, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 146, Article 21, 16 p. (2019).
MSC:  68Q10 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Implementing NChooseK on IBM Q quantum computer systems. (English) Zbl 1527.68036

Thomsen, Michael Kirkedal (ed.) et al., Reversible computation. 11th international conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11497, 209-223 (2019).
MSC:  68N19 81Q65 81P68
PDFBibTeX XMLCite
Full Text: DOI

Automatically translating quantum programs from a subset of common gates to an adiabatic representation. (English) Zbl 1527.68075

Thomsen, Michael Kirkedal (ed.) et al., Reversible computation. 11th international conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11497, 146-161 (2019).
PDFBibTeX XMLCite
Full Text: DOI

Generalized membrane systems with dynamical structure, Petri nets, and multiset approximation spaces. (English) Zbl 1525.68047

McQuillan, Ian (ed.) et al., Unconventional computation and natural computation. 18th international conference, UCNC 2019, Tokyo, Japan, June 3–7, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11493, 15-29 (2019).
MSC:  68Q07 68Q10 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Basic operational preorders for algebraic effects in general, and for combined probability and nondeterminism in particular. (English) Zbl 07533354

Ghica, Dan R. (ed.) et al., 27th EACSL annual conference on computer science logic, CSL 2018, Birmingham, United Kingdom, September 4–8, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 119, Article 29, 17 p. (2018).
PDFBibTeX XMLCite
Full Text: DOI

A fully abstract game semantics for countable nondeterminism. (English) Zbl 07533349

Ghica, Dan R. (ed.) et al., 27th EACSL annual conference on computer science logic, CSL 2018, Birmingham, United Kingdom, September 4–8, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 119, Article 24, 18 p. (2018).
PDFBibTeX XMLCite
Full Text: DOI

Bounded context switching for valence systems. (English) Zbl 1520.68036

Schewe, Sven (ed.) et al., 29th international conference on concurrency theory. CONCUR 2018, Beijing, China, September 4–7, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 118, Article 12, 18 p. (2018).
MSC:  68Q09 68Q85
PDFBibTeX XMLCite
Full Text: DOI arXiv

Almost sure productivity. (English) Zbl 1499.68198

Chatzigiannakis, Ioannis (ed.) et al., 45th international colloquium on automata, languages, and programming. ICALP 2018, Prague, Czech Republic, July 9–13, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 107, Article 113, 15 p. (2018).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Concurrency and probability: removing confusion, compositionally. (English) Zbl 1497.68329

Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9–12, 2018. New York, NY: Association for Computing Machinery (ACM). 195-204 (2018).
MSC:  68Q85 68Q10 68Q87
PDFBibTeX XMLCite
Full Text: DOI

Weak bisimulation metrics in models with nondeterminism and continuous state spaces. (English) Zbl 1518.68233

Fischer, Bernd (ed.) et al., Theoretical aspects of computing – ICTAC 2018. 15th international colloquium, Stellenbosch, South Africa, October 16–19, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11187, 292-312 (2018).
MSC:  68Q85 68Q10 68Q87
PDFBibTeX XMLCite
Full Text: DOI

Encryption and reversible computations. Work-in-progress paper. (English) Zbl 1515.68124

Kari, Jarkko (ed.) et al., Reversible computation. 10th international conference, RC 2018, Leicester, UK, September 12–14, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11106, 331-338 (2018).
MSC:  68P25 68N19 68Q09
PDFBibTeX XMLCite
Full Text: DOI

Reversible object-oriented programming with region-based memory management (work in progress report). (English) Zbl 1515.68092

Kari, Jarkko (ed.) et al., Reversible computation. 10th international conference, RC 2018, Leicester, UK, September 12–14, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11106, 322-328 (2018).
MSC:  68N15 68N19 68Q09
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference

all top 3

Software