Du, Xia-Xia; Tian, Bo; Yuan, Yu-Qiang; Zhang, Chen-Rong; Du, Zhong Symmetry reductions, group-invariant solutions and conservation laws of a three-coupled Korteweg-de Vries system. (English) Zbl 07823624 Chin. J. Phys., Taipei 60, 665-675 (2019). MSC: 35Qxx 35Axx 17Bxx PDFBibTeX XMLCite \textit{X.-X. Du} et al., Chin. J. Phys., Taipei 60, 665--675 (2019; Zbl 07823624) Full Text: DOI
Chung, Won Sang; Hassanabadi, Hassan The \(\kappa\)-deformed Boson algebra and parafermion algebra. (English) Zbl 07822245 Chin. J. Phys., Taipei 58, 190-201 (2019). MSC: 81Rxx 17Bxx 81Qxx PDFBibTeX XMLCite \textit{W. S. Chung} and \textit{H. Hassanabadi}, Chin. J. Phys., Taipei 58, 190--201 (2019; Zbl 07822245) Full Text: DOI
Nishiyama, Seiya; da Providência, João Remarks on the mean-field theory based on the \(\mathrm{SO}(2N+1)\). (English) Zbl 07805019 Int. J. Geom. Methods Mod. Phys. 16, No. 12, Article ID 1950184, 29 p. (2019). MSC: 81Rxx 81R05 81Vxx 81V35 PDFBibTeX XMLCite \textit{S. Nishiyama} and \textit{J. da Providência}, Int. J. Geom. Methods Mod. Phys. 16, No. 12, Article ID 1950184, 29 p. (2019; Zbl 07805019) Full Text: DOI
Belfakir, A.; Belhaj, A.; El Maadi, Y.; Ennadifi, S. E.; Hassouni, Y.; Segui, A. Stringy dyonic solutions and Clifford structures. (English) Zbl 07804180 Int. J. Geom. Methods Mod. Phys. 16, No. 9, Article ID 1950138, 16 p. (2019). MSC: 83C57 83E30 83E50 PDFBibTeX XMLCite \textit{A. Belfakir} et al., Int. J. Geom. Methods Mod. Phys. 16, No. 9, Article ID 1950138, 16 p. (2019; Zbl 07804180) Full Text: DOI arXiv
Moreno Garzón, Andrés Ricardo; Toquica Arenas, Diana Andrea Octonions: construction, geometry and applications. (Spanish. English summary) Zbl 07802854 Bol. Mat. (N.S.) 26, No. 2, 119-144 (2019). MSC: 17A35 53A20 11R52 PDFBibTeX XMLCite \textit{A. R. Moreno Garzón} and \textit{D. A. Toquica Arenas}, Bol. Mat. (N.S.) 26, No. 2, 119--144 (2019; Zbl 07802854) Full Text: Link
Yiarayong, Pairote On prime and weakly prime \(\mathcal{LA}\)-submodules of \(\mathcal{LA}\)-modules. (English) Zbl 07802852 Bol. Mat. (N.S.) 26, No. 2, 101-112 (2019). MSC: 16Y99 16D80 20M99 16L30 06F25 PDFBibTeX XMLCite \textit{P. Yiarayong}, Bol. Mat. (N.S.) 26, No. 2, 101--112 (2019; Zbl 07802852) Full Text: Link
Oostra, Arnold Complex representation of alpha graphs for implicative logic with conjunction. (Spanish. English summary) Zbl 07802850 Bol. Mat. (N.S.) 26, No. 1, 31-50 (2019). MSC: 03B60 57N37 PDFBibTeX XMLCite \textit{A. Oostra}, Bol. Mat. (N.S.) 26, No. 1, 31--50 (2019; Zbl 07802850) Full Text: Link
Riaño, Andrés; Reyes, Armando A view of symplectic Lie algebras from quadratic Poisson algebras. (English) Zbl 07802849 Bol. Mat. (N.S.) 26, No. 1, 1-30 (2019). MSC: 17B60 17B63 37J05 PDFBibTeX XMLCite \textit{A. Riaño} and \textit{A. Reyes}, Bol. Mat. (N.S.) 26, No. 1, 1--30 (2019; Zbl 07802849) Full Text: Link
Brijder, Robert Computing with chemical reaction networks: a tutorial. (English) Zbl 07802515 Nat. Comput. 18, No. 1, 119-137 (2019). MSC: 68Q07 68Q10 68Q85 PDFBibTeX XMLCite \textit{R. Brijder}, Nat. Comput. 18, No. 1, 119--137 (2019; Zbl 07802515) Full Text: DOI arXiv
Montali, Marco; Rivkin, Andrey From DB-nets to coloured Petri nets with priorities. (English) Zbl 07796238 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, 449-469 (2019). MSC: 68Q85 PDFBibTeX XMLCite \textit{M. Montali} and \textit{A. Rivkin}, Lect. Notes Comput. Sci. 11522, 449--469 (2019; Zbl 07796238) Full Text: DOI arXiv
Finkel, Alain; Haddad, Serge; Khmelnitsky, Igor Coverability and termination in recursive Petri nets. (English) Zbl 07796237 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, 429-448 (2019). MSC: 68Q85 68Q17 68Q45 PDFBibTeX XMLCite \textit{A. Finkel} et al., Lect. Notes Comput. Sci. 11522, 429--448 (2019; Zbl 07796237) Full Text: DOI
Lime, Didier; Roux, Olivier H.; Seidner, Charlotte Parameter synthesis for bounded cost reachability in time Petri nets. (English) Zbl 07796235 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, 406-425 (2019). MSC: 68Q85 PDFBibTeX XMLCite \textit{D. Lime} et al., Lect. Notes Comput. Sci. 11522, 406--425 (2019; Zbl 07796235) Full Text: DOI
Bodini, Olivier; Dien, Matthieu; Genitrini, Antoine; Peschanski, Frédéric The combinatorics of barrier synchronization. (English) Zbl 07796234 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, 386-405 (2019). MSC: 68Q85 68R05 68W05 PDFBibTeX XMLCite \textit{O. Bodini} et al., Lect. Notes Comput. Sci. 11522, 386--405 (2019; Zbl 07796234) Full Text: DOI arXiv
Esparza, Javier; Raskin, Mikhail; Weil-Kennedy, Chana Parameterized analysis of immediate observation Petri nets. (English) Zbl 07796233 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, 365-385 (2019). MSC: 68Q85 68Q60 PDFBibTeX XMLCite \textit{J. Esparza} et al., Lect. Notes Comput. Sci. 11522, 365--385 (2019; Zbl 07796233) Full Text: DOI arXiv
Molnár, Vince; Majzik, István Saturation enhanced with conditional locality: application to Petri nets. (English) Zbl 07796231 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, 342-361 (2019). MSC: 68Q85 68Q60 PDFBibTeX XMLCite \textit{V. Molnár} and \textit{I. Majzik}, Lect. Notes Comput. Sci. 11522, 342--361 (2019; Zbl 07796231) Full Text: DOI
Biswal, Shruti; Miner, Andrew S. Improving saturation efficiency with implicit relations. (English) Zbl 07796229 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, 301-320 (2019). MSC: 68Q85 68P05 PDFBibTeX XMLCite \textit{S. Biswal} and \textit{A. S. Miner}, Lect. Notes Comput. Sci. 11522, 301--320 (2019; Zbl 07796229) Full Text: DOI
Mannel, Lisa Luise; van der Aalst, Wil M. P. Finding complex process-structures by exploiting the token-game. (English) Zbl 07796226 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, 258-278 (2019). MSC: 68Q85 PDFBibTeX XMLCite \textit{L. L. Mannel} and \textit{W. M. P. van der Aalst}, Lect. Notes Comput. Sci. 11522, 258--278 (2019; Zbl 07796226) Full Text: DOI
Boltenhagen, Mathilde; Chatain, Thomas; Carmona, Josep Generalized alignment-based trace clustering of process behavior. (English) Zbl 07796225 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, 237-257 (2019). MSC: 68Q85 62H30 PDFBibTeX XMLCite \textit{M. Boltenhagen} et al., Lect. Notes Comput. Sci. 11522, 237--257 (2019; Zbl 07796225) Full Text: DOI
Mikulski, Łukasz; Lanese, Ivan Reversing unbounded Petri nets. (English) Zbl 07796223 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, 213-233 (2019). MSC: 68Q85 PDFBibTeX XMLCite \textit{Ł. Mikulski} and \textit{I. Lanese}, Lect. Notes Comput. Sci. 11522, 213--233 (2019; Zbl 07796223) Full Text: DOI
Janicki, Ryszard On interval semantics of inhibitor and activator nets. (English) Zbl 07796222 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, 192-212 (2019). MSC: 68Q85 68Q55 PDFBibTeX XMLCite \textit{R. Janicki}, Lect. Notes Comput. Sci. 11522, 192--212 (2019; Zbl 07796222) Full Text: DOI
de Frutos Escrig, David; Koutny, Maciej; Mikulski, Łukasz 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 \textit{D. de Frutos Escrig} et al., Lect. Notes Comput. Sci. 11522, 171--191 (2019; Zbl 07796221) Full Text: DOI
Tredup, Ronny Fixed parameter tractability and polynomial time results for the synthesis of \(b\)-bounded Petri nets. (English) Zbl 07796219 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, 148-168 (2019). MSC: 68Q85 68Q27 PDFBibTeX XMLCite \textit{R. Tredup}, Lect. Notes Comput. Sci. 11522, 148--168 (2019; Zbl 07796219) Full Text: DOI
Tredup, Ronny Hardness results for the synthesis of \(b\)-bounded Petri nets. (English) Zbl 07796218 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, 127-147 (2019). MSC: 68Q85 68Q17 PDFBibTeX XMLCite \textit{R. Tredup}, Lect. Notes Comput. Sci. 11522, 127--147 (2019; Zbl 07796218) Full Text: DOI arXiv
Devillers, Raymond Articulation of transition systems and its application to Petri net synthesis. (English) Zbl 07796217 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, 113-126 (2019). MSC: 68Q85 PDFBibTeX XMLCite \textit{R. Devillers}, Lect. Notes Comput. Sci. 11522, 113--126 (2019; Zbl 07796217) Full Text: DOI
Masetti, Giulio; Robol, Leonardo; Chiaradonna, Silvano; Di Giandomenico, Felicita Stochastic evaluation of large interdependent composed models through Kronecker algebra and exponential sums. (English) Zbl 07796210 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, 47-66 (2019). MSC: 68Q85 PDFBibTeX XMLCite \textit{G. Masetti} et al., Lect. Notes Comput. Sci. 11522, 47--66 (2019; Zbl 07796210) Full Text: DOI
Schneider, Vitali; Vogler, Walter Modal open Petri nets. (English) Zbl 07796209 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, 25-46 (2019). MSC: 68Q85 PDFBibTeX XMLCite \textit{V. Schneider} and \textit{W. Vogler}, Lect. Notes Comput. Sci. 11522, 25--46 (2019; Zbl 07796209) Full Text: DOI
Fahland, Dirk Describing behavior of processes with many-to-many interactions. (English) Zbl 07796208 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, 3-24 (2019). MSC: 68Q85 PDFBibTeX XMLCite \textit{D. Fahland}, Lect. Notes Comput. Sci. 11522, 3--24 (2019; Zbl 07796208) Full Text: DOI
Galkin, Oleg Evgen’evich; Galkina, Svetlana Yur’evna On the invertibility of solutions of first order linear homogeneous differential equations in Banach algebras. (Russian. English summary) Zbl 07794048 Zh. Sredn. Mat. Obshch. 21, No. 4, 430-442 (2019). MSC: 34G10 PDFBibTeX XMLCite \textit{O. E. Galkin} and \textit{S. Y. Galkina}, Zh. Sredn. Mat. Obshch. 21, No. 4, 430--442 (2019; Zbl 07794048) Full Text: DOI MNR
González, Ana Introduction to Lie algebras. (Spanish) Zbl 07786366 Publ. Mat. Urug. 17, 25-39 (2019). MSC: 17-01 17B05 17B10 PDFBibTeX XMLCite \textit{A. González}, Publ. Mat. Urug. 17, 25--39 (2019; Zbl 07786366) Full Text: Link
Bandyopadhyay, Sibasis; Suraj, Zbigniew; Nayak, Prasun Kumar Soft Petri net. (English) Zbl 1527.68138 Mihálydeák, Tamás (ed.) et al., Rough sets. International joint conference, IJCRS 2019, Debrecen, Hungary, June 17–21, 2019, Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11499, 253-264 (2019). MSC: 68Q85 68T30 68T37 PDFBibTeX XMLCite \textit{S. Bandyopadhyay} et al., Lect. Notes Comput. Sci. 11499, 253--264 (2019; Zbl 1527.68138) Full Text: DOI
Panicker, Gayatri; Banerjee, Mohua Rough sets and the algebra of conditional logic. (English) Zbl 1527.68234 Mihálydeák, Tamás (ed.) et al., Rough sets. International joint conference, IJCRS 2019, Debrecen, Hungary, June 17–21, 2019, Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11499, 28-39 (2019). MSC: 68T37 03B50 03G25 68T27 PDFBibTeX XMLCite \textit{G. Panicker} and \textit{M. Banerjee}, Lect. Notes Comput. Sci. 11499, 28--39 (2019; Zbl 1527.68234) Full Text: DOI
Castro, Pablo F.; D’Argenio, Pedro R.; Demasi, Ramiro; Putruele, Luciano Measuring masking fault-tolerance. (English) Zbl 1527.68140 Vojnar, Tomáš (ed.) et al., Tools and algorithms for the construction and analysis of systems. 25th international conference, TACAS 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 11428, 375-392 (2019). MSC: 68Q85 68M15 91A80 PDFBibTeX XMLCite \textit{P. F. Castro} et al., Lect. Notes Comput. Sci. 11428, 375--392 (2019; Zbl 1527.68140) Full Text: DOI arXiv
Butkova, Yuliya; Fox, Gereon Optimal time-bounded reachability analysis for concurrent systems. (English) Zbl 1527.68139 Vojnar, Tomáš (ed.) et al., Tools and algorithms for the construction and analysis of systems. 25th international conference, TACAS 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 11428, 191-208 (2019). MSC: 68Q85 68Q45 PDFBibTeX XMLCite \textit{Y. Butkova} and \textit{G. Fox}, Lect. Notes Comput. Sci. 11428, 191--208 (2019; Zbl 1527.68139) Full Text: DOI
Dubrulle, Paul; Gaston, Christophe; Kosmatov, Nikolai; Lapitre, Arnault; Louise, Stéphane A data flow model with frequency arithmetic. (English) Zbl 1524.68215 Hähnle, Reiner (ed.) et al., Fundamental approaches to software engineering. 22nd international conference, FASE 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11424, 369-385 (2019). MSC: 68Q85 PDFBibTeX XMLCite \textit{P. Dubrulle} et al., Lect. Notes Comput. Sci. 11424, 369--385 (2019; Zbl 1524.68215) Full Text: DOI
van Glabbeek, Rob; Höfner, Peter; Markl, Michael A process algebra for link layer protocols. (English) Zbl 1524.68224 Caires, Luís (ed.), Programming languages and systems. 28th European symposium on programming, ESOP 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11423, 668-693 (2019). MSC: 68Q85 PDFBibTeX XMLCite \textit{R. van Glabbeek} et al., Lect. Notes Comput. Sci. 11423, 668--693 (2019; Zbl 1524.68224) Full Text: DOI arXiv
Sakayori, Ken; Tsukada, Takeshi A categorical model of an i/o-typed \(\pi \)-calculus. (English) Zbl 1524.68220 Caires, Luís (ed.), Programming languages and systems. 28th European symposium on programming, ESOP 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11423, 640-667 (2019). MSC: 68Q85 03B70 03G30 18D15 PDFBibTeX XMLCite \textit{K. Sakayori} and \textit{T. Tsukada}, Lect. Notes Comput. Sci. 11423, 640--667 (2019; Zbl 1524.68220) Full Text: DOI
Balzer, Stephanie; Toninho, Bernardo; Pfenning, Frank Manifest deadlock-freedom for shared session types. (English) Zbl 1524.68208 Caires, Luís (ed.), Programming languages and systems. 28th European symposium on programming, ESOP 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11423, 611-639 (2019). MSC: 68Q85 03B70 68N30 PDFBibTeX XMLCite \textit{S. Balzer} et al., Lect. Notes Comput. Sci. 11423, 611--639 (2019; Zbl 1524.68208) Full Text: DOI
Bocchi, Laura; Murgia, Maurizio; Vasconcelos, Vasco Thudichum; Yoshida, Nobuko Asynchronous timed session types. From duality to time-sensitive processes. (English) Zbl 1524.68210 Caires, Luís (ed.), Programming languages and systems. 28th European symposium on programming, ESOP 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11423, 583-610 (2019). MSC: 68Q85 PDFBibTeX XMLCite \textit{L. Bocchi} et al., Lect. Notes Comput. Sci. 11423, 583--610 (2019; Zbl 1524.68210) Full Text: DOI
Papapanagiotou, Petros; Fleuriot, Jacques A pragmatic, scalable approach to correct-by-construction process composition using classical linear logic inference. (English) Zbl 1524.68219 Mesnard, Fred (ed.) et al., Logic-based program synthesis and transformation. 28th international symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4–6, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11408, 77-93 (2019). MSC: 68Q85 03B70 PDFBibTeX XMLCite \textit{P. Papapanagiotou} and \textit{J. Fleuriot}, Lect. Notes Comput. Sci. 11408, 77--93 (2019; Zbl 1524.68219) Full Text: DOI arXiv
Carbone, Marco; Cruz-Filipe, Luís; Montesi, Fabrizio; Murawska, Agata Multiparty classical choreographies. (English) Zbl 1524.68079 Mesnard, Fred (ed.) et al., Logic-based program synthesis and transformation. 28th international symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4–6, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11408, 59-76 (2019). MSC: 68N30 03B70 68N19 68Q85 PDFBibTeX XMLCite \textit{M. Carbone} et al., Lect. Notes Comput. Sci. 11408, 59--76 (2019; Zbl 1524.68079) Full Text: DOI arXiv
Harada, Junpei Extension of Malcev algebra and applications to gravity. (English) Zbl 07762862 Fortschr. Phys. 67, No. 7, Article ID 1900027, 4 p. (2019). MSC: 17D10 83C65 PDFBibTeX XMLCite \textit{J. Harada}, Fortschr. Phys. 67, No. 7, Article ID 1900027, 4 p. (2019; Zbl 07762862) Full Text: DOI arXiv
Jurčo, Branislav; Raspollini, Lorenzo; Sämann, Christian; Wolf, Martin \(L_\infty\)-algebras of classical field theories and the Batalin-Vilkovisky formalism. (English) Zbl 1527.81093 Fortschr. Phys. 67, No. 7, Article ID 1900025, 60 p. (2019). MSC: 81T13 PDFBibTeX XMLCite \textit{B. Jurčo} et al., Fortschr. Phys. 67, No. 7, Article ID 1900025, 60 p. (2019; Zbl 1527.81093) Full Text: DOI arXiv
Jurčo, Branislav; Macrelli, Tommaso; Raspollini, Lorenzo; Sämann, Christian; Wolf, Martin \(L_\infty\)-algebras, the BV formalism, and classical fields. (English) Zbl 07758993 Fortschr. Phys. 67, No. 8-9, Article ID 1910025, 17 p. (2019). MSC: 81-XX PDFBibTeX XMLCite \textit{B. Jurčo} et al., Fortschr. Phys. 67, No. 8--9, Article ID 1910025, 17 p. (2019; Zbl 07758993) Full Text: DOI arXiv
Schmidt, Lennart Twisted Weil algebras for the string Lie 2-algebra. (English) Zbl 07758984 Fortschr. Phys. 67, No. 8-9, Article ID 1910016, 9 p. (2019). MSC: 81-XX PDFBibTeX XMLCite \textit{L. Schmidt}, Fortschr. Phys. 67, No. 8--9, Article ID 1910016, 9 p. (2019; Zbl 07758984) Full Text: DOI arXiv
Sämann, Christian Higher structures, self-dual strings and 6d superconformal field theories. (English) Zbl 07758982 Fortschr. Phys. 67, No. 8-9, Article ID 1910014, 14 p. (2019). MSC: 81-XX PDFBibTeX XMLCite \textit{C. Sämann}, Fortschr. Phys. 67, No. 8--9, Article ID 1910014, 14 p. (2019; Zbl 07758982) Full Text: DOI arXiv
Sachs, Ivo Homotopy algebras in string field theory. (English) Zbl 07758981 Fortschr. Phys. 67, No. 8-9, Article ID 1910013, 4 p. (2019). MSC: 81-XX PDFBibTeX XMLCite \textit{I. Sachs}, Fortschr. Phys. 67, No. 8--9, Article ID 1910013, 4 p. (2019; Zbl 07758981) Full Text: DOI arXiv
Kupriyanov, Vladislav G. \(L_\infty\)-bootstrap approach to non-commutative gauge theories. (English) Zbl 07758978 Fortschr. Phys. 67, No. 8-9, Article ID 1910010, 11 p. (2019). MSC: 81-XX PDFBibTeX XMLCite \textit{V. G. Kupriyanov}, Fortschr. Phys. 67, No. 8--9, Article ID 1910010, 11 p. (2019; Zbl 07758978) Full Text: DOI arXiv
Buttcane, Jack; Miller, Stephen D. Weights, raising and lowering operators, and \(K\)-types for automorphic forms on \(SL(3,\mathbb{R})\). (English) Zbl 1528.22016 Miller, Stephen D. (ed.) et al., Representation theory, automorphic forms & complex geometry. A tribute to Wilfried Schmid. Selected contributions based on the presentations at the conference, Harvard University, Cambridge, MA, USA, May 20–23, 2013, and a workshop around topics close to Wilfried Schmid, Hainan, China, 2013. Somerville, MA: International Press. 139-161 (2019). MSC: 22E60 11F55 PDFBibTeX XMLCite \textit{J. Buttcane} and \textit{S. D. Miller}, in: Representation theory, automorphic forms \& complex geometry. A tribute to Wilfried Schmid. Selected contributions based on the presentations at the conference, Harvard University, Cambridge, MA, USA, May 20--23, 2013, and a workshop around topics close to Wilfried Schmid, Hainan, China, 2013. Somerville, MA: International Press. 139--161 (2019; Zbl 1528.22016) Full Text: DOI arXiv
Barbasch, Dan; Ciubotaru, Dan Star operations for affine Hecke algebras. (English) Zbl 1527.20001 Miller, Stephen D. (ed.) et al., Representation theory, automorphic forms & complex geometry. A tribute to Wilfried Schmid. Selected contributions based on the presentations at the conference, Harvard University, Cambridge, MA, USA, May 20–23, 2013, and a workshop around topics close to Wilfried Schmid, Hainan, China, 2013. Somerville, MA: International Press. 107-137 (2019). Reviewer: Hu Jun (Beijing) MSC: 20C08 PDFBibTeX XMLCite \textit{D. Barbasch} and \textit{D. Ciubotaru}, in: Representation theory, automorphic forms \& complex geometry. A tribute to Wilfried Schmid. Selected contributions based on the presentations at the conference, Harvard University, Cambridge, MA, USA, May 20--23, 2013, and a workshop around topics close to Wilfried Schmid, Hainan, China, 2013. Somerville, MA: International Press. 107--137 (2019; Zbl 1527.20001) Full Text: arXiv
Huttinga, Zane; Cummins, Bree; Geadon, Tomas Combinatorial dynamics for regulatory networks. (English) Zbl 1526.92022 Chaves, Madalena (ed.) et al., Molecular logic and computational synthetic biology. First international symposium, MLCSB 2018, Santiago, Chile, December 17–18, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11415, 56-73 (2019). Reviewer: Irina Ioana Mohorianu (Oxford) MSC: 92C42 92C37 94C11 PDFBibTeX XMLCite \textit{Z. Huttinga} et al., Lect. Notes Comput. Sci. 11415, 56--73 (2019; Zbl 1526.92022) Full Text: DOI
Tsukamoto, Mayu A strongly quasi-hereditary structure on Auslander-Dlab-Ringel algebras. (English) Zbl 1526.16011 Mori, Izuru (ed.), Proceedings of the 51st symposium on ring theory and representation theory, Okayama University of Science, Okayama, Japan, September 19–22, 2018. Shizuoka: Symposium on Ring Theory and Representation Theory Organizing Committee. 146-151 (2019). MSC: 16G10 16E60 16E10 PDFBibTeX XMLCite \textit{M. Tsukamoto}, in: Proceedings of the 51st symposium on ring theory and representation theory, Okayama University of Science, Okayama, Japan, September 19--22, 2018. Shizuoka: Symposium on Ring Theory and Representation Theory Organizing Committee. 146--151 (2019; Zbl 1526.16011)
Sato, Masahisa On projective module with unique maximal submodule. (Japanese. English summary) Zbl 1526.16005 Mori, Izuru (ed.), Proceedings of the 51st symposium on ring theory and representation theory, Okayama University of Science, Okayama, Japan, September 19–22, 2018. Shizuoka: Symposium on Ring Theory and Representation Theory Organizing Committee. 135-145 (2019). MSC: 16D40 16N20 PDFBibTeX XMLCite \textit{M. Sato}, in: Proceedings of the 51st symposium on ring theory and representation theory, Okayama University of Science, Okayama, Japan, September 19--22, 2018. Shizuoka: Symposium on Ring Theory and Representation Theory Organizing Committee. 135--145 (2019; Zbl 1526.16005)
Qiu, Yu Decorated marked surfaces: Calabi-Yau categories and related topics. (English) Zbl 1520.13038 Mori, Izuru (ed.), Proceedings of the 51st symposium on ring theory and representation theory, Okayama University of Science, Okayama, Japan, September 19–22, 2018. Shizuoka: Symposium on Ring Theory and Representation Theory Organizing Committee. 129-134 (2019). MSC: 13F60 18G80 16G70 57M50 PDFBibTeX XMLCite \textit{Y. Qiu}, in: Proceedings of the 51st symposium on ring theory and representation theory, Okayama University of Science, Okayama, Japan, September 19--22, 2018. Shizuoka: Symposium on Ring Theory and Representation Theory Organizing Committee. 129--134 (2019; Zbl 1520.13038) Full Text: arXiv
Otokita, Yoshihiro Centers of modular group algebras. (Japanese. English summary) Zbl 1526.16023 Mori, Izuru (ed.), Proceedings of the 51st symposium on ring theory and representation theory, Okayama University of Science, Okayama, Japan, September 19–22, 2018. Shizuoka: Symposium on Ring Theory and Representation Theory Organizing Committee. 125-128 (2019). MSC: 16S34 20C20 PDFBibTeX XMLCite \textit{Y. Otokita}, in: Proceedings of the 51st symposium on ring theory and representation theory, Okayama University of Science, Okayama, Japan, September 19--22, 2018. Shizuoka: Symposium on Ring Theory and Representation Theory Organizing Committee. 125--128 (2019; Zbl 1526.16023)
Nakamoto, Kazunori; Torii, Takeshi An application of Hochschild cohomology to the moduli of subalgebras of the full matrix ring. (English) Zbl 1526.16008 Mori, Izuru (ed.), Proceedings of the 51st symposium on ring theory and representation theory, Okayama University of Science, Okayama, Japan, September 19–22, 2018. Shizuoka: Symposium on Ring Theory and Representation Theory Organizing Committee. 110-118 (2019). MSC: 16E40 16S50 14D22 PDFBibTeX XMLCite \textit{K. Nakamoto} and \textit{T. Torii}, in: Proceedings of the 51st symposium on ring theory and representation theory, Okayama University of Science, Okayama, Japan, September 19--22, 2018. Shizuoka: Symposium on Ring Theory and Representation Theory Organizing Committee. 110--118 (2019; Zbl 1526.16008)
Nakajima, Yusuke Finite dimensional algebras arising from dimer models and their derived equivalences. (English) Zbl 1526.16025 Mori, Izuru (ed.), Proceedings of the 51st symposium on ring theory and representation theory, Okayama University of Science, Okayama, Japan, September 19–22, 2018. Shizuoka: Symposium on Ring Theory and Representation Theory Organizing Committee. 104-109 (2019). MSC: 16S38 16G20 18G80 PDFBibTeX XMLCite \textit{Y. Nakajima}, in: Proceedings of the 51st symposium on ring theory and representation theory, Okayama University of Science, Okayama, Japan, September 19--22, 2018. Shizuoka: Symposium on Ring Theory and Representation Theory Organizing Committee. 104--109 (2019; Zbl 1526.16025)
Miyamoto, Kengo Components of the stable Auslander-Reiten quiver for a symmetric order over a complete discrete valuation ring. (Japanese. English summary) Zbl 1526.16015 Mori, Izuru (ed.), Proceedings of the 51st symposium on ring theory and representation theory, Okayama University of Science, Okayama, Japan, September 19–22, 2018. Shizuoka: Symposium on Ring Theory and Representation Theory Organizing Committee. 82-90 (2019). MSC: 16G20 16G70 16G30 PDFBibTeX XMLCite \textit{K. Miyamoto}, in: Proceedings of the 51st symposium on ring theory and representation theory, Okayama University of Science, Okayama, Japan, September 19--22, 2018. Shizuoka: Symposium on Ring Theory and Representation Theory Organizing Committee. 82--90 (2019; Zbl 1526.16015)
Minamoto, Hiroyuki Resolution of DG-modules. (English) Zbl 1526.16007 Mori, Izuru (ed.), Proceedings of the 51st symposium on ring theory and representation theory, Okayama University of Science, Okayama, Japan, September 19–22, 2018. Shizuoka: Symposium on Ring Theory and Representation Theory Organizing Committee. 76-81 (2019). MSC: 16E05 16E45 PDFBibTeX XMLCite \textit{H. Minamoto}, in: Proceedings of the 51st symposium on ring theory and representation theory, Okayama University of Science, Okayama, Japan, September 19--22, 2018. Shizuoka: Symposium on Ring Theory and Representation Theory Organizing Committee. 76--81 (2019; Zbl 1526.16007)
Masuoka, Akira Quotients \(G/H\) in super-symmetry. (English) Zbl 1520.14100 Mori, Izuru (ed.), Proceedings of the 51st symposium on ring theory and representation theory, Okayama University of Science, Okayama, Japan, September 19–22, 2018. Shizuoka: Symposium on Ring Theory and Representation Theory Organizing Committee. 62-67 (2019). MSC: 14M30 14L15 16T05 PDFBibTeX XMLCite \textit{A. Masuoka}, in: Proceedings of the 51st symposium on ring theory and representation theory, Okayama University of Science, Okayama, Japan, September 19--22, 2018. Shizuoka: Symposium on Ring Theory and Representation Theory Organizing Committee. 62--67 (2019; Zbl 1520.14100)
Koshitani, Shigeo; Sakurai, Taro On certain Morita invariants involving commutator subspace and radical powers. (English) Zbl 1526.16010 Mori, Izuru (ed.), Proceedings of the 51st symposium on ring theory and representation theory, Okayama University of Science, Okayama, Japan, September 19–22, 2018. Shizuoka: Symposium on Ring Theory and Representation Theory Organizing Committee. 57-61 (2019). MSC: 16G10 16E40 16P10 PDFBibTeX XMLCite \textit{S. Koshitani} and \textit{T. Sakurai}, in: Proceedings of the 51st symposium on ring theory and representation theory, Okayama University of Science, Okayama, Japan, September 19--22, 2018. Shizuoka: Symposium on Ring Theory and Representation Theory Organizing Committee. 57--61 (2019; Zbl 1526.16010)
ltagaki, Tomohiro Batalin Vilkovisky algebra structures on the Hochschild cohomology of self-injective Nakayama algebras. (English) Zbl 1527.16013 Mori, Izuru (ed.), Proceedings of the 51st symposium on ring theory and representation theory, Okayama University of Science, Okayama, Japan, September 19–22, 2018. Shizuoka: Symposium on Ring Theory and Representation Theory Organizing Committee. 52-56 (2019). MSC: 16E40 16G10 16L60 PDFBibTeX XMLCite \textit{T. ltagaki}, in: Proceedings of the 51st symposium on ring theory and representation theory, Okayama University of Science, Okayama, Japan, September 19--22, 2018. Shizuoka: Symposium on Ring Theory and Representation Theory Organizing Committee. 52--56 (2019; Zbl 1527.16013)
ltaba, Ayako; Matsuno, Masaki The defining relations of geometric algebras of Type EC. (English) Zbl 1527.16031 Mori, Izuru (ed.), Proceedings of the 51st symposium on ring theory and representation theory, Okayama University of Science, Okayama, Japan, September 19–22, 2018. Shizuoka: Symposium on Ring Theory and Representation Theory Organizing Committee. 45-51 (2019). MSC: 16S38 14A22 PDFBibTeX XMLCite \textit{A. ltaba} and \textit{M. Matsuno}, in: Proceedings of the 51st symposium on ring theory and representation theory, Okayama University of Science, Okayama, Japan, September 19--22, 2018. Shizuoka: Symposium on Ring Theory and Representation Theory Organizing Committee. 45--51 (2019; Zbl 1527.16031)
Hanihara, Norihiro Auslander correspondence for triangulated categories. (English) Zbl 1527.16011 Mori, Izuru (ed.), Proceedings of the 51st symposium on ring theory and representation theory, Okayama University of Science, Okayama, Japan, September 19–22, 2018. Shizuoka: Symposium on Ring Theory and Representation Theory Organizing Committee. 30-34 (2019). MSC: 16E35 18G80 16G10 PDFBibTeX XMLCite \textit{N. Hanihara}, in: Proceedings of the 51st symposium on ring theory and representation theory, Okayama University of Science, Okayama, Japan, September 19--22, 2018. Shizuoka: Symposium on Ring Theory and Representation Theory Organizing Committee. 30--34 (2019; Zbl 1527.16011)
Adachi, Takahide; Chan, Aaron A geometric model of Brauer graph algebras. (English) Zbl 1527.16016 Mori, Izuru (ed.), Proceedings of the 51st symposium on ring theory and representation theory, Okayama University of Science, Okayama, Japan, September 19–22, 2018. Shizuoka: Symposium on Ring Theory and Representation Theory Organizing Committee. 1-5 (2019). MSC: 16G10 05E18 57M15 PDFBibTeX XMLCite \textit{T. Adachi} and \textit{A. Chan}, in: Proceedings of the 51st symposium on ring theory and representation theory, Okayama University of Science, Okayama, Japan, September 19--22, 2018. Shizuoka: Symposium on Ring Theory and Representation Theory Organizing Committee. 1--5 (2019; Zbl 1527.16016)
Jayaraj, J. On intuitionistic semi group \(Q\)-fuzzy ideals in semi ring. (English) Zbl 07740827 Adv. Math., Sci. J. 8, No. 3, 617-624 (2019). MSC: 16-XX 20-XX PDFBibTeX XMLCite \textit{J. Jayaraj}, Adv. Math., Sci. J. 8, No. 3, 617--624 (2019; Zbl 07740827) Full Text: Link
Kaliraja, M.; Rumenaka, S. A conjugate of \(M-N\) fuzzy soft subgroups. (English) Zbl 07740820 Adv. Math., Sci. J. 8, No. 3, 568-573 (2019). MSC: 20N25 06D72 20E15 PDFBibTeX XMLCite \textit{M. Kaliraja} and \textit{S. Rumenaka}, Adv. Math., Sci. J. 8, No. 3, 568--573 (2019; Zbl 07740820) Full Text: Link
Muthuraj, R.; Gandhi, N. Ramila Application of HX ring theory in homomorphic encryption. (English) Zbl 07740818 Adv. Math., Sci. J. 8, No. 3, 555-559 (2019). MSC: 20N25 03E72 03F05 06F35 03G25 PDFBibTeX XMLCite \textit{R. Muthuraj} and \textit{N. R. Gandhi}, Adv. Math., Sci. J. 8, No. 3, 555--559 (2019; Zbl 07740818) Full Text: Link
Gopalakrishnamoorthy, G.; Veega, R. On cyclic commutativity near-rings. III. (English) Zbl 07740806 Adv. Math., Sci. J. 8, No. 3, 451-457 (2019). MSC: 16-XX 20-XX PDFBibTeX XMLCite \textit{G. Gopalakrishnamoorthy} and \textit{R. Veega}, Adv. Math., Sci. J. 8, No. 3, 451--457 (2019; Zbl 07740806) Full Text: Link
Geetha, S.; Gopalakrishnamoorthy, G. On quasi-weak commutative near-rings. III. (English) Zbl 07740803 Adv. Math., Sci. J. 8, No. 3, 423-429 (2019). MSC: 16-XX 20-XX PDFBibTeX XMLCite \textit{S. Geetha} and \textit{G. Gopalakrishnamoorthy}, Adv. Math., Sci. J. 8, No. 3, 423--429 (2019; Zbl 07740803) Full Text: Link
Krishnamoorthy, G. Gopala; Selvi, G. Shakila Chitra; Sundari, V. Thiripura On commutative of prime near-rings with generalized derivations. (English) Zbl 07740796 Adv. Math., Sci. J. 8, No. 3, 371-376 (2019). MSC: 16-XX 13-XX PDFBibTeX XMLCite \textit{G. G. Krishnamoorthy} et al., Adv. Math., Sci. J. 8, No. 3, 371--376 (2019; Zbl 07740796) Full Text: Link
Ibrahim, A.; Jeya Lekshmi, K. Pseudo-Boolean and fuzzy pseudo-Boolean implicative filters of lattice pseudo-Wajsberg algebras. (English) Zbl 07740790 Adv. Math., Sci. J. 8, No. 3, 307-316 (2019). MSC: 03G25 03E72 06F35 PDFBibTeX XMLCite \textit{A. Ibrahim} and \textit{K. Jeya Lekshmi}, Adv. Math., Sci. J. 8, No. 3, 307--316 (2019; Zbl 07740790) Full Text: Link
Ibrahim, A.; Begum, C. Shajitha Positive implicative and associative \(WI\)-ideals of lattiace Wajsberg algebras. (English) Zbl 07740788 Adv. Math., Sci. J. 8, No. 3, 292-299 (2019). MSC: 03G10 03G20 03G25 06B10 PDFBibTeX XMLCite \textit{A. Ibrahim} and \textit{C. S. Begum}, Adv. Math., Sci. J. 8, No. 3, 292--299 (2019; Zbl 07740788) Full Text: Link
Ibrahim, A.; Indhumathi, M. Various types of \(PWI\)-ideals of lattice pseudo-Wajsberg algebras. (English) Zbl 07740787 Adv. Math., Sci. J. 8, No. 3, 285-291 (2019). MSC: 03G10 03G20 03G25 06B10 PDFBibTeX XMLCite \textit{A. Ibrahim} and \textit{M. Indhumathi}, Adv. Math., Sci. J. 8, No. 3, 285--291 (2019; Zbl 07740787) Full Text: Link
Ibrahim, A.; Nirmala, V. Positive and associative implicative filters of residuated lattice Wajsberg algebras. (English) Zbl 07740782 Adv. Math., Sci. J. 8, No. 3, 226-232 (2019). MSC: 03G10 03G25 PDFBibTeX XMLCite \textit{A. Ibrahim} and \textit{V. Nirmala}, Adv. Math., Sci. J. 8, No. 3, 226--232 (2019; Zbl 07740782) Full Text: Link
Mahalakshmi, V.; Mumtha, K.; Ranjini, J. Siva Weak prime bi-ideals and weak prime fuzzy bi-ideals in near-rings. (English) Zbl 07740774 Adv. Math., Sci. J. 8, No. 3, 162-170 (2019). MSC: 16-XX 68-XX PDFBibTeX XMLCite \textit{V. Mahalakshmi} et al., Adv. Math., Sci. J. 8, No. 3, 162--170 (2019; Zbl 07740774) Full Text: Link
Babei, Angelica Computing normalizers of tiled orders in \(M_n(k)\). (English) Zbl 1527.11057 Scheidler, Renate (ed.) et al., ANTS XIII. Proceedings of the thirteenth algorithmic number theory symposium, University of Wisconsin-Madison, WI, USA, July 16–20, 2018. Berkeley, CA: Mathematical Sciences Publishers (MSP). Open Book Ser. 2, 55-68 (2019). Reviewer: Steven T. Dougherty (Scranton) MSC: 11H06 11S45 16H10 PDFBibTeX XMLCite \textit{A. Babei}, Open Book Ser. 2, 55--68 (2019; Zbl 1527.11057) Full Text: DOI
Neider, Daniel; Smetsers, Rick; Vaandrager, Frits; Kuppens, Harco Benchmarks for automata learning and conformance testing. (English) Zbl 1519.68122 Margaria, Tiziana (ed.) et al., Models, mindsets, meta: the what, the how, and the why not? Essays dedicated to Bernhard Steffen on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 11200, 390-416 (2019). MSC: 68Q45 68Q32 68Q85 PDFBibTeX XMLCite \textit{D. Neider} et al., Lect. Notes Comput. Sci. 11200, 390--416 (2019; Zbl 1519.68122) Full Text: DOI
Reisig, Wolfgang Composition: a fresh look at an old topic. (English) Zbl 1519.68166 Margaria, Tiziana (ed.) et al., Models, mindsets, meta: the what, the how, and the why not? Essays dedicated to Bernhard Steffen on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 11200, 372-389 (2019). MSC: 68Q85 PDFBibTeX XMLCite \textit{W. Reisig}, Lect. Notes Comput. Sci. 11200, 372--389 (2019; Zbl 1519.68166) Full Text: DOI
Given-Wilson, Thomas; Legay, Axel On the expressiveness of joining and splitting. (English) Zbl 1519.68161 Margaria, Tiziana (ed.) et al., Models, mindsets, meta: the what, the how, and the why not? Essays dedicated to Bernhard Steffen on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 11200, 326-355 (2019). MSC: 68Q85 03B70 PDFBibTeX XMLCite \textit{T. Given-Wilson} and \textit{A. Legay}, Lect. Notes Comput. Sci. 11200, 326--355 (2019; Zbl 1519.68161) Full Text: DOI
Peled, Doron; Havelund, Klaus Refining the safety-liveness classification of temporal properties according to monitorability. (English) Zbl 1519.68138 Margaria, Tiziana (ed.) et al., Models, mindsets, meta: the what, the how, and the why not? Essays dedicated to Bernhard Steffen on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 11200, 218-234 (2019). MSC: 68Q60 68Q85 PDFBibTeX XMLCite \textit{D. Peled} and \textit{K. Havelund}, Lect. Notes Comput. Sci. 11200, 218--234 (2019; Zbl 1519.68138) Full Text: DOI
Caucal, Didier; Rispal, Chloé Boolean algebras by length recognizability. (English) Zbl 1519.68116 Margaria, Tiziana (ed.) et al., Models, mindsets, meta: the what, the how, and the why not? Essays dedicated to Bernhard Steffen on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 11200, 169-185 (2019). MSC: 68Q45 06E05 68Q70 PDFBibTeX XMLCite \textit{D. Caucal} and \textit{C. Rispal}, Lect. Notes Comput. Sci. 11200, 169--185 (2019; Zbl 1519.68116) Full Text: DOI
Gareis, Johannes; Lüttgen, Gerald; Schinko, Ayleen; Vogler, Walter Interface automata for shared memory. (English) Zbl 1519.68118 Margaria, Tiziana (ed.) et al., Models, mindsets, meta: the what, the how, and the why not? Essays dedicated to Bernhard Steffen on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 11200, 151-166 (2019). MSC: 68Q45 68Q60 68Q85 PDFBibTeX XMLCite \textit{J. Gareis} et al., Lect. Notes Comput. Sci. 11200, 151--166 (2019; Zbl 1519.68118) Full Text: DOI
Mendler, Michael; Aguado, Joaquín; Bodin, Bruno; Roop, Partha; von Hanxleden, Reinhard Logic meets algebra: compositional timing analysis for synchronous reactive multithreading. (English) Zbl 1519.68164 Margaria, Tiziana (ed.) et al., Models, mindsets, meta: the what, the how, and the why not? Essays dedicated to Bernhard Steffen on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 11200, 45-67 (2019). MSC: 68Q85 03B20 03B70 06D20 68N15 68Q55 PDFBibTeX XMLCite \textit{M. Mendler} et al., Lect. Notes Comput. Sci. 11200, 45--67 (2019; Zbl 1519.68164) Full Text: DOI
Moggi, Eugenio; Farjudian, Amin; Taha, Walid System analysis and robustness. (English) Zbl 1519.68165 Margaria, Tiziana (ed.) et al., Models, mindsets, meta: the what, the how, and the why not? Essays dedicated to Bernhard Steffen on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 11200, 36-44 (2019). MSC: 68Q85 06B35 54H30 PDFBibTeX XMLCite \textit{E. Moggi} et al., Lect. Notes Comput. Sci. 11200, 36--44 (2019; Zbl 1519.68165) Full Text: DOI
Boumuki, Nobutaka An indecomposable representation and the complex vector space of holomorphic vector fields on a pseudo-Hermitian symmetric space. (English) Zbl 1519.32003 Adachi, Toshiaki (ed.) et al., Recent topics in differential geometry and its related fields. Proceedings of the 6th international colloquium on differential geometry and its related fields, Veliko Tarnovo, Bulgaria, September 4–8, 2018. Singapore: World Scientific. 139-148 (2019). MSC: 32M15 53C35 32M25 PDFBibTeX XMLCite \textit{N. Boumuki}, in: Recent topics in differential geometry and its related fields. Proceedings of the 6th international colloquium on differential geometry and its related fields, Veliko Tarnovo, Bulgaria, September 4--8, 2018. Singapore: World Scientific. 139--148 (2019; Zbl 1519.32003) Full Text: DOI
Pasquali, Andrea Constructions in higher-dimensional Auslander-Reiten theory. (English) Zbl 1515.16004 Uppsala Dissertations in Mathematics 114. Uppsala: Uppsala Univ., Department of Mathematics (Diss.) (ISBN 978-91-506-2754-1). 42 p., open access (2019). MSC: 16-02 16G70 16G60 PDFBibTeX XMLCite \textit{A. Pasquali}, Constructions in higher-dimensional Auslander-Reiten theory. Uppsala: Uppsala Univ., Department of Mathematics (Diss.) (2019; Zbl 1515.16004) Full Text: Link
Assaye, Berhanu; Alamneh, Mihret; Mishra, Lakshmi Narayan; Mebrat, Yeshiwas Dual skew Heyting almost distributive lattices. (English) Zbl 1524.06029 Appl. Math. Nonlinear Sci. 4, No. 1, 151-162 (2019). MSC: 06D75 06D20 PDFBibTeX XMLCite \textit{B. Assaye} et al., Appl. Math. Nonlinear Sci. 4, No. 1, 151--162 (2019; Zbl 1524.06029) Full Text: DOI
Raja, C. R. E.; Shah, Riddhi Some properties of distal actions on locally compact groups. (English) Zbl 1512.37020 Ergodic Theory Dyn. Syst. 39, No. 5, 1340-1360 (2019). MSC: 37B05 16W22 22F05 PDFBibTeX XMLCite \textit{C. R. E. Raja} and \textit{R. Shah}, Ergodic Theory Dyn. Syst. 39, No. 5, 1340--1360 (2019; Zbl 1512.37020) Full Text: DOI arXiv
Čapkovič, František Petri nets at modelling and control of discrete-event systems with nondeterminism. II. (English) Zbl 1518.93087 Comput. Inform. 38, No. 3, 728-764 (2019). MSC: 93C65 68Q85 93B05 93B07 PDFBibTeX XMLCite \textit{F. Čapkovič}, Comput. Inform. 38, No. 3, 728--764 (2019; Zbl 1518.93087) Full Text: DOI
Foka, S. V. Tchoffo; Tonga, Marcel A residuated lattice of \(L\)-fuzzy subalgebras of a mono-unary algebra. (English) Zbl 1504.08005 New Math. Nat. Comput. 15, No. 3, 539-551 (2019). MSC: 08A60 08A72 08A30 06B05 06D35 PDFBibTeX XMLCite \textit{S. V. T. Foka} and \textit{M. Tonga}, New Math. Nat. Comput. 15, No. 3, 539--551 (2019; Zbl 1504.08005) Full Text: DOI
Bordbar, Hashem; Bordbar, Mohammad Rahim; Jun, Young Bae A generalization of semidetached subalgebras in BCK/BCI-algebras. (English) Zbl 1504.06015 New Math. Nat. Comput. 15, No. 3, 489-501 (2019). MSC: 06F35 PDFBibTeX XMLCite \textit{H. Bordbar} et al., New Math. Nat. Comput. 15, No. 3, 489--501 (2019; Zbl 1504.06015) Full Text: DOI
Motamed, Somayeh; Moghaderi, Javad Primary filters in BL-algebras. (English) Zbl 1504.06010 New Math. Nat. Comput. 15, No. 3, 447-461 (2019). MSC: 06D35 03G25 PDFBibTeX XMLCite \textit{S. Motamed} and \textit{J. Moghaderi}, New Math. Nat. Comput. 15, No. 3, 447--461 (2019; Zbl 1504.06010) Full Text: DOI
Jana, Chiranjibe; Pal, Madhumangal; Karaaslan, Faruk; Sezgin, Aslihan \((\alpha, \beta)\)-soft intersectional rings and ideals with their applications. (English) Zbl 1504.16087 New Math. Nat. Comput. 15, No. 2, 333-350 (2019). MSC: 16Y99 03E72 06F35 PDFBibTeX XMLCite \textit{C. Jana} et al., New Math. Nat. Comput. 15, No. 2, 333--350 (2019; Zbl 1504.16087) Full Text: DOI
Mansard, Alexandre Boolean algebras from trace automata. (English) Zbl 07650345 Chattopadhyay, Arkadev (ed.) et al., 39th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2019, Bombay, India, December 11–13, 2019. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 150, Article 48, 15 p. (2019). MSC: 68N30 68Qxx PDFBibTeX XMLCite \textit{A. Mansard}, LIPIcs -- Leibniz Int. Proc. Inform. 150, Article 48, 15 p. (2019; Zbl 07650345) Full Text: DOI
Chini, Peter; Meyer, Roland; Saivasan, Prakash Complexity of liveness in parameterized systems. (English) Zbl 1504.68141 Chattopadhyay, Arkadev (ed.) et al., 39th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2019, Bombay, India, December 11–13, 2019. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 150, Article 37, 15 p. (2019). MSC: 68Q85 68Q25 68Q27 68Q60 PDFBibTeX XMLCite \textit{P. Chini} et al., LIPIcs -- Leibniz Int. Proc. Inform. 150, Article 37, 15 p. (2019; Zbl 1504.68141) Full Text: DOI arXiv
Cerrito, Serenella; David, Amélie; Goranko, Valentin Minimisation of models satisfying CTL formulas. (English) Zbl 1515.68174 Gamper, Johann (ed.) et al., 26th international symposium on temporal representation and reasoning, TIME 2019. Málaga, Spain, October 16–19, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 147, Article 13, 15 p. (2019). MSC: 68Q60 03B44 68Q85 PDFBibTeX XMLCite \textit{S. Cerrito} et al., LIPIcs -- Leibniz Int. Proc. Inform. 147, Article 13, 15 p. (2019; Zbl 1515.68174) Full Text: DOI
Khyzha, Artem; Attiya, Hagit; Gotsman, Alexey Privatization-safe transactional memories. (English) Zbl 1515.68097 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 24, 17 p. (2019). MSC: 68N19 68Q55 68Q85 PDFBibTeX XMLCite \textit{A. Khyzha} et al., LIPIcs -- Leibniz Int. Proc. Inform. 146, Article 24, 17 p. (2019; Zbl 1515.68097) Full Text: DOI arXiv
Goubault, Éric; Lazić, Marijana; Ledent, Jérémy; Rajsbaum, Sergio 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 \textit{É. Goubault} et al., LIPIcs -- Leibniz Int. Proc. Inform. 146, Article 21, 16 p. (2019; Zbl 1515.68141) Full Text: DOI
Baig, Mirza Ahad; Hendler, Danny; Milani, Alessia; Travers, Corentin Long-lived counters with polylogarithmic amortized step complexity. (English) Zbl 1515.68198 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 3, 16 p. (2019). MSC: 68Q85 68Q25 PDFBibTeX XMLCite \textit{M. A. Baig} et al., LIPIcs -- Leibniz Int. Proc. Inform. 146, Article 3, 16 p. (2019; Zbl 1515.68198) Full Text: DOI
Attiya, Hagit; Enea, Constantin Putting strong linearizability in context: preserving hyperproperties in programs that use concurrent objects. (English) Zbl 1515.68096 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 2, 17 p. (2019). MSC: 68N19 68Q85 68Q87 PDFBibTeX XMLCite \textit{H. Attiya} and \textit{C. Enea}, LIPIcs -- Leibniz Int. Proc. Inform. 146, Article 2, 17 p. (2019; Zbl 1515.68096) Full Text: DOI arXiv