Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Rica Gonen, Elan Pavlov |
Adaptive Incentive-Compatible Sponsored Search Auction. |
SOFSEM |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Robert König, Ueli M. Maurer, Stefano Tessaro |
Abstract Storage Devices. |
SOFSEM |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Pascal Caron, Jean-Marc Champarnaud, Ludovic Mignot |
A New Family of Regular Operators Fitting with the Position Automaton Computation. |
SOFSEM |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Torsten Tholey |
Improved Algorithms for the 2-Vertex Disjoint Paths Problem. |
SOFSEM |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Henning Wunderlich |
On Toda's Theorem in Structural Communication Complexity. |
SOFSEM |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Ansgar Fehnker, Ralf Huuck, Bastian Schlich, Michael Tapp |
Automatic Bug Detection in Microcontroller Software by Static Program Analysis. |
SOFSEM |
2009 |
DBLP DOI BibTeX RDF |
|
1 | David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Miguel Palomino |
On the Unification of Process Semantics: Observational Semantics. |
SOFSEM |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Marcin Jurdzinski |
Algorithms for Solving Infinite Games. |
SOFSEM |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Taku Aratsu, Kouichi Hirata, Tetsuji Kuboyama |
Approximating Tree Edit Distance through String Edit Distance for Binary Tree Codes. |
SOFSEM |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Josh Berdine |
Automatic Verification of Heap Manipulation Using Separation Logic. |
SOFSEM |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Kaiyu Wan, Mubarak Mohammad, Vasu S. Alagar |
A Formal Model of Business Application Integration from Web Services (Position Paper). |
SOFSEM |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Domenico Cantone, Simone Faro |
Pattern Matching with Swaps for Short Patterns in Linear Time. |
SOFSEM |
2009 |
DBLP DOI BibTeX RDF |
pattern matching with swaps, nonstandard pattern matching, design and analysis of algorithms, combinatorial algorithms on words |
1 | Nguyen Van Tang, Mizuhito Ogawa |
Event-Clock Visibly Pushdown Automata. |
SOFSEM |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Giuseppe Longo |
Randomness and Determination, from Physics and Computing towards Biology. |
SOFSEM |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Walter Binder, Niranjan Suri |
Green Computing: Energy Consumption Optimized Service Hosting. |
SOFSEM |
2009 |
DBLP DOI BibTeX RDF |
service hosting, service dispatch, energy efficiency, service-level agreements, energy conservation, data centers, Green computing |
1 | Thomas Chatain, Paul Gastin, Nathalie Sznajder |
Natural Specifications Yield Decidability for Distributed Synthesis of Asynchronous Systems. |
SOFSEM |
2009 |
DBLP DOI BibTeX RDF |
Distributed synthesis, Asynchronous systems |
1 | Kong Woei Susanto, Tim Todman, José Gabriel F. Coutinho, Wayne Luk |
Design Validation by Symbolic Simulation and Equivalence Checking: A Case Study in Memory Optimization for Image Manipulation. |
SOFSEM |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Arne Andersson, Jim Wilenius |
A New Analysis of Expected Revenue. |
SOFSEM |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Walter Dosch, Annette Stümpel |
Implementing Services by Partial State Machines. |
SOFSEM |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Konstantinos Chatzikokolakis 0001, Sophia Knight, Prakash Panangaden |
Epistemic Strategies and Games on Concurrent Processes. |
SOFSEM |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Hans-Joachim Böckenhauer, Juraj Hromkovic, Tobias Mömke, Peter Widmayer |
On the Hardness of Reoptimization. |
SOFSEM |
2008 |
DBLP DOI BibTeX RDF |
reoptimization, approximation algorithms, inapproximability |
1 | Neza Mramor-Kosta, Eva Trenklerová |
Basic Sets in the Digital Plane. |
SOFSEM |
2008 |
DBLP DOI BibTeX RDF |
Basic Sets in the Plane, Digital Topology |
1 | Feng Cheng 0002, Christoph Meinel |
Strong Authentication over Lock-Keeper. |
SOFSEM |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Jirí Dokulil, Jana Katreniaková |
Visual Exploration of RDF Data. |
SOFSEM |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Boguslaw Cyganek |
An Algorithm for Computation of the Scene Geometry by the Log-Polar Area Matching Around Salient Points. |
SOFSEM |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Adam Koprowski, Hans Zantema |
Certification of Proving Termination of Term Rewriting by Matrix Interpretations. |
SOFSEM |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Marián Lekavý, Pavol Návrat |
Extension of Rescheduling Based on Minimal Graph Cut. |
SOFSEM |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Vikraman Arvind, Pushkar S. Joglekar |
Algorithmic Problems for Metrics on Permutation Groups. |
SOFSEM |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Julien Bernet, David Janin |
From Asynchronous to Synchronous Specifications for Distributed Program Synthesis. |
SOFSEM |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Costas S. Iliopoulos, M. Sohel Rahman |
A New Model to Solve the Swap Matching Problem and Efficient Algorithms for Short Patterns. |
SOFSEM |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Spillner 0001, Alexander Wolff 0001 |
Untangling a Planar Graph. |
SOFSEM |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Jordi Pont-Tuset, Pau Medrano-Gracia, Jordi Nin, Josep Lluís Larriba-Pey, Victor Muntés-Mulero |
ONN the Use of Neural Networks for Data Privacy. |
SOFSEM |
2008 |
DBLP DOI BibTeX RDF |
Perturbative protection methods, Privacy in statistical databases, Artificial Neural Networks, Data preprocessing |
1 | Fabio Alessi, Paula Severi |
Recursive Domain Equations of Filter Models. |
SOFSEM |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Peter Brusilovsky |
Social Information Access: The Other Side of the Social Web. |
SOFSEM |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Jurek Czyzowicz, Stefan Dobrev, Evangelos Kranakis, Danny Krizanc |
The Power of Tokens: Rendezvous and Symmetry Detection for Two Mobile Agents in a Ring. |
SOFSEM |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Antti Siirtola, Michal Valenta |
Verifying Parameterized taDOM+ Lock Managers. |
SOFSEM |
2008 |
DBLP DOI BibTeX RDF |
model-checking, Verification, case study, XML databases, parameterized systems |
1 | Jacek Dabrowski 0003 |
Parallel Immune System for Graph Coloring. |
SOFSEM |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Bruno Escoffier, Jérôme Monnot, Olivier Spanjaard |
Some Tractable Instances of Interval Data Minmax Regret Problems: Bounded Distance from Triviality. |
SOFSEM |
2008 |
DBLP DOI BibTeX RDF |
Bipartite perfect matching, Shortest path, Spanning tree, Robust optimization, Interval data |
1 | Marek Klonowski, Przemyslaw Kubiak 0001, Miroslaw Kutylowski |
Practical Deniable Encryption. |
SOFSEM |
2008 |
DBLP DOI BibTeX RDF |
deniable encryption |
1 | Vera Kurková, Marcello Sanguineti |
Geometric Rates of Approximation by Neural Networks. |
SOFSEM |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Przemyslaw Kazienko, Katarzyna Musial |
Mining Personal Social Features in the Community of Email Users. |
SOFSEM |
2008 |
DBLP DOI BibTeX RDF |
email communication, user ranking, personal importance, social features in community, social network analysis |
1 | Julien Cristau, Florian Horn 0001 |
On Reachability Games of Ordinal Length. |
SOFSEM |
2008 |
DBLP DOI BibTeX RDF |
|
1 | C. Nuccio, Emanuele Rodaro |
Mortality Problem for 2×2 Integer Matrices. |
SOFSEM |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Dobrev, Rastislav Kralovic, Dana Pardubská |
How Much Information about the Future Is Needed? |
SOFSEM |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Holger Petersen 0001 |
Improved Bounds for Range Mode and Range Median Queries. |
SOFSEM |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Martin Dzbor |
Best of Both: Using Semantic Web Technologies to Enrich User Interaction with the Web and Vice Versa. |
SOFSEM |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Astrid Rakow |
Slicing Petri Nets with an Application to Workflow Verification. |
SOFSEM |
2008 |
DBLP DOI BibTeX RDF |
Net Reduction, Workflow nets, Verification, Slicing, CTL |
1 | Radim Nedbal |
Algebraic Optimization of Relational Queries with Various Kinds of Preferences. |
SOFSEM |
2008 |
DBLP DOI BibTeX RDF |
logic of preference, optimization, relational query |
1 | Sebastian Dörn, Thomas Thierauf |
The Quantum Complexity of Group Testing. |
SOFSEM |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Christian Gunia |
Energy-Efficient Windows Scheduling. |
SOFSEM |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Mariano Ceccato, Yoram Ofek, Paolo Tonella |
Remote Entrusting by Run-Time Software Authentication. |
SOFSEM |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Ahmad-Reza Sadeghi |
Trusted Computing - Special Aspects and Challenges. |
SOFSEM |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Adam Roman, Wit Forys |
Lower Bound for the Length of Synchronizing Words in Partially-Synchronizing Automata. |
SOFSEM |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Frank G. Radmacher |
An Automata Theoretic Approach to Rational Tree Relations. |
SOFSEM |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Milos Kudelka, Václav Snásel, Ondrej Lehecka, Eyas El-Qawasmeh, Jaroslav Pokorný |
Web Pages Reordering and Clustering Based on Web Patterns. |
SOFSEM |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Diego de Falco, Dario Tamascelli |
Quantum Walks: A Markovian Perspective. |
SOFSEM |
2008 |
DBLP DOI BibTeX RDF |
continuous-time quantum walks, birth-and-death processes, sample paths |
1 | Viliam Geffert, Juhani Karhumäki, Alberto Bertoni, Bart Preneel, Pavol Návrat, Mária Bieliková (eds.) |
SOFSEM 2008: Theory and Practice of Computer Science, 34th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 19-25, 2008, Proceedings |
SOFSEM |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Piotr Kalita, Igor T. Podolak, Adam Roman, Bartosz Bierkowski |
Algorithm for Intelligent Prediction of Requests in Business Systems. |
SOFSEM |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Hyun Woong Shin, Eduard H. Hovy, Dennis McLeod |
The Dynamic Web Presentations with a Generality Model on the News Domain. |
SOFSEM |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Peter Dolog |
Designing Adaptive Web Applications. |
SOFSEM |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Radovan Sesták, Jan Lansky |
Compression of Concatenated Web Pages Using XBW. |
SOFSEM |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Camelia-Mihaela Pintea, Camelia Chira, D. Dumitrescu, Petrica C. Pop |
A Sensitive Metaheuristic for Solving a Large Optimization Problem. |
SOFSEM |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Andris Ambainis, Alexander Rivosh |
Quantum Walks with Multiple or Moving Marked Locations. |
SOFSEM |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Peter Gazi, Branislav Rovan |
Assisted Problem Solving and Decompositions of Finite Automata. |
SOFSEM |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Nieves R. Brisaboa, Oscar Pedreira, Diego Seco, Roberto Solar, Roberto Uribe |
Clustering-Based Similarity Search in Metric Spaces with Sparse Spatial Centers. |
SOFSEM |
2008 |
DBLP DOI BibTeX RDF |
sparse spatial selection, cluster center selection, Similarity search, metric spaces |
1 | Natasa Jonoska, Gregory L. McColm |
Describing Self-assembly of Nanostructures. |
SOFSEM |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Shoichi Morimoto, Shinjiro Shigematsu, Yuichi Goto, Jingde Cheng |
Classification, Formalization and Verification of Security Functional Requirements. |
SOFSEM |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Michal Tvarozek, Michal Barla, György Frivolt, Marek Tomsa, Mária Bieliková |
Improving Semantic Search Via Integrated Personalized Faceted and Visual Graph Navigation. |
SOFSEM |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Wolfgang Thomas |
Optimizing Winning Strategies in Regular Infinite Games. |
SOFSEM |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Beate Bollig, Niko Range, Ingo Wegener |
Exact OBDD Bounds for Some Fundamental Functions. |
SOFSEM |
2008 |
DBLP DOI BibTeX RDF |
Computational complexity, lower bounds, ordered binary decision diagrams |
1 | Marek Kretowski |
A Memetic Algorithm for Global Induction of Decision Trees. |
SOFSEM |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Mila E. Majster-Cederbaum, Christoph Minnameier |
Deriving Complexity Results for Interaction Systems from 1-Safe Petri Nets. |
SOFSEM |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Marek Klonowski, Tomasz Struminski |
Proofs of Communication and Its Application for Fighting Spam. |
SOFSEM |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Khadija Abied Ali, Jaroslav Pokorný |
3D_XML: A Three-Dimensional XML-Based Model. |
SOFSEM |
2008 |
DBLP DOI BibTeX RDF |
3D_XML model, efficacy time, three-dimensional element, XML, XQuery, transaction time, valid time, native XML databases |
1 | Jacek Cichon, Miroslaw Kutylowski, Bogdan Weglorz |
Short Ballot Assumption and Threeballot Voting Protocol. |
SOFSEM |
2008 |
DBLP DOI BibTeX RDF |
anonymity, e-voting |
1 | György Frivolt, Ján Suchal, Richard Vesely, Peter Vojtek, Oto Vozár, Mária Bieliková |
Creation, Population and Preprocessing of Experimental Data Sets for Evaluation of Applications for the Semantic Web. |
SOFSEM |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Peishun Wang, Huaxiong Wang, Josef Pieprzyk |
Threshold Privacy Preserving Keyword Searches. |
SOFSEM |
2008 |
DBLP DOI BibTeX RDF |
secure index, threshold, key distribution, Keyword search |
1 | Andris Ambainis |
Quantum Random Walks - New Method for Designing Quantum Algorithms. |
SOFSEM |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Matej Kosík |
Taming of Pict. |
SOFSEM |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Cezara Dragoi, Gheorghe Stefanescu |
On Compiling Structured Interactive Programs with Registers and Voices. |
SOFSEM |
2008 |
DBLP DOI BibTeX RDF |
structured rv-systems, registers and voices, programming languages, interactive systems, operational semantics, compiler correctness |
1 | Lech Duraj, Grzegorz Gutowski |
Optimal Orientation On-Line. |
SOFSEM |
2008 |
DBLP DOI BibTeX RDF |
Oriented graphs, Connectivity, On-line algorithms |
1 | Paul Bell, Igor Potapov |
Periodic and Infinite Traces in Matrix Semigroups. |
SOFSEM |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Dusan Bernát |
Domain Name System as a Memory and Communication Medium. |
SOFSEM |
2008 |
DBLP DOI BibTeX RDF |
security, cache, memory, covert channel, DNS |
1 | Wataru Matsubara, Shunsuke Inenaga, Akira Ishino, Ayumi Shinohara, Tomoyuki Nakamura, Kazuo Hashimoto |
Computing Longest Common Substring and All Palindromes from Compressed Strings. |
SOFSEM |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Holger Petersen 0001 |
Element Distinctness and Sorting on One-Tape Off-Line Turing Machines. |
SOFSEM |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Przemyslaw Skibinski, Jakub Swacha, Szymon Grabowski |
A Highly Efficient XML Compression Scheme for the Web. |
SOFSEM |
2008 |
DBLP DOI BibTeX RDF |
semi-structural data compression, text transform, prediction by partial matching, XML compression |
1 | Jarkko Kari |
On the Undecidability of the Tiling Problem. |
SOFSEM |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Michael J. Burrell, James H. Andrews, Mark Daley |
A Useful Bounded Resource Functional Language. |
SOFSEM |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Ilze Dzelme |
Quantum Finite Automata and Logics. |
SOFSEM |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Krzysztof Goczyla, Teresa Grabowska, Wojciech Waloszek, Michal Zawadzki |
The Knowledge Cartography - A New Approach to Reasoning over Description Logics Ontologies. |
SOFSEM |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Aleksandrs Belovs |
Non-intersecting Complexity. |
SOFSEM |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Burkhard Monien |
Selfish Routing in Networks. |
SOFSEM |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Donghuo Chen, Jinzhao Wu |
Reasoning About Inconsistent Concurrent Systems: A Non-classical Temporal Logic. |
SOFSEM |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Jiong Guo, Falk Hüffner, Erhan Kenar, Rolf Niedermeier, Johannes Uhlmann |
Complexity and Exact Algorithms for Multicut. |
SOFSEM |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Saeed Parsa, Vahid Khalilpoor |
Automatic Distribution of Sequential Code Using JavaSymphony Middleware. |
SOFSEM |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Frank K. H. A. Dehne, Michael R. Fellows, Henning Fernau, Elena Prieto-Rodriguez, Frances A. Rosamond |
NONBLOCKER: Parameterized Algorithmics for minimum dominating set. |
SOFSEM |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Marc Benkert, Joachim Gudmundsson, Herman J. Haverkort, Alexander Wolff 0001 |
Constructing Interference-Minimal Networks. |
SOFSEM |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Marie-Christine Rousset, Philippe Adjiman, Philippe Chatalic, François Goasdoué, Laurent Simon |
SomeWhere in the Semantic Web. |
SOFSEM |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Young Kim, Sang Ho Park, Tae-Soon Kim, Ju-Hong Lee, Tae-Su Park |
An Efficient Index Scheme for XML Databases. |
SOFSEM |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Christian Schindelhauer |
Mobility in Wireless Networks. |
SOFSEM |
2006 |
DBLP DOI BibTeX RDF |
|