Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Barun Gorain, Kaushik Mondal 0001, Supantha Pandit |
Distributed Independent Sets in Interval and Segment Intersection Graphs. |
SOFSEM |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Khaled Jawhar, Evangelos Kranakis |
Bike Assisted Evacuation on a Line. |
SOFSEM |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Pedro Pérez-Escalona, Ivan Rapaport, José A. Soto, Ian Vidal |
The Multiple Traveling Salesman Problem on Spiders. |
SOFSEM |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Yuriy Dementiev, Artur Ignatiev, Vyacheslav Sidelnik, Alexander Smal, Mikhail Ushakov |
New Bounds on the Half-Duplex Communication Complexity. |
SOFSEM |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Merav Parter |
Invited Talk: Resilient Distributed Algorithms. |
SOFSEM |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Ryoma Sin'ya |
Asymptotic Approximation by Regular Languages. |
SOFSEM |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Sara Bonfitto, Luca Cappelletti, Fabrizio Trovato, Giorgio Valentini, Marco Mesiti |
Semi-automatic Column Type Inference for CSV Table Understanding. |
SOFSEM |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Anna Sniegula, Aneta Poniszewska-Maranda, Lukasz Chomatek |
Towards the Named Entity Recognition Methods in Biomedical Field. |
SOFSEM |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Bardia Hamedmohseni, Zahed Rahmati, Debajyoti Mondal |
Simplified Emanation Graphs: A Sparse Plane Spanner with Steiner Points. |
SOFSEM |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Nader H. Bshouty, George Haddad, Catherine A. Haddad-Zaknoon |
Bounds for the Number of Tests in Non-adaptive Randomized Algorithms for Group Testing. |
SOFSEM |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Miroslaw Ochodek, Sylwia Kopczynska, Jerzy R. Nawrocki |
A Case Study on a Hybrid Approach to Assessing the Maturity of Requirements Engineering Practices in Agile Projects (REMMA). |
SOFSEM |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Giovanna Castellano, Ciro Castiello, Corrado Mencar, Gennaro Vessio |
Crowd Detection for Drone Safe Landing Through Fully-Convolutional Neural Networks. |
SOFSEM |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Markus Blumenstock, Frank Fischer 0002 |
A Constructive Arboricity Approximation Scheme. |
SOFSEM |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Stavros Konstantinidis, António Machiavelo, Nelma Moreira, Rogério Reis |
On the Average State Complexity of Partial Derivative Transducers. |
SOFSEM |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Marek Bruchatý, Karol Rástocný |
Does Live Regression Testing Help? |
SOFSEM |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Fabiola Moyón Constante, Christoph Bayr, Daniel Méndez Fernández, Sebastian Dännart, Kristian Beckers |
A Light-Weight Tool for the Self-assessment of Security Compliance in Software Development - An Industry Case. |
SOFSEM |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Radu Stefan Mincu, Alexandru Popa 0001 |
The Maximum Equality-Free String Factorization Problem: Gaps vs. No Gaps. |
SOFSEM |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Theofanis Vartziotis, Apostolos V. Zarras, Anastasios Tsimakis, Panos Vassiliadis |
Recommending Trips in the Archipelago of Refactorings. |
SOFSEM |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Frank Gurski, Stefan Hoffmann 0002, Dominique Komander, Carolin Rehs, Jochen Rethmann, Egon Wanke |
Computing Directed Steiner Path Covers for Directed Co-graphs (Extended Abstract). |
SOFSEM |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Rick Erkens, Jurriaan Rot, Bas Luttik |
Up-to Techniques for Branching Bisimilarity. |
SOFSEM |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Henrietta Dombrovskaya, Jeff Czaplewski, Boris Novikov 0001 |
Connecting Galaxies: Bridging the Gap Between Databases and Applications. |
SOFSEM |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Manuel Cáceres, Simon J. Puglisi, Bella Zhukova |
Fast Indexes for Gapped Pattern Matching. |
SOFSEM |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Nils Morawietz, Niels Grüttemeier, Christian Komusiewicz, Frank Sommer |
Refined Parameterizations for Computing Colored Cuts in Edge-Colored Graphs. |
SOFSEM |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Kristína Machová, Marián Mach, Gabriela Demková |
Modelling of the Fake Posting Recognition in On-Line Media Using Machine Learning. |
SOFSEM |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Takuya Mieno, Yuki Kuhara, Tooru Akagi, Yuta Fujishige, Yuto Nakashima, Shunsuke Inenaga, Hideo Bannai, Masayuki Takeda |
Minimal Unique Substrings and Minimal Absent Words in a Sliding Window. |
SOFSEM |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Ronny Tredup |
Parameterized Complexity of Synthesizing b-Bounded (m, n)-T-Systems. |
SOFSEM |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Kohei Maruyama, Shinnosuke Seki |
Counting Infinitely by Oritatami Co-transcriptional Folding. |
SOFSEM |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Davaajav Jargalsaikhan, Diptarama Hendrian, Ryo Yoshinaka, Ayumi Shinohara |
Parallel Duel-and-Sweep Algorithm for the Order-Preserving Pattern Matching. |
SOFSEM |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Ernesto Damiani, Claudio A. Ardagna |
Certified Machine-Learning Models. |
SOFSEM |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Mäcker, Friedhelm Meyer auf der Heide, Simon Pukrop |
Approximating Weighted Completion Time for Order Scheduling with Setup Times. |
SOFSEM |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Nicolas Bousquet, Alice Joffard |
Approximating Shortest Connected Graph Transformation for Trees. |
SOFSEM |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Kitti Gelle, Szabolcs Iván |
The Order Type of Scattered Context-Free Orderings of Rank One Is Computable. |
SOFSEM |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Stepán Plachý, Jan Janousek |
On Synchronizing Tree Automata and Their Work-Optimal Parallel Run, Usable for Parallel Tree Pattern Matching. |
SOFSEM |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Kohei Yamada, Yuto Nakashima, Shunsuke Inenaga, Hideo Bannai, Masayuki Takeda |
Faster STR-EC-LCS Computation. |
SOFSEM |
2020 |
DBLP DOI BibTeX RDF |
|
1 | János Csirik, György Dósa, Dávid Kószó |
Online Scheduling with Machine Cost and a Quadratic Objective Function. |
SOFSEM |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Duncan Adamson, Argyrios Deligkas, Vladimir V. Gusev, Igor Potapov |
On the Hardness of Energy Minimisation for Crystal Structure Prediction. |
SOFSEM |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Elena Stefancova, Ivan Srba |
POI Recommendation Based on Locality-Specific Seasonality and Long-Term Trends. |
SOFSEM |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Thuy Pham, Nhu Nguyen, Quang Pham, Han Cao, Binh T. Nguyen 0001 |
Vietnamese Punctuation Prediction Using Deep Neural Networks. |
SOFSEM |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Simon Martiel, Maxime Remaud |
Practical Implementation of a Quantum Backtracking Algorithm. |
SOFSEM |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Aggelos Papamichail, Apostolos V. Zarras, Panos Vassiliadis |
Do People Use Naming Conventions in SQL Programming? |
SOFSEM |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Gabriel Ferrettini, Julien Aligon, Chantal Soulé-Dupuy |
Explaining Single Predictions: A Faster Method. |
SOFSEM |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Rachel Faran, Orna Kupferman |
On Synthesis of Specifications with Arithmetic. |
SOFSEM |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Benjamin Mourad, Matteo Cimini |
A Calculus for Language Transformations. |
SOFSEM |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Chatzigeorgiou, Riccardo Dondi, Herodotos Herodotou, Christos A. Kapoutsis, Yannis Manolopoulos, George A. Papadopoulos, Florian Sikora (eds.) |
SOFSEM 2020: Theory and Practice of Computer Science - 46th International Conference on Current Trends in Theory and Practice of Informatics, SOFSEM 2020, Limassol, Cyprus, January 20-24, 2020, Proceedings |
SOFSEM |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Liam Jordon, Philippe Moser |
On the Difference Between Finite-State and Pushdown Depth. |
SOFSEM |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Shahin Kamali, Avery Miller, Kenny Zhang |
Burning Two Worlds. |
SOFSEM |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Issam Ghabri, Ladjel Bellatreche, Sadok Ben Yahia |
Selection of a Green Logical Data Warehouse Schema by Anti-monotonicity Constraint. |
SOFSEM |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Tom Davot, Annie Chateau, Rodolphe Giroudeau, Mathias Weller |
Linearizing Genomes: Exact Methods and Local Search. |
SOFSEM |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Vincent Berry, Céline Scornavacca, Mathias Weller |
Scanning Phylogenetic Networks Is NP-hard. |
SOFSEM |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Francesco De Fino, Barbara Catania, Giovanna Guerrini |
GRaCe: A Relaxed Approach for Graph Query Caching. |
SOFSEM |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Ishadi Jayasinghe, Surangika Ranathunga |
Two-Step Memory Networks for Deep Semantic Parsing of Geometry Word Problems. |
SOFSEM |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Matús Sulír |
String Representations of Java Objects: An Empirical Study. |
SOFSEM |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Leonid Barenboim, Tzalik Maimon |
Simple Distributed Spanners in Dense Congest Networks. |
SOFSEM |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Friedrich Otto |
A Characterization of the Context-Free Languages by Stateless Ordered Restart-Delete Automata. |
SOFSEM |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Erol Gelenbe, Yunxiao Zhang |
Sharing Energy for Optimal Edge Performance. |
SOFSEM |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Mohammad Mehdi Hosseinzadeh |
Dense Subgraphs in Biological Networks. |
SOFSEM |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Aleksander Sadaj, Miroslaw Ochodek, Sylwia Kopczynska, Jerzy R. Nawrocki |
Maintainability of Automatic Acceptance Tests for Web Applications - A Case Study Comparing Two Approaches to Organizing Code of Test Cases. |
SOFSEM |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Giuseppe Liotta, Ignaz Rutter, Alessandra Tappini |
Simultaneous FPQ-Ordering and Hybrid Planarity Testing. |
SOFSEM |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Martin Kutrib |
Kernels of Sub-classes of Context-Free Languages. |
SOFSEM |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Erlebach, Jakob T. Spooner |
A Game of Cops and Robbers on Graphs with Periodic Edge-Connectivity. |
SOFSEM |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Bogdan Aman, Gabriel Ciobanu |
Employing Costs in Multiagent Systems with Timed Migration and Timed Communication. |
SOFSEM |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Gunnar W. Klau |
The Lost Recipes from the Four Schools of Amathus. |
SOFSEM |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Faisal N. Abu-Khzam, Cristina Bazgan, Henning Fernau |
Parameterized Dynamic Variants of Red-Blue Dominating Set. |
SOFSEM |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Xiaofan Wang 0003, Haiming Chen |
Inferring Deterministic Regular Expression with Unorder. |
SOFSEM |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Dominik Vasko, Samuel Pecar, Marián Simko |
Automatic Text Generation in Slovak Language. |
SOFSEM |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Xavier Ouvrard, Jean-Marie Le Goff, Stéphane Marchand-Maillet |
The HyperBagGraph DataEdron: An Enriched Browsing Experience of Datasets. |
SOFSEM |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Ovidiu Cosma, Petrica C. Pop, Cosmin Sabo |
A Novel Hybrid Genetic Algorithm for the Two-Stage Transportation Problem with Fixed Charges Associated to the Routes. |
SOFSEM |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Naoka Fukuzono, Tesshu Hanaka, Hironori Kiya, Hirotaka Ono 0001, Ryogo Yamaguchi |
Two-Player Competitive Diffusion Game: Graph Classes and the Existence of a Nash Equilibrium. |
SOFSEM |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Neeldhara Misra, Chinmay Sonar |
Robustness Radius for Chamberlin-Courant on Restricted Domains. |
SOFSEM |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Chong Gao, Taolue Chen, Zhilin Wu |
Separation Logic with Linearly Compositional Inductive Predicates and Set Data Constraints. |
SOFSEM |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Julien Baste, Didem Gözüpek, Mordechai Shalom, Dimitrios M. Thilikos |
Minimum Reload Cost Graph Factors. |
SOFSEM |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Indranil Banerjee, Dana Richards, Igor Shinkar |
Sorting Networks on Restricted Topologies. |
SOFSEM |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Isela Mendoza, Uéverton S. Souza, Marcos Kalinowski, Ruben Interian, Leonardo Gresta Paulino Murta |
An Efficient Algorithm for Combining Verification and Validation Methods. |
SOFSEM |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Martin Labaj, Karol Rástocný, Daniela Chudá |
Towards Automatic Comparison of Cloud Service Security Certifications. |
SOFSEM |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Martin Raszyk |
On the Size of Logical Automata. |
SOFSEM |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Barbara Catania, Rastislav Královic, Jerzy R. Nawrocki, Giovanni Pighizzini (eds.) |
SOFSEM 2019: Theory and Practice of Computer Science - 45th International Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 27-30, 2019, Proceedings |
SOFSEM |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Hirotaka Ono 0001, Hisato Yamanaka |
A 116/13-Approximation Algorithm for L(2, 1)-Labeling of Unit Disk Graphs. |
SOFSEM |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Ferdinando Cicalese, Zsuzsanna Lipták, Massimiliano Rossi 0001 |
On Infinite Prefix Normal Words. |
SOFSEM |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Mattia D'Emidio, Gabriele Di Stefano, Alfredo Navarra |
Priority Scheduling in the Bamboo Garden Trimming Problem. |
SOFSEM |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Henning Fernau, Lakshmanan Kuppusamy, Indhumathi Raman |
On Matrix Ins-Del Systems of Small Sum-Norm. |
SOFSEM |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Maciej Skorski |
Bayesian Root Cause Analysis by Separable Likelihoods. |
SOFSEM |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Dorota Osula |
Minimizing the Cost of Team Exploration. |
SOFSEM |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Shantanu Das 0001, Nikos Giachoudis, Flaminia L. Luccio, Euripides Markou |
Gathering of Robots in a Grid with Mobile Faults. |
SOFSEM |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Sebastiaan B. van Rooij, Johan M. M. van Rooij |
Algorithms and Complexity Results for the Capacitated Vertex Cover Problem. |
SOFSEM |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Benedek Nagy, Friedrich Otto |
Two-Head Finite-State Acceptors with Translucent Letters. |
SOFSEM |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Lane A. Hemaspaandra, David E. Narváez |
Existence Versus Exploitation: The Opacity of Backdoors and Backbones Under a Weak Assumption. |
SOFSEM |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Francesco Bonchi |
Distance-Based Community Search (Invited Talk Extended Abstract). |
SOFSEM |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Jouke Witteveen, Ralph Bottesch, Leen Torenvliet |
A Hierarchy of Polynomial Kernels. |
SOFSEM |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Nils Donselaar |
Probabilistic Parameterized Polynomial Time. |
SOFSEM |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Uwe Aßmann, Dominik Grzelak, Johannes Mey, Dmytro Pukhkaiev, René Schöne, Christopher Werner, Georg Püschel |
Cross-Layer Adaptation in Multi-layer Autonomic Systems (Invited Talk). |
SOFSEM |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Miroslaw Staron |
Action Research in Software Engineering: Metrics' Research Perspective (Invited Talk). |
SOFSEM |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Frank Gurski, Carolin Rehs |
Forbidden Directed Minors, Directed Path-Width and Directed Tree-Width of Tree-Like Digraphs. |
SOFSEM |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Roland Molontay, Kitti Varga |
On the Complexity of Color-Avoiding Site and Bond Percolation. |
SOFSEM |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Tomoyuki Yamakami |
Behavioral Strengths and Weaknesses of Various Models of Limited Automata. |
SOFSEM |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Martin Theobald |
From Big Data to Big Knowledge - Large-Scale Information Extraction Based on Statistical Methods (Invited Talk). |
SOFSEM |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Ali Parsai, Serge Demeyer |
Do Null-Type Mutation Operators Help Prevent Null-Type Faults? |
SOFSEM |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Martin Kutrib, Matthias Wendlandt |
Multi-stranded String Assembling Systems. |
SOFSEM |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Christian Komusiewicz, Frank Sommer |
Enumerating Connected Induced Subgraphs: Improved Delay and Experimental Comparison. |
SOFSEM |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Shantanu Das 0001, Giuseppe Antonio Di Luna, Leszek Antoni Gasieniec |
Patrolling on Dynamic Ring Networks. |
SOFSEM |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Milos Chromý, Petr Kucera |
Phase Transition in Matched Formulas and a Heuristic for Biclique Satisfiability. |
SOFSEM |
2019 |
DBLP DOI BibTeX RDF |
|