| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Guohui Lin, Randy Goebel, Zhong Li, Lusheng Wang |
An improved approximation algorithm for the complementary maximal strip recovery problem.  |
J. Comput. Syst. Sci.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrei A. Bulatov, Víctor Dalmau, Martin Grohe, Dániel Marx |
Enumerating homomorphisms.  |
J. Comput. Syst. Sci.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan Gemmell, Thomas Schimoler, Bamshad Mobasher, Robin D. Burke |
Resource recommendation in social annotation systems: A linear-weighted hybrid approach.  |
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 | Rahat Iqbal, Nazaraf Shah |
Information Retrieval, Decision Making Process and User Needs.  |
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 | Fazilatur Rahman, Jawed I. A. Siddiqi |
Semantic annotation of digital music.  |
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 | Yicheng Wen, Asok Ray |
Vector space formulation of probabilistic finite state automata.  |
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 | Magdalini Eirinaki, Shamita Pisal, Japinder Singh |
Feature-based opinion mining and ranking.  |
J. Comput. Syst. Sci.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Fedor V. Fomin, Daniel Lokshtanov, Venkatesh Raman, Saket Saurabh, B. V. Raghavendra Rao |
Faster algorithms for finding and counting subgraphs.  |
J. Comput. Syst. Sci.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Millist W. Vincent, Jixue Liu, Mukesh K. Mohania |
The implication problem for 'closest node' functional dependencies in complete XML documents.  |
J. Comput. Syst. Sci.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Nissim Francez |
When are different type-logical semantic definitions defining equivalent meanings?  |
J. Comput. Syst. Sci.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Benedek Nagy, Friedrich Otto |
On CD-systems of stateless deterministic R-automata with window size one.  |
J. Comput. Syst. Sci.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Amos Beimel, Yeow Meng Chee, Huaxiong Wang, Liang Feng Zhang |
Communication-efficient distributed oblivious transfer.  |
J. Comput. Syst. Sci.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Tianrong Lin |
Another approach to the equivalence of measure-many one-way quantum finite automata and its application.  |
J. Comput. Syst. Sci.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe Fenza, Domenico Furno, Vincenzo Loia |
Hybrid approach for context-aware service discovery in healthcare domain.  |
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 | Sebastian Link |
Characterisations of multivalued dependency implication over undetermined universes.  |
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 | David Harel, Itai Segall |
Synthesis from scenario-based specifications.  |
J. Comput. Syst. Sci.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Kashif Iqbal, Michael O. Odetayo, Anne E. James |
Content-based image retrieval approach for biometric security using colour, texture and shape features controlled by fuzzy heuristics.  |
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 | Samir Datta, Raghav Kulkarni, Raghunath Tewari, N. V. Vinodchandran |
Space complexity of perfect matching in bounded genus bipartite graphs.  |
J. Comput. Syst. Sci.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Orna Kupferman, Amir Pnueli, Moshe Y. Vardi |
Once and for all.  |
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 | Michael R. Fellows, Fedor V. Fomin, Daniel Lokshtanov, Frances A. Rosamond, Saket Saurabh, Yngve Villanger |
Local search: Is brute-force avoidable?  |
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 | Ahmed Bouajjani, David Harel, Lenore D. Zuck |
Editorʼs foreword.  |
J. Comput. Syst. Sci.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ittai Balaban, Amir Pnueli, Yaniv Sa'ar, Lenore D. Zuck |
Verification of multi-linked heaps.  |
J. Comput. Syst. Sci.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Minghui Jiang |
Approximability of constrained LCS.  |
J. Comput. Syst. Sci.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog, Stijn de Gouw |
Verification of object-oriented programs: A transformational approach.  |
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 | Pir Abdul Rasool Qureshi, Nasrullah Memon |
Hybrid model of content extraction.  |
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 | Adam Grzywaczewski, Rahat Iqbal |
Task-specific information retrieval systems for software engineers.  |
J. Comput. Syst. Sci.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Chunfu Wei, Zheng Pei, Huamin Li |
An induced OWA operator in coal mine safety evaluation.  |
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 | Anahí Gajardo, Jarkko Kari, Andrés Moreira |
On time-symmetry in cellular automata.  |
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 | Roderick Bloem, Barbara Jobstmann, Nir Piterman, Amir Pnueli, Yaniv Sa'ar |
Synthesis of Reactive(1) designs.  |
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 | Egon Börger, Antonio Cisternino, Vincenzo Gervasi |
Ambient Abstract State Machines with applications.  |
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 | Prakash Ramanan |
Rewriting XPath queries using materialized XPath views.  |
J. Comput. Syst. Sci.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan Katz, Philip D. MacKenzie, Gelareh Taban, Virgil D. Gligor |
Two-server password-only authenticated key exchange.  |
J. Comput. Syst. Sci.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Haifeng Shen, Mark Reilly |
Personalized multi-user view and content synchronization and retrieval in real-time mobile social software applications.  |
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 | Xiaowen Lou, Daming Zhu |
A new approximation algorithm for cut-and-paste sorting of unsigned circular permutations.  |
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 | Albert Benveniste, Timothy Bourke, Benoît Caillaud, Marc Pouzet |
Non-standard semantics of hybrid systems modelers.  |
J. Comput. Syst. Sci.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Bruno Durand, Andrei E. Romashchenko, Alexander Shen |
Fixed-point tile sets and their applications.  |
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 |
|