Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Vladislav Makarov, Alexander Okhotin |
On the Expressive Power of GF(2)-Grammars. |
SOFSEM |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Mahsa Varshosaz, Mohammad Reza Mousavi 0001 |
Comparative Expressiveness of Product Line Calculus of Communicating Systems and 1-Selecting Modal Transition Systems. |
SOFSEM |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Hans L. Bodlaender, Marieke van der Wegen, Tom C. van der Zanden |
Stable Divisorial Gonality is in NP. |
SOFSEM |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Christos A. Kapoutsis |
Minicomplexity - Some Motivation, Some History, and Some Structure (Invited Talk Extended Abstract). |
SOFSEM |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Raffaello Carosi, Simone Fioravanti, Luciano Gualà, Gianpiero Monaco |
Coalition Resilient Outcomes in Max k-Cut Games. |
SOFSEM |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Manoj Gupta 0002, Hitesh Kumar, Neeldhara Misra |
On the Complexity of Optimal Matching Reconfiguration. |
SOFSEM |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Michael Kaufmann 0001 |
On Point Set Embeddings for k-Planar Graphs with Few Bends per Edge. |
SOFSEM |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Nikolajs Nahimovs |
Lackadaisical Quantum Walks with Multiple Marked Vertices. |
SOFSEM |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Matús Pikuliak, Marián Simko, Mária Bieliková |
Towards Combining Multitask and Multilingual Learning. |
SOFSEM |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Michel R. V. Chaudron, Ana Fernandes-Saez, Regina Hebig, Truong Ho-Quang, Rodi Jolak |
Diversity in UML Modeling Explained: Observations, Classifications and Theorizations. |
SOFSEM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Ioannis Dematis, Eirini D. Karapistoli, Athena Vakali |
Fake Review Detection via Exploitation of Spam Indicators and Reviewer Behavior Characteristics. |
SOFSEM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Clemens Hoffmann 0002, Hendrik Molter, Manuel Sorge |
The Parameterized Complexity of Centrality Improvement in Networks. |
SOFSEM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Michal Szabados |
Nivat's Conjecture Holds for Sums of Two Periodic Configurations. |
SOFSEM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Jacques Chabin, Mírian Halfeld Ferrari, Béatrice Markhoff, Thanh Binh Nguyen 0006 |
Validating Data from Semantic Web Providers. |
SOFSEM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Martin Haeusler, Thomas Trojer, Johannes Kessler, Matthias Farwick, Emmanuel Nowakowski, Ruth Breu |
Combining Versioning and Metamodel Evolution in the ChronoSphere Model Repository. |
SOFSEM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Manfred Broy |
On Architecture Specification. |
SOFSEM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Jurek Czyzowicz, Maxime Godon, Evangelos Kranakis, Arnaud Labourel, Euripides Markou |
Exploring Graphs with Time Constraints by Unreliable Collections of Mobile Robots. |
SOFSEM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Danny Weyns, Gowri Sankar Ramachandran, Ritesh Kumar Singh |
Self-managing Internet of Things. |
SOFSEM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Jan-Hendrik Lorenz |
Runtime Distributions and Criteria for Restarts. |
SOFSEM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Harald Beck, Minh Dao-Tran, Thomas Eiter |
LARS: A Logic-Based Framework for Analytic Reasoning over Streams - (Extended Abstract). |
SOFSEM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Benjamin Momège |
Simple Paths and Cycles Avoiding Forbidden Paths. |
SOFSEM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Manuel Perez Martinez, Tímea László, Norbert Pataki, Csaba Rotter, Csaba Szalai |
Multivendor Deployment Integration for Future Mobile Networks. |
SOFSEM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Barbara Geissmann, Paolo Penna |
Inversions from Sorting with Distance-Based Errors. |
SOFSEM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Victor da C. Luna Freire, João Brunet, Jorge C. A. de Figueiredo |
Automatic Decomposition of Java Open Source Pull Requests: A Replication Study. |
SOFSEM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Hayam Alamro, Lorraine A. K. Ayad, Panagiotis Charalampopoulos, Costas S. Iliopoulos, Solon P. Pissis |
Longest Common Prefixes with k-Mismatches and Applications. |
SOFSEM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Tu Ngo, Vera Georgescu, Anne Laurent, Thérèse Libourel, Grégoire Mercier |
Mining Spatial Gradual Patterns: Application to Measurement of Potentially Avoidable Hospitalizations. |
SOFSEM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Davaajav Jargalsaikhan, Diptarama, Yohei Ueki, Ryo Yoshinaka, Ayumi Shinohara |
Duel and Sweep Algorithm for Order-Preserving Pattern Matching. |
SOFSEM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | 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. |
SOFSEM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Maxim A. Babenko, Ignat I. Kolesnichenko |
External Memory Algorithms for Finding Disjoint Paths in Undirected Graphs. |
SOFSEM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Flavio Corradini, Chiara Muzi, Barbara Re 0001, Lorenzo Rossi 0001, Francesco Tiezzi 0001 |
Global vs. Local Semantics of BPMN 2.0 OR-Join. |
SOFSEM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Karol Rástocný, Andrej Mlyncár |
Automated Change Propagation from Source Code to Sequence Diagrams. |
SOFSEM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Shahid Khan 0002, Osman Hasan, Atif Mashkoor |
Formal Verification and Safety Assessment of a Hemodialysis Machine. |
SOFSEM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Carlos Sáenz-Adán, Beatriz Pérez 0001, Trung Dong Huynh, Luc Moreau 0001 |
UML2PROV: Automating Provenance Capture in Software Engineering. |
SOFSEM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Joonatan Jalonen, Jarkko Kari |
Conjugacy of One-Dimensional One-Sided Cellular Automata is Undecidable. |
SOFSEM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Kamil Burda, Daniela Chudá |
Influence of Body Postures on Touch-Based Biometric User Authentication. |
SOFSEM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Yuki Igarashi, Diptarama, Ryo Yoshinaka, Ayumi Shinohara |
New Variants of Pattern Matching with Constants and Variables. |
SOFSEM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Tomás Masopust, Markus Krötzsch |
Deciding Universality of ptNFAs is PSpace-Complete. |
SOFSEM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Mojgan Kamali, Massimo Merro, Alice Dal Corso |
AODVv2: Performance vs. Loop Freedom. |
SOFSEM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Tomasz Jurdzinski, Krzysztof Nowicki 0002 |
On Range and Edge Capacity in the Congested Clique. |
SOFSEM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Michele Boreale |
Complete Algorithms for Algebraic Strongest Postconditions and Weakest Preconditions in Polynomial ODE'S. |
SOFSEM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | A Min Tjoa, Ladjel Bellatreche, Stefan Biffl, Jan van Leeuwen, Jirí Wiedermann (eds.) |
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 |
SOFSEM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Antonia Gogoglou, Theodora Tsikrika, Yannis Manolopoulos |
Network Analysis of the Science of Science: A Case Study in SOFSEM Conference. |
SOFSEM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Hellis Tamm, Margus Veanes |
Theoretical Aspects of Symbolic Automata. |
SOFSEM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Elisabet Burjons, Dennis Komm, Marcel Schöngens |
The k-Server Problem with Advice in d Dimensions and on the Sphere. |
SOFSEM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Tim A. Hartmann |
Target Set Selection Parameterized by Clique-Width and Maximum Threshold. |
SOFSEM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Luigi Bellomarini, Georg Gottlob, Andreas Pieris, Emanuel Sallinger |
Swift Logic for Big Data and Knowledge Graphs - Overview of Requirements, Language, and System. |
SOFSEM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Peter Damaschke, Alexander Schliep |
An Optimization Problem Related to Bloom Filters with Bit Patterns. |
SOFSEM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Ana Paula Tomás |
House Allocation Problems with Existing Tenants and Priorities for Teacher Recruitment. |
SOFSEM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Jan Dreier, Philipp Kuinke, Ba Le Xuan, Peter Rossmanith |
Local Structure Theorems for Erdős-Rényi Graphs and Their Algorithmic Applications. |
SOFSEM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Franck Ravat, Jiefu Song, Olivier Teste |
Managing Reduction in Multidimensional Databases. |
SOFSEM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | David Doty, Shaopeng Zhu |
Computational Complexity of Atomic Chemical Reaction Networks. |
SOFSEM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Safa Abdellatif, Mohamed Ali Ben Hassine, Sadok Ben Yahia, Amel Bouzeghoub |
ARCID: A New Approach to Deal with Imbalanced Datasets Classification. |
SOFSEM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Miroslava Hresková, Kristína Machová |
Michiko: Poem Models used in Automated Haiku Poetry Generation. |
SOFSEM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Monika Henzinger |
The State of the Art in Dynamic Graph Algorithms. |
SOFSEM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Marcella Anselmo, Dora Giammarresi, Maria Madonia |
Encoding Pictures with Maximal Codes of Pictures. |
SOFSEM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Bogumila Hnatkowska, Pawel Woroniecki |
Transformation of OWL2 Property Axioms to Groovy. |
SOFSEM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | 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. |
SOFSEM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Sahar Kallel, Chouki Tibermacine, Ahmed Hadj Kacem, Christophe Dony |
Multi-paradigm Architecture Constraint Specification and Configuration Based on Graphs and Feature Models. |
SOFSEM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Chao Wang 0069, Yi Lv, Peng Wu 0002 |
Decomposable Relaxation for Concurrent Data Structures. |
SOFSEM |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Frank Fowley, Divyaa Manimaran Elango, Hany Magar, Claus Pahl |
Software System Migration to Cloud-Native Architectures for SME-Sized Software Vendors. |
SOFSEM |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Yo-Sub Han, Sang-Ki Ko |
Edit-Distance Between Visibly Pushdown Languages. |
SOFSEM |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Keyvan Azadbakht, Nikolaos Bezirgiannis, Frank S. de Boer |
Distributed Network Generation Based on Preferential Attachment in ABS. |
SOFSEM |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Oscar Pastor 0001 |
Model-Driven Development in Practice: From Requirements to Code. |
SOFSEM |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Dimitris Fotakis 0001, Laurent Gourvès, Jérôme Monnot |
Selfish Transportation Games. |
SOFSEM |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Linda Brodo, Carlos Olarte |
Symbolic Semantics for Multiparty Interactions in the Link-Calculus. |
SOFSEM |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Robert M. Hierons, Mohammad Reza Mousavi 0001, Michael Kirkedal Thomsen, Uraz Cengiz Türker |
Hardness of Deriving Invertible Sequences from Finite State Machines. |
SOFSEM |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Uli Fahrenberg, Axel Legay |
A Linear-Time-Branching-Time Spectrum of Behavioral Specification Theories. |
SOFSEM |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Luca Aceto, Ignacio Fábregas, Carlos Gregorio-Rodríguez, Anna Ingólfsdóttir |
Logical Characterisations and Compositionality of Input-Output Conformance Simulation. |
SOFSEM |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Benjamin Momège |
Sufficient Conditions for a Connected Graph to Have a Hamiltonian Path. |
SOFSEM |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Sang-Ki Ko, Igor Potapov |
Matrix Semigroup Freeness Problems in SL (2, \mathbb Z). |
SOFSEM |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Axel Legay, Gilles Perrouin, Xavier Devroey, Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans |
On Featured Transition Systems. |
SOFSEM |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Yohei Ueki, Diptarama, Masatoshi Kurihara, Yoshiaki Matsuoka, Kazuyuki Narisawa, Ryo Yoshinaka, Hideo Bannai, Shunsuke Inenaga, Ayumi Shinohara |
Longest Common Subsequence in at Least k Length Order-Isomorphic Substrings. |
SOFSEM |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Selma Bouarar, Ladjel Bellatreche, Amine Roukh |
Eco-Data Warehouse Design Through Logical Variability. |
SOFSEM |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Andris Ambainis, Janis Iraids, Daniel Nagaj |
Exact Quantum Query Complexity of \text EXACT_k, l^n. |
SOFSEM |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Kim Guldstrand Larsen |
Dependable and Optimal Cyber-Physical Systems. |
SOFSEM |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard Steffen, Christel Baier, Mark van den Brand, Johann Eder, Mike Hinchey, Tiziana Margaria (eds.) |
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 |
SOFSEM |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Evangelos Kranakis, Danny Krizanc, Euripides Markou, Aris Pagourtzis, Felipe Ramírez |
Different Speeds Suffice for Rendezvous of Two Agents on Arbitrary Graphs. |
SOFSEM |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Marjan Mernik |
Domain-Specific Languages: A Systematic Mapping Study. |
SOFSEM |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Önder Babur, Loek Cleophas |
Using n-grams for the Automated Clustering of Structural Models. |
SOFSEM |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Igor Walukiewicz |
Verifying Parametric Thread Creation. |
SOFSEM |
2017 |
DBLP DOI BibTeX RDF |
|
1 | R. Krithika 0001, Ashutosh Rai 0001, Saket Saurabh 0001, Prafullkumar Tale |
Parameterized and Exact Algorithms for Class Domination Coloring. |
SOFSEM |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Petr Jancar |
Deciding Structural Liveness of Petri Nets. |
SOFSEM |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Rocco De Nicola, Tan Duong, Omar Inverso, Catia Trubiani |
AErlang at Work. |
SOFSEM |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Jana St'astná, Martin Tomásek |
Characterising Malicious Software with High-Level Behavioural Patterns. |
SOFSEM |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Grzegorz Gutowski, Patryk Mikos |
Lower Bounds for On-line Interval Coloring with Vector and Cardinality Constraints. |
SOFSEM |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Therese Biedl, Martin Derka |
Order-Preserving 1-String Representations of Planar Graphs. |
SOFSEM |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Athanasios Kokkos, Theodoros Tzouramanis, Yannis Manolopoulos |
A Hybrid Model for Linking Multiple Social Identities Across Heterogeneous Online Social Networks. |
SOFSEM |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Leszek Gasieniec, Ralf Klasing, Christos Levcopoulos, Andrzej Lingas, Jie Min, Tomasz Radzik |
Bamboo Garden Trimming Problem (Perpetual Maintenance of Machines with Different Attendance Urgency Factors). |
SOFSEM |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Eike Best, Nataliya S. Gribovskaya, Irina B. Virbitskaite |
Configuration- and Residual-Based Transition Systems for Event Structures with Asymmetric Conflict. |
SOFSEM |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Eike Best, Raymond R. Devillers, Uli Schlachter |
A Graph-Theoretical Characterisation of State Separation. |
SOFSEM |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Zhaowei Xu, Wenhui Zhang, Yuefei Sui |
Completeness of Hoare Logic Relative to the Standard Model. |
SOFSEM |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Andre Droschinsky, Nils M. Kriege, Petra Mutzel |
Finding Largest Common Substructures of Molecules in Quadratic Time. |
SOFSEM |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Nikolajs Nahimovs, Raqueline A. M. Santos |
Adjacent Vertices Can Be Hard to Find by Quantum Walks. |
SOFSEM |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Othon Michail, Paul G. Spirakis |
Network Constructors: A Model for Programmable Matter. |
SOFSEM |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Bläsius, Marcel Radermacher, Ignaz Rutter |
How to Draw a Planarization. |
SOFSEM |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Shintaro Narisada, Diptarama, Kazuyuki Narisawa, Shunsuke Inenaga, Ayumi Shinohara |
Computing Longest Single-arm-gapped Palindromes in a String. |
SOFSEM |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Vahan Mkrtchyan, Ojas Parekh, Danny Segev, K. Subramani 0001 |
The Approximability of Partial Vertex Covers in Trees. |
SOFSEM |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Dieter Kratsch, Mathieu Liedloff, Mohamed Yosri Sayadi |
Enumerating Minimal Tropical Connected Sets. |
SOFSEM |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Julián Alarte, David Insa, Josep Silva |
Webpage Menu Detection Based on DOM. |
SOFSEM |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Nikolaos Bezirgiannis, Frank S. de Boer |
ABS: A High-Level Modeling Language for Cloud-Aware Programming. |
SOFSEM |
2016 |
DBLP DOI BibTeX RDF |
|