Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Maxim A. Babenko, Ignat I. Kolesnichenko, Ilya P. Razenshteyn |
A Linear Time Algorithm for Finding Three Edge-Disjoint Paths in Eulerian Networks. |
SOFSEM |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Guenter Pirklbauer |
Empirical Evaluation of Strategies to Detect Logical Change Dependencies. |
SOFSEM |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Dave Raggett |
The Web of Things: Extending the Web into the Real World. |
SOFSEM |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Grigoriev, Bert Marchal, Natalya Usotskaya |
Algorithms for the Minimum Edge Cover of H-Subgraphs of a Graph. |
SOFSEM |
2010 |
DBLP DOI BibTeX RDF |
|
1 | David Duris |
Destructive Rule-Based Properties and First-Order Logic. |
SOFSEM |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Yishay Mansour |
Regret Minimization and Job Scheduling. |
SOFSEM |
2010 |
DBLP DOI BibTeX RDF |
|
1 | John Fearnley, Marcin Jurdzinski, Rahul Savani |
Linear Complementarity Algorithms for Infinite Games. |
SOFSEM |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Michel de Rougemont, Adrien Vieilleribière |
Approximate Structural Consistency. |
SOFSEM |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Hovhannes A. Harutyunyan, Shahin Kamali |
Optimum Broadcasting in Complete Weighted-Vertex Graphs. |
SOFSEM |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Courtieu, Gladys Gbedo, Olivier Pons |
Improved Matrix Interpretation. |
SOFSEM |
2010 |
DBLP DOI BibTeX RDF |
|
1 | François Bry, Klara A. Weiand |
Flavors of KWQL, a Keyword Query Language for a Semantic Wiki. |
SOFSEM |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Maxime Crochemore, Costas S. Iliopoulos, Marcin Kubica, Wojciech Rytter, Tomasz Walen |
Efficient Algorithms for Two Extensions of LPF Table: The Power of Suffix Arrays. |
SOFSEM |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Andy Schürr, Sebastian Oster, Florian Markert |
Model-Driven Software Product Line Testing: An Integrated Approach. |
SOFSEM |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Filip Zelezný, Ondrej Kuzelka |
Taming the Complexity of Inductive Logic Programming. |
SOFSEM |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Michel, Arnd Poetzsch-Heffter |
Maintaining XML Data Integrity in Programs. |
SOFSEM |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Veronika Vaneková, Peter Vojtás |
Comparison of Scoring and Order Approach in Description Logic EL(D). |
SOFSEM |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Peter Vojtek, Mária Bieliková |
Homophily of Neighborhood in Graph Relational Classifier. |
SOFSEM |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Philip Bille, Inge Li Gørtz |
Fast Arc-Annotated Subsequence Matching in Linear Space. |
SOFSEM |
2010 |
DBLP DOI BibTeX RDF |
|
1 | David Bednárek |
R-Programs: A Framework for Distributing XML Structural Joins across Function Calls. |
SOFSEM |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Michal Smialek, Audris Kalnins, Elina Kalnina, Albert Ambroziewicz, Tomasz Straszak, Katharina Wolter |
Comprehensive System for Systematic Case-Driven Software Reuse. |
SOFSEM |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Friedrich Otto |
CD-Systems of Restarting Automata Governed by Explicit Enable and Disable Conditions. |
SOFSEM |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Parosh Aziz Abdulla |
Forcing Monotonicity in Parameterized Verification: From Multisets to Words. |
SOFSEM |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Theo Härder, Christian Mathis, Sebastian Bächle, Karsten Schmidt 0002, Andreas M. Weiner |
Essential Performance Drivers in Native XML DBMSs. |
SOFSEM |
2010 |
DBLP DOI BibTeX RDF |
|
1 | François Bry, Jakub Kotowski |
A Social Vision of Knowledge Representation and Reasoning. |
SOFSEM |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Oscar Nierstrasz, Tudor Gîrba |
Lessons in Software Evolution Learned by Listening to Smalltalk. |
SOFSEM |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Tamara Mchedlidze, Antonios Symvonis |
Unilateral Orientation of Mixed Graphs. |
SOFSEM |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Peter Pirkelbauer, Damian Dechev, Bjarne Stroustrup |
Source Code Rejuvenation Is Not Refactoring. |
SOFSEM |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Giorgio Gnecco, Marcello Sanguineti |
Smooth Optimal Decision Strategies for Static Team Optimization Problems and Their Approximations. |
SOFSEM |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Hatem Chatti, Laurent Gourvès, Jérôme Monnot |
On a Labeled Vehicle Routing Problem. |
SOFSEM |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Jun Liu 0027, Mark Roantree |
OTwig: An Optimised Twig Pattern Matching Approach for XML Databases. |
SOFSEM |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Peter Kajsa, L'ubomír Majtás |
Design Patterns Instantiation Based on Semantics and Model Transformations. |
SOFSEM |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Alain Finkel, Arnaud Sangnier |
Mixing Coverability and Reachability to Analyze VASS with One Zero-Test. |
SOFSEM |
2010 |
DBLP DOI BibTeX RDF |
|
1 | David Harel, Hillel Kugler, Shahar Maoz, Itai Segall |
Accelerating Smart Play-Out. |
SOFSEM |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Danuta Zakrzewska |
Student Groups Modeling by Integrating Cluster Representation and Association Rules Mining. |
SOFSEM |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Jakub Radoszewski, Wojciech Rytter |
Efficient Testing of Equivalence of Words in a Free Idempotent Semigroup. |
SOFSEM |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Guus Schreiber |
Web Science: The Digital-Heritage Case. |
SOFSEM |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Pim van 't Hof, Marcin Kaminski 0001, Daniël Paulusma, Stefan Szeider, Dimitrios M. Thilikos |
On Contracting Graphs to Fixed Pattern Graphs. |
SOFSEM |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Beate Bollig |
Symbolic OBDD-Based Reachability Analysis Needs Exponential Space. |
SOFSEM |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Raible 0001, Henning Fernau |
An Amortized Search Tree Analysis for k-Leaf Spanning Tree. |
SOFSEM |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Mikolás Janota, Goetz Botterweck, Radu Grigore, João Marques-Silva 0001 |
How to Complete an Interactive Configuration Process? |
SOFSEM |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Luca Aceto, Anna Ingólfsdóttir, Mohammad Reza Mousavi 0001, Michel A. Reniers |
A Rule Format for Unit Elements. |
SOFSEM |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Antonios Antoniadis 0001, Andrzej Lingas |
Approximability of Edge Matching Puzzles. |
SOFSEM |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Ruben van der Zwaan |
Vertex Ranking with Capacity. |
SOFSEM |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Travis Gagie, Gonzalo Navarro 0001, Yakov Nekrich |
Fast and Compact Prefix Codes. |
SOFSEM |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Violetta Lonati, Matteo Pradella |
Picture Recognizability with Automata Based on Wang Tiles. |
SOFSEM |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Heikki Hyyrö, Kazuyuki Narisawa, Shunsuke Inenaga |
Dynamic Edit Distance Table under a General Weighted Cost Function. |
SOFSEM |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Frank S. de Boer, Immo Grabe |
Automated Deadlock Detection in Synchronized Reentrant Multithreaded Call-Graphs. |
SOFSEM |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Hans L. Bodlaender, Marc Comas |
A Kernel for Convex Recoloring of Weighted Forests. |
SOFSEM |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Jia Liu, Huimin Lin |
A Complete Symbolic Bisimulation for Full Applied Pi Calculus. |
SOFSEM |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Alan Eckhardt, Peter Vojtás |
Learning User Preferences for 2CP-Regression for a Recommender System. |
SOFSEM |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Piotr Cybula, Kazimierz Subieta |
Query Optimization through Cached Queries for Object-Oriented Query Language SBQL. |
SOFSEM |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Christoph Lenzen 0001, Thomas Locher, Philipp Sommer, Roger Wattenhofer |
Clock Synchronization: Open Problems in Theory and Practice. |
SOFSEM |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Seyed Zeinolabedin Moussavi, Kambiz Zarei, Reza Ebrahimpour |
Improving Classification Performance with Focus on the Complex Areas. |
SOFSEM |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Harald Zankl, Christian Sternagel, Dieter Hofbauer, Aart Middeldorp |
Finding and Certifying Loops. |
SOFSEM |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Arie van Deursen, Ali Mesbah 0001 |
Research Issues in the Automated Testing of Ajax Applications. |
SOFSEM |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Maria Kontaki, Apostolos N. Papadopoulos, Yannis Manolopoulos |
Continuous Processing of Preference Queries in Data Streams. |
SOFSEM |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Krzysztof Diks, Piotr Stanczyk |
Perfect Matching for Biconnected Cubic Graphs in O(n log2n) Time. |
SOFSEM |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Jedrzej Fulara, Krzysztof Jakubczyk |
Practically Applicable Formal Methods. |
SOFSEM |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Simone Faro, Elisa Pappalardo |
Ant-CSP: An Ant Colony Optimization Algorithm for the Closest String Problem. |
SOFSEM |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Robert Ganian, Petr Hlinený |
New Results on the Complexity of Oriented Colouring on Restricted Digraph Classes. |
SOFSEM |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Jan van Leeuwen, Anca Muscholl, David Peleg, Jaroslav Pokorný, Bernhard Rumpe (eds.) |
SOFSEM 2010: Theory and Practice of Computer Science, 36th Conference on Current Trends in Theory and Practice of Computer Science, Spindleruv Mlýn, Czech Republic, January 23-29, 2010. Proceedings |
SOFSEM |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Martin Dietzfelbinger, Ulf Schellbach |
Weaknesses of Cuckoo Hashing with a Simple Universal Hash Class: The Case of Large Universes. |
SOFSEM |
2009 |
DBLP DOI BibTeX RDF |
universal hash classes, data structures, lower bounds, randomized algorithms, cuckoo hashing |
1 | Cinzia Di Giusto, Maurizio Gabbrielli, Maria Chiara Meo |
Expressiveness of Multiple Heads in CHR. |
SOFSEM |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Hannes Moser |
A Problem Kernelization for Graph Packing. |
SOFSEM |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Gerald Lüttgen, Walter Vogler |
Safe Reasoning with Logic LTS. |
SOFSEM |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Taolue Chen, Wan J. Fokkink, Rob J. van Glabbeek |
On Finite Bases for Weak Semantics: Failures Versus Impossible Futures. |
SOFSEM |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Suzana Andova, Sonja Georgievska |
On Compositionality, Efficiency, and Applicability of Abstraction in Probabilistic Systems. |
SOFSEM |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Frédéric Peschanski, Joël-Alexis Bialkiewicz |
Modelling and Verifying Mobile Systems Using pi-Graphs. |
SOFSEM |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Robert Lorenz 0001, Gabriel Juhás, Sebastian Mauser |
Partial Order Semantics of Types of Nets. |
SOFSEM |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Frédéric Vogels, Bart Jacobs 0002, Frank Piessens |
A Machine Checked Soundness Proof for an Intermediate Verification Language. |
SOFSEM |
2009 |
DBLP DOI BibTeX RDF |
|
1 | David C. Parkes |
When Analysis Fails: Heuristic Mechanism Design via Self-correcting Procedures. |
SOFSEM |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Viliam Geffert, Dana Pardubská |
Factoring and Testing Primes in Small Space. |
SOFSEM |
2009 |
DBLP DOI BibTeX RDF |
sublogarithmic space, computational complexity, factoring, prime numbers |
1 | Nicole Immorlica |
Technology Diffusion in Social Networks. |
SOFSEM |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Jan Jezabek |
Increasing Machine Speed in On-Line Scheduling of Weighted Unit-Length Jobs in Slotted Time. |
SOFSEM |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Klaus Reinhardt |
The Simple Reachability Problem in Switch Graphs. |
SOFSEM |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Kim Thang Nguyen |
-Hardness of Pure Nash Equilibrium in Scheduling and Connection Games. |
SOFSEM |
2009 |
DBLP DOI BibTeX RDF |
Nash equilibrium, hardness |
1 | Alexander Okhotin, Christian Reitwießner |
Conjunctive Grammars with Restricted Disjunction. |
SOFSEM |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Martin Kutrib, Hartmut Messerschmidt, Friedrich Otto |
On Stateless Deterministic Restarting Automata. |
SOFSEM |
2009 |
DBLP DOI BibTeX RDF |
|
1 | J. Christian Attiogbé |
Can Component/Service-Based Systems Be Proved Correct?. |
SOFSEM |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Porschen, Tatjana Schmidt |
On Some SAT-Variants over Linear Formulas. |
SOFSEM |
2009 |
DBLP DOI BibTeX RDF |
not-all-equal satisfiability, exact satisfiability, linear formula, linear hypergraph, bicolorability |
1 | Laurent Gourvès, Adria Lyra, Carlos A. J. Martinhon, Jérôme Monnot |
The Minimum Reload s-tPath/Trail/Walk Problems. |
SOFSEM |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Beate Bollig |
On the OBDD Complexity of Threshold Functions and the Variable Ordering Problem. |
SOFSEM |
2009 |
DBLP DOI BibTeX RDF |
variable ordering problem, Computational complexity, ordered binary decision diagrams, threshold functions |
1 | Min Wan, Gianfranco Ciardo |
Symbolic State-Space Generation of Asynchronous Systems Using Extensible Decision Diagrams. |
SOFSEM |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Juan José Domínguez-Jiménez, Antonia Estero-Botaro, Inmaculada Medina-Bulo |
A Framework for Mutant Genetic Generation for WS-BPEL. |
SOFSEM |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Reinhard Bauer, Gianlorenzo D'Angelo, Daniel Delling, Dorothea Wagner |
The Shortcut Problem - Complexity and Approximation. |
SOFSEM |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Dongpil Kwak, Joongsoo Lee, Dohyun Kim, Younghee Lee |
User Care Preference-Based Semantic Service Discovery in a Ubiquitous Environment. |
SOFSEM |
2009 |
DBLP DOI BibTeX RDF |
Semantic service discovery, Five senses and Medical symptom, Context-aware computing |
1 | Mogens Nielsen, Antonín Kucera 0001, Peter Bro Miltersen, Catuscia Palamidessi, Petr Tuma 0001, Frank D. Valencia (eds.) |
SOFSEM 2009: Theory and Practice of Computer Science, 35th Conference on Current Trends in Theory and Practice of Computer Science, Spindleruv Mlýn, Czech Republic, January 24-30, 2009. Proceedings |
SOFSEM |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Grzegorz Stachowiak |
Asynchronous Deterministic Rendezvous on the Line. |
SOFSEM |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Radovan Janecek |
Service Oriented Architecture Pitfalls. |
SOFSEM |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Ondrej Habala, Marek Paralic, Viera Rozinajová, Peter Bartalos |
Semantically-Aided Data-Aware Service Workflow Composition. |
SOFSEM |
2009 |
DBLP DOI BibTeX RDF |
web services, semantics, grid, workflow composition |
1 | Ruslans Tarasovs, Rusins Freivalds |
Group Input Machine. |
SOFSEM |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Taishin Daigo, Kouichi Hirata |
On Generating All Maximal Acyclic Subhypergraphs with Polynomial Delay. |
SOFSEM |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Jens Bachmann, Martin Riedl 0001, Johann Schuster, Markus Siegle |
An Efficient Symbolic Elimination Algorithm for the Stochastic Process Algebra Tool CASPA. |
SOFSEM |
2009 |
DBLP DOI BibTeX RDF |
MTBDD, elimination of immediate transitions, stochastic process algebra |
1 | Min Wan, Gianfranco Ciardo |
Symbolic Reachability Analysis of Integer Timed Petri Nets. |
SOFSEM |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Elvira Mayordomo, Philippe Moser |
Polylog Space Compression Is Incomparable with Lempel-Ziv and Pushdown Compression. |
SOFSEM |
2009 |
DBLP DOI BibTeX RDF |
plogon, Lempel-Ziv algorithm, pushdown compression, computational complexity, compression algorithms, data stream algorithms |
1 | Marcella Anselmo, Natasha Jonoska, Maria Madonia |
Framed Versus Unframed Two-Dimensional Languages. |
SOFSEM |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Christel Baier, Nathalie Bertrand 0001, Marcus Größer |
Probabilistic Acceptors for Languages over Infinite Words. |
SOFSEM |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Flavio Corradini, Maria Rita Di Berardini, Walter Vogler |
Time and Fairness in a Process Algebra with Non-blocking Reading. |
SOFSEM |
2009 |
DBLP DOI BibTeX RDF |
|
1 | René Thiemann |
From Outermost Termination to Innermost Termination. |
SOFSEM |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Johannes C. Schneider |
Unambiguous Erasing Morphisms in Free Monoids. |
SOFSEM |
2009 |
DBLP DOI BibTeX RDF |
|