Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Pavel Labath, Joachim Niehren |
A Uniform Programmning Language for Implementing XML Standards. |
SOFSEM |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Dmytro Mishkin, Jiri Matas |
Matching of Images of Non-planar Objects with View Synthesis. |
SOFSEM |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ferenc Bujtor, Walter Vogler |
Error-Pruning in Interface Automata. |
SOFSEM |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Arthur Strasser, Benjamin Cool, Christoph Gernert, Christoph Knieke, Marco Körner 0002, Dirk Niebuhr, Henrik Peters, Andreas Rausch, Oliver Brox, Stefanie Jauns-Seyfried, Hanno Jelden, Stefan Klie, Michael Krämer |
Mastering Erosion of Software Architecture in Automotive Software Product Lines. |
SOFSEM |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Kfir Barhum, Hans-Joachim Böckenhauer, Michal Forisek, Heidi Gebauer, Juraj Hromkovic, Sacha Krug, Jasmin Smula, Björn Steffen |
On the Power of Advice and Randomization for the Disjoint Path Allocation Problem. |
SOFSEM |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Aneta Poniszewska-Maranda |
Security Constraints in Modeling of Access Control Rules for Dynamic Information Systems. |
SOFSEM |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Martin Kutrib, Katja Meckel, Matthias Wendlandt |
Parameterized Prefix Distance between Regular Languages. |
SOFSEM |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Lucjan Hanzlik, Kamil Kluczniak |
Attack against a Pairing Based Anonymous Authentication Protocol. |
SOFSEM |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ladislav Peska, Peter Vojtás |
Recommending for Disloyal Customers with Low Consumption Rate. |
SOFSEM |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Kazuya Tsuruta, Shunsuke Inenaga, Hideo Bannai, Masayuki Takeda |
Shortest Unique Substrings Queries in Optimal Time. |
SOFSEM |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Audris Kalnins, Lelde Lace, Elina Kalnina, Agris Sostaks |
DSL Based Platform for Business Process Management. |
SOFSEM |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Sebastian Biedermann, Nikolaos P. Karvelas, Stefan Katzenbeisser 0001, Thorsten Strufe, Andreas Peter |
ProofBook: An Online Social Network Based on Proof-of-Work and Friend-Propagation. |
SOFSEM |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Frantisek Mráz, Friedrich Otto |
Ordered Restarting Automata for Picture Languages. |
SOFSEM |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Jerzy R. Nawrocki, Miroslaw Ochodek, Jakub Jurkiewicz, Sylwia Kopczynska, Bartosz Alchimowicz |
Agile Requirements Engineering: A Research Perspective. |
SOFSEM |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Klaus Jansen, Lars Prädel |
A New Asymptotic Approximation Algorithm for 3-Dimensional Strip Packing. |
SOFSEM |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Pinar Heggernes, Pim van 't Hof, Erik Jan van Leeuwen, Reza Saei |
Finding Disjoint Paths in Split Graphs. |
SOFSEM |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Valeria de Castro, Martin A. Musicante, Umberto Souza da Costa, Plácido A. Souza Neto, Genoveva Vargas-Solar |
Supporting Non-functional Requirements in Services Software Development Process: An MDD Approach. |
SOFSEM |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Marin Bougeret, Nicolas Bousquet, Rodolphe Giroudeau, Rémi Watrigant |
Parameterized Complexity of the Sparsest k-Subgraph Problem in Chordal Graphs. |
SOFSEM |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Grigoriev, Athanassios Koutsonas, Dimitrios M. Thilikos |
Bidimensionality of Geometric Intersection Graphs. |
SOFSEM |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Mária Bieliková, Ivan Polásek, Michal Barla, Eduard Kuric, Karol Rástocný, Jozef Tvarozek, Peter Lacko |
Platform Independent Software Development Monitoring: Design of an Architecture. |
SOFSEM |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Manfred Cochefert, Dieter Kratsch |
Exact Algorithms to Clique-Colour Graphs. |
SOFSEM |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Md. Jawaherul Alam, Michael Kaufmann 0001, Stephen G. Kobourov, Tamara Mchedlidze |
Fitting Planar Graphs on Planar Maps. |
SOFSEM |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Petr Kroha, Matthias Friedrich |
Comparison of Genetic Algorithms for Trading Strategies. |
SOFSEM |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Hasna Mohsen Alqahtani, Thomas Erlebach |
Minimum Activation Cost Node-Disjoint Paths in Graphs with Bounded Treewidth. |
SOFSEM |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Allyx Fontaine, Yves Métivier, John Michael Robson, Akka Zemmari |
On Lower Bounds for the Time and the Bit Complexity of Some Probabilistic Distributed Graph Algorithms - (Extended Abstract). |
SOFSEM |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ivan Korec, Jirí Wiedermann |
Deterministic Verification of Integer Matrix Multiplication in Quadratic Time. |
SOFSEM |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Tomoki Komatsu, Ryosuke Okuta, Kazuyuki Narisawa, Ayumi Shinohara |
Bounded Occurrence Edit Distance: A New Metric for String Similarity Joins with Edit Distance Constraints. |
SOFSEM |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ran Gelles, Rafail Ostrovsky, Alan Roytman |
Efficient Error-Correcting Codes for Sliding Windows. |
SOFSEM |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Rusins Freivalds, Thomas Zeugmann |
Active Learning of Recursive Functions by Ultrametric Algorithms. |
SOFSEM |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Guillaume Blin, Paul Morel, Romeo Rizzi, Stéphane Vialette |
Towards Unlocking the Full Potential of Multileaf Collimators. |
SOFSEM |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Hugo Gimbert, Youssouf Oualhadj |
Deciding the Value 1 Problem for $\sharp$ -acyclic Partially Observable Markov Decision Processes. |
SOFSEM |
2014 |
DBLP DOI BibTeX RDF |
|
1 | David Janin |
Towards a Higher-Dimensional String Theory for the Modeling of Computerized Systems. |
SOFSEM |
2014 |
DBLP DOI BibTeX RDF |
|
1 | George Roumelis, Michael Vassilakopoulos, Antonio Corral, Yannis Manolopoulos |
A New Plane-Sweep Algorithm for the K-Closest-Pairs Query. |
SOFSEM |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Iulia Dragomir, Iulian Ober, Christian Percebois |
Safety Contracts for Timed Reactive Components in SysML. |
SOFSEM |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Tomoyuki Yamakami |
Oracle Pushdown Automata, Nondeterministic Reducibilities, and the Hierarchy over the Family of Context-Free Languages. |
SOFSEM |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Katerina Ksystra, Petros S. Stefaneas, Panayiotis Frangos |
An Algebraic Framework for Modeling of Reactive Rule-Based Intelligent Agents. |
SOFSEM |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Alexandros Palioudakis, Kai Salomaa, Selim G. Akl |
Unary NFAs with Limited Nondeterminism. |
SOFSEM |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Natasa Jonoska, Florin Manea, Shinnosuke Seki |
A Stronger Square Conjecture on Binary Words. |
SOFSEM |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Miklós Biró |
Open Services for Software Process Compliance Engineering. |
SOFSEM |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Karel Cemus, Tomás Cerný |
Aspect-Driven Design of Information Systems. |
SOFSEM |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Lukasz Krzywiecki, Przemyslaw Kubiak 0001, Miroslaw Kutylowski |
Probabilistic Admissible Encoding on Elliptic Curves - Towards PACE with Generalized Integrated Mapping. |
SOFSEM |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Rastislav Královic |
Advice Complexity: Quantitative Approach to A-Priori Information - (Extended Abstract). |
SOFSEM |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Tobias Fleck, Andrea Kappes, Dorothea Wagner |
Graph Clustering with Surprise: Complexity and Exact Solutions. |
SOFSEM |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Kfir Barhum |
Tight Bounds for the Advice Complexity of the Online Minimum Steiner Tree Problem. |
SOFSEM |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Gerlinger Romero, Klaus Schneider 0001, Maurício Gonçalves Vieira Ferreira |
Integrating UML Composite Structures and fUML. |
SOFSEM |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Kristian Beckers |
Goal-Based Establishment of an Information Security Management System Compliant to ISO 27001. |
SOFSEM |
2014 |
DBLP DOI BibTeX RDF |
|
1 | András Dobó, János Csirik |
Computing Semantic Similarity Using Large Static Corpora. |
SOFSEM |
2013 |
DBLP DOI BibTeX RDF |
|
1 | David Janin |
On Languages of One-Dimensional Overlapping Tiles. |
SOFSEM |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ernie Cohen, Wolfgang J. Paul, Sabine Schmaltz |
Theory of Multi Core Hypervisor Verification. |
SOFSEM |
2013 |
DBLP DOI BibTeX RDF |
|
1 | George B. Mertzios, Paul G. Spirakis |
Algorithms and Almost Tight Results for 3-Colorability of Small Diameter Graphs. |
SOFSEM |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jurriaan Rot, Marcello M. Bonsangue, Jan J. M. M. Rutten |
Coalgebraic Bisimulation-Up-To. |
SOFSEM |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Milan Lucanský, Marián Simko |
Improving Relevance of Keyword Extraction from the Web Utilizing Visual Style Information. |
SOFSEM |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Michele Boreale, Alessandro Celestini |
Asymptotic Risk Analysis for Trust and Reputation Systems. |
SOFSEM |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Peter Sanders 0001 |
Engineering Algorithms for Large Data Sets. |
SOFSEM |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ehab Morsy |
Approximating the k-Splittable Capacitated Network Design Problem. |
SOFSEM |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Michael Beetz |
Cognition-Enabled Autonomous Robot Control for the Realization of Home Chore Task Intelligence. |
SOFSEM |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Dries Vanoverberghe, Emma Eyckmans, Frank Piessens |
State Coverage: An Empirical Analysis Based on a User Study. |
SOFSEM |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Matthew Gwynne, Oliver Kullmann |
Generalising and Unifying SLUR and Unit-Refutation Completeness. |
SOFSEM |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Eva Maia, Nelma Moreira, Rogério Reis |
Incomplete Transition Complexity of Some Basic Operations. |
SOFSEM |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Tomás Uhercík, Marián Simko, Mária Bieliková |
Utilizing Microblogs for Web Page Relevant Term Acquisition. |
SOFSEM |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Sergejs Kozlovics |
The Orchestra of Multiple Model Repositories. |
SOFSEM |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jesús Manuel Almendros-Jiménez, Luis Iribarne |
A Model Transformation Language Based on Logic Programming. |
SOFSEM |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Tim Frey, Matthias Gräf 0002 |
Hypermodelling Reporting: Towards Cockpits for Code Structure. |
SOFSEM |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Maxim A. Babenko |
Flow Decompositions in External Memory. |
SOFSEM |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Frantisek Plásil, Tomás Bures |
Software Components in Computer Assisted Living? |
SOFSEM |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Carsten Kolassa, Dirk Riehle, Michel A. Salim |
A Model of the Commit Size Distribution of Open Source. |
SOFSEM |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Stijn de Gouw, Frank S. de Boer, Wolfgang Ahrendt, Richard Bubel |
Weak Arithmetic Completeness of Object-Oriented First-Order Assertion Networks. |
SOFSEM |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ondrej Sváb-Zamazal, Anne Schlicht, Heiner Stuckenschmidt, Vojtech Svátek |
Constructs Replacing and Complexity Downgrading via a Generic OWL Ontology Transformation Framework. |
SOFSEM |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Aldo Gangemi, Valentina Presutti |
A Multi-dimensional Comparison of Ontology Design Patterns for Representing n-ary Relations. |
SOFSEM |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Lunjin Lu, Dae-Kyoo Kim |
Refinement Inference for Sequence Diagrams. |
SOFSEM |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Arnold W. M. Smeulders |
Searching Things in Large Sets of Images. |
SOFSEM |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Takashi Katsura, Kazuyuki Narisawa, Ayumi Shinohara, Hideo Bannai, Shunsuke Inenaga |
Permuted Pattern Matching on Multi-track Strings. |
SOFSEM |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Michail Tsikerdekis |
Dynamic Voting Interface in Social Media: Does it Affect Individual Votes? |
SOFSEM |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Eduard Kuric, Mária Bieliková |
Search in Source Code Based on Identifying Popular Fragments. |
SOFSEM |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Lukás Bajer, Martin Holena |
Surrogate Model for Mixed-Variables Evolutionary Optimization Based on GLM and RBF Networks. |
SOFSEM |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Michel Buffa, Nicolas Delaforge, Guillaume Erétéo, Fabien Gandon, Alain Giboin, Freddy Limpens |
ISICIL: Semantics and Social Networks for Business Intelligence. |
SOFSEM |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Hans-Joachim Böckenhauer, Monika Steinová |
Improved Approximations for Ordered TSP on Near-Metric Graphs, . |
SOFSEM |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Peter van Emde Boas, Frans C. A. Groen, Giuseppe F. Italiano, Jerzy R. Nawrocki, Harald Sack (eds.) |
SOFSEM 2013: Theory and Practice of Computer Science, 39th International Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 26-31, 2013. Proceedings |
SOFSEM |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Andris Ambainis, Arturs Backurs, Kaspars Balodis, Agnis Skuskovniks, Juris Smotrovs, Madars Virza |
Worst Case Analysis of Non-local Games. |
SOFSEM |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Britta Dorn, Dominikus Krüger |
Being Caught between a Rock and a Hard Place in an Election - Voter Deterrence by Deletion of Candidates. |
SOFSEM |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Mamadou Moustapha Kanté, Christian Laforest, Benjamin Momège |
An Exact Algorithm to Check the Existence of (Elementary) Paths and a Generalisation of the Cut Problem in Graphs with Forbidden Transitions. |
SOFSEM |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Balázs Keszegh, Nathan Lemons, Dömötör Pálvölgyi |
Online and Quasi-online Colorings of Wedges and Intervals. |
SOFSEM |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Sjaak Brinkkemper |
Software Production: A New Paradigm for Software Engineering Research. |
SOFSEM |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Feodor F. Dragan, Muad Abu-Ata |
Collective Additive Tree Spanners of Bounded Tree-Breadth Graphs with Generalizations and Consequences. |
SOFSEM |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Gerhard J. Woeginger |
Core Stability in Hedonic Coalition Formation. |
SOFSEM |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Marcella Anselmo, Dora Giammarresi, Maria Madonia |
Two-Dimensional Rational Automata: A Bridge Unifying One- and Two-Dimensional Language Theory. |
SOFSEM |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Michael Rink 0001 |
Mixed Hypergraphs for Linear-Time Construction of Denser Hashing-Based Data Structures. |
SOFSEM |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Luca Aceto, Eugen-Ioan Goriac, Anna Ingólfsdóttir |
SOS Rule Formats for Idempotent Terms and Idempotent Unary Operators. |
SOFSEM |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Violetta Lonati, Dino Mandrioli, Matteo Pradella |
Logic Characterization of Invisibly Structured Languages: The Case of Floyd Languages. |
SOFSEM |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Mamadou Moustapha Kanté, Lhouari Nourine |
Polynomial Time Algorithms for Computing a Minimum Hull Set in Distance-Hereditary and Chordal Graphs. |
SOFSEM |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Sepp Hartung, Christian Komusiewicz, André Nichterlein |
On Structural Parameterizations for the 2-Club Problem. |
SOFSEM |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Richard Lipka, Tomas Potuzak, Premek Brada, Pavel Herout |
SimCo - Hybrid Simulator for Testing of Component Based Applications. |
SOFSEM |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Marek Takác, Alena Kovárová |
Tempo Adaptation within Interactive Music Instruments in Mobile Phone. |
SOFSEM |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Václav Slavícek |
An Ontology-Driven Fuzzy Workflow System. |
SOFSEM |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jacek Mandziuk, Maciej Swiechowski |
Generic Heuristic Approach to General Game Playing. |
SOFSEM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ondrej Cepek, Petr Kucera, Václav Vlcek |
Properties of SLUR Formulae. |
SOFSEM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Konstanty Junosza-Szaniawski, Michal Tuczynski |
Counting Maximal Independent Sets in Subcubic Graphs. |
SOFSEM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jirí Isa, Zuzana Reitermanová, Ondrej Sýkora |
Cost-Sensitive Classification with Unconstrained Influence Diagrams. |
SOFSEM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Martin Pettai, Peeter Laud |
Securing the Future - An Information Flow Analysis of a Distributed OO Language. |
SOFSEM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Tadeusz Kobus, Pawel T. Wojciechowski |
RESTGroups for Resilient Web Services. |
SOFSEM |
2012 |
DBLP DOI BibTeX RDF |
|