Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Turlough Neary, Damien Woods |
The Complexity of Small Universal Turing Machines: A Survey. |
SOFSEM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Martin Jacala, Jozef Tvarozek |
Named Entity Disambiguation Based on Explicit Semantics. |
SOFSEM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Klaus Jansen |
A Fast Approximation Scheme for the Multiple Knapsack Problem. |
SOFSEM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Tomás Majer, Marián Simko |
Leveraging Microblogs for Resource Ranking. |
SOFSEM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ilir Çapuni, Péter Gács |
A Turing Machine Resisting Isolated Bursts of Faults. |
SOFSEM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Maciej Gazda, Tim A. C. Willemse |
Consistent Consequence for Boolean Equation Systems. |
SOFSEM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Peter Kajsa, Pavol Návrat |
Design Pattern Support Based on the Source Code Annotations and Feature Models. |
SOFSEM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jan Stolarek, Piotr Lipinski |
Improving Watermark Resistance against Removal Attacks Using Orthogonal Wavelet Adaptation. |
SOFSEM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Andrzej Lingas, Dzmitry Sledneu |
A Combinatorial Algorithm for All-Pairs Shortest Paths in Directed Vertex-Weighted Graphs with Applications to Disc Graphs. |
SOFSEM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Elina Kalnina, Audris Kalnins, Agris Sostaks, Edgars Celms, Janis Iraids |
Tree Based Domain-Specific Mapping Languages. |
SOFSEM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Paul De Bra, David Smits |
A Fully Generic Approach for Realizing the Adaptive Web. |
SOFSEM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Peter van Emde Boas |
Turing Machines for Dummies - Why Representations Do Matter. |
SOFSEM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jirí Síma, Stanislav Zák |
A Sufficient Condition for Sets Hitting the Class of Read-Once Branching Programs of Width 3 - (Extended Abstract). |
SOFSEM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jirí Wiedermann |
Towards Computational Models of Artificial Cognitive Systems That Can, in Principle, Pass the Turing Test. |
SOFSEM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Roman Barták, Con Sheahan, Ann Sheahan |
MAK€- A System for Modelling, Optimising, and Analyzing Production in Small and Medium Enterprises. |
SOFSEM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Anna Gál, Jing-Tang Jang |
A Generalization of Spira's Theorem and Circuits with Small Segregators or Separators. |
SOFSEM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Kevin Warwick |
Not Another Look at the Turing Test! |
SOFSEM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Sacha Krug |
On the Approximation Ratio of the Path Matching Christofides Algorithm. |
SOFSEM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Nikola Benes, Ivana Cerná, Filip Stefanak |
Factorization for Component-Interaction Automata. |
SOFSEM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Petr Jarusek, Radek Pelánek |
Modeling and Predicting Students Problem Solving Times. |
SOFSEM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Prabhu Shankar Kaliappan, Hartmut König |
On the Formalization of UML Activities for Component-Based Protocol Design Specifications. |
SOFSEM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jun Yan |
Complete Problem for Perfect Zero-Knowledge Quantum Proof. |
SOFSEM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Yuri Gurevich |
What Is an Algorithm? |
SOFSEM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Chenyi Zhang, Jun Pang 0001 |
An Algorithm for Probabilistic Alternating Simulation. |
SOFSEM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Pavel Zezula |
Multi Feature Indexing Network MUFIN for Similarity Search Applications. |
SOFSEM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Petr A. Golovach, Daniël Paulusma, Jian Song 0005 |
4-Coloring H-Free Graphs When H Is Small. |
SOFSEM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Lila Kari, Steffen Kopecki, Shinnosuke Seki |
Iterated Hairpin Completions of Non-crossing Words. |
SOFSEM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Panagiotis Cheilaris, Balázs Keszegh, Dömötör Pálvölgyi |
Unique-Maximum and Conflict-Free Coloring for Hypergraphs and Tree Graphs. |
SOFSEM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Emmanuel Filiot, Frédéric Servais |
Visibly Pushdown Transducers with Look-Ahead. |
SOFSEM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Giuseppe F. Italiano |
Strong Bridges and Strong Articulation Points of Directed Graphs. |
SOFSEM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Navigli |
A Quick Tour of Word Sense Disambiguation, Induction and Related Approaches. |
SOFSEM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Iulia Nica, Franz Wotawa |
The SiMoL Modeling Language for Simulation and (Re-)Configuration. |
SOFSEM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jaroslav Skrabalek, Petr Kunc, Tomás Pitner |
Inner Architecture of a Social Networking System. |
SOFSEM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Tomás Cerný, Petr Praus, Slávka Jaromerská, Lubos Matl, Michael J. Donahoo |
Towards a Smart, Self-scaling Cooperative Web Cache. |
SOFSEM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Giovanna J. Lavado, Giovanni Pighizzini |
Parikh's Theorem and Descriptional Complexity. |
SOFSEM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Keisuke Goto 0001, Hideo Bannai, Shunsuke Inenaga, Masayuki Takeda |
Computing q-Gram Non-overlapping Frequencies on SLP Compressed Texts. |
SOFSEM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Johannes Ebbing, Peter Lohmann |
Complexity of Model Checking for Modal Dependence Logic. |
SOFSEM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Orna Kupferman |
Recent Challenges and Ideas in Temporal Synthesis. |
SOFSEM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Guillaume Blin, Paola Bonizzoni, Riccardo Dondi, Romeo Rizzi, Florian Sikora |
Complexity Insights of the Minimum Duplication Problem. |
SOFSEM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Luca Aceto, David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Anna Ingólfsdóttir |
The Equational Theory of Weak Complete Simulation Semantics over BCCSP. |
SOFSEM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Mária Bieliková, Gerhard Friedrich, Georg Gottlob, Stefan Katzenbeisser 0001, György Turán (eds.) |
SOFSEM 2012: Theory and Practice of Computer Science - 38th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 21-27, 2012. Proceedings |
SOFSEM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Peter Damaschke, Azam Sheikh Muhammad |
Randomized Group Testing Both Query-Optimal and Minimal Adaptive. |
SOFSEM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Miroslaw Kutylowski, Maciej Gebala |
Optimizing Segment Based Document Protection. |
SOFSEM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Krzysztof Pietrzak |
Cryptography from Learning Parity with Noise. |
SOFSEM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Dries Vanoverberghe, Jonathan de Halleux, Nikolai Tillmann, Frank Piessens |
State Coverage: Software Validation Metrics beyond Code Coverage. |
SOFSEM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Felipe Cucker |
The Legacy of Turing in Numerical Analysis. |
SOFSEM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ömer Egecioglu, Oscar H. Ibarra, Nicholas Q. Trân |
Multitape NFA: Weak Synchronization of the Input Heads. |
SOFSEM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Lucas Bordeaux, João Marques-Silva 0001 |
Knowledge Compilation with Empowerment. |
SOFSEM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jean-François Couturier 0001, Pinar Heggernes, Pim van 't Hof, Dieter Kratsch |
Minimal Dominating Sets in Graph Classes: Combinatorial Bounds and Enumeration. |
SOFSEM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Nadja Betzler, Robert Bredereck, Rolf Niedermeier, Johannes Uhlmann |
On Making a Distinguished Vertex Minimum Degree by Vertex Deletion. |
SOFSEM |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Tomás Vojnar |
Efficient Algorithms for Handling Nondeterministic Automata. |
SOFSEM |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Christian Cachin |
Integrity and Consistency for Untrusted Services - (Extended Abstract). |
SOFSEM |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Ivana Cerná, Tibor Gyimóthy, Juraj Hromkovic, Keith G. Jeffery, Rastislav Královic, Marko Vukolic, Stefan Wolf 0001 (eds.) |
SOFSEM 2011: Theory and Practice of Computer Science - 37th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 22-28, 2011. Proceedings |
SOFSEM |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Haisheng Tan, Tiancheng Lou, Francis C. M. Lau 0001, Yuexuan Wang, Shiteng Chen |
Minimizing Interference for the Highway Model in Wireless Ad-Hoc and Sensor Networks. |
SOFSEM |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Robert Ganian |
New Results on the Complexity of the Max- and Min-Rep Problems. |
SOFSEM |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Beate Bollig, Marc Gillé |
Randomized OBDDs for the Most Significant Bit of Multiplication Need Exponential Size. |
SOFSEM |
2011 |
DBLP DOI BibTeX RDF |
|
1 | David Baelde, Romain Beauxis, Samuel Mimram |
Liquidsoap: A High-Level Programming Language for Multimedia Streaming. |
SOFSEM |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Christian Komusiewicz, Johannes Uhlmann |
Alternative Parameterizations for Cluster Editing. |
SOFSEM |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Shayan Ehsani, MohammadAmin Fazli, Mohammad Ghodsi, MohammadAli Safari, Morteza Saghafian, Mohammad Tavakkoli |
White Space Regions. |
SOFSEM |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Raju Halder, Agostino Cortesi |
Cooperative Query Answering by Abstract Interpretation. |
SOFSEM |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Michael A. Bekos, Michael Kaufmann 0001, Dimitrios Papadopoulos 0001, Antonios Symvonis |
Combining Traditional Map Labeling with Boundary Labeling. |
SOFSEM |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Ahti Peder, Mati Tombak |
Finding the Description of Structure by Counting Method: A Case Study. |
SOFSEM |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Matteo Zanioli, Agostino Cortesi |
Information Leakage Analysis by Abstract Interpretation. |
SOFSEM |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Iulian Ober, Iulia Dragomir |
Unambiguous UML Composite Structures: The OMEGA2 Experience. |
SOFSEM |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Schiffner, Sebastian Clauß, Sandra Steinbrecher |
Privacy, Liveliness and Fairness for Reputation. |
SOFSEM |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Cord-Landwehr, Bastian Degener, Matthias Fischer 0001, Martina Hüllmann, Barbara Kempkes, Alexander Klaas, Peter Kling, Sven Kurras, Marcus Märtens, Friedhelm Meyer auf der Heide, Christoph Raupach, Kamil Swierkot, Daniel Warner 0001, Christoph Weddemann, Daniel Wonisch |
Collisionless Gathering of Robots with an Extent. |
SOFSEM |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Yoni De Mulder, Karel Wouters, Bart Preneel |
A Privacy-Preserving ID-Based Group Key Agreement Scheme Applied in VPAN. |
SOFSEM |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jürg Gutknecht |
A Structured Codesign Approach to Many-Core Architectures for Embedded Systems. |
SOFSEM |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Okhotin |
Comparing Linear Conjunctive Languages to Subfamilies of the Context-Free Languages. |
SOFSEM |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Ulrich Rührmair |
SIMPL Systems, or: Can We Design Cryptographic Hardware without Secret Key Information? |
SOFSEM |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Tobias Langner, Christian Schindelhauer, Alexander Souza |
Optimal File-Distribution in Heterogeneous and Asymmetric Storage Networks. |
SOFSEM |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Tobias Mömke |
Structural Properties of Hard Metric TSP Inputs - (Extended Abstract). |
SOFSEM |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Johan Kwisthout, Hans L. Bodlaender, Linda C. van der Gaag |
The Complexity of Finding kth Most Probable Explanations in Probabilistic Networks. |
SOFSEM |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Ferenc Havasi |
An Improved B+ Tree for Flash File Systems. |
SOFSEM |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Ehsan Chiniforooshan, Mark Daley, Oscar H. Ibarra, Lila Kari, Shinnosuke Seki |
One-Reversal Counter Machines and Multihead Automata: Revisited. |
SOFSEM |
2011 |
DBLP DOI BibTeX RDF |
|
1 | David Peleg, Ignasi Sau, Mordechai Shalom |
On Approximating the d-Girth of a Graph. |
SOFSEM |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Petr Praus, Slávka Jaromerská, Tomás Cerný |
SScAC: Towards a Framework for Small-Scale Software Architectures Comparison. |
SOFSEM |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Doohwan Kim, Jong-Phil Kim, Jang-Eui Hong |
A Power Consumption Analysis Technique Using UML-Based Design Models in Embedded Software Development. |
SOFSEM |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Michael Vassilakopoulos, Antonio Corral, Nikitas N. Karanikolas |
Join-Queries between Two Spatial Datasets Indexed by a Single R*-Tree. |
SOFSEM |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Arnold Overwijk, Eelko Penninkx, Hans L. Bodlaender |
A Local Search Algorithm for Branchwidth. |
SOFSEM |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Tibor Bakota |
Tracking the Evolution of Code Clones. |
SOFSEM |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Igor Chikalov, Shahid Hussain 0004, Mikhail Moshkov |
Sequential Optimization of Matrix Chain Multiplication Relative to Different Cost Functions. |
SOFSEM |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Viliam Geffert, Jozef Gajdos |
In-Place Sorting. |
SOFSEM |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Benedek Nagy, Friedrich Otto |
An Automata-Theoretical Characterization of Context-Free Trace Languages. |
SOFSEM |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Johan M. M. van Rooij, Marcel E. van Kooten Niekerk, Hans L. Bodlaender |
Partition into Triangles on Bounded Degree Graphs. |
SOFSEM |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Gianlorenzo D'Angelo, Gabriele Di Stefano, Alfredo Navarra |
Bandwidth Constrained Multi-interface Networks. |
SOFSEM |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Krzysztof Kaczmarski |
Comparing GPU and CPU in OLAP Cubes Creation. |
SOFSEM |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Piotr Borowiecki, Frank Göring |
GreedyMAX-type Algorithms for the Maximum Independent Set Problem. |
SOFSEM |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Dennis Komm, Richard Královic |
Advice Complexity and Barely Random Algorithms. |
SOFSEM |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Markus Geyer, Michael Kaufmann 0001, Tamara Mchedlidze, Antonios Symvonis |
Upward Point-Set Embeddability. |
SOFSEM |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Evmorfia N. Argyriou, Michael A. Bekos, Antonios Symvonis |
The Straight-Line RAC Drawing Problem Is NP-Hard. |
SOFSEM |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Matús Mihalák, Marcel Schöngens, Rastislav Srámek, Peter Widmayer |
On the Complexity of the Metric TSP under Stability Considerations. |
SOFSEM |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Gemsa, Martin Nöllenburg, Thomas Pajor, Ignaz Rutter |
On d-Regular Schematization of Embedded Paths. |
SOFSEM |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Gianlorenzo D'Angelo, Gabriele Di Stefano, Alfredo Navarra |
Min-Max Coverage in Multi-interface Networks. |
SOFSEM |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Lasse Jacobsen, Morten Jacobsen, Mikael H. Møller, Jirí Srba |
Verification of Timed-Arc Petri Nets. |
SOFSEM |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Michel A. Reniers, Tim A. C. Willemse |
Folk Theorems on the Correspondence between State-Based and Event-Based Systems. |
SOFSEM |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jan Vraný, Michal Píse |
Multilanguage Debugger Architecture. |
SOFSEM |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Grigoriev, Joyce van Loon, Marc Uetz |
On the Complexity of the Highway Pricing Problem. |
SOFSEM |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Guy Even, Moti Medina |
Parallel Randomized Load Balancing: A Lower Bound for a More General Model. |
SOFSEM |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Silvio Capobianco |
On Pattern Density and Sliding Block Code Behavior for the Besicovitch and Weyl Pseudo-distances. |
SOFSEM |
2010 |
DBLP DOI BibTeX RDF |
|