| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Marjan van den Akker 0001, Hans L. Bodlaender, Thomas C. van Dijk, Han Hoogeveen, Erik van Ommeren |
Robust Recoverable Path Using Backup Nodes.  |
SOFSEM  |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Maciej Bendkowski, Katarzyna Grygiel, Pierre Lescanne, Marek Zaionc |
A Natural Counting of Lambda Terms. |
SOFSEM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Liyu Zhang, Chen Yuan 0003, Haibin Kan |
Probabilistic Autoreductions. |
SOFSEM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Roman Barták |
Using Attribute Grammars to Model Nested Workflows with Extra Constraints. |
SOFSEM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Adel Hassan, Mourad Oussalah 0001 |
Meta-Evolution Style for Software Architecture Evolution. |
SOFSEM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Kent Kwee, Friedrich Otto |
On the Effects of Nondeterminism on Ordered Restarting Automata. |
SOFSEM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Holtappels, Michael Striewe, Michael Goedicke |
From ESSENCE to Theory Oriented Software Engineering. |
SOFSEM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Clemens Gehrke, Klaus Jansen, Stefan Erich Julius Kraft, Jakob Schikowski |
A PTAS for Scheduling Unrelated Machines of Few Different Types. |
SOFSEM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Maciej Skorski |
How to Smooth Entropy? |
SOFSEM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Dobrev, Juraj Hromkovic, Dennis Komm, Richard Královic, Rastislav Královic, Tobias Mömke |
The Complexity of Paging Against a Probabilistic Adversary. |
SOFSEM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikolajs Nahimovs, Alexander Rivosh |
Quantum Walks on Two-Dimensional Grids with Multiple Marked Locations. |
SOFSEM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Chao Wang 0069, Yi Lv, Peng Wu 0002 |
Bounded TSO-to-SC Linearizability Is Decidable. |
SOFSEM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Ladislav Gallay, Marián Simko |
Utilizing Vector Models for Automatic Text Lemmatization. |
SOFSEM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Muhammad Jawaherul Alam, Stephen G. Kobourov, Debajyoti Mondal |
Orthogonal Layout with Optimal Face Complexity. |
SOFSEM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Matús Kosút, Marián Simko |
Improving Keyword Extraction from Movie Subtitles by Utilizing Temporal Properties. |
SOFSEM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Tatsuya Imai, Osamu Watanabe 0001 |
Relating Sublinear Space Computability Among Graph Connectivity and Related Problems. |
SOFSEM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Renan de Padua, Veronica Oliveira de Carvalho, Solange Oliveira Rezende |
Post-processing Association Rules: A Network Based Label Propagation Approach. |
SOFSEM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrizio Angelini, Giordano Da Lozzo, Marco Di Bartolomeo, Valentino Di Donato, Maurizio Patrignani, Vincenzo Roselli, Ioannis G. Tollis |
L-Drawings of Directed Graphs. |
SOFSEM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Elisabet Burjons, Juraj Hromkovic, Xavier Muñoz, Walter Unger |
Online Graph Coloring with Advice and Randomized Adversary - (Extended Abstract). |
SOFSEM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Veronica Oliveira de Carvalho, Renan de Padua, Solange Oliveira Rezende |
Solving the Problem of Selecting Suitable Objective Measures by Clustering Association Rules Through the Measures Themselves. |
SOFSEM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomás Farkas, Peter Kubán, Mária Lucká |
Effective Parallel Multicore-Optimized K-mers Counting Algorithm. |
SOFSEM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | David Janin |
Walking Automata in Free Inverse Monoids. |
SOFSEM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Oleksiy Kurganskyy, Igor Potapov |
Reachability Problems for PAMs. |
SOFSEM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Maciej Gazda, Tim A. C. Willemse |
On Parity Game Preorders and the Logic of Matching Plays. |
SOFSEM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Klaus Jansen, Felix Land, Maren Kaluza |
Precedence Scheduling with Unit Execution Time is Equivalent to Parametrized Biclique. |
SOFSEM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Themis Palpanas |
Big Sequence Management: A glimpse of the Past, the Present, and the Future. |
SOFSEM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Tom Sebastian, Joachim Niehren |
Projection for Nested Word Automata Speeds up XPath Evaluation on XML Streams. |
SOFSEM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Maksims Dimitrijevs |
Capabilities of Ultrametric Automata with One, Two, and Three States. |
SOFSEM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Karel Cemus, Tomás Cerný, Lubos Matl, Michael J. Donahoo |
Aspect, Rich, and Anemic Domain Models in Enterprise Information Systems. |
SOFSEM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Luis Llana, María-Emilia Cambronero, Gregorio Díaz 0001 |
The Simulation Relation for Formal E-Contracts. |
SOFSEM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Jakub Danek, Premek Brada |
Finding Optimal Compatible Set of Software Components Using Integer Linear Programming. |
SOFSEM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Sanjay Jain 0001, Frank Stephan 0001 |
Learning Automatic Families of Languages. |
SOFSEM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Maria Paola Bianchi, Hans-Joachim Böckenhauer, Tatjana Brülisauer, Dennis Komm, Beatrice Palano |
Online Minimum Spanning Tree with Advice - (Extended Abstract). |
SOFSEM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Krzysztof Rychlicki-Kicior, Bartlomiej Stasiak, Mykhaylo Yatsymirskyy |
Application of Multiple Sound Representations in Multipitch Estimation Using Shift-Invariant Probabilistic Latent Component Analysis. |
SOFSEM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Muhammad Jawaherul Alam, Michael Kaufmann 0001, Stephen G. Kobourov |
On Contact Graphs with Cubes and Proportional Boxes. |
SOFSEM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Azam Sheikh Muhammad, Peter Damaschke, Olof Mogren |
Summarizing Online User Reviews Using Bicliques. |
SOFSEM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Solar, Veronica Gil-Costa, Mauricio Marín |
Evaluation of Static/Dynamic Cache for Similarity Search Engines. |
SOFSEM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank S. de Boer, Stijn de Gouw |
Run-Time Checking Multi-threaded Java Programs. |
SOFSEM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Da-Jung Cho, Yo-Sub Han, Timothy Ng 0001, Kai Salomaa |
Pseudoknot-Generating Operation. |
SOFSEM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Philip Bille, Inge Li Gørtz, Frederik Rye Skjoldjensen |
Subsequence Automata with Default Transitions. |
SOFSEM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Dániel Varró |
Incremental Queries and Transformations: From Concepts to Industrial Applications. |
SOFSEM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Dmitry Kravchenko, Nikolajs Nahimovs, Alexander Rivosh |
Grover's Search with Faults on Some Marked Elements. |
SOFSEM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Róbert Móro, Mate Vangel, Mária Bieliková |
Identification of Navigation Lead Candidates Using Citation and Co-Citation Analysis. |
SOFSEM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Norman W. Paton, Khalid Belhajjame, Suzanne M. Embury, Alvaro A. A. Fernandes, Ruhaila Maskat |
Pay-as-you-go Data Integration: Experiences and Recurring Themes. |
SOFSEM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomás Cerný, Michael J. Donahoo |
Survey on Concern Separation in Service Integration. |
SOFSEM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Brassard |
Cryptography in a Quantum World. |
SOFSEM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Rusins Martins Freivalds, Gregor Engels, Barbara Catania (eds.) |
SOFSEM 2016: Theory and Practice of Computer Science - 42nd International Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 23-28, 2016, Proceedings |
SOFSEM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Kfir Barhum, Juraj Hromkovic |
On the Power of Laconic Advice in Communication Complexity. |
SOFSEM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Harout K. Aydinian, Ferdinando Cicalese, Christian Deppe, Vladimir S. Lebedev |
A Combinatorial Model of Two-Sided Search. |
SOFSEM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Heikki Hyyrö, Shunsuke Inenaga |
Compacting a Dynamic Edit Distance Table by RLE Compression. |
SOFSEM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Magnús M. Halldórsson |
Progress (and Lack Thereof) for Graph Coloring Approximation Problems. |
SOFSEM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Nelma Moreira, Giovanni Pighizzini, Rogério Reis |
Optimal State Reductions of Automata with Partially Specified Behaviors. |
SOFSEM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Valerio Cosentino, Massimo Tisi, Javier Luis Cánovas Izquierdo |
A Model-Driven Approach to Generate External DSLs from Object-Oriented APIs. |
SOFSEM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Armin Fügenschuh, Konstanty Junosza-Szaniawski, Torsten Klug, Slawomir Kwasiborski, Thomas Schlechte |
Fastest, Average and Quantile Schedule. |
SOFSEM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Ashley Farrugia, Leszek Gasieniec, Lukasz Kuszner, Eduardo Pacheco |
Deterministic Rendezvous in Restricted Graphs. |
SOFSEM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Florian Himmler |
Function Based Requirements Engineering and Design -Towards Efficient and Transparent Plant Engineering. |
SOFSEM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Maciej Zielenkiewicz, Jacek Chrzaszcz, Aleksy Schubert |
Java Loops Are Mainly Polynomial. |
SOFSEM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Konstanty Junosza-Szaniawski, Mathieu Liedloff, Pawel Rzazewski |
Fixing Improper Colorings of Graphs. |
SOFSEM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Shahin Kamali, Alejandro López-Ortiz |
Efficient Online Strategies for Renting Servers in the Cloud. |
SOFSEM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Rihards Krislauks, Kaspars Balodis |
On the Hierarchy Classes of Finite Ultrametric Automata. |
SOFSEM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Máté Horváth |
Attribute-Based Encryption Optimized for Cloud Computing. |
SOFSEM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Nieves R. Brisaboa, Ana Cerdeira-Pena, Veronica Gil-Costa, Mauricio Marín, Oscar Pedreira |
Efficient Similarity Search by Combining Indexing and Caching Strategies. |
SOFSEM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Friedrich Otto |
On Visibly Pushdown Trace Languages. |
SOFSEM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Ronald de Haan, Stefan Szeider |
Machine Characterizations for Parameterized Complexity Classes Beyond Para-NP. |
SOFSEM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Ferenc Bujtor, Sascha Fendrich, Gerald Lüttgen, Walter Vogler |
Nondeterministic Modal Interfaces. |
SOFSEM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralf Rothenberger, Sascha Grau, Michael Rossberg |
Dominating an s-t-Cut in a Network. |
SOFSEM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Lotte B. Romijn, Breanndán Ó Nualláin, Leen Torenvliet |
Discovering Motifs in Real-World Social Networks. |
SOFSEM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Piotr Sankowski |
Online Bipartite Matching in Offline Time (Abstract). |
SOFSEM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Brian Fitzgerald 0001, Klaas-Jan Stol |
The Dos and Dont's of Crowdsourcing Software Development. |
SOFSEM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Allan van Hulst, Michel A. Reniers, Wan J. Fokkink |
Maximally Permissive Controlled System Synthesis for Modal Logic. |
SOFSEM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Falk Hüffner, Christian Komusiewicz, Manuel Sorge |
Finding Highly Connected Subgraphs. |
SOFSEM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiri Barnat |
Quo Vadis Explicit-State Model Checking. |
SOFSEM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Maciej Skorski |
True Random Number Generators Secure in a Changing Environment: Improved Security Bounds. |
SOFSEM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Hume, Hayssam Soueidan, Macha Nikolski, Guillaume Blin |
Approximation Hardness of the Cross-Species Conserved Active Modules Detection Problem. |
SOFSEM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Kostolányi |
Two Grammatical Equivalents of Flip-Pushdown Automata. |
SOFSEM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Kei Uchizawa, Eiji Takimoto |
Lower Bounds for Linear Decision Trees with Bounded Weights. |
SOFSEM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimir Soares Catão, Marcus Costa Sampaio, Ulrich Schiel |
Retrieving Documents Related to Database Queries. |
SOFSEM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Jirí Wiedermann, Jan van Leeuwen |
What is Computation: An Epistemic Approach. |
SOFSEM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael A. Bekos, Michael Kaufmann 0001, Stephen G. Kobourov, Sankar Veeramoni |
The Maximum k-Differential Coloring Problem. |
SOFSEM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Hamed Nemati, Roberto Guanciale, Mads Dam |
Trustworthy Virtualization of the ARMv7 Memory Subsystem. |
SOFSEM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe F. Italiano, Tiziana Margaria-Steffen, Jaroslav Pokorný, Jean-Jacques Quisquater, Roger Wattenhofer (eds.) |
SOFSEM 2015: Theory and Practice of Computer Science - 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Sněžkou, Czech Republic, January 24-29, 2015. Proceedings |
SOFSEM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Roberto Valêncio, Diogo Lemos Guimaraes, Geraldo F. D. Zafalon, Leandro Alves Neves, Angelo Cesar Colombini |
OntoSDM: An Approach to Improve Quality on Spatial Data Mining Algorithms. |
SOFSEM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Dmitry Kosolobov, Mikhail Rubinchik, Arseny M. Shur |
Pal k is Linear Recognizable Online. |
SOFSEM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Ragnar Nevries, Christian Rosenke |
Towards a Characterization of Leaf Powers by Clique Arrangements. |
SOFSEM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Aloisio, Alfredo Navarra |
Balancing Energy Consumption for the Establishment of Multi-interface Networks. |
SOFSEM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Barbara Catania, Giovanna Guerrini |
Adaptively Approximate Techniques in Distributed Architectures. |
SOFSEM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Laforest, Benjamin Momège |
Nash-Williams-type and Chvátal-type Conditions in One-Conflict Graphs. |
SOFSEM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Michal Holub, Ondrej Proksa, Mária Bieliková |
Detecting Identical Entities in the Semantic Web Data. |
SOFSEM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Rainer Manthey |
Back to the Future - Should SQL Surrender to SPARQL? |
SOFSEM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Masaki Nakanishi |
Quantum Pushdown Automata with a Garbage Tape. |
SOFSEM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Seyed Amin Mirlohi Falavarjani, Gholamreza Ghassem-Sani |
Advantages of Dependency Parsing for Free Word Order Natural Languages. |
SOFSEM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Jared Saia, Mahdi Zamani |
Recent Results in Scalable Multi-Party Computation. |
SOFSEM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Labaj, Mária Bieliková |
Conducting a Web Browsing Behaviour Study - An Educational Scenario. |
SOFSEM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Alberto Bertoni, Massimiliano Goldwurm, Jianyi Lin |
Exact Algorithms for 2-Clustering with Size Constraints in the Euclidean Plane. |
SOFSEM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Bögl, Michael Karlinger, Christoph G. Schütz, Michael Schrefl, Gustav Pomberger |
Exploiting Semantic Activity Labels to Facilitate Consistent Specialization of Abstract Process Activities. |
SOFSEM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Konopka, Mária Bieliková |
Software Developer Activity as a Source for Identifying Hidden Source Code Dependencies. |
SOFSEM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Jérôme Dohrau |
Online Makespan Scheduling with Sublinear Advice. |
SOFSEM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Hiroaki Ookawa, Taisuke Izumi |
Filling Logarithmic Gaps in Distributed Complexity for Global Problems. |
SOFSEM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Marek Chrobak, Leszek Gasieniec, Thomas Gorry, Russell Martin |
Group Search on the Line. |
SOFSEM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Prosenjit Bose, Stephane Durocher, Debajyoti Mondal, Maxime Peabody, Matthew Skala, Mohammad Abdul Wahid |
Local Routing in Convex Subdivisions. |
SOFSEM |
2015 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license