| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Andrei A. Bulatov, Víctor Dalmau, Martin Grohe, Dániel Marx |
Enumerating homomorphisms.  |
J. Comput. Syst. Sci.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jürgen Dassow, Tomás Masopust |
On restricted context-free grammars. |
J. Comput. Syst. Sci. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Klaus Jansen, Hu Zhang |
Scheduling malleable tasks with precedence constraints. |
J. Comput. Syst. Sci. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Sivan Albagli, Rachel Ben-Eliyahu-Zohary, Solomon Eyal Shimony |
Markov network based ontology matching. |
J. Comput. Syst. Sci. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrei A. Bulatov, Martin E. Dyer, Leslie Ann Goldberg, Markus Jalsenius, Mark Jerrum, David Richerby |
The complexity of weighted and unweighted #CSP. |
J. Comput. Syst. Sci. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Luke Mathieson, Stefan Szeider |
Editing graphs to satisfy degree constraints: A parameterized approach. |
J. Comput. Syst. Sci. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Barbara Jobstmann, Stefan Staber, Andreas Griesmayer, Roderick Bloem |
Finding and fixing faults. |
J. Comput. Syst. Sci. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Christos A. Kapoutsis, Richard Královic, Tobias Mömke |
Size complexity of rotating and sweeping automata. |
J. Comput. Syst. Sci. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Yung-Hsing Peng, Chang-Biau Yang, Chiou-Ting Tseng, Chiou-Yi Hor |
A new efficient indexing algorithm for one-dimensional real scaled patterns. |
J. Comput. Syst. Sci. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhi-Zhong Chen, Bin Ma, Lusheng Wang |
A three-string approach to the closest string problem. |
J. Comput. Syst. Sci. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Gregory Gutin, Leo van Iersel, Matthias Mnich, Anders Yeo |
Every ternary permutation constraint satisfaction problem parameterized above average has a kernel with a quadratic number of variables. |
J. Comput. Syst. Sci. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Keijo Heljanko, Misa Keinänen, Martin Lange, Ilkka Niemelä |
Solving parity games by a reduction to SAT. |
J. Comput. Syst. Sci. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | David Pearce, Agustín Valverde |
Synonymous theories and knowledge representations in answer set programming. |
J. Comput. Syst. Sci. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Raphael Yuster |
Approximate shortest paths in weighted graphs. |
J. Comput. Syst. Sci. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Vincent Conitzer, Tuomas Sandholm |
Computing optimal outcomes under an expressive representation of settings with externalities. |
J. Comput. Syst. Sci. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Eiter, Magdalena Ortiz, Mantas Simkus |
Conjunctive query answering in the description logic SH using knots. |
J. Comput. Syst. Sci. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Emilio Di Giacomo, Walter Didimo, Giuseppe Liotta, Henk Meijer |
Drawing a tree as a minimum spanning tree approximation. |
J. Comput. Syst. Sci. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jing Tian, Xianzhong Zhao |
Representations of commutative asynchronous automata. |
J. Comput. Syst. Sci. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Florentin Ipate |
Learning finite cover automata from queries. |
J. Comput. Syst. Sci. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Deutch, Tova Milo |
A structural/temporal query language for Business Processes. |
J. Comput. Syst. Sci. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati |
View-based query answering in Description Logics: Semantics and complexity. |
J. Comput. Syst. Sci. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Sharon Shoham, Orna Grumberg |
Multi-valued model checking games. |
J. Comput. Syst. Sci. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ken-ichi Kawarabayashi, Yusuke Kobayashi |
A linear time algorithm for the induced disjoint paths problem in planar graphs. |
J. Comput. Syst. Sci. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Shahar Dobzinski, Noam Nisan, Michael Schapira |
Truthful randomized mechanisms for combinatorial auctions. |
J. Comput. Syst. Sci. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Zehui Shao, Fei Deng, Meilian Liang, Xiaodong Xu |
On sets without k-term arithmetic progression. |
J. Comput. Syst. Sci. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Thomas A. Henzinger |
A survey of stochastic ω-regular games. |
J. Comput. Syst. Sci. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jianer Chen, Jie Meng |
A 2k kernel for the cluster editing problem. |
J. Comput. Syst. Sci. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Helmut Veith |
Special Issue: Games in Verification. |
J. Comput. Syst. Sci. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jesper Jansson, Kunihiko Sadakane, Wing-Kin Sung |
Ultra-succinct representation of ordered trees with applications. |
J. Comput. Syst. Sci. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Marko Hölbl, Tatjana Welzer, Bostjan Brumen |
An improved two-party identity-based authenticated key agreement protocol using pairings. |
J. Comput. Syst. Sci. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Lohrey |
Model-checking hierarchical structures. |
J. Comput. Syst. Sci. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Serge Gaspers, Gregory B. Sorkin |
A universally fastest algorithm for Max 2-Sat, Max 2-CSP, and everything in between. |
J. Comput. Syst. Sci. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jürg Kohlas, Marc Pouly, Cesar Schneuwly |
Generic local computation. |
J. Comput. Syst. Sci. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Moran Feldman, Guy Kortsarz, Zeev Nutov |
Improved approximation algorithms for Directed Steiner Forest. |
J. Comput. Syst. Sci. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Armando, Enrico Giunchiglia, Marco Maratea, Serena Elisa Ponta |
An action-based approach to the formal specification and automatic analysis of business processes under authorization constraints. |
J. Comput. Syst. Sci. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimir Braverman, Rafail Ostrovsky, Carlo Zaniolo |
Optimal sampling from sliding windows. |
J. Comput. Syst. Sci. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Mathias Weller, Christian Komusiewicz, Rolf Niedermeier, Johannes Uhlmann |
On making directed graphs transitive. |
J. Comput. Syst. Sci. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan Katz, Philip D. MacKenzie, Gelareh Taban, Virgil Gligor |
Two-server password-only authenticated key exchange. |
J. Comput. Syst. Sci. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Luigi Palopoli |
Editorʼs foreword. |
J. Comput. Syst. Sci. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthijs Bomhoff, Walter Kern, Georg Still |
On bounded block decomposition problems for under-specified systems of equations. |
J. Comput. Syst. Sci. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Henrik Björklund, Wim Martens |
The tractability frontier for NFA minimization. |
J. Comput. Syst. Sci. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Lara, Fábio Borges, Renato Portugal, Nadia Nedjah |
Parallel modular exponentiation using load balancing without precomputation. |
J. Comput. Syst. Sci. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Amir Talaei-Khoei, Terje Solvoll, Pradeep Ray, Nandan Parameswaran |
Maintaining awareness using policies; Enabling agents to identify relevance of information. |
J. Comput. Syst. Sci. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Franco P. Preparata |
Accurate and precise aggregation counting. |
J. Comput. Syst. Sci. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Bedon, Chloé Rispal |
Schützenberger and Eilenberg theorems for words on linear orderings. |
J. Comput. Syst. Sci. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | David Buchfuhrer, Christopher Umans |
The complexity of Boolean formula minimization. |
J. Comput. Syst. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Lee Booi Lim, Lin Guan, Alan Grigg, Iain W. Phillips, Xin Gang Wang, Irfan-Ullah Awan |
Controlling mean queuing delay under multi-class bursty and correlated traffic. |
J. Comput. Syst. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Bin Fu |
Theory and application of width bounded geometric separators. |
J. Comput. Syst. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Nilesh N. Dalvi, Christopher Re, Dan Suciu |
Queries and materialized views on probabilistic databases. |
J. Comput. Syst. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Stasys Jukna, Georg Schnitger |
Min-rank conjecture for log-depth circuits. |
J. Comput. Syst. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jinpyo Hong, Hwangnam Kim |
An empirical framework for user mobility models: Refining and modeling user registration patterns. |
J. Comput. Syst. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ren-Chiun Wang, Wen-Shenq Juang, Chin-Laung Lei |
Provably secure and efficient identification and key agreement protocol with user anonymity. |
J. Comput. Syst. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Leah Epstein, Asaf Levin, Gerhard J. Woeginger |
Graph coloring with rejection. |
J. Comput. Syst. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pablo Arrighi, Vincent Nesme, Reinhard F. Werner |
Unitarity plus causality implies localizability. |
J. Comput. Syst. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Leonid Libkin, Cristina Sirangelo |
Data exchange and schema mappings in open and closed worlds. |
J. Comput. Syst. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jie Wang 0001, Lin Guan, Lee Booi Lim, Xin Gang Wang, Alan Grigg, Irfan Awan, I. Philips, Xuefen Chi |
QoS enhancements and performance analysis for delay sensitive applications. |
J. Comput. Syst. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Parikshit Gopalan, Venkatesan Guruswami |
Hardness amplification within NP against deterministic algorithms. |
J. Comput. Syst. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Carme Àlvarez, Joaquim Gabarró, Maria J. Serna |
Equilibria problems on games: Complexity versus succinctness. |
J. Comput. Syst. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Arjan Durresi, Mimoza Durresi, Leonard Barolli |
Network trust management in emergency situations. |
J. Comput. Syst. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ran Raz, Amir Yehudayoff |
Multilinear formulas, maximal-partition discrepancy and mixed-sources extractors. |
J. Comput. Syst. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Wouter Gelade, Frank Neven |
Succinctness of pattern-based schema languages for XML. |
J. Comput. Syst. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Fatos Xhafa, Leonard Barolli |
Special issue foreword: Advances in pervasive computing systems and applications. |
J. Comput. Syst. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Floris Geerts, Jan Van den Bussche |
Relational completeness of query languages for annotated databases. |
J. Comput. Syst. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sanjay Jain, Frank Stephan, Jason Teutsch |
Index sets and universal numberings. |
J. Comput. Syst. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Kefeng Xuan, Geng Zhao, David Taniar, J. Wenny Rahayu, Maytham Safar, Bala Srinivasan |
Voronoi-based range and continuous range query processing in mobile databases. |
J. Comput. Syst. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Glasner, Jens Volkert |
Adaps - A three-phase adaptive prediction system for the run-time of jobs based on user behaviour. |
J. Comput. Syst. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Allender, Michal Koucký, Detlef Ronneburger, Sambuddha Roy |
The pervasive reach of resource-bounded Kolmogorov complexity in computational complexity theory. |
J. Comput. Syst. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael R. Fellows, Jiong Guo, Hannes Moser, Rolf Niedermeier |
A generalization of Nemhauser and Trotterʼs local optimization theorem. |
J. Comput. Syst. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Stéphane Bessy, Fedor V. Fomin, Serge Gaspers, Christophe Paul, Anthony Perez, Saket Saurabh, Stéphan Thomassé |
Kernels for feedback arc set in tournaments. |
J. Comput. Syst. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Nadja Betzler, Jiong Guo, Christian Komusiewicz, Rolf Niedermeier |
Average parameterization and partial kernelization for computing medians. |
J. Comput. Syst. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Leonardo O. Moreira, Flávio R. C. Sousa, Javam C. Machado |
A distributed concurrency control mechanism for XML data. |
J. Comput. Syst. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Lance Fortnow, Rahul Santhanam |
Infeasibility of instance compression and succinct PCPs for NP. |
J. Comput. Syst. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei-Li Lin, Chi-Chun Lo, Kuo-Ming Chao, Nick Godwin |
Multi-group QoS consensus for web services. |
J. Comput. Syst. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dong Kun Noh, Kyungtae Kang |
Balanced energy allocation scheme for a solar-powered sensor system and its effects on network-wide performance. |
J. Comput. Syst. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | François Siewe, Hussein Zedan, Antonio Cau |
The Calculus of Context-aware Ambients. |
J. Comput. Syst. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Emilie Charlier, Marion Le Gonidec, Michel Rigo |
Representing real numbers in a generalized numeration system. |
J. Comput. Syst. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard John Anthony, Mona Ghassemian |
Automatic mobility status estimation in wireless self-organised networks. |
J. Comput. Syst. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Riccardo Rosati |
On the finite controllability of conjunctive query answering in databases under open-world assumption. |
J. Comput. Syst. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Prakash Ramanan |
Memory lower bounds for XPath evaluation over XML streams. |
J. Comput. Syst. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Randles, David Lamb, E. Odat, A. Taleb-Bendiab |
Distributed redundancy and robustness in complex systems. |
J. Comput. Syst. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Iyad A. Kanj, Michael J. Pelsmajer, Marcus Schaefer, Ge Xia |
On the induced matching problem. |
J. Comput. Syst. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Fuad Bajaber, Irfan Awan |
Adaptive decentralized re-clustering protocol for wireless sensor networks. |
J. Comput. Syst. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Rachid Anane, Muhammad Younas |
Editorial for the special issue on "Adaptivity in Heterogeneous Environments". |
J. Comput. Syst. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed Ariff Ameedeen, Behzad Bordbar, Rachid Anane |
Model interoperability via Model Driven Development. |
J. Comput. Syst. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Qi Shi, Ning Zhang, Madjid Merabti |
Fair exchange of valuable information: A generalised framework. |
J. Comput. Syst. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcelo Arenas |
Guest editorial: Special issue on database theory. |
J. Comput. Syst. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hai Dong, Farookh Khadeer Hussain, Elizabeth Chang |
A framework for discovering and classifying ubiquitous services in digital health ecosystems. |
J. Comput. Syst. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Bang Ye Wu |
A note on approximating the min-max vertex disjoint paths on directed acyclic graphs. |
J. Comput. Syst. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Agustín C. Caminero, Omer Rana, Blanca Caminero, Carmen Carrión |
Network-aware heuristics for inter-domain meta-scheduling in Grids. |
J. Comput. Syst. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Henrik Björklund, Wim Martens, Thomas Schwentick |
Conjunctive query containment over trees. |
J. Comput. Syst. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Subhash Khot, Rishi Saket |
On the hardness of learning intersections of two halfspaces. |
J. Comput. Syst. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Manna, Francesco Scarcello, Nicola Leone |
On the complexity of regular-grammars with integer attributes. |
J. Comput. Syst. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristian S. Calude, Nicholas J. Hay, Frank Stephan |
Representation of left-computable ε-random reals. |
J. Comput. Syst. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sureshkumar V. Subramanian, Rudra Dutta |
A study of performance and scalability metrics of a SIP proxy server - a practical approach. |
J. Comput. Syst. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Omid Amini, Fedor V. Fomin, Saket Saurabh |
Implicit branching and parameterized partial cover problems. |
J. Comput. Syst. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Feodor F. Dragan, Fedor V. Fomin, Petr A. Golovach |
Spanners in sparse graphs. |
J. Comput. Syst. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard G. Clegg, Raul Landa, Miguel Rio |
Criticisms of modelling packet traffic using long-range dependence (extended version). |
J. Comput. Syst. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Waltenegus Dargie, Alexander Schill |
Stability and performance analysis of randomly deployed wireless networks. |
J. Comput. Syst. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | George Papamarkos, Alexandra Poulovassilis, Peter T. Wood |
Performance modelling of Event-Condition-Action rules in P2P networks. |
J. Comput. Syst. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Claudio Gutierrez, Carlos A. Hurtado, Alberto O. Mendelzon, Jorge Pérez |
Foundations of Semantic Web databases. |
J. Comput. Syst. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")