Autor Baier, Christel
|
|
Documentos disponibles escritos por este autor (3)
Hacer una sugerencia Refinar búsqueda21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings / Baier, Christel ; Dal Lago, Ugo
Título : 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings Tipo de documento: documento electrónico Autores: Baier, Christel, ; Dal Lago, Ugo, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2018 Número de páginas: XV, 583 p. 75 ilustraciones ISBN/ISSN/DL: 978-3-319-89366-2 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Palabras clave: Ciencias de la Computación Ingeniería de software Inteligencia artificial Computadoras digitales electrónicas Ordenadores Profesiones Informática Matemáticas discretas Lógica informática y fundamentos de la programación Rendimiento y evaluación del sistema La profesión informática Matemáticas discretas en informática Índice Dewey: 40.151 Resumen: Este libro es de Acceso Abierto bajo licencia CC BY. Nota de contenido: Semantics -- Non-angelic Concurrent Game Semantics -- A Trace Semantics for System F Parametric Polymorphism -- Categorical Combinatorics for Non Deterministic Strategies on Simple Games -- A Syntactic View of Computational Adequacy -- Linearity -- A New Linear Logic for Deadlock-Free Session-Typed Processes -- A Double Category Theoretic Analysis of Graded Linear Exponential Comonads -- Depending on Session-Typed Processes -- FabULous Interoperability for ML and a Linear Language -- Concurrency -- Automata for True Concurrency Properties -- A Theory of Encodings and Expressiveness -- A Framework for Parameterized Monitorability -- Logics for Bisimulation and Divergence -- Lambda-Calculi and Types -- Call-by-need, Neededness and All That -- Fitch-Style Modal Lambda Calculi -- Realizability Interpretation and Normalization of Typed Call-by-Need -- Quotient Inductive-Inductive Types -- Category Theory and Quantum Control -- Guarded Traced Categories -- Proper Semirings and Proper Convex Functors -- From Symmetric Pattern-Matching to Quantum Control -- Quantitative Models -- The Complexity of Graph-Based Reductions for Reachability in Markov Decision Processes -- A Hierarchy of Scheduler Classes for Stochastic Automata -- Symbolically Quantifying Response Time in Stochastic Models using Moments and Semirings -- Comparator Automata in Quantitative Verification -- Logics and Equational Theories -- Modular Tableaux Calculi for Separation Theories -- Differential Calculus with Imprecise Input and its Logical Framework -- The Effects of Adding Reachability Predicates in Propositional Separation Logic -- The Equational Theory of the Natural Join and of Inner Union is Decidable -- Graphs and Automata -- Minimization of Graph Weighted Models over Circular Strings -- Games on Graphs with a Public Signal Monitoring -- WQO Dichotomy for 3-Graphs -- Verifying Higher-Order Functions with Tree Automata. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings [documento electrónico] / Baier, Christel, ; Dal Lago, Ugo, . - 1 ed. . - [s.l.] : Springer, 2018 . - XV, 583 p. 75 ilustraciones.
ISBN : 978-3-319-89366-2
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: Ciencias de la Computación Ingeniería de software Inteligencia artificial Computadoras digitales electrónicas Ordenadores Profesiones Informática Matemáticas discretas Lógica informática y fundamentos de la programación Rendimiento y evaluación del sistema La profesión informática Matemáticas discretas en informática Índice Dewey: 40.151 Resumen: Este libro es de Acceso Abierto bajo licencia CC BY. Nota de contenido: Semantics -- Non-angelic Concurrent Game Semantics -- A Trace Semantics for System F Parametric Polymorphism -- Categorical Combinatorics for Non Deterministic Strategies on Simple Games -- A Syntactic View of Computational Adequacy -- Linearity -- A New Linear Logic for Deadlock-Free Session-Typed Processes -- A Double Category Theoretic Analysis of Graded Linear Exponential Comonads -- Depending on Session-Typed Processes -- FabULous Interoperability for ML and a Linear Language -- Concurrency -- Automata for True Concurrency Properties -- A Theory of Encodings and Expressiveness -- A Framework for Parameterized Monitorability -- Logics for Bisimulation and Divergence -- Lambda-Calculi and Types -- Call-by-need, Neededness and All That -- Fitch-Style Modal Lambda Calculi -- Realizability Interpretation and Normalization of Typed Call-by-Need -- Quotient Inductive-Inductive Types -- Category Theory and Quantum Control -- Guarded Traced Categories -- Proper Semirings and Proper Convex Functors -- From Symmetric Pattern-Matching to Quantum Control -- Quantitative Models -- The Complexity of Graph-Based Reductions for Reachability in Markov Decision Processes -- A Hierarchy of Scheduler Classes for Stochastic Automata -- Symbolically Quantifying Response Time in Stochastic Models using Moments and Semirings -- Comparator Automata in Quantitative Verification -- Logics and Equational Theories -- Modular Tableaux Calculi for Separation Theories -- Differential Calculus with Imprecise Input and its Logical Framework -- The Effects of Adding Reachability Predicates in Propositional Separation Logic -- The Equational Theory of the Natural Join and of Inner Union is Decidable -- Graphs and Automata -- Minimization of Graph Weighted Models over Circular Strings -- Games on Graphs with a Public Signal Monitoring -- WQO Dichotomy for 3-Graphs -- Verifying Higher-Order Functions with Tree Automata. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i
Título : Formal Techniques for Distributed Objects, Components, and Systems : 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings Tipo de documento: documento electrónico Autores: Baier, Christel, ; Caires, Luís, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2018 Número de páginas: XI, 197 p. 2095 ilustraciones, 16 ilustraciones en color. ISBN/ISSN/DL: 978-3-319-92612-4 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Palabras clave: Ingeniería de software Sistemas operativos (computadoras) Compiladores (programas informáticos) Protección de datos Red de computadoras Sistemas informáticos Sistemas operativos Compiladores e intérpretes Seguridad de datos e información Redes de comunicación informática Implementación de sistema informático Índice Dewey: 005.1 Programación (Computadoras) Resumen: Este libro constituye las actas de la 38.ª Conferencia Internacional IFIP WG 6.1 sobre Técnicas Formales para Objetos, Componentes y Sistemas Distribuidos, FORTE 2018, celebrada en Madrid, España, en junio de 2018, como parte de la 13.ª Conferencia Federada Internacional sobre Técnicas de Computación Distribuida. , DisCoTec 2018. Los 10 artículos completos presentados fueron cuidadosamente revisados y seleccionados entre 28 presentaciones. La conferencia está dedicada a la investigación fundamental sobre teoría, modelos, herramientas y aplicaciones para sistemas distribuidos. Nota de contenido: Component- and Model-Based Design.-Object Technology -- Service-Oriented Computing Systems -- Mobile Computing Systems -- Security -- Privacy -- Adaptive Distributed Systems -- Self-Stabilization -- Self-Healing -- Verification -- Formal Analysis. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i Formal Techniques for Distributed Objects, Components, and Systems : 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings [documento electrónico] / Baier, Christel, ; Caires, Luís, . - 1 ed. . - [s.l.] : Springer, 2018 . - XI, 197 p. 2095 ilustraciones, 16 ilustraciones en color.
ISBN : 978-3-319-92612-4
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: Ingeniería de software Sistemas operativos (computadoras) Compiladores (programas informáticos) Protección de datos Red de computadoras Sistemas informáticos Sistemas operativos Compiladores e intérpretes Seguridad de datos e información Redes de comunicación informática Implementación de sistema informático Índice Dewey: 005.1 Programación (Computadoras) Resumen: Este libro constituye las actas de la 38.ª Conferencia Internacional IFIP WG 6.1 sobre Técnicas Formales para Objetos, Componentes y Sistemas Distribuidos, FORTE 2018, celebrada en Madrid, España, en junio de 2018, como parte de la 13.ª Conferencia Federada Internacional sobre Técnicas de Computación Distribuida. , DisCoTec 2018. Los 10 artículos completos presentados fueron cuidadosamente revisados y seleccionados entre 28 presentaciones. La conferencia está dedicada a la investigación fundamental sobre teoría, modelos, herramientas y aplicaciones para sistemas distribuidos. Nota de contenido: Component- and Model-Based Design.-Object Technology -- Service-Oriented Computing Systems -- Mobile Computing Systems -- Security -- Privacy -- Adaptive Distributed Systems -- Self-Stabilization -- Self-Healing -- Verification -- Formal Analysis. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i
Título : SOFSEM 2017: Theory and Practice of Computer Science : 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings Tipo de documento: documento electrónico Autores: Steffen, Bernhard, ; Baier, Christel, ; van den Brand, Mark, ; Eder, Johann, ; Hinchey, Mike, ; Margaria, Tiziana, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2017 Número de páginas: XVIII, 526 p. 109 ilustraciones ISBN/ISSN/DL: 978-3-319-51963-0 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Palabras clave: Algoritmos Sistemas de almacenamiento y recuperación de información Software de la aplicacion Ingeniería de software Red de computadoras Inteligencia artificial Almacenamiento y recuperación de información Aplicaciones informáticas y de sistemas de información Redes de comunicación informática Índice Dewey: 518.1 Resumen: Este libro constituye las actas arbitradas de la 43.ª Conferencia Internacional sobre Tendencias Actuales en Teoría y Práctica de las Ciencias de la Computación, SOFSEM 2017, celebrada en Limerick, Irlanda, en enero de 2017. Los 34 artículos presentados en este volumen fueron cuidadosamente revisados y seleccionados entre 41 presentaciones. . Estaban organizados en secciones temáticas denominadas: fundamentos de la informática; semántica, especificación y composicionalidad; teoría de sistemas móviles y distribuidos; verificación y análisis de sistemas automatizados; redes de Petri, juegos y estructuras de datos relajadas; teoría de grafos y algoritmos de programación; algoritmos cuánticos y matriciales; gráficos planos y moleculares; cubiertas para colorear y vértices; algoritmos para cadenas y lenguajes formales; ingeniería de datos, información y conocimiento; e ingeniería de software: métodos, herramientas, aplicaciones. Nota de contenido: Dependable and Optimal Cyber-Physical Systems -- Verifying Parametric Thread Creation -- Network Constructors: A Model for Programmable Matter -- Logical characterisations and compositionality of input-output conformance simulation -- A Linear-Time Branching-Time Spectrum of Behavioral Specification Theories -- Symbolic semantics for multiparty interactions in the link-calculus -- Different Speeds Suffice for Rendezvous of Two Agents on Arbitrary Graphs -- Deciding structural liveness of Petri nets -- Distributed Network Generation based on Preferential Attachment in ABS -- Completeness of Hoare Logic Relative to the Standard Model -- Configuration- and Residual-Based Transition Systems for Event Structures with Asymmetric Conflict -- Hardness of deriving invertible sequences from finite state machines -- A Graph-theoretical Characterisation of State Separation -- Selfish Transportation Games -- Decomposable Relaxation for Concurrent Data Structures -- Sufficient Conditions for a Connected Graph to have a Hamiltonian Path -- Enumerating Minimal Tropical Connected Sets -- Bamboo Garden Trimming Problem (Perpetual maintenance of machines with different attendance urgency factors) -- Exact quantum query complexity of EXACT_{k,l}^n -- Adjacent vertices can be hard to find by quantum walks -- Matrix semigroup freeness problems in SL(2,Z) -- Order-preserving 1-string representations of planar graphs -- How to Draw a Planarization -- Finding Largest Common Substructures of Molecules in Quadratic Time -- Lower Bounds for On-line Interval Coloring with Vector and Cardinality Constraints -- Parameterized and Exact Algorithms for Class Domination Coloring -- The Approximability of Partial Vertex Covers in Trees -- Longest Common Subsequence in at Least k Length Order-isomorphic Substrings -- Computing longest single-arm-gapped palindromes in a string -- Edit-Distance between Visibly Pushdown Languages -- Trends and Challenges in Predictive Analytics -- Model-driven Development in Practice: From Requirements to Code -- Webpage Menu Detection Based on DOM -- A Hybrid Model for Linking Multiple Social Identities across Heterogeneous Online Social Networks -- Eco Data Warehouse Design Through Logical Variability -- On Featured Transition Systems -- Domain-Specific Languages: A Systematic Mapping Study -- Characterising Malicious Software with High-Level Behavioural Patterns -- AErlang at work -- Software Systems Migration towards Cloud-native Architectures for SME-sized Software Vendors -- Using n-grams for the Automated Clustering of Structural Models. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i SOFSEM 2017: Theory and Practice of Computer Science : 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings [documento electrónico] / Steffen, Bernhard, ; Baier, Christel, ; van den Brand, Mark, ; Eder, Johann, ; Hinchey, Mike, ; Margaria, Tiziana, . - 1 ed. . - [s.l.] : Springer, 2017 . - XVIII, 526 p. 109 ilustraciones.
ISBN : 978-3-319-51963-0
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: Algoritmos Sistemas de almacenamiento y recuperación de información Software de la aplicacion Ingeniería de software Red de computadoras Inteligencia artificial Almacenamiento y recuperación de información Aplicaciones informáticas y de sistemas de información Redes de comunicación informática Índice Dewey: 518.1 Resumen: Este libro constituye las actas arbitradas de la 43.ª Conferencia Internacional sobre Tendencias Actuales en Teoría y Práctica de las Ciencias de la Computación, SOFSEM 2017, celebrada en Limerick, Irlanda, en enero de 2017. Los 34 artículos presentados en este volumen fueron cuidadosamente revisados y seleccionados entre 41 presentaciones. . Estaban organizados en secciones temáticas denominadas: fundamentos de la informática; semántica, especificación y composicionalidad; teoría de sistemas móviles y distribuidos; verificación y análisis de sistemas automatizados; redes de Petri, juegos y estructuras de datos relajadas; teoría de grafos y algoritmos de programación; algoritmos cuánticos y matriciales; gráficos planos y moleculares; cubiertas para colorear y vértices; algoritmos para cadenas y lenguajes formales; ingeniería de datos, información y conocimiento; e ingeniería de software: métodos, herramientas, aplicaciones. Nota de contenido: Dependable and Optimal Cyber-Physical Systems -- Verifying Parametric Thread Creation -- Network Constructors: A Model for Programmable Matter -- Logical characterisations and compositionality of input-output conformance simulation -- A Linear-Time Branching-Time Spectrum of Behavioral Specification Theories -- Symbolic semantics for multiparty interactions in the link-calculus -- Different Speeds Suffice for Rendezvous of Two Agents on Arbitrary Graphs -- Deciding structural liveness of Petri nets -- Distributed Network Generation based on Preferential Attachment in ABS -- Completeness of Hoare Logic Relative to the Standard Model -- Configuration- and Residual-Based Transition Systems for Event Structures with Asymmetric Conflict -- Hardness of deriving invertible sequences from finite state machines -- A Graph-theoretical Characterisation of State Separation -- Selfish Transportation Games -- Decomposable Relaxation for Concurrent Data Structures -- Sufficient Conditions for a Connected Graph to have a Hamiltonian Path -- Enumerating Minimal Tropical Connected Sets -- Bamboo Garden Trimming Problem (Perpetual maintenance of machines with different attendance urgency factors) -- Exact quantum query complexity of EXACT_{k,l}^n -- Adjacent vertices can be hard to find by quantum walks -- Matrix semigroup freeness problems in SL(2,Z) -- Order-preserving 1-string representations of planar graphs -- How to Draw a Planarization -- Finding Largest Common Substructures of Molecules in Quadratic Time -- Lower Bounds for On-line Interval Coloring with Vector and Cardinality Constraints -- Parameterized and Exact Algorithms for Class Domination Coloring -- The Approximability of Partial Vertex Covers in Trees -- Longest Common Subsequence in at Least k Length Order-isomorphic Substrings -- Computing longest single-arm-gapped palindromes in a string -- Edit-Distance between Visibly Pushdown Languages -- Trends and Challenges in Predictive Analytics -- Model-driven Development in Practice: From Requirements to Code -- Webpage Menu Detection Based on DOM -- A Hybrid Model for Linking Multiple Social Identities across Heterogeneous Online Social Networks -- Eco Data Warehouse Design Through Logical Variability -- On Featured Transition Systems -- Domain-Specific Languages: A Systematic Mapping Study -- Characterising Malicious Software with High-Level Behavioural Patterns -- AErlang at work -- Software Systems Migration towards Cloud-native Architectures for SME-sized Software Vendors -- Using n-grams for the Automated Clustering of Structural Models. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i
