Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID44. SOFSEM 2018: Krems, Austria
- A Min Tjoa
, Ladjel Bellatreche, Stefan Biffl, Jan van Leeuwen, Jirí Wiedermann:
SOFSEM 2018: Theory and Practice of Computer Science - 44th International Conference on Current Trends in Theory and Practice of Computer Science, Krems, Austria, January 29 - February 2, 2018, Proceedings. Lecture Notes in Computer Science 10706, Springer 2018, ISBN 978-3-319-73116-2
Keynote Talk
- Luigi Bellomarini, Georg Gottlob, Andreas Pieris, Emanuel Sallinger:
Swift Logic for Big Data and Knowledge Graphs - Overview of Requirements, Language, and System. 3-16
Foundations of Computer Science
- Manfred Broy:
On Architecture Specification. 19-39 - Monika Henzinger:
The State of the Art in Dynamic Graph Algorithms. 40-44
Software Engineering: Advanced Methods, Applications, and Tools
- Michel R. V. Chaudron, Ana Fernandes-Saez, Regina Hebig, Truong Ho-Quang, Rodi Jolak:
Diversity in UML Modeling Explained: Observations, Classifications and Theorizations. 47-66 - Danny Weyns, Gowri Sankar Ramachandran, Ritesh Kumar Singh:
Self-managing Internet of Things. 67-84
Data, Information and Knowledge Engineering
- Harald Beck, Minh Dao-Tran, Thomas Eiter:
LARS: A Logic-Based Framework for Analytic Reasoning over Streams - (Extended Abstract). 87-93 - Antonia Gogoglou, Theodora Tsikrika, Yannis Manolopoulos:
Network Analysis of the Science of Science: A Case Study in SOFSEM Conference. 94-108
Network Science and Parameterized Complexity
- Clemens Hoffmann, Hendrik Molter, Manuel Sorge:
The Parameterized Complexity of Centrality Improvement in Networks. 111-124 - Jan Dreier, Philipp Kuinke, Ba Le Xuan, Peter Rossmanith:
Local Structure Theorems for Erdős-Rényi Graphs and Their Algorithmic Applications. 125-136 - Tim A. Hartmann:
Target Set Selection Parameterized by Clique-Width and Maximum Threshold. 137-149
Model-Based Software Engineering
- Martin Haeusler, Thomas Trojer, Johannes Kessler, Matthias Farwick, Emmanuel Nowakowski, Ruth Breu:
Combining Versioning and Metamodel Evolution in the ChronoSphere Model Repository. 153-167 - Karol Rástocný, Andrej Mlyncár:
Automated Change Propagation from Source Code to Sequence Diagrams. 168-179 - Sahar Kallel, Chouki Tibermacine, Ahmed Hadj Kacem, Christophe Dony:
Multi-paradigm Architecture Constraint Specification and Configuration Based on Graphs and Feature Models. 180-193
Computational Models and Complexity
- Farid M. Ablayev, Andris Ambainis, Kamil Khadiev, Aliya Khadieva:
Lower Bounds and Hierarchies for Quantum Memoryless Communication Protocols and Quantum Ordered Binary Decision Diagrams with Repeated Test. 197-211 - David Doty, Shaopeng Zhu:
Computational Complexity of Atomic Chemical Reaction Networks. 212-226 - Joonatan Jalonen, Jarkko Kari:
Conjugacy of One-Dimensional One-Sided Cellular Automata is Undecidable. 227-238
Software Quality Assurance and Transformation
- Shahid Khan, Osman Hasan, Atif Mashkoor:
Formal Verification and Safety Assessment of a Hemodialysis Machine. 241-254 - Victor da C. Luna Freire, João Brunet, Jorge C. A. de Figueiredo:
Automatic Decomposition of Java Open Source Pull Requests: A Replication Study. 255-268 - Bogumila Hnatkowska, Pawel Woroniecki:
Transformation of OWL2 Property Axioms to Groovy. 269-282
Graph Structure and Computation
- Benjamin Momège:
Simple Paths and Cycles Avoiding Forbidden Paths. 285-294 - Maxim A. Babenko, Ignat I. Kolesnichenko:
External Memory Algorithms for Finding Disjoint Paths in Undirected Graphs. 295-304 - Tomasz Jurdzinski, Krzysztof Nowicki:
On Range and Edge Capacity in the Congested Clique. 305-318
Business Processes, Protocols, and Mobile Networks
- Flavio Corradini, Chiara Muzi, Barbara Re, Lorenzo Rossi, Francesco Tiezzi:
Global vs. Local Semantics of BPMN 2.0 OR-Join. 321-336 - Mojgan Kamali, Massimo Merro, Alice Dal Corso:
AODVv2: Performance vs. Loop Freedom. 337-350 - Manuel Perez Martinez, Tímea László, Norbert Pataki, Csaba Rotter, Csaba Szalai:
Multivendor Deployment Integration for Future Mobile Networks. 351-364
Mobile Robots and Server Systems
- Huda Chuangpishit, Jurek Czyzowicz, Leszek Gasieniec, Konstantinos Georgiou, Tomasz Jurdzinski, Evangelos Kranakis:
Patrolling a Path Connecting a Set of Points with Unbalanced Frequencies of Visits. 367-380 - Jurek Czyzowicz, Maxime Godon, Evangelos Kranakis, Arnaud Labourel, Euripides Markou:
Exploring Graphs with Time Constraints by Unreliable Collections of Mobile Robots. 381-395 - Elisabet Burjons, Dennis Komm, Marcel Schöngens:
The k-Server Problem with Advice in d Dimensions and on the Sphere. 396-409
Automata, Complexity, Completeness
- Tomás Masopust, Markus Krötzsch:
Deciding Universality of ptNFAs is PSpace-Complete. 413-427 - Hellis Tamm, Margus Veanes:
Theoretical Aspects of Symbolic Automata. 428-441 - Michele Boreale:
Complete Algorithms for Algebraic Strongest Postconditions and Weakest Preconditions in Polynomial ODE'S. 442-455
Recognition and Generation
- Kamil Burda, Daniela Chudá:
Influence of Body Postures on Touch-Based Biometric User Authentication. 459-468 - Miroslava Hresková, Kristína Machová:
Michiko: Poem Models used in Automated Haiku Poetry Generation. 469-476
Optimization, Probabilistic Analysis, and Sorting
- Ana Paula Tomás:
House Allocation Problems with Existing Tenants and Priorities for Teacher Recruitment. 479-492 - Jan-Hendrik Lorenz:
Runtime Distributions and Criteria for Restarts. 493-507 - Barbara Geissmann, Paolo Penna:
Inversions from Sorting with Distance-Based Errors. 508-522
Filters, Configurations, and Picture Encoding
- Peter Damaschke, Alexander Schliep:
An Optimization Problem Related to Bloom Filters with Bit Patterns. 525-538 - Michal Szabados:
Nivat's Conjecture Holds for Sums of Two Periodic Configurations. 539-551 - Marcella Anselmo, Dora Giammarresi, Maria Madonia:
Encoding Pictures with Maximal Codes of Pictures. 552-565
Machine Learning
- Safa Abdellatif, Mohamed Ali Ben Hassine, Sadok Ben Yahia, Amel Bouzeghoub:
ARCID: A New Approach to Deal with Imbalanced Datasets Classification. 569-580 - Ioannis Dematis, Eirini D. Karapistoli, Athena Vakali:
Fake Review Detection via Exploitation of Spam Indicators and Reviewer Behavior Characteristics. 581-595 - Tu Ngo, Vera Georgescu, Anne Laurent, Thérèse Libourel, Grégoire Mercier:
Mining Spatial Gradual Patterns: Application to Measurement of Potentially Avoidable Hospitalizations. 596-608
Text Searching Algorithms
- Yuki Igarashi, Diptarama, Ryo Yoshinaka, Ayumi Shinohara:
New Variants of Pattern Matching with Constants and Variables. 611-623 - Davaajav Jargalsaikhan, Diptarama, Yohei Ueki, Ryo Yoshinaka, Ayumi Shinohara:
Duel and Sweep Algorithm for Order-Preserving Pattern Matching. 624-635 - Hayam Alamro, Lorraine A. K. Ayad, Panagiotis Charalampopoulos, Costas S. Iliopoulos, Solon P. Pissis:
Longest Common Prefixes with k-Mismatches and Applications. 636-649
Data and Model Engineering
- Franck Ravat, Jiefu Song, Olivier Teste:
Managing Reduction in Multidimensional Databases. 653-666 - Carlos Sáenz-Adán, Beatriz Pérez, Trung Dong Huynh, Luc Moreau:
UML2PROV: Automating Provenance Capture in Software Engineering. 667-681 - Jacques Chabin, Mírian Halfeld Ferrari, Béatrice Markhoff, Thanh Binh Nguyen:
Validating Data from Semantic Web Providers. 682-695
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-26 18:42 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
