- Karla Ramírez Pulido, Jorge Luis Ortega-Arjona, Lourdes Del Carmen González-Huesca:
Gradual Typing Using Union Typing With Records. LANMR (Selected Papers) 2019: 171-186 - Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes-Sobrinho, Deivid Vale:
On Solving Nominal Disunification Constraints. LSFA 2019: 3-22 - Miguel Campercholi, Mauricio Tellechea, Pablo Ventura:
Deciding Quantifier-free Definability in Finite Algebraic Structures. LSFA 2019: 23-41 - Amy P. Felty, João Marcos:
Preface. LSFA 2019: 1-2 - Leandro Gomes, Alexandre Madeira, Luís Soares Barbosa:
Introducing Synchrony in Fuzzy Automata. LSFA 2019: 43-60 - Lourdes Del Carmen González-Huesca, Favio Ezequiel Miranda-Perea, P. Selene Linares-Arévalo:
Dual and Axiomatic Systems for Constructive S4, a Formally Verified Equivalence. LSFA 2019: 61-83 - Manisha Jain, Alexandre Madeira, Manuel A. Martins:
A Fuzzy Modal Logic for Fuzzy Transition Systems. LSFA 2019: 85-103 - Vitor Machado, Mario R. F. Benevides:
Populational Announcement Logic (PPAL). LSFA 2019: 105-123 - Uwe Wolter, Alfio Martini, Edward Hermann Häusler:
Indexed and Fibred Structures for Hoare Logic. LSFA 2019: 125-145 - Ohud Almutairi, Nigel Thomas:
Performance Modelling of the Impact of Cyber Attacks on a Web-based Sales System. PASM 2019: 5-20 - Ali Alssaiari, Nigel Thomas:
Energy Consumption by Servers under Unknown Service Demand. PASM 2019: 21-38 - Luca Arnaboldi, Ricardo M. Czekster, Charles Morisset, Roberto Metere:
Modelling Load-Changing Attacks in Cyber-Physical Systems. PASM 2019: 39-60 - Enrico Barbierato, Marco Gribaudo, Mauro Iacono, Alexander H. Levis:
Evaluating the Safety of Crowds in Enclosed Spaces by Markovian Agents. PASM 2019: 61-75 - Lelio Campanile, Mauro Iacono, Stefano Marrone, Michele Mastroianni:
On Performance Evaluation of Security Monitoring in Multitenant Cloud Applications. PASM 2019: 107-127 - Loubna Echabbi, Jean-Michel Fourneau, Oussama Gacem, Houda Lotfi, Nihal Pekergin:
Stochastic Bounds for the Max Flow in a Network with Discrete Random Capacities. PASM 2019: 77-105 - Matthew Forshaw, Marco Gribaudo, William J. Knottenbelt, Nigel Thomas:
Preface. PASM 2019: 1-3 - Amin Soltanieh, Markus Siegle:
Compositional Model Checking and Model Repair for a Class of Product Form Models. PASM 2019: 129-148 - Fabio Henrique N. Abe, Edna Ayako Hoshino, Alessandro Hill, Roberto Baldacci:
A Branch-and-Price Algorithm for the Ring-Tree Facility Location Problem. LAGOS 2019: 3-14 - Liliana Alcón, Marisa Gutierrez, Martin Milanic:
A Characterization of Claw-free CIS Graphs and New Results on the Order of CIS Graphs. LAGOS 2019: 15-27 - Alexsandro Oliveira Alexandrino, Guilherme Henrique Santos Miranda, Carla Negri Lintzmayer, Zanoni Dias:
Approximation Algorithms for Sorting Permutations by Length-Weighted Short Rearrangements. LAGOS 2019: 29-40 - José D. Alvarado, Simone Dantas, Rodrigo Marinho:
On Adjacent-vertex-distinguishing Total Colourings of Powers of Cycles, Hypercubes and Lattice Graphs. LAGOS 2019: 41-51 - Júlio Araújo, Pedro Arraes:
Hull and Geodetic Numbers for Some Classes of Oriented Graphs. LAGOS 2019: 77-88 - Camila Araujo, Júlio Araújo, Ana Silva, Alexandre A. Cezar:
Backbone Coloring of Graphs with Galaxy Backbones. LAGOS 2019: 53-64 - Paulo Henrique Macêdo de Araújo, Manoel B. Campêlo, Ricardo C. Corrêa, Martine Labbé:
The Geodesic Classification Problem on Graphs. LAGOS 2019: 65-76 - Gabriela R. Argiroffo, Silvia M. Bianchi, Yanina Lucarini, Annegret Wagler:
The Identifying Code, the Locating-dominating, the Open Locating-dominating and the Locating Total-dominating Problems Under Some Graph Operations. LAGOS 2019: 135-145 - Gabriel Ferreira Barros, Bruno Pasqualotto Cavalar, Guilherme Oliveira Mota, Olaf Parczyk:
Anti-Ramsey Threshold of Cycles for Sparse Graphs. LAGOS 2019: 89-98 - Jesse Beisegel, Carolin Denkert, Ekkehard Köhler, Matjaz Krnc, Nevena Pivac, Robert Scheffler, Martin Strehler:
Recognizing Graph Search Trees. LAGOS 2019: 99-110 - Julien Bensmail, Fionn Mc Inerney, Nicolas Nisse:
Metric Dimension: from Graphs to Oriented Graphs. LAGOS 2019: 111-123 - Harsh Beohar, Sebastian Küpper:
Bisimulation Maps in Presheaf Categories. MFPS 2019: 5-24 - João Pedro W. Bernardi, Murilo V. G. da Silva, André Luiz Pires Guedes, Leandro M. Zatesko:
The Chromatic Index of Proper Circular-arc Graphs of Odd Maximum Degree which are Chordal. LAGOS 2019: 125-133