Search results for "SOFSEM"

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

Publications at "SOFSEM"( http://dblp.L3S.de/Venues/SOFSEM )