Li, Zhuoning; Xu, Zhenli; Yang, Zhiguo An energy-conserving Fourier particle-in-cell method with asymptotic-preserving preconditioner for Vlasov-Ampère system with exact curl-free constraint. (English) Zbl 07766247 J. Comput. Phys. 495, Article ID 112529, 21 p. (2023). MSC: 65Mxx 35Qxx 82Dxx PDFBibTeX XMLCite \textit{Z. Li} et al., J. Comput. Phys. 495, Article ID 112529, 21 p. (2023; Zbl 07766247) Full Text: DOI arXiv
Montefiori, Samuele; Tamburini, Matteo SFQEDtoolkit: a high-performance library for the accurate modeling of strong-field QED processes in PIC and Monte Carlo codes. (English) Zbl 07740229 Comput. Phys. Commun. 292, Article ID 108855, 20 p. (2023). MSC: 81V10 68Q80 65C05 78A10 78A60 85A15 81Q12 47A10 80A50 PDFBibTeX XMLCite \textit{S. Montefiori} and \textit{M. Tamburini}, Comput. Phys. Commun. 292, Article ID 108855, 20 p. (2023; Zbl 07740229) Full Text: DOI arXiv
Muratov, R. V.; Ryabov, P. N.; Dyachkov, S. A. Dynamic domain decomposition method based on weighted Voronoi diagrams. (English) Zbl 1528.76063 Comput. Phys. Commun. 290, Article ID 108790, 16 p. (2023). Reviewer: Kanakadurga Sivakumar (Chennai) MSC: 76M99 74S99 65M55 65Y05 PDFBibTeX XMLCite \textit{R. V. Muratov} et al., Comput. Phys. Commun. 290, Article ID 108790, 16 p. (2023; Zbl 1528.76063) Full Text: DOI
Ji, Lijie; Yang, Zhiguo; Li, Zhuoning; Wu, Dong; Jin, Shi; Xu, Zhenli An asymptotic-preserving and energy-conserving particle-in-cell method for Vlasov-Maxwell equations. (English) Zbl 1516.82079 J. Math. Phys. 64, No. 6, Article ID 063503, 19 p. (2023). MSC: 82D10 76X05 35Q60 35Q83 PDFBibTeX XMLCite \textit{L. Ji} et al., J. Math. Phys. 64, No. 6, Article ID 063503, 19 p. (2023; Zbl 1516.82079) Full Text: DOI arXiv
Deluzet, Fabrice; Fubiani, Gwenael; Garrigues, Laurent; Guillet, Clément; Narski, Jacek Efficient parallelization for 3d-3v sparse grid particle-in-cell: shared memory architectures. (English) Zbl 07662521 J. Comput. Phys. 480, Article ID 112022, 26 p. (2023). MSC: 65Yxx 65Nxx 65Fxx PDFBibTeX XMLCite \textit{F. Deluzet} et al., J. Comput. Phys. 480, Article ID 112022, 26 p. (2023; Zbl 07662521) Full Text: DOI
Hairer, Ernst; Lubich, Christian; Shi, Yanyan Large-stepsize integrators for charged-particle dynamics over multiple time scales. (English) Zbl 1510.65314 Numer. Math. 151, No. 3, 659-691 (2022). Reviewer: Kevin Burrage (Brisbane) MSC: 65P10 78A35 PDFBibTeX XMLCite \textit{E. Hairer} et al., Numer. Math. 151, No. 3, 659--691 (2022; Zbl 1510.65314) Full Text: DOI arXiv
Cho, Myung-Hoon; Kim, Minseok; Nam, Inhyuk Numerical dispersion free in longitudinal axis for particle-in-cell simulation. (English) Zbl 07536727 J. Comput. Phys. 462, Article ID 111221, 16 p. (2022). MSC: 82Dxx 76Mxx 65Mxx PDFBibTeX XMLCite \textit{M.-H. Cho} et al., J. Comput. Phys. 462, Article ID 111221, 16 p. (2022; Zbl 07536727) Full Text: DOI
Kühn, Christoph; Groll, Rodion picFoam: an OpenFOAM based electrostatic particle-in-cell solver. (English) Zbl 07691179 Comput. Phys. Commun. 262, Article ID 107853, 14 p. (2021). MSC: 82-XX 78-XX PDFBibTeX XMLCite \textit{C. Kühn} and \textit{R. Groll}, Comput. Phys. Commun. 262, Article ID 107853, 14 p. (2021; Zbl 07691179) Full Text: DOI arXiv
Pukhov, Alexander X-dispersionless Maxwell solver for plasma-based particle acceleration. (English) Zbl 07506175 J. Comput. Phys. 418, Article ID 109622, 14 p. (2020). MSC: 78-XX 76-XX PDFBibTeX XMLCite \textit{A. Pukhov}, J. Comput. Phys. 418, Article ID 109622, 14 p. (2020; Zbl 07506175) Full Text: DOI arXiv
Higginson, Drew Pitney; Holod, Ihor; Link, Anthony A corrected method for Coulomb scattering in arbitrarily weighted particle-in-cell plasma simulations. (English) Zbl 1436.82025 J. Comput. Phys. 413, Article ID 109450, 15 p. (2020). MSC: 82M31 82D10 82C22 PDFBibTeX XMLCite \textit{D. P. Higginson} et al., J. Comput. Phys. 413, Article ID 109450, 15 p. (2020; Zbl 1436.82025) Full Text: DOI Link
Beck, A.; Derouillat, J.; Lobet, M.; Farjallah, A.; Massimo, F.; Zemzemi, I.; Perez, F.; Vinci, T.; Grech, M. Adaptive SIMD optimizations in particle-in-cell codes with fine-grain particle sorting. (English) Zbl 07674846 Comput. Phys. Commun. 244, 246-263 (2019). MSC: 81-XX 68-XX PDFBibTeX XMLCite \textit{A. Beck} et al., Comput. Phys. Commun. 244, 246--263 (2019; Zbl 07674846) Full Text: DOI arXiv
Kallala, Haithem; Vay, Jean-Luc; Vincenti, Henri A generalized massively parallel ultra-high order FFT-based Maxwell solver. (English) Zbl 07674828 Comput. Phys. Commun. 244, 25-34 (2019). MSC: 82-XX 76-XX PDFBibTeX XMLCite \textit{H. Kallala} et al., Comput. Phys. Commun. 244, 25--34 (2019; Zbl 07674828) Full Text: DOI arXiv
Guerraoui, Rachid; Henzinger, Thomas A.; Singh, Vasu Model checking transactional memories. (English) Zbl 1267.68143 Distrib. Comput. 22, No. 3, 129-145 (2010). MSC: 68Q60 68Q85 PDFBibTeX XMLCite \textit{R. Guerraoui} et al., Distrib. Comput. 22, No. 3, 129--145 (2010; Zbl 1267.68143) Full Text: DOI Link
Alur, Rajeev; McMillan, Ken; Peled, Doron Model-checking of correctness conditions for concurrent objects. (English) Zbl 1003.68067 Inf. Comput. 160, No. 1-2, 167-188 (2000). MSC: 68Q60 68Q17 68Q45 68Q85 PDFBibTeX XMLCite \textit{R. Alur} et al., Inf. Comput. 160, No. 1--2, 167--188 (2000; Zbl 1003.68067) Full Text: DOI Link
Richomme, Gwénaël Some trace monoids where both the star problem and the finite power property problem are decidable (extended abstract). (English) Zbl 1496.20089 Privara, Igor (ed.) et al., Mathematical foundations of computer science 1994. 19th international symposium, MFCS ’94, Košice, Slovakia, August 22–26, 1994. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 841, 577-586 (1994). MSC: 20M05 20M35 68Q45 PDFBibTeX XMLCite \textit{G. Richomme}, Lect. Notes Comput. Sci. 841, 577--586 (1994; Zbl 1496.20089) Full Text: DOI
Gastin, Paul; Petit, Antoine; Zielonka, Wiesław An extension of Kleene’s and Ochmański’s theorems to infinite traces. (English) Zbl 0795.68116 Theor. Comput. Sci. 125, No. 2, 167-204 (1994). MSC: 68Q45 68Q10 20M35 68Q55 PDFBibTeX XMLCite \textit{P. Gastin} et al., Theor. Comput. Sci. 125, No. 2, 167--204 (1994; Zbl 0795.68116) Full Text: DOI
Diekert, Volker On the concatenation of infinite traces. (English) Zbl 0786.68074 Theor. Comput. Sci. 113, No. 1, 35-54 (1993). Reviewer: J.Woźniak (Gdańsk) MSC: 68Q85 68Q55 68Q10 PDFBibTeX XMLCite \textit{V. Diekert}, Theor. Comput. Sci. 113, No. 1, 35--54 (1993; Zbl 0786.68074) Full Text: DOI
Gastin, Paul; Ochmanski, Edward; Petit, Antoine; Rozoy, Brigitte Decidability of the star problem in \(A^*\times{}\{ b\}^*\). (English) Zbl 0759.68050 Inf. Process. Lett. 44, No. 2, 65-71 (1992). Reviewer: A.V.Anisimov (Kiev) MSC: 68Q45 PDFBibTeX XMLCite \textit{P. Gastin} et al., Inf. Process. Lett. 44, No. 2, 65--71 (1992; Zbl 0759.68050) Full Text: DOI
Hashiguchi, Kosaburo; Yamada, Kazuya String matching problems over free partially commutative monoids. (English) Zbl 0769.68063 Inf. Comput. 101, No. 2, 131-149 (1992). MSC: 68Q45 20M35 PDFBibTeX XMLCite \textit{K. Hashiguchi} and \textit{K. Yamada}, Inf. Comput. 101, No. 2, 131--149 (1992; Zbl 0769.68063) Full Text: DOI
Otto, Friedrich; Wrathall, Celia Overlaps in free partially commutative monoids. (English) Zbl 0719.20030 J. Comput. Syst. Sci. 42, No. 2, 186-198 (1991). Reviewer: F.Otto (Kassel) MSC: 20M05 68Q10 68R15 20M35 68W30 PDFBibTeX XMLCite \textit{F. Otto} and \textit{C. Wrathall}, J. Comput. Syst. Sci. 42, No. 2, 186--198 (1991; Zbl 0719.20030) Full Text: DOI
Rozoy, Brigitte; Thiagarajan, P. S. Event structures and trace monoids. (English) Zbl 0756.68036 Theor. Comput. Sci. 91, No. 2, 285-313 (1991). Reviewer: R.Janicki (Hamilton / Ontario) MSC: 68Q10 PDFBibTeX XMLCite \textit{B. Rozoy} and \textit{P. S. Thiagarajan}, Theor. Comput. Sci. 91, No. 2, 285--313 (1991; Zbl 0756.68036) Full Text: DOI
Wrathall, C. Trace monoids with some invertible generators: Two decision problems. (English) Zbl 0736.20033 Discrete Appl. Math. 32, No. 2, 211-222 (1991). Reviewer: B.Zelinka (Liberec) MSC: 20M05 68Q42 PDFBibTeX XMLCite \textit{C. Wrathall}, Discrete Appl. Math. 32, No. 2, 211--222 (1991; Zbl 0736.20033) Full Text: DOI
Liu, Hai-Ning; Wrathall, C.; Zeger, Kenneth Efficient solution of some problems in free partially commutative monoids. (English) Zbl 0719.68036 Inf. Comput. 89, No. 2, 180-198 (1990). Reviewer: M.Steinby (Turku) MSC: 68Q45 68Q25 68R15 20M35 PDFBibTeX XMLCite \textit{H.-N. Liu} et al., Inf. Comput. 89, No. 2, 180--198 (1990; Zbl 0719.68036) Full Text: DOI
Diekert, Volker Word problems over traces which are solvable in linear time. (English) Zbl 1492.68067 Monien, Burkhard (ed.) et al., STACS 89. 6th annual symposium on theoretical aspects of computer science, Paderborn, FRG, February 16–18, 1989. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 349, 168-180 (1989). MSC: 68Q42 03D03 03D40 68Q10 68Q25 PDFBibTeX XMLCite \textit{V. Diekert}, Lect. Notes Comput. Sci. 349, 168--180 (1989; Zbl 1492.68067) Full Text: DOI
Clerbout, Mireille Compositions de fonctions de commutation partielle. (Compositions of partial commutative functions). (French) Zbl 0689.68100 RAIRO, Inf. Théor. Appl. 23, No. 4, 395-424 (1989). MSC: 68Q45 PDFBibTeX XMLCite \textit{M. Clerbout}, RAIRO, Inform. Théor. Appl. 23, No. 4, 395--424 (1989; Zbl 0689.68100) Full Text: DOI EuDML
Arquès, D. Combinatoire des mots et étude quantitative de la sérialisabilité: Application à la concurrence d’accès à une base de données. (Combinatorics of words and the quantitative study of serializability: Application to the concurrence of database access). (French) Zbl 0683.68088 Discrete Appl. Math. 24, No. 1-3, 3-23 (1989). MSC: 68P20 68M20 PDFBibTeX XMLCite \textit{D. Arquès}, Discrete Appl. Math. 24, No. 1--3, 3--23 (1989; Zbl 0683.68088) Full Text: DOI
Saheb, N. Concurrency measure in commutation monoids. (English) Zbl 0683.20047 Discrete Appl. Math. 24, No. 1-3, 223-236 (1989). Reviewer: T.J.Harju MSC: 20M05 20M35 68Q45 PDFBibTeX XMLCite \textit{N. Saheb}, Discrete Appl. Math. 24, No. 1--3, 223--236 (1989; Zbl 0683.20047) Full Text: DOI
Aalbersberg, Ijsbrand Jan; Hoogeboom, Hendrik Jan Characterizations of the decidability of some problems for regular trace languages. (English) Zbl 0679.68132 Math. Syst. Theory 22, No. 1, 1-19 (1989). MSC: 68Q45 03D60 PDFBibTeX XMLCite \textit{I. J. Aalbersberg} and \textit{H. J. Hoogeboom}, Math. Syst. Theory 22, No. 1, 1--19 (1989; Zbl 0679.68132) Full Text: DOI
Flé, Marie-Paule Serialization of concurrent programs. (English) Zbl 0678.68109 J. Comput. Syst. Sci. 38, No. 3, 474-493 (1989). MSC: 68P20 68N25 PDFBibTeX XMLCite \textit{M.-P. Flé}, J. Comput. Syst. Sci. 38, No. 3, 474--493 (1989; Zbl 0678.68109) Full Text: DOI
Arques, D.; Françon, J.; Guichet, M. T.; Guichet, P. Comparison of algorithms controlling concurrent access to a database: A combinatorial approach. (English) Zbl 0681.68119 Theor. Comput. Sci. 58, No. 1-3, 3-16 (1988). Reviewer: P.Eckhardt MSC: 68P20 68N25 PDFBibTeX XMLCite \textit{D. Arques} et al., Theor. Comput. Sci. 58, No. 1--3, 3--16 (1988; Zbl 0681.68119) Full Text: DOI
Metivier, Y. On recognizable subsets of free partially commutative monoids. (English) Zbl 0658.20031 Theor. Comput. Sci. 58, No. 1-3, 201-208 (1988). Reviewer: I.Peák MSC: 20M05 20M35 PDFBibTeX XMLCite \textit{Y. Metivier}, Theor. Comput. Sci. 58, No. 1--3, 201--208 (1988; Zbl 0658.20031) Full Text: DOI
Cori, Robert; Sopena, Eric; Latteux, Michel; Roos, Yves 2-asynchronous automata. (English) Zbl 0655.68069 Theor. Comput. Sci. 61, No. 1, 93-102 (1988). MSC: 68Q45 PDFBibTeX XMLCite \textit{R. Cori} et al., Theor. Comput. Sci. 61, No. 1, 93--102 (1988; Zbl 0655.68069) Full Text: DOI
Aalbersberg, Ijsbrand Jan; Rozenberg, Grzegorz Theory of traces. (English) Zbl 0652.68017 Theor. Comput. Sci. 60, No. 1, 1-82 (1988). Reviewer: H.Müller MSC: 68Q60 68Q85 68Q65 PDFBibTeX XMLCite \textit{I. J. Aalbersberg} and \textit{G. Rozenberg}, Theor. Comput. Sci. 60, No. 1, 1--82 (1988; Zbl 0652.68017) Full Text: DOI
Finkel, Alain; Choquet, Annie Fifo nets without order deadlock. (English) Zbl 0614.68050 Acta Inf. 25, No. 1, 15-36 (1988). MSC: 68Q85 PDFBibTeX XMLCite \textit{A. Finkel} and \textit{A. Choquet}, Acta Inf. 25, No. 1, 15--36 (1988; Zbl 0614.68050) Full Text: DOI
Book, Ronald V.; Liu, Hai-Ning Rewriting systems and word problems in a free partially commutative monoid. (English) Zbl 0643.68101 Inf. Process. Lett. 26, 29-32 (1987). Reviewer: Gh.Păun MSC: 68Q45 20M05 03D03 20M35 PDFBibTeX XMLCite \textit{R. V. Book} and \textit{H.-N. Liu}, Inf. Process. Lett. 26, 29--32 (1987; Zbl 0643.68101) Full Text: DOI
Sakarovitch, Jacques On regular trace languages. (English) Zbl 0634.68076 Theor. Comput. Sci. 52, 59-75 (1987). Reviewer: A.Stolboushkin MSC: 68Q45 20M35 68Q70 PDFBibTeX XMLCite \textit{J. Sakarovitch}, Theor. Comput. Sci. 52, 59--75 (1987; Zbl 0634.68076) Full Text: DOI
Clerbout, M.; Latteux, M. Semi-commutations. (English) Zbl 0629.68078 Inf. Comput. 73, 59-74 (1987). Reviewer: H.Werner MSC: 68Q45 20M35 PDFBibTeX XMLCite \textit{M. Clerbout} and \textit{M. Latteux}, Inf. Comput. 73, 59--74 (1987; Zbl 0629.68078) Full Text: DOI
Duboc, Christine Mixed product and asynchronous automata. (English) Zbl 0638.68095 Theor. Comput. Sci. 48, 183-199 (1986). MSC: 68Q45 20M35 20M05 PDFBibTeX XMLCite \textit{C. Duboc}, Theor. Comput. Sci. 48, 183--199 (1986; Zbl 0638.68095) Full Text: DOI
Duboc, Christine On some equations in free partially commutative monoids. (English) Zbl 0605.20062 Theor. Comput. Sci. 46, 159-174 (1986). Reviewer: V.Koubek MSC: 20M35 20M05 68Q45 PDFBibTeX XMLCite \textit{C. Duboc}, Theor. Comput. Sci. 46, 159--174 (1986; Zbl 0605.20062) Full Text: DOI
Dehornoy, Patrick Infinite products in monoids. (English) Zbl 0601.20061 Semigroup Forum 34, 21-68 (1986). MSC: 20M35 03D05 68Q45 20M15 PDFBibTeX XMLCite \textit{P. Dehornoy}, Semigroup Forum 34, 21--68 (1986; Zbl 0601.20061) Full Text: DOI EuDML
Métivier, Yves Une condition suffisante de reconnaissabilité dans un monoïde partiellement commutatif. (A sufficient condition for recognizability in a partially commutative monoid). (French) Zbl 0599.20107 RAIRO, Inf. Théor. Appl. 20, 121-127 (1986). Reviewer: A.Soil MSC: 20M35 68Q45 68Q70 PDFBibTeX XMLCite \textit{Y. Métivier}, RAIRO, Inform. Théor. Appl. 20, 121--127 (1986; Zbl 0599.20107) Full Text: DOI EuDML
Flé, M. P.; Roucairol, G. Maximal serializability of iterated transactions. (English) Zbl 0572.68082 Theor. Comput. Sci. 38, 1-16 (1985). MSC: 68P20 68N25 PDFBibTeX XMLCite \textit{M. P. Flé} and \textit{G. Roucairol}, Theor. Comput. Sci. 38, 1--16 (1985; Zbl 0572.68082) Full Text: DOI
Cori, Robert; Métivier, Yves Recognizable subsets of some partially Abelian monoids. (English) Zbl 0559.20040 Theor. Comput. Sci. 35, 179-189 (1985). Reviewer: H.Mitsch MSC: 20M05 20M35 68Q70 PDFBibTeX XMLCite \textit{R. Cori} and \textit{Y. Métivier}, Theor. Comput. Sci. 35, 179--189 (1985; Zbl 0559.20040) Full Text: DOI
Fle, M. P.; Roucairol, G. Multiserialization of iterated transactions. (English) Zbl 0544.68069 Inf. Process. Lett. 18, 243-247 (1984). MSC: 68P20 68N25 PDFBibTeX XMLCite \textit{M. P. Fle} and \textit{G. Roucairol}, Inf. Process. Lett. 18, 243--247 (1984; Zbl 0544.68069) Full Text: DOI