Ortiz, Magdalena A short introduction to SHACL for logicians. (English) Zbl 07810555 Hansen, Helle Hvid (ed.) et al., Logic, language, information, and computation. 29th international workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13923, 19-32 (2023). MSC: 03B70 PDFBibTeX XMLCite \textit{M. Ortiz}, Lect. Notes Comput. Sci. 13923, 19--32 (2023; Zbl 07810555) Full Text: DOI
Lysyanskaya, Anna Security analysis of RSA-BSSA. (English) Zbl 1527.94051 Boldyreva, Alexandra (ed.) et al., Public-key cryptography – PKC 2023. 26th IACR international conference on practice and theory of public-key cryptography, Atlanta, GA, USA, May 7–10, 2023. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 13940, 251-280 (2023). MSC: 94A60 PDFBibTeX XMLCite \textit{A. Lysyanskaya}, Lect. Notes Comput. Sci. 13940, 251--280 (2023; Zbl 1527.94051) Full Text: DOI
Haldimann, Jonas; Beierle, Christoph Characterizing multipreference closure with system W. (English) Zbl 1524.68356 Dupin de Saint-Cyr, Florence (ed.) et al., Scalable uncertainty management. 15th international conference, SUM 2022, Paris, France, October 17–19, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13562, 79-91 (2022). MSC: 68T27 PDFBibTeX XMLCite \textit{J. Haldimann} and \textit{C. Beierle}, Lect. Notes Comput. Sci. 13562, 79--91 (2022; Zbl 1524.68356) Full Text: DOI
Demey, Lorenz; Smessaert, Hans A database of Aristotelian diagrams: empirical foundations for logical geometry. (English) Zbl 1524.68431 Giardino, Valeria (ed.) et al., Diagrammatic representation and inference. 13th international conference, Diagrams 2022, Rome, Italy, September 14–16, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13462, 123-131 (2022). MSC: 68V35 03A05 68T30 PDFBibTeX XMLCite \textit{L. Demey} and \textit{H. Smessaert}, Lect. Notes Comput. Sci. 13462, 123--131 (2022; Zbl 1524.68431) Full Text: DOI
Furushima, Hideharu; Yamamichi, Daichi; Shigenaka, Seigo; Nakasho, Kazuhisa; Wasaki, Katsumi An integrated web platform for the Mizar Mathematical Library. (English) Zbl 07691295 Buzzard, Kevin (ed.) et al., Intelligent computer mathematics. 15th international conference, CICM 2022, Tbilisi, Georgia, September 19–23, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13467, 141-146 (2022). MSC: 68Vxx PDFBibTeX XMLCite \textit{H. Furushima} et al., Lect. Notes Comput. Sci. 13467, 141--146 (2022; Zbl 07691295) Full Text: DOI arXiv
Beierle, Christoph; Haldimann, Jonas; Kollar, Daniel; Sauerwald, Kai; Schwarzer, Leon An implementation of nonmonotonic reasoning with system W. (English) Zbl 1522.68521 Bergmann, Ralph (ed.) et al., KI 2022: advances in artificial intelligence. 45th German conference on AI, Trier, Germany, September 19–23, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13404, 1-8 (2022). MSC: 68T27 68T30 PDFBibTeX XMLCite \textit{C. Beierle} et al., Lect. Notes Comput. Sci. 13404, 1--8 (2022; Zbl 1522.68521) Full Text: DOI
Haldimann, Jonas; Beierle, Christoph Properties of system W and its relationships to other inductive inference operators. (English) Zbl 07630647 Varzinczak, Ivan (ed.), Foundations of information and knowledge systems. 12th international symposium, FoIKS 2022, Helsinki, Finland, June 20–23, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13388, 206-225 (2022). MSC: 68P15 68T27 68T35 68U35 PDFBibTeX XMLCite \textit{J. Haldimann} and \textit{C. Beierle}, Lect. Notes Comput. Sci. 13388, 206--225 (2022; Zbl 07630647) Full Text: DOI
Harasim, Daniel; Affatato, Giovanni; Moss, Fabian C. midiVERTO: a web application to visualize tonality in real time. (English) Zbl 1495.00021 Montiel, Mariana (ed.) et al., Mathematics and computation in music. 8th international conference, MCM 2022, Atlanta, GA, USA, June 21–24, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13267, 363-368 (2022). MSC: 00A65 65T50 PDFBibTeX XMLCite \textit{D. Harasim} et al., Lect. Notes Comput. Sci. 13267, 363--368 (2022; Zbl 1495.00021) Full Text: DOI arXiv
Lupták, Dávid; Novotný, Vít; Štefánik, Michal; Sojka, Petr WebMIaS on Docker. Deploying math-aware search in a single line of code. (English) Zbl 1485.68299 Kamareddine, Fairouz (ed.) et al., Intelligent computer mathematics. 14th international conference, CICM 2021, Timisoara, Romania, July 26–31, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12833, 159-164 (2021). MSC: 68V35 68P20 PDFBibTeX XMLCite \textit{D. Lupták} et al., Lect. Notes Comput. Sci. 12833, 159--164 (2021; Zbl 1485.68299) Full Text: DOI arXiv
Cabezas, Manuel; Rolla, Leonardo T. Avalanches in critical activated random walks. (English) Zbl 1469.60310 Vares, Maria Eulália (ed.) et al., In and out of equilibrium 3: celebrating Vladas Sidoravicius. Cham: Birkhäuser. Prog. Probab. 77, 187-205 (2021). MSC: 60K35 82C27 82C23 60K40 PDFBibTeX XMLCite \textit{M. Cabezas} and \textit{L. T. Rolla}, Prog. Probab. 77, 187--205 (2021; Zbl 1469.60310) Full Text: DOI arXiv
Reis, Giselle; Naeem, Zan; Hashim, Mohammed Sequoia: a playground for logicians. (English) Zbl 07614693 Peltier, Nicolas (ed.) et al., Automated reasoning. 10th international joint conference, IJCAR 2020, Paris, France, July 1–4, 2020. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12167, 480-488 (2020). MSC: 68V15 PDFBibTeX XMLCite \textit{G. Reis} et al., Lect. Notes Comput. Sci. 12167, 480--488 (2020; Zbl 07614693) Full Text: DOI
Nieto, María Auxilio Medina; Díaz, Delia Arrieta; de la Calleja Mora, Jorge; Hernández, Laura Zacatzontetl; Pérez, Marilú Zacatelco An ontology-based approach to describe collaborative work by reusing and enriching data from an institutional repository. (English) Zbl 07516364 Pozos-Parra, Pilar (ed.) et al., Proceedings of the 11th and 12th Latin American workshop on logic/languages, algorithms and new methods of reasoning, LANMR, Puebla, Mexico, November 15, 2018 and November 15, 2019. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 354, 129-139 (2020). MSC: 68T27 PDFBibTeX XMLCite \textit{M. A. M. Nieto} et al., Electron. Notes Theor. Comput. Sci. 354, 129--139 (2020; Zbl 07516364) Full Text: DOI
Coupier, David; Saha, Kumarjit; Sarkar, Anish; Tran, Viet Chi Collision times of random walks and applications to the Brownian web. (English) Zbl 1453.82029 Birkner, Matthias (ed.) et al., Genealogies of interacting particle systems. Papers based on lectures and turorials of the National University of Singapore, Singapore, July 17 – Aug 18, 2017. Hackensack, NJ: World Scientific. Lect. Notes Ser., Inst. Math. Sci., Natl. Univ. Singap. 38, 267-293 (2020). MSC: 82B41 60J65 82B20 PDFBibTeX XMLCite \textit{D. Coupier} et al., Lect. Notes Ser., Inst. Math. Sci., Natl. Univ. Singap. 38, 267--293 (2020; Zbl 1453.82029) Full Text: DOI arXiv
Fraser, Chris Quasi-isomorphisms of cluster algebras and the combinatorics of webs (extended abstract). (English. French summary) Zbl 1440.05232 Proceedings of the 28th international conference on formal power series and algebraic combinatorics, FPSAC 2016, Vancouver, Canada, July 4–8, 2016. Nancy: The Association. Discrete Mathematics & Theoretical Computer Science (DMTCS). Discrete Math. Theor. Comput. Sci., Proc., 491-502 (2020). MSC: 05E14 13F60 14M15 PDFBibTeX XMLCite \textit{C. Fraser}, in: Proceedings of the 28th international conference on formal power series and algebraic combinatorics, FPSAC 2016, Vancouver, Canada, July 4--8, 2016. Nancy: The Association. Discrete Mathematics \& Theoretical Computer Science (DMTCS). 491--502 (2020; Zbl 1440.05232) Full Text: Link
Schertzer, Emmanuel; Sun, Rongfeng Perturbations of supercritical oriented percolation and sticky Brownian webs. (English) Zbl 1446.82037 Sidoravicius, Vladas (ed.), Sojourns in probability theory and statistical physics. II. Brownian web and percolation, a festschrift for Charles M. Newman. Singapore: Springer; Shanghai: NYU Shanghai. Springer Proc. Math. Stat. 299, 241-261 (2019). MSC: 82B43 60J65 82B41 60K35 PDFBibTeX XMLCite \textit{E. Schertzer} and \textit{R. Sun}, Springer Proc. Math. Stat. 299, 241--261 (2019; Zbl 1446.82037) Full Text: DOI arXiv
Fontes, Luiz Renato A stronger topology for the Brownian web. (English) Zbl 1446.82028 Sidoravicius, Vladas (ed.), Sojourns in probability theory and statistical physics. II. Brownian web and percolation, a festschrift for Charles M. Newman. Singapore: Springer; Shanghai: NYU Shanghai. Springer Proc. Math. Stat. 299, 167-185 (2019). MSC: 82B41 60J65 62P25 91D10 PDFBibTeX XMLCite \textit{L. R. Fontes}, Springer Proc. Math. Stat. 299, 167--185 (2019; Zbl 1446.82028) Full Text: DOI arXiv
Camia, Federico; Stein, Daniel L. Probability theory in statistical physics, percolation, and other random topics: the work of C. Newman. (English) Zbl 1446.82084 Sidoravicius, Vladas (ed.), Sojourns in probability theory and statistical physics. I. Spin glasses and statistical mechanics, a festschrift for Charles M. Newman. Singapore: Springer; Shanghai: NYU Shanghai. Springer Proc. Math. Stat. 298, 1-38 (2019). MSC: 82D30 82B43 82B20 82B44 82B26 81R40 82C20 82D40 82C44 82B41 82C41 60J65 82B27 60C05 82-03 01A61 PDFBibTeX XMLCite \textit{F. Camia} and \textit{D. L. Stein}, Springer Proc. Math. Stat. 298, 1--38 (2019; Zbl 1446.82084) Full Text: DOI arXiv
Nowak, Alex Modules over semisymmetric quasigroups. (English) Zbl 1515.20317 Vojtěchovský, Petr (ed.) et al., Nonassociative mathematics and its applications. Fourth mile high conference on nonassociative mathematics, Denver, CO, USA, July 29 – August 5, 2017. Proceedings. Providence, RI: American Mathematical Society (AMS). Contemp. Math. 721, 199-211 (2019). MSC: 20N05 20C07 PDFBibTeX XMLCite \textit{A. Nowak}, Contemp. Math. 721, 199--211 (2019; Zbl 1515.20317) Full Text: DOI arXiv
Panasyuk, Andriy Kronecker webs, Nijenhuis operators, and nonlinear PDEs. (English) Zbl 1416.53001 Gutt, Jan (ed.) et al., Geometry of Lagrangian Grassmannians and nonlinear PDEs, Warsaw, Poland, September 5–9, 2016. Warsaw: Polish Academy of Sciences, Institute of Mathematics. Banach Cent. Publ. 117, 177-210 (2019). MSC: 53-02 53A60 37K10 PDFBibTeX XMLCite \textit{A. Panasyuk}, Banach Cent. Publ. 117, 177--210 (2019; Zbl 1416.53001) Full Text: DOI arXiv
Krasauskas, Rimvydas Parametrizing 3-webs of circles on Darboux cyclides. (English) Zbl 1400.53008 Cocchiarella, Luigi (ed.), ICGG 2018 – Proceedings of the 18th international conference on geometry and graphics. 40th anniversary – Milan, Italy, August 3–7, 2018. In 2 volumes. Cham: Springer; Milan: Politecnico de Milano (ISBN 978-3-319-95587-2/pbk; 978-3-319-95588-9/ebook). Advances in Intelligent Systems and Computing 809, 2196-2200 (2019). MSC: 53A05 PDFBibTeX XMLCite \textit{R. Krasauskas}, Adv. Intell. Syst. Comput. 809, 2196--2200 (2019; Zbl 1400.53008) Full Text: DOI
Markovich, Natalia M.; Ryzhov, Maxim S.; Krieger, Udo R. Statistical clustering of a random network by extremal properties. (English) Zbl 1476.68213 Vishnevskiy, Vladimir M. (ed.) et al., Distributed computer and communication networks. 21st international conference, DCCN 2018, Moscow, Russia, September 17–21, 2018. Proceedings. Cham: Springer. Commun. Comput. Inf. Sci. 919, 71-82 (2018). MSC: 68R10 05C85 62H30 68M11 PDFBibTeX XMLCite \textit{N. M. Markovich} et al., Commun. Comput. Inf. Sci. 919, 71--82 (2018; Zbl 1476.68213) Full Text: DOI
Yang, Jing; Wang, Liming; Xu, Zhen A novel semantic-aware approach for detecting malicious web traffic. (English) Zbl 1452.94109 Qing, Sihan (ed.) et al., Information and communications security. 19th international conference, ICICS 2017, Beijing, China, December 6–8, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10631, 633-645 (2018). MSC: 94A62 PDFBibTeX XMLCite \textit{J. Yang} et al., Lect. Notes Comput. Sci. 10631, 633--645 (2018; Zbl 1452.94109) Full Text: DOI
Marescotti, Matteo; Hyvärinen, Antti E. J.; Sharygina, Natasha SMTS: distributed, visualized constraint solving. (English) Zbl 1415.68197 Barthe, Gilles (ed.) et al., LPAR-22. 22nd international conference on logic for programming, artificial intelligence and reasoning, Awassa, Ethiopia, November 17–21, 2018. Selected papers. Manchester: EasyChair. EPiC Ser. Comput. 57, 534-542 (2018). MSC: 68T20 68W10 68W15 PDFBibTeX XMLCite \textit{M. Marescotti} et al., EPiC Ser. Comput. 57, 534--542 (2018; Zbl 1415.68197) Full Text: DOI
Noda, Takeo; Kaneko, Masataka Collaborative use of mathematical content generated by CindyJS on tablets. (English) Zbl 1395.68326 Davenport, James H. (ed.) et al., Mathematical software – ICMS 2018. 6th international conference, South Bend, IN, USA, July 24–27, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-96417-1/pbk; 978-3-319-96418-8/ebook). Lecture Notes in Computer Science 10931, 379-388 (2018). MSC: 68U35 PDFBibTeX XMLCite \textit{T. Noda} and \textit{M. Kaneko}, Lect. Notes Comput. Sci. 10931, 379--388 (2018; Zbl 1395.68326) Full Text: DOI
Santos de Oliveira, Kênia; Julia, Stéphane Using linear logic to verify requirement scenarios in composite web service. (English) Zbl 1498.68171 Cavalheiro, Simone (ed.) et al., Formal methods: foundations and applications. 20th Brazilian symposium, SBMF 2017, Recife, Brazil, November 29 – December 1, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10623, 215-232 (2017). MSC: 68Q60 03B70 68M11 68Q45 68Q85 PDFBibTeX XMLCite \textit{K. Santos de Oliveira} and \textit{S. Julia}, Lect. Notes Comput. Sci. 10623, 215--232 (2017; Zbl 1498.68171) Full Text: DOI
Binnewies, Sebastian; Zhuang, Zhiqiang; Wang, Kewen Three methods for revising hybrid knowledge bases. (English) Zbl 1490.68214 Costantini, Stefania (ed.) et al., Rules and reasoning. International joint conference, RuleML+RR 2017, London, UK, July 12–15, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10364, 37-52 (2017). MSC: 68T30 68N17 68T27 PDFBibTeX XMLCite \textit{S. Binnewies} et al., Lect. Notes Comput. Sci. 10364, 37--52 (2017; Zbl 1490.68214) Full Text: DOI Link
Broß, Jan; Gog, Simon; Hauck, Matthias; Paradies, Marcus Fast construction of compressed web graphs. (English) Zbl 1454.68045 Fici, Gabriele (ed.) et al., String processing and information retrieval. 24th international symposium, SPIRE 2017, Palermo, Italy, September 26–29, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10508, 116-128 (2017). MSC: 68P30 68P05 68R10 PDFBibTeX XMLCite \textit{J. Broß} et al., Lect. Notes Comput. Sci. 10508, 116--128 (2017; Zbl 1454.68045) Full Text: DOI
Markovich, Natalia M.; Ryzhov, Maxim; Krieger, Udo R. Nonparametric analysis of extremes on web graphs: PageRank versus max-linear model. (English) Zbl 1452.68020 Vishnevskiy, Vladimir M. (ed.) et al., Distributed computer and communication networks. 20th international conference, DCCN 2017, Moscow, Russia, September 25–29, 2017. Proceedings. Cham: Springer. Commun. Comput. Inf. Sci. 700, 13-26 (2017). MSC: 68M11 05C82 62G32 68R10 PDFBibTeX XMLCite \textit{N. M. Markovich} et al., Commun. Comput. Inf. Sci. 700, 13--26 (2017; Zbl 1452.68020) Full Text: DOI
Johnson, Kenneth; Tucker, John V.; Wang, Victoria Theorising monitoring: algebraic models of web monitoring in organisations. (English) Zbl 1496.68202 James, Phillip (ed.) et al., Recent trends in algebraic development techniques. 23rd IFIP WG 1.3 international workshop, WADT 2016, Gregynog, UK, September 21–24, 2016. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 10644, 13-35 (2017). MSC: 68Q65 68M11 PDFBibTeX XMLCite \textit{K. Johnson} et al., Lect. Notes Comput. Sci. 10644, 13--35 (2017; Zbl 1496.68202) Full Text: DOI Link
Itzhaky, Shachar; Kotek, Tomer; Rinetzky, Noam; Sagiv, Mooly; Tamir, Orr; Veith, Helmut; Zuleger, Florian On the automated verification of web applications with embedded SQL. (English) Zbl 1402.68123 Benedikt, Michael (ed.) et al., 20th international conference on database theory, ICDT 2017, Venice, Italy, March 21–24, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-024-8). LIPIcs – Leibniz International Proceedings in Informatics 68, Article 16, 18 p. (2017). MSC: 68Q60 03B70 68M11 68N15 68P15 PDFBibTeX XMLCite \textit{S. Itzhaky} et al., LIPIcs -- Leibniz Int. Proc. Inform. 68, Article 16, 18 p. (2017; Zbl 1402.68123) Full Text: DOI arXiv
Campêlo, Manoel; Severín, Daniel Facets of the polytope of legal sequences. (English) Zbl 1383.05231 Bassino, Frédérique (ed.) et al., LAGOS 2017. Selected papers of the 9th Latin-American algorithms, graphs, and optimization symposium, Marseille, France, September 11–15, 2017. Amsterdam: Elsevier. Electronic Notes in Discrete Mathematics 62, 15-20 (2017). MSC: 05C69 PDFBibTeX XMLCite \textit{M. Campêlo} and \textit{D. Severín}, Electron. Notes Discrete Math. 62, 15--20 (2017; Zbl 1383.05231) Full Text: DOI
Scully, Ziv; Chlipala, Adam A program optimization for automatic database result caching. (English) Zbl 1380.68109 Castagna, Giuseppe (ed.) et al., Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL ’17, Paris, France, January 15–21, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4660-3). 271-284 (2017). MSC: 68N20 68P15 PDFBibTeX XMLCite \textit{Z. Scully} and \textit{A. Chlipala}, in: Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL '17, Paris, France, January 15--21, 2017. New York, NY: Association for Computing Machinery (ACM). 271--284 (2017; Zbl 1380.68109) Full Text: DOI
Trinh, Minh-Thai; Chu, Duc-Hiep; Jaffar, Joxan Progressive reasoning over recursively-defined strings. (English) Zbl 1411.68031 Chaudhuri, Swarat (ed.) et al., Computer aided verification. 28th international conference, CAV 2016, Toronto, ON, Canada, July 17–23, 2016. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 9779, 218-240 (2016). MSC: 68N30 68W32 PDFBibTeX XMLCite \textit{M.-T. Trinh} et al., Lect. Notes Comput. Sci. 9779, 218--240 (2016; Zbl 1411.68031) Full Text: DOI
Ferré, Sébastien; Cellier, Peggy Graph-FCA in practice. (English) Zbl 1398.68514 Haemmerlé, Ollivier (ed.) et al., Graph-based representation and reasoning. 22nd international conference on conceptual structures, ICCS 2016, Annecy, France, July 5–7, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-40984-9/pbk; 978-3-319-40985-6/ebook). Lecture Notes in Computer Science 9717. Lecture Notes in Artificial Intelligence, 107-121 (2016). MSC: 68T30 PDFBibTeX XMLCite \textit{S. Ferré} and \textit{P. Cellier}, Lect. Notes Comput. Sci. 9717, 107--121 (2016; Zbl 1398.68514) Full Text: DOI Link
Samouylov, Konstantin; Naumov, Valery; Sopin, Eduard; Gudkova, Irina; Shorgin, Sergey Sojourn time analysis for processor sharing loss system with unreliable server. (English) Zbl 1390.68152 Wittevrongel, Sabine (ed.) et al., Analytical and stochastic modelling techniques and applications. 23rd international conference, ASMTA 2016, Cardiff, UK, August 24–26, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-43903-7/pbk; 978-3-319-43904-4/ebook). Lecture Notes in Computer Science 9845, 284-297 (2016). MSC: 68M20 PDFBibTeX XMLCite \textit{K. Samouylov} et al., Lect. Notes Comput. Sci. 9845, 284--297 (2016; Zbl 1390.68152) Full Text: DOI
Pal, Madhumangal Modelling of ecosystem using graph theory. (English) Zbl 1373.92145 Maity, Kalipada (ed.), Bio-mathematical modeling under uncertain environment. New Delhi: Narosa Publishing House (ISBN 978-81-8487-523-2/hbk). 157-164 (2016). MSC: 92D40 05C90 PDFBibTeX XMLCite \textit{M. Pal}, in: Bio-mathematical modeling under uncertain environment. New Delhi: Narosa Publishing House. 157--164 (2016; Zbl 1373.92145)
Radanne, Gabriel; Vouillon, Jérôme; Balat, Vincent Eliom: a core ML language for tierless web programming. (English) Zbl 1483.68055 Igarashi, Atsushi (ed.), Programming languages and systems. 14th Asian symposium, APLAS 2016, Hanoi, Vietnam, November 21–23, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10017, 377-397 (2016). MSC: 68N15 68N18 PDFBibTeX XMLCite \textit{G. Radanne} et al., Lect. Notes Comput. Sci. 10017, 377--397 (2016; Zbl 1483.68055) Full Text: DOI
Bauereiß, Thomas; Pesenti Gritti, Armando; Popescu, Andrei; Raimondi, Franco CoSMed: a confidentiality-verified social media platform. (English) Zbl 1451.68167 Blanchette, Jasmin Christian (ed.) et al., Interactive theorem proving. 7th international conference, ITP 2016, Nancy, France, August 22–25, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9807, 87-106 (2016). MSC: 68Q60 68V15 PDFBibTeX XMLCite \textit{T. Bauereiß} et al., Lect. Notes Comput. Sci. 9807, 87--106 (2016; Zbl 1451.68167) Full Text: DOI Link
Holzmann, Helge; Runnwerth, Mila; Sperber, Wolfram Linking mathematical software in web archives. (English) Zbl 1434.68658 Greuel, Gert-Martin (ed.) et al., Mathematical software – ICMS 2016. 5th international conference, Berlin, Germany, July 11–14, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9725, 419-422 (2016). MSC: 68V35 PDFBibTeX XMLCite \textit{H. Holzmann} et al., Lect. Notes Comput. Sci. 9725, 419--422 (2016; Zbl 1434.68658) Full Text: DOI arXiv
Chrapary, Hagen; Ren, Yue The software portal swMATH: a state of the art report and next steps. (English) Zbl 1434.68654 Greuel, Gert-Martin (ed.) et al., Mathematical software – ICMS 2016. 5th international conference, Berlin, Germany, July 11–14, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9725, 397-402 (2016). MSC: 68V35 PDFBibTeX XMLCite \textit{H. Chrapary} and \textit{Y. Ren}, Lect. Notes Comput. Sci. 9725, 397--402 (2016; Zbl 1434.68654) Full Text: DOI
Montag, Aaron; Richter-Gebert, Jürgen CindyGL: authoring GPU-based interactive mathematical content. (English) Zbl 1434.68612 Greuel, Gert-Martin (ed.) et al., Mathematical software – ICMS 2016. 5th international conference, Berlin, Germany, July 11–14, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9725, 359-365 (2016). MSC: 68U05 68V25 PDFBibTeX XMLCite \textit{A. Montag} and \textit{J. Richter-Gebert}, Lect. Notes Comput. Sci. 9725, 359--365 (2016; Zbl 1434.68612) Full Text: DOI
von Gagern, Martin; Richter-Gebert, Jürgen CindyJS plugins – extending the mathematical visualization framework. (English) Zbl 1434.68622 Greuel, Gert-Martin (ed.) et al., Mathematical software – ICMS 2016. 5th international conference, Berlin, Germany, July 11–14, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9725, 327-334 (2016). MSC: 68U05 68U15 68V25 PDFBibTeX XMLCite \textit{M. von Gagern} and \textit{J. Richter-Gebert}, Lect. Notes Comput. Sci. 9725, 327--334 (2016; Zbl 1434.68622) Full Text: DOI
von Gagern, Martin; Kortenkamp, Ulrich; Richter-Gebert, Jürgen; Strobel, Michael CindyJS – mathematical visualization on modern devices. (English) Zbl 1434.68621 Greuel, Gert-Martin (ed.) et al., Mathematical software – ICMS 2016. 5th international conference, Berlin, Germany, July 11–14, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9725, 319-326 (2016). MSC: 68U05 PDFBibTeX XMLCite \textit{M. von Gagern} et al., Lect. Notes Comput. Sci. 9725, 319--326 (2016; Zbl 1434.68621) Full Text: DOI
Tang, Yi; Lin, Manjia EQPO: obscuring encrypted web traffic with equal-sized pseudo-objects. (English) Zbl 1409.94908 Lin, Dongdai (ed.) et al., Information security and cryptology. 11th international conference, Inscrypt 2015, Beijing, China, November 1–3, 2015. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 9589, 227-245 (2016). MSC: 94A60 68M11 PDFBibTeX XMLCite \textit{Y. Tang} and \textit{M. Lin}, Lect. Notes Comput. Sci. 9589, 227--245 (2016; Zbl 1409.94908) Full Text: DOI
Li, Menghao; Yang, Liang; Yuan, Zimu; Zhang, Rui; Xue, Rui An approach for mitigating potential threats in practical SSO systems. (English) Zbl 1409.94889 Lin, Dongdai (ed.) et al., Information security and cryptology. 11th international conference, Inscrypt 2015, Beijing, China, November 1–3, 2015. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 9589, 209-226 (2016). MSC: 94A60 68M11 PDFBibTeX XMLCite \textit{M. Li} et al., Lect. Notes Comput. Sci. 9589, 209--226 (2016; Zbl 1409.94889) Full Text: DOI
Gavanelli, Marco; Lamma, Evelina; Riguzzi, Fabrizio; Bellodi, Elena; Zese, Riccardo; Cota, Giuseppe An abductive framework for Datalog\(^\pm\) ontologies. (English) Zbl 1407.68479 De Vos, Marina (ed.) et al., Technical communications of the 31st international conference on logic programming, ICLP 2015, Cork, Ireland, August 31 – September 4, 2015. Aachen: RWTH Aachen. CEUR Workshop Proc. 1433, 13 p. (2015). MSC: 68T30 68N17 68T27 PDFBibTeX XMLCite \textit{M. Gavanelli} et al., CEUR Workshop Proc. 1433, 13 p. (2015; Zbl 1407.68479) Full Text: Link
Chama, Imed Eddine; Belala, Nabil; Saidouni, Djamel Eddine Formal modeling and analysis of business process timed constraints. (English) Zbl 1368.68044 Bouabana-Tebibel, Thouraya (ed.) et al., Formalisms for reuse and systems integration. Cham: Springer (ISBN 978-3-319-16576-9/pbk; 978-3-319-16577-6/ebook). Advances in Intelligent Systems and Computing 346, 149-172 (2015). MSC: 68M11 68Q55 68Q85 PDFBibTeX XMLCite \textit{I. E. Chama} et al., Adv. Intell. Syst. Comput. 346, 149--172 (2015; Zbl 1368.68044) Full Text: DOI
Niewiadomski, Artur; Penczek, Wojciech SMT-based abstract parametric temporal planning. (English) Zbl 1366.68009 Koutny, Maciej (ed.) et al., Transactions on Petri Nets and Other Models of Concurrency X. Berlin: Springer (ISBN 978-3-662-48649-8/pbk; 978-3-662-48650-4/ebook). Lecture Notes in Computer Science 9410. Journal Subline, 55-83 (2015). MSC: 68M11 68T30 PDFBibTeX XMLCite \textit{A. Niewiadomski} and \textit{W. Penczek}, Lect. Notes Comput. Sci. 9410, 55--83 (2015; Zbl 1366.68009) Full Text: DOI
Cozzens, Margaret (Midge) Food webs and graphs. (English) Zbl 1359.92115 Robeva, Raina S. (ed.), Algebraic and discrete mathematical methods for modern biology. Amsterdam: Elsevier (ISBN 978-0-12-801213-0/hbk). 29-49 (2015). MSC: 92D40 05C90 PDFBibTeX XMLCite \textit{M. Cozzens}, in: Algebraic and discrete mathematical methods for modern biology. Amsterdam: Elsevier. 29--49 (2015; Zbl 1359.92115) Full Text: DOI
Dahmani, Karim; Langar, Mahjoub; Robbana, Riadh A formal dynamic verification of choreographed web services conversations. (English) Zbl 1388.94044 Au, Man-Ho (ed.) et al., Provable security. 9th international conference, ProvSec 2015, Kanazawa, Japan, November 24–26, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-26058-7/pbk; 978-3-319-26059-4/ebook). Lecture Notes in Computer Science 9451, 340-353 (2015). MSC: 94A60 68M11 PDFBibTeX XMLCite \textit{K. Dahmani} et al., Lect. Notes Comput. Sci. 9451, 340--353 (2015; Zbl 1388.94044) Full Text: DOI
Bliss, Nathan; Sommars, Jeff; Verschelde, Jan; Yu, Xiangcheng Solving polynomial systems in the cloud with polynomial homotopy continuation. (English) Zbl 1439.13078 Gerdt, Vladimir P. (ed.) et al., Computer algebra in scientific computing. 17th international workshop, CASC 2015, Aachen, Germany, September 14–18, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9301, 87-100 (2015). MSC: 13P15 13-04 65H14 14Q65 68W30 65H10 PDFBibTeX XMLCite \textit{N. Bliss} et al., Lect. Notes Comput. Sci. 9301, 87--100 (2015; Zbl 1439.13078) Full Text: DOI arXiv
Stewart, Alan; Gabarro, Joaquim; Keenan, Anthony Uncertainty in the cloud: an angel-daemon approach to modelling performance. (English) Zbl 1465.68029 Destercke, Sébastien (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 13th European conference, ECSQARU 2015, Compiègne, France, July 15–17, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9161, 141-150 (2015). MSC: 68M11 91A44 91A80 PDFBibTeX XMLCite \textit{A. Stewart} et al., Lect. Notes Comput. Sci. 9161, 141--150 (2015; Zbl 1465.68029) Full Text: DOI Link
Barka, Ezedine; Mathew, Sujith Samuel; Atif, Yacine Securing the Web of Things with role-based access control. (English) Zbl 1459.68012 El Hajji, Said (ed.) et al., Codes, cryptology, and information security. First international conference, C2SI 2015, Rabat, Morocco, May 26–28, 2015. Proceedings – in honor of Thierry Berger. Cham: Springer. Lect. Notes Comput. Sci. 9084, 14-26 (2015). MSC: 68M11 68M25 68P27 94A60 PDFBibTeX XMLCite \textit{E. Barka} et al., Lect. Notes Comput. Sci. 9084, 14--26 (2015; Zbl 1459.68012) Full Text: DOI Link
Ferré, Sébastien A proposal for extending formal concept analysis to knowledge graphs. (English) Zbl 1312.68187 Baixeries, Jaume (ed.) et al., Formal concept analysis. 13th international conference, ICFCA 2015, Nerja, Spain, June 23–26, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-19544-5/pbk; 978-3-319-19545-2/ebook). Lecture Notes in Computer Science 9113. Lecture Notes in Artificial Intelligence, 271-286 (2015). MSC: 68T30 68R10 68T05 PDFBibTeX XMLCite \textit{S. Ferré}, Lect. Notes Comput. Sci. 9113, 271--286 (2015; Zbl 1312.68187) Full Text: DOI Link
Krötzsch, Markus; Simančík, František; Horrocks, Ian A description logic primer. (English) Zbl 1358.68276 Lehmann, Jens (ed.) et al., Perspectives on ontology learning. Amsterdam: IOS Press; Heidelberg: Akademische Verlagsgesellschaft AKA (ISBN 978-3-89838-694-4/pbk; 978-1-61499-378-0/pbk; 978-1-61499-379-7/ebook). Studies on the Semantic Web 18, 3-19 (2014). MSC: 68T27 68T30 68-02 PDFBibTeX XMLCite \textit{M. Krötzsch} et al., Stud. Semant. Web 18, 3--19 (2014; Zbl 1358.68276) Full Text: arXiv
Mao, Mingsong; Lu, Jie; Zhang, Guangquan; Zhang, Jinlong Hybridizing social filtering for recommender systems. (English) Zbl 1356.68229 Wen, Zhenkun (ed.) et al., Foundations of intelligent systems. Proceedings of the eighth international conference on intelligent systems and knowledge engineering, ISKE 2013, Shenzhen, China, November 20–23, 2013. 2 volume set. Berlin: Springer (ISBN 978-3-642-54923-6/pbk). Advances in Intelligent Systems and Computing 277, 273-285 (2014). MSC: 68T35 68U35 91D30 PDFBibTeX XMLCite \textit{M. Mao} et al., Adv. Intell. Syst. Comput. 277, 273--285 (2014; Zbl 1356.68229) Full Text: DOI
Betz, Tobias; Cabac, Lawrence; Duvigneau, Michael; Wagner, Thomas; Wester-Ebbinghaus, Matthias Software engineering with Petri nets: a web service and agent perspective. (English) Zbl 1428.68197 Koutny, Maciej (ed.) et al., Transactions on Petri Nets and Other Models of Concurrency IX. Berlin: Springer. Lect. Notes Comput. Sci. 8910, 41-61 (2014). MSC: 68Q85 PDFBibTeX XMLCite \textit{T. Betz} et al., Lect. Notes Comput. Sci. 8910, 41--61 (2014; Zbl 1428.68197) Full Text: DOI
Huynh, The; Mathieu, Fabien; Viennot, Laurent LiveRank: how to refresh old crawls. (English) Zbl 1342.05162 Bonato, Anthony (ed.) et al., Algorithms and models for the web graph. 11th international workshop, WAW 2014, Beijing, China, December 17–18, 2014. Proceedings. Cham: Springer (ISBN 978-3-319-13122-1/pbk; 978-3-319-13123-8/ebook). Lecture Notes in Computer Science 8882, 148-160 (2014). MSC: 05C82 05C85 68M11 PDFBibTeX XMLCite \textit{T. Huynh} et al., Lect. Notes Comput. Sci. 8882, 148--160 (2014; Zbl 1342.05162) Full Text: DOI arXiv Link
Angosto, Carlos; López-Pellicer, Manuel Compactness and distances to spaces of continuous functions and Fréchet spaces. (English) Zbl 1368.46010 Ferrando, Juan Carlos (ed.) et al., Descriptive topology and functional analysis. In honour of Jerzy Kąkol’s 60th birthday. Proceedings of the 1st meeting in topology and functional analysis, Elche, Spain, September 27–28, 2013. Cham: Springer (ISBN 978-3-319-05223-6/hbk; 978-3-319-05224-3/ebook). Springer Proceedings in Mathematics & Statistics 80, 75-93 (2014). Reviewer: Michał Goliński (Poznań) MSC: 46A50 54C35 PDFBibTeX XMLCite \textit{C. Angosto} and \textit{M. López-Pellicer}, Springer Proc. Math. Stat. 80, 75--93 (2014; Zbl 1368.46010) Full Text: DOI
Cai, Dunbo; Xu, Sheng Lexical multicriteria-based quality evaluation model for web service composition. (English) Zbl 1303.68101 Wen, Zhenkun (ed.) et al., Knowledge engineering and management. Proceedings of the eighth international conference on intelligent systems and knowledge engineering, ISKE 2013, Shenzhen, China, November 20–23, 2013. Berlin: Springer (ISBN 978-3-642-54929-8/pbk; 978-3-642-54930-4/ebook). Advances in Intelligent Systems and Computing 278, 253-258 (2014). MSC: 68T05 68M11 68T30 PDFBibTeX XMLCite \textit{D. Cai} and \textit{S. Xu}, Adv. Intell. Syst. Comput. 278, 253--258 (2014; Zbl 1303.68101) Full Text: DOI
Komiyama, Junpei; Qin, Tao time-decaying bandits for non-stationary problems. (English) Zbl 1410.91395 Liu, Tie-Yan (ed.) et al., Web and internet economics. 10th international conference, WINE 2014, Beijing, China, December 14–17, 2014. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 8877, 460-466 (2014). MSC: 91D30 91A60 PDFBibTeX XMLCite \textit{J. Komiyama} and \textit{T. Qin}, Lect. Notes Comput. Sci. 8877, 460--466 (2014; Zbl 1410.91395) Full Text: DOI
Olieslagers, R.; de Wild, M.; van Melick, S.; Knaapen, R. Simulation of the fluid-structure interaction for an aerostatic bearing and a flexible substrate. (English) Zbl 1298.76140 Brebbia, Carlos A. (ed.) et al., Advances in fluid mechanics X. Proceedings of the 10th international conference on advances in fluid mechanics, A Coruña, Spain, July 1–3, 2014. Southampton: WIT Press (ISBN 978-1-84564-790-2/hbk; 978-1-84564-791-9/ebook). WIT Transactions on Engineering Sciences 82, 95-106 (2014). MSC: 76N15 76M20 76M12 74F10 74K10 PDFBibTeX XMLCite \textit{R. Olieslagers} et al., WIT Trans. Eng. Sci. 82, 95--106 (2014; Zbl 1298.76140)
Alpuente, María; Ballis, Demis; Frechina, Francisco; Sapiña, Julia Inspecting rewriting logic computations (in a parametric and stepwise way). (English) Zbl 1407.68097 Iida, Shusaku (ed.) et al., Specification, algebra, and software. Essays dedicated to Kokichi Futatsugi. Berlin: Springer. Lect. Notes Comput. Sci. 8373, 229-255 (2014). MSC: 68N30 68Q42 PDFBibTeX XMLCite \textit{M. Alpuente} et al., Lect. Notes Comput. Sci. 8373, 229--255 (2014; Zbl 1407.68097) Full Text: DOI Link
Bučar, Jože; Povh, Janez A KNN based algorithm for text categorization. (English) Zbl 1333.68226 Zadnik Stirn, Lidija (ed.) et al., SOR ’13 proceedings. The 12th international symposium on operational research in Slovenia, Dolenjske Toplice, Slovenia, September 25–27, 2013. Ljubljana: Slovenian Society Informatika (SDI), Section for Operational Research (SOR) (ISBN 978-961-6165-40-2/pbk). 367-372 (2013). MSC: 68T05 62H30 68M11 PDFBibTeX XMLCite \textit{J. Bučar} and \textit{J. Povh}, in: SOR '13 proceedings. The 12th international symposium on operational research in Slovenia, Dolenjske Toplice, Slovenia, September 25--27, 2013. Ljubljana: Slovenian Society Informatika (SDI), Section for Operational Research (SOR). 367--372 (2013; Zbl 1333.68226)
Lefortier, Damien; Ostroumova, Liudmila; Samosvat, Egor Evolution of the media web. (English) Zbl 1342.68039 Bonato, Anthony (ed.) et al., Algorithms and models for the web graph. 10th international workshop, WAW 2013, Cambridge, MA, USA, December 14–15, 2013. Proceedings. Berlin: Springer (ISBN 978-3-319-03535-2/pbk). Lecture Notes in Computer Science 8305, 80-92 (2013). MSC: 68M11 05C82 05C80 PDFBibTeX XMLCite \textit{D. Lefortier} et al., Lect. Notes Comput. Sci. 8305, 80--92 (2013; Zbl 1342.68039) Full Text: DOI arXiv
Janssen, Jeannette; Prałat, Paweł; Wilson, Rory Asymmetric distribution of nodes in the spatial preferred attachment model. (English) Zbl 1342.05142 Bonato, Anthony (ed.) et al., Algorithms and models for the web graph. 10th international workshop, WAW 2013, Cambridge, MA, USA, December 14–15, 2013. Proceedings. Berlin: Springer (ISBN 978-3-319-03535-2/pbk). Lecture Notes in Computer Science 8305, 1-13 (2013). MSC: 05C80 05C82 05C12 05C42 68M10 68R10 PDFBibTeX XMLCite \textit{J. Janssen} et al., Lect. Notes Comput. Sci. 8305, 1--13 (2013; Zbl 1342.05142) Full Text: DOI
Housley, Matthew; Russell, Heather M.; Tymoczko, Julianna The Robinson-Schensted correspondence and \(A_2\)-webs. (English) Zbl 1294.05173 Proceedings of the 25th international conference on formal power series and algebraic combinatorics, FPSAC 2013, Paris, France, June 24–28, 2013. Nancy: The Association. Discrete Mathematics & Theoretical Computer Science (DMTCS). Discrete Mathematics and Theoretical Computer Science. Proceedings, 861-872, electronic only (2013). MSC: 05E10 05C10 PDFBibTeX XMLCite \textit{M. Housley} et al., in: Proceedings of the 25th international conference on formal power series and algebraic combinatorics, FPSAC 2013, Paris, France, June 24--28, 2013. Nancy: The Association. Discrete Mathematics \& Theoretical Computer Science (DMTCS). 861--872 (2013; Zbl 1294.05173) Full Text: Link
Teresa, Alsinet; Ramón, Béjar; Guitart, Francesc; Godo, Lluís Web based system for weighted defeasible argumentation. (English) Zbl 1401.68311 Leite, João (ed.) et al., Computational logic in multi-agent systems. 14th international workshop, CLIMA XIV, Corunna, Spain, September 16–18, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-40623-2/pbk). Lecture Notes in Computer Science 8143. Lecture Notes in Artificial Intelligence, 155-171 (2013). MSC: 68T27 PDFBibTeX XMLCite \textit{A. Teresa} et al., Lect. Notes Comput. Sci. 8143, 155--171 (2013; Zbl 1401.68311) Full Text: DOI
Libbrecht, Paul Escaping the trap of too precise topic queries. (English) Zbl 1390.68749 Carette, Jacques (ed.) et al., Intelligent computer mathematics. MKM, Calculemus, DML, and systems and projects 2013, held as part of CICM 2013, Bath, UK, July 8–12, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-39319-8/pbk). Lecture Notes in Computer Science 7961. Lecture Notes in Artificial Intelligence, 296-309 (2013). MSC: 68U35 68P20 PDFBibTeX XMLCite \textit{P. Libbrecht}, Lect. Notes Comput. Sci. 7961, 296--309 (2013; Zbl 1390.68749) Full Text: DOI arXiv
Fragalà, Ilaria; Gazzola, Filippo; Lamboley, Jimmy Sharp bounds for the \(p\)-torsion of convex planar domains. (English) Zbl 1278.49050 Magnanini, Rolando (ed.) et al., Geometric properties for parabolic and elliptic PDE’s. Milano: Springer (ISBN 978-88-470-2840-1/hbk; 978-88-470-2841-8/ebook). Springer INdAM Series 2, 97-115 (2013). Reviewer: Manuel Ritoré (Granada) MSC: 49Q10 52B60 PDFBibTeX XMLCite \textit{I. Fragalà} et al., Springer INdAM Ser. 2, 97--115 (2013; Zbl 1278.49050) Full Text: DOI arXiv
Ray, Donald; Ligatti, Jay Defining code-injection attacks. (English) Zbl 1321.68035 Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’12, Philadelphia, PA, USA, January 22–28, 2012. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1083-3). 179-190 (2012). MSC: 68M11 68N15 68P15 PDFBibTeX XMLCite \textit{D. Ray} and \textit{J. Ligatti}, in: Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '12, Philadelphia, PA, USA, January 22--28, 2012. New York, NY: Association for Computing Machinery (ACM). 179--190 (2012; Zbl 1321.68035) Full Text: DOI
Austin, Thomas H.; Flanagan, Cormac Multiple facets for dynamic information flow. (English) Zbl 1321.68034 Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’12, Philadelphia, PA, USA, January 22–28, 2012. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1083-3). 165-178 (2012). MSC: 68M11 68N19 PDFBibTeX XMLCite \textit{T. H. Austin} and \textit{C. Flanagan}, in: Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '12, Philadelphia, PA, USA, January 22--28, 2012. New York, NY: Association for Computing Machinery (ACM). 165--178 (2012; Zbl 1321.68034) Full Text: DOI Link
Gardner, Philippa Anne; Maffeis, Sergio; Smith, Gareth David Towards a program logic for JavaScript. (English) Zbl 1321.68193 Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’12, Philadelphia, PA, USA, January 22–28, 2012. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1083-3). 31-44 (2012). MSC: 68N30 03B70 68N15 68M11 PDFBibTeX XMLCite \textit{P. A. Gardner} et al., in: Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '12, Philadelphia, PA, USA, January 22--28, 2012. New York, NY: Association for Computing Machinery (ACM). 31--44 (2012; Zbl 1321.68193) Full Text: DOI
Etayo, Fernando Singular 2-webs. An introduction. (English) Zbl 1303.53024 Castrillón López, Marco (ed.) et al., Contribuciones matemáticas en honor a Juan Tarrés. Madrid: Universidad Complutense de Madrid, Facultad de Ciencias Matemáticas (ISBN 978-84-695-4421-1). 141-147 (2012). MSC: 53A60 53C12 53C15 PDFBibTeX XMLCite \textit{F. Etayo}, in: Contribuciones matemáticas en honor a Juan Tarrés. Madrid: Universidad Complutense de Madrid, Facultad de Ciencias Matemáticas. 141--147 (2012; Zbl 1303.53024)
Bry, François; Schaffert, Sebastian Simulation unification: beyond querying semistructured data (invited talk). (English) Zbl 1281.68062 Dovier, Agostino (ed.) et al., Technical communications of the 28th international conference on logic programming (ICLP 2012), September 4–8, 2012, Budapest, Hungary. Papers based on the presentations at the conference. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-43-9). LIPIcs – Leibniz International Proceedings in Informatics 17, 1-13, electronic only (2012). MSC: 68N17 68T30 68U35 PDFBibTeX XMLCite \textit{F. Bry} and \textit{S. Schaffert}, LIPIcs -- Leibniz Int. Proc. Inform. 17, 1--13 (2012; Zbl 1281.68062) Full Text: DOI
Turajlić, Nina; Nešković, Siniša Variable neighborhood search and tabu search for the web service selection problem. (English) Zbl 1268.68156 Sifaleras, Angelo (ed.) et al., Selected papers of the 28th EURO mini conference (MEC XXVIII) on variable neighborhood search, Herceg Novi, Mentenegro, October 4–7, 2012. Amsterdam: Elsevier. Electronic Notes in Discrete Mathematics 39, 177-184 (2012). MSC: 68T20 68M11 PDFBibTeX XMLCite \textit{N. Turajlić} and \textit{S. Nešković}, Electron. Notes Discrete Math. 39, 177--184 (2012; Zbl 1268.68156) Full Text: DOI
Turajlić, Nina; Dragović, Ivana A hybrid metaheuristic based on variable neighborhood search and tabu search for the web service selection problem. (English) Zbl 1268.68155 Sifaleras, Angelo (ed.) et al., Selected papers of the 28th EURO mini conference (MEC XXVIII) on variable neighborhood search, Herceg Novi, Mentenegro, October 4–7, 2012. Amsterdam: Elsevier. Electronic Notes in Discrete Mathematics 39, 145-152 (2012). MSC: 68T20 68M11 PDFBibTeX XMLCite \textit{N. Turajlić} and \textit{I. Dragović}, Electron. Notes Discrete Math. 39, 145--152 (2012; Zbl 1268.68155) Full Text: DOI
Pereira, Jorge Vitório Resonance webs of hyperplane arrangements. (English) Zbl 1261.52015 Terao, Hiroaki (ed.) et al., Arrangements of hyperplanes. Proceedings of the 2nd Mathematical Society of Japan-Seasonal Institute, MSJ-SI, Sapporo, Japan, August 1–13, 2009. Tokyo: Mathematical Society of Japan (ISBN 978-4-931469-67-9/hbk). Advanced Studies in Pure Mathematics 62, 261-291 (2012). Reviewer: Kelly J. Pearson (Murray) MSC: 52C35 53A60 PDFBibTeX XMLCite \textit{J. V. Pereira}, Adv. Stud. Pure Math. 62, 261--291 (2012; Zbl 1261.52015) Full Text: arXiv
Alpuente, María; Ballis, Demis; Frechina, Francisco; Romero, Daniel Backward trace slicing for conditional rewrite theories. (English) Zbl 1352.68120 Bjørner, Nikolaj (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 18th international conference, LPAR-18, Mérida, Venezuela, March 11–15, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-28716-9/pbk). Lecture Notes in Computer Science 7180, 62-76 (2012). MSC: 68Q42 03B70 PDFBibTeX XMLCite \textit{M. Alpuente} et al., Lect. Notes Comput. Sci. 7180, 62--76 (2012; Zbl 1352.68120) Full Text: DOI
Bel-Enguix, Gemma; Grando, Adela; Jiménez-López, M. Dolores Grammar systems as orchestras of grammatical services. (English) Zbl 1341.68069 Dömösi, Pál (ed.) et al., Automata and formal languages. 13th international conference, AFL 2011, Debrecen, Hungary, August 17–22, 2011. Nyíregyháza: College of Nyíregyháza, Institute of Mathematics and Informatics (ISBN 978-615-5097-19-5/pbk). 65-78 (2011). MSC: 68Q42 68M11 PDFBibTeX XMLCite \textit{G. Bel-Enguix} et al., in: Automata and formal languages. 13th international conference, AFL 2011, Debrecen, Hungary, August 17--22, 2011. Nyíregyháza: College of Nyíregyháza, Institute of Mathematics and Informatics. 65--78 (2011; Zbl 1341.68069)
Chyzak, Frédéric; Darrasse, Alexis Using Camlp4 for presenting dynamic mathematics on the web: DynaMoW, an OCaml language extension for the run-time generation of mathematical contents and their presentation on the web. (English) Zbl 1323.68545 Proceedings of the 16th ACM SIGPLAN international conference on functional programming, ICFP ’11, Tokyo, Japan, September 19–21, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0865-6). ACM SIGPLAN Notices 46, No. 9, 259-265 (2011). MSC: 68U35 68N15 68N18 68N19 68M11 PDFBibTeX XMLCite \textit{F. Chyzak} and \textit{A. Darrasse}, in: Proceedings of the 16th ACM SIGPLAN international conference on functional programming, ICFP '11, Tokyo, Japan, September 19--21, 2011. New York, NY: Association for Computing Machinery (ACM). 259--265 (2011; Zbl 1323.68545) Full Text: DOI
Chung, Fan PageRank as a discrete Green’s function. (English) Zbl 1255.68109 Ji, Lizhen (ed.), Geometry and analysis, No. 1. Collected papers of the conference “Geometric analysis: Present and future” on the occasion of Shing-Tung Yau’s 60th birthday, Harvard University, Cambridge, MA, USA, August 27–September 1, 2008. Somerville, MA: International Press; Beijing: Higher Education Press (ISBN 978-1-57146-224-4/pbk). Advanced Lectures in Mathematics (ALM) 17, 285-302 (2011). MSC: 68R10 05C20 05C70 68M11 PDFBibTeX XMLCite \textit{F. Chung}, Adv. Lect. Math. (ALM) 17, 285--302 (2011; Zbl 1255.68109)
Alpuente, María; Ballis, Demis; Espert, Javier; Romero, Daniel Backward trace slicing for rewriting logic theories. (English) Zbl 1341.68026 Bjørner, Nikolaj (ed.) et al., Automated deduction – CADE-23. 23rd international conference on automated deduction, Wrocław, Poland, July 31 – August 5, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22437-9/pbk; 978-3-642-22438-6/ebook). Lecture Notes in Computer Science 6803. Lecture Notes in Artificial Intelligence, 34-48 (2011). MSC: 68N30 03B70 68Q42 PDFBibTeX XMLCite \textit{M. Alpuente} et al., Lect. Notes Comput. Sci. 6803, 34--48 (2011; Zbl 1341.68026) Full Text: DOI
Gabarro, Joaquim; Serna, Maria; Stewart, Alan Web services and incerta spiriti: a game theoretic approach to uncertainty. (English) Zbl 1341.68011 Liu, Weiru (ed.), Symbolic and quantitative approaches to reasoning with uncertainty. 11th European conference, ECSQARU 2011, Belfast, UK, June 29 – July 1, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22151-4/pbk). Lecture Notes in Computer Science 6717. Lecture Notes in Artificial Intelligence, 651-662 (2011). MSC: 68M11 91A40 91A80 PDFBibTeX XMLCite \textit{J. Gabarro} et al., Lect. Notes Comput. Sci. 6717, 651--662 (2011; Zbl 1341.68011) Full Text: DOI
Ryan, Joe; Phanalasy, Oudone; Miller, Mirka; Rylands, Leanne On antimagic labeling for generalized web and flower graphs. (English) Zbl 1326.05139 Iliopoulos, Costas S. (ed.) et al., Combinatorial algorithms. 21st international workshop, IWOCA 2010, London, UK, July 26–28, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-19221-0/pbk). Lecture Notes in Computer Science 6460, 303-313 (2011). MSC: 05C78 PDFBibTeX XMLCite \textit{J. Ryan} et al., Lect. Notes Comput. Sci. 6460, 303--313 (2011; Zbl 1326.05139) Full Text: DOI
Fouqueré, Christophe Ludics and web: another reading of standard operations. (English) Zbl 1317.68238 Lecomte, Alain (ed.) et al., Ludics, dialogue and interaction. PRELUDE project – 2006–2009. Revised selected papers. Berlin: Springer (ISBN 978-3-642-19210-4/pbk). Lecture Notes in Computer Science 6505. Lecture Notes in Artificial Intelligence, 58-77 (2011). MSC: 68T27 03F52 68M11 PDFBibTeX XMLCite \textit{C. Fouqueré}, Lect. Notes Comput. Sci. 6505, 58--77 (2011; Zbl 1317.68238) Full Text: DOI
Devroye, Luc; Fawzi, Omar; Fraiman, Nicolas The height of scaled attachment random recursive trees. (English) Zbl 1355.05222 Drmota, Michael (ed.) et al., Proceeding of the 21st international meeting on probabilistic, combinatorial, and asymptotic methods in the analysis of algorithms (AofA’10), Vienna, Austria, June 28 – July 2, 2010. Nancy: The Association. Discrete Mathematics & Theoretical Computer Science (DMTCS). Discrete Mathematics and Theoretical Computer Science. Proceedings, 129-142 (2010). MSC: 05C80 05C05 60F05 PDFBibTeX XMLCite \textit{L. Devroye} et al., in: Proceeding of the 21st international meeting on probabilistic, combinatorial, and asymptotic methods in the analysis of algorithms (AofA'10), Vienna, Austria, June 28 -- July 2, 2010. Nancy: The Association. Discrete Mathematics \& Theoretical Computer Science (DMTCS). 129--142 (2010; Zbl 1355.05222) Full Text: Link
Watanabe, M.; Kudou, G.; Hara, K. Dispersion relation of flow-induced wave of a flexible web subjected to fluid flow in a narrow gap. (English) Zbl 1296.76045 Rahman, M. (ed.) et al., Advances in fluid mechanics VIII. Papers based on the presentations at the 8th international conference, Algarve, Portugal, September 15–17, 2010. Southampton: WIT Press (ISBN 978-1-84564-476-5/hbk; 978-1-84564-477-2/ebook). WIT Transactions on Engineering Sciences 69, 395-403 (2010). MSC: 76D33 74F10 PDFBibTeX XMLCite \textit{M. Watanabe} et al., WIT Trans. Eng. Sci. 69, 395--403 (2010; Zbl 1296.76045) Full Text: DOI
Ismaili, Florie; Shishedjiev, Bogdan; Zenuni, Xhemal; Raufi, Bujar GHSOM-based web service discovery. (English) Zbl 1231.68247 Grigoriu, Mircea (ed.) et al., European computing conference. Proceedings of the 4th European computing conference (ECC’10), Bucarest, Romania, April 20–22, 2010. Athens: World Scientific and Engineering Academy and Society (WSEAS) (ISBN 978-960-474-183-0/CD-ROM; 978-960-474-178-6/hbk). Electrical and Computer Engineering Series. A Series of Reference Books and Textbooks., 207-211 (2010). MSC: 68T30 68T05 PDFBibTeX XMLCite \textit{F. Ismaili} et al., in: European computing conference. Proceedings of the 4th European computing conference (ECC'10), Bucarest, Romania, April 20--22, 2010. Athens: World Scientific and Engineering Academy and Society (WSEAS). 207--211 (2010; Zbl 1231.68247)
Isaila, Narcisa; Smeureanu, Ion The accessibility of information in computer assisted learning process for persons with disabilities. (English) Zbl 1231.92042 Grigoriu, Mircea (ed.) et al., European computing conference. Proceedings of the 4th European computing conference (ECC’10), Bucarest, Romania, April 20–22, 2010. Athens: World Scientific and Engineering Academy and Society (WSEAS) (ISBN 978-960-474-183-0/CD-ROM; 978-960-474-178-6/hbk). Electrical and Computer Engineering Series. A Series of Reference Books and Textbooks., 139-142 (2010). MSC: 92C50 PDFBibTeX XMLCite \textit{N. Isaila} and \textit{I. Smeureanu}, in: European computing conference. Proceedings of the 4th European computing conference (ECC'10), Bucarest, Romania, April 20--22, 2010. Athens: World Scientific and Engineering Academy and Society (WSEAS). 139--142 (2010; Zbl 1231.92042)
Wicker, Jörg; Richter, Lothar; Kramer, Stefan SINDBAD and siQL: Overview, applications and future developments. (English) Zbl 1211.68173 Džeroski, Sašo (ed.) et al., Inductive databases and constraint-based data mining. New York, NY: Springer (ISBN 978-1-4419-7737-3/hbk; 978-1-4419-7738-0/ebook). 289-309 (2010). MSC: 68P15 68N15 68M11 PDFBibTeX XMLCite \textit{J. Wicker} et al., in: Inductive databases and constraint-based data mining. New York, NY: Springer. 289--309 (2010; Zbl 1211.68173) Full Text: DOI
Madaan, Rosy; Dixit, Ashutosh; Sharma, A. K.; Bhatia, Komal Kumar A framework for incremental domain-specific hidden web crawler. (English) Zbl 1213.68113 Ranka, Sanjay (ed.) et al., Contemporary computing. Third international conference, IC3 2010, Noida, India, August 9–11, 2010. Proceedings, Part I. Berlin: Springer (ISBN 978-3-642-14833-0/pbk; 978-3-642-14834-7/ebook). Communications in Computer and Information Science 94, 412-422 (2010). MSC: 68M11 PDFBibTeX XMLCite \textit{R. Madaan} et al., Commun. Comput. Inf. Sci. 94, 412--422 (2010; Zbl 1213.68113) Full Text: DOI
Kilgour, D. Marc; Chen, Ye; Hipel, Keith W. Multiple criteria approaches to group decision and negotiation. (English) Zbl 1200.90103 Ehrgott, Matthias (ed.) et al., Trends in multiple criteria decision analysis. Berlin: Springer (ISBN 978-1-4419-5903-4/hbk; 978-1-4419-5904-1/ebook). International Series in Operations Research & Management Science 142, 317-338 (2010). MSC: 90B50 91B10 PDFBibTeX XMLCite \textit{D. M. Kilgour} et al., Int. Ser. Oper. Res. Manag. Sci. 142, 317--338 (2010; Zbl 1200.90103) Full Text: DOI
Horvat, Marko; Gledec, Gordan; Bogunović, Nikola Ontology-based administration of web directories. (English) Zbl 1309.68178 Nguyen, Ngoc Thanh (ed.) et al., Transactions on Computational Collective Intelligence I. Berlin: Springer (ISBN 978-3-642-15033-3/pbk). Lecture Notes in Computer Science 6220. Journal Subline, 101-120 (2010). MSC: 68T30 68M11 PDFBibTeX XMLCite \textit{M. Horvat} et al., Lect. Notes Comput. Sci. 6220, 101--120 (2010; Zbl 1309.68178) Full Text: DOI arXiv
Rajeev, Tiwari; Gulista, Khan Load balancing in distributed web caching. (English) Zbl 1207.68092 Meghanathan, Natarajan (ed.) et al., Recent trends in network security and applications. Third international conference, CNSA 2010, Chennai, India, July 23–25, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-14477-6/pbk; 978-3-642-14478-3/ebook). Communications in Computer and Information Science 89, 47-54 (2010). MSC: 68M11 PDFBibTeX XMLCite \textit{T. Rajeev} and \textit{K. Gulista}, Commun. Comput. Inf. Sci. 89, 47--54 (2010; Zbl 1207.68092) Full Text: DOI
Ohta, Yuichi; Kameda, Yoshinari; Kitahara, Itaru; Hayashi, Masayuki; Yamazaki, Shinya See-through vision: a visual augmentation method for sensing-web. (English) Zbl 1202.68061 Hüllermeier, Eyke (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. Applications. 13th international conference, IPMU 2010, Dortmund, Germany, June 28–July 2, 2010. Proceedings. Part II. Berlin: Springer (ISBN 978-3-642-14057-0/pbk; 978-3-642-14058-7/ebook). Communications in Computer and Information Science 81, 690-699 (2010). MSC: 68M11 PDFBibTeX XMLCite \textit{Y. Ohta} et al., Commun. Comput. Inf. Sci. 81, 690--699 (2010; Zbl 1202.68061) Full Text: DOI
Ivask, Eero; Devadze, Sergei; Ubar, Raimund Collaborative distributed fault simulation for digital electronic circuits. (English) Zbl 1200.68053 Essaaidi, Mohammad (ed.) et al., Intelligent distributed computing IV. Proceedings of the 4th international symposium on intelligent distributed computing – IDC 2010, Tangier, Morocco, September 2010. Berlin: Springer (ISBN 978-3-642-15210-8/hbk; 978-3-642-15211-5/ebook). Studies in Computational Intelligence 315, 67-76 (2010). MSC: 68M15 68M99 PDFBibTeX XMLCite \textit{E. Ivask} et al., Stud. Comput. Intell. 315, 67--76 (2010; Zbl 1200.68053) Full Text: DOI
Gabroveanu, Mihai; Cosulschi, Mirel; Constantinescu, Nicolae Webkm - online data mining system. (English) Zbl 1206.68046 Essaaidi, Mohammad (ed.) et al., Intelligent distributed computing IV. Proceedings of the 4th international symposium on intelligent distributed computing – IDC 2010, Tangier, Morocco, September 2010. Berlin: Springer (ISBN 978-3-642-15210-8/hbk; 978-3-642-15211-5/ebook). Studies in Computational Intelligence 315, 41-46 (2010). MSC: 68M11 68P15 68U35 PDFBibTeX XMLCite \textit{M. Gabroveanu} et al., Stud. Comput. Intell. 315, 41--46 (2010; Zbl 1206.68046) Full Text: DOI
Yager, Ronald R.; Reformat, Marek Tagging and fuzzy sets. (English) Zbl 1200.68084 Sgurev, Vassil (ed.) et al., Intelligent systems: From theory to practice. Selected papers based on the presentations at the 4th IEEE conference intelligent systems (IS 2008), methodology, models and applications in emergent technologies, Varna, Bulgaria, September 6–8, 2008. Berlin: Springer (ISBN 978-3-642-13427-2/hbk; 978-3-642-13428-9/ebook). Studies in Computational Intelligence 299, 1-17 (2010). MSC: 68P05 68M11 PDFBibTeX XMLCite \textit{R. R. Yager} and \textit{M. Reformat}, Stud. Comput. Intell. 299, 1--17 (2010; Zbl 1200.68084) Full Text: DOI
Miron, Alina Dia; Gensel, Jérôme; Villanova-Oliver, Marlène Semantic analysis for the geospatial semantic web. (English) Zbl 1202.68058 Guillet, F. (ed.) et al., Advances in knowledge discovery and management. Selected papers based on the presentations at the “Extraction et gestion des connaissances” conference 2009 (EGC), Strasbourg, France, January 2009. Berlin: Springer (ISBN 978-3-642-00579-4/hbk). Studies in Computational Intelligence 292, 287-306 (2010). MSC: 68M11 68T05 PDFBibTeX XMLCite \textit{A. D. Miron} et al., Stud. Comput. Intell. 292, 287--306 (2010; Zbl 1202.68058) Full Text: DOI