The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "FAW-AAIM"( http://dblp.L3S.de/Venues/FAW-AAIM )

URL (DBLP): http://dblp.uni-trier.de/db/conf/aaim

Publication years (Num. hits)
2011 (40) 2012 (35) 2013 (36)
Publication types (Num. hits)
inproceedings(108) proceedings(3)
Venues (Conferences, Journals, ...)
FAW-AAIM(111)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 111 publication records. Showing 111 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Xiaojie Deng, Bingkai Lin, Chihao Zhang 0001 Multi-Multiway Cut Problem on Graphs of Bounded Branch Width. Search on Bibsonomy FAW-AAIM The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Yue-Li Wang, Kuo-Hua Wu, Ton Kloks On Perfect Absorbants in De Bruijn Digraphs. Search on Bibsonomy FAW-AAIM The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Masaki Kawabata, Takao Nishizeki Spanning Distribution Trees of Graphs. Search on Bibsonomy FAW-AAIM The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Jin Akiyama, Hyunwoo Seong An Algorithm for Determining Whether a Pair of Polygons Is Reversible. Search on Bibsonomy FAW-AAIM The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Huili Zhang, Yinfeng Xu The Optimal Rescue Path Set Problem in Undirected Graphs. Search on Bibsonomy FAW-AAIM The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Bin Fu On the Complexity of Approximate Sum of Sorted List. Search on Bibsonomy FAW-AAIM The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Yinfeng Xu, Lan Qin Strategies of Groups Evacuation from a Convex Region in the Plane. Search on Bibsonomy FAW-AAIM The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Carlos A. J. Martinhon, Luérbio Faria The Edge-Recoloring Cost of Paths and Cycles in Edge-Colored Graphs and Digraphs. Search on Bibsonomy FAW-AAIM The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Wei Wu 0042, Chuan Luo 0002, Kaile Su FWLS: A Local Search for Graph Coloring. Search on Bibsonomy FAW-AAIM The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Robert Bredereck, André Nichterlein, Rolf Niedermeier Pattern-Guided k-Anonymity. Search on Bibsonomy FAW-AAIM The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Ton Kloks, Ching-Hao Liu, Sheung-Hung Poon On Edge-Independent Sets. Search on Bibsonomy FAW-AAIM The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Dániel Marx The Square Root Phenomenon in Planar Graphs. Search on Bibsonomy FAW-AAIM The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Yumei Huo, Hairong Zhao Bi-criteria Scheduling on Multiple Machines Subject to Machine Availability Constraints. Search on Bibsonomy FAW-AAIM The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Xiangfu Zou, Daowen Qiu Arbitrated Quantum Signature Schemes: Attacks and Security. Search on Bibsonomy FAW-AAIM The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Longcheng Liu Inverse Maximum Flow Problems under the Combining Norms. Search on Bibsonomy FAW-AAIM The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Xin Han, Yasushi Kawase, Kazuhisa Makino Randomized Algorithms for Removable Online Knapsack Problems. Search on Bibsonomy FAW-AAIM The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Mingyu Xiao 0001, Hiroshi Nagamochi An Exact Algorithm for Maximum Independent Set in Degree-5 Graphs. Search on Bibsonomy FAW-AAIM The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Mark Korenblit, Vadim E. Levit A One-Vertex Decomposition Algorithm for Generating Algebraic Expressions of Square Rhomboids. Search on Bibsonomy FAW-AAIM The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Jinghao Sun, Yakun Meng, Guozhen Tan A Cutting Plane Heuristic Algorithm for the Time Dependent Chinese Postman Problem. Search on Bibsonomy FAW-AAIM The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Shenshi Chen Monomial Testing and Applications. Search on Bibsonomy FAW-AAIM The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Aritra Banik, Bhaswar B. Bhattacharya, Sandip Das 0001, Sreeja Das Two-Round Discrete Voronoi Game along a Line. Search on Bibsonomy FAW-AAIM The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Ying Zheng, Jianxin Wang 0001, Qilong Feng Kernelization and Lower Bounds of the Signed Domination Problem. Search on Bibsonomy FAW-AAIM The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Zhi-Zhong Chen, Lusheng Wang 0001 Faster Exact Computation of rSPR Distance. Search on Bibsonomy FAW-AAIM The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Pawan Aurora, Sumit Singh 0002, Shashank K. Mehta Partial Degree Bounded Edge Packing Problem with Arbitrary Bounds. Search on Bibsonomy FAW-AAIM The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Michael R. Fellows, Xuehou Tan, Binhai Zhu (eds.) Frontiers in Algorithmics and Algorithmic Aspects in Information and Management, Third Joint International Conference, FAW-AAIM 2013, Dalian, China, June 26-28, 2013. Proceedings Search on Bibsonomy FAW-AAIM The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Ding Ma 0006, Yunshu Gao Disjoint Small Cycles in Graphs and Bipartite Graphs. Search on Bibsonomy FAW-AAIM The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Xianrong Liu, Wenhong Tian, Minxian Xu, Qin Xiong A Cost-Efficient Scheduling Algorithm for Traffic Grooming. Search on Bibsonomy FAW-AAIM The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Chenglin Fan, Jun Luo 0008, Farong Zhong, Binhai Zhu Expected Computations on Color Spanning Sets. Search on Bibsonomy FAW-AAIM The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Jason Crampton, Robert Crowston, Gregory Z. Gutin, Mark Jones 0001, M. S. Ramanujan 0001 Fixed-Parameter Tractability of Workflow Satisfiability in the Presence of Seniority Constraints. Search on Bibsonomy FAW-AAIM The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Marcin Krzywkowski An Algorithm for Listing All Minimal 2-Dominating Sets of a Tree. Search on Bibsonomy FAW-AAIM The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Chaoyi Wang, Tian Liu 0001, Ke Xu 0001 Large Hypertree Width for Sparse Random Hypergraphs. Search on Bibsonomy FAW-AAIM The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Min Lu, Tian Liu 0001, Ke Xu 0001 Independent Domination: Reductions from Circular- and Triad-Convex Bipartite Graphs to Convex Bipartite Graphs. Search on Bibsonomy FAW-AAIM The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Tao-Ming Wang, Guang-Hui Zhang Zero-Sum Flow Numbers of Hexagonal Grids. Search on Bibsonomy FAW-AAIM The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Yijie Han, Sanjeev Saxena Algorithms for Testing Length Four Permutations. Search on Bibsonomy FAW-AAIM The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Dariusz Dereniowski, Danny Dyer, Ryan M. Tifenbach, Boting Yang Zero-Visibility Cops and Robber Game on a Graph. Search on Bibsonomy FAW-AAIM The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Fernanda Couto, Luérbio Faria, Sulamita Klein, Fábio Protti, Loana Tito Nogueira On (k, ℓ)-Graph Sandwich Problems. Search on Bibsonomy FAW-AAIM The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Ton Kloks, Sheung-Hung Poon, Feng-Ren Tsai, Yue-Li Wang The Black-and-White Coloring Problem on Distance-Hereditary Graphs and Strongly Chordal Graphs. Search on Bibsonomy FAW-AAIM The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Bin Fu Multivariate Polynomial Integration and Differentiation Are Polynomial Time Inapproximable Unless P=NP. Search on Bibsonomy FAW-AAIM The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Zhixiang Chen 0001, Bin Fu, Binhai Zhu Erratum: The Approximability of the Exemplar Breakpoint Distance Problem. Search on Bibsonomy FAW-AAIM The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Yiwei Jiang, Zewei Weng, Jueliang Hu Algorithms with Limited Number of Preemptions for Scheduling on Parallel Machines. Search on Bibsonomy FAW-AAIM The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Minati De, Subhas C. Nandy, Sasanka Roy In-Place Algorithms for Computing a Largest Clique in Geometric Intersection Graphs. Search on Bibsonomy FAW-AAIM The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Kazuhide Nishikawa, Takao Nishizeki, Xiao Zhou 0001 Algorithms for Bandwidth Consecutive Multicolorings of Graphs - (Extended Abstract). Search on Bibsonomy FAW-AAIM The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Junping Zhou, Minghao Yin The Worst-Case Upper Bound for Exact 3-Satisfiability with the Number of Clauses as the Parameter. Search on Bibsonomy FAW-AAIM The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Yuya Higashikawa, Naoki Katoh Online Exploration of All Vertices in a Simple Polygon. Search on Bibsonomy FAW-AAIM The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Chenglin Fan, Jun Luo 0008, Wencheng Wang, Binhai Zhu Voronoi Diagram with Visual Restriction. Search on Bibsonomy FAW-AAIM The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Yu Song, Tian Liu 0001, Ke Xu 0001 Independent Domination on Tree Convex Bipartite Graphs. Search on Bibsonomy FAW-AAIM The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Richard Beigel, Bin Fu A Dense Hierarchy of Sublinear Time Approximation Schemes for Bin Packing. Search on Bibsonomy FAW-AAIM The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Danny Z. Chen, Xiaomin Liu, Haitao Wang 0001 Computing Maximum Non-crossing Matching in Convex Bipartite Graphs. Search on Bibsonomy FAW-AAIM The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Hong Liu 0001, Peng Zhang 0008, Daming Zhu On Editing Graphs into 2-Club Clusters. Search on Bibsonomy FAW-AAIM The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Feifei Ma, Jun Yan 0009, Jian Zhang 0001 Solving Generalized Optimization Problems Subject to SMT Constraints. Search on Bibsonomy FAW-AAIM The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Jiun-Jie Wang, Xin He Succinct Strictly Convex Greedy Drawing of 3-Connected Plane Graphs. Search on Bibsonomy FAW-AAIM The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Joan Boyar, Kim S. Larsen, Abyayananda Maiti A Comparison of Performance Measures via Online Search. Search on Bibsonomy FAW-AAIM The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Minghui Jiang 0001 On Covering Points with Minimum Turns. Search on Bibsonomy FAW-AAIM The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Bryan D. He Optimal Binary Representation of Mosaic Floorplans and Baxter Permutations. Search on Bibsonomy FAW-AAIM The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Chihao Zhang 0001, Hongyang Zhang 0005 Fixed-Parameter Tractability of almost CSP Problem with Decisive Relations. Search on Bibsonomy FAW-AAIM The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Yan Lan, Xin Chen 0032, Ning Ding, György Dósa, Xin Han Online Minimum Makespan Scheduling with a Buffer. Search on Bibsonomy FAW-AAIM The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Yong Zhang 0001, Francis Y. L. Chin, Hing-Fung Ting Online Pricing for Multi-type of Items. Search on Bibsonomy FAW-AAIM The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Yijie Han, Xin He More Efficient Parallel Integer Sorting. Search on Bibsonomy FAW-AAIM The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Deshi Ye, Lili Mei On-Line Scheduling of Parallel Jobs in Heterogeneous Multiple Clusters. Search on Bibsonomy FAW-AAIM The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Bangsheng Tang Some Remarks on the Incompressibility of Width-Parameterized SAT Instances. Search on Bibsonomy FAW-AAIM The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Xuehou Tan, Bo Jiang 0004 Minimization of the Maximum Distance between the Two Guards Patrolling a Polygonal Region. Search on Bibsonomy FAW-AAIM The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Evripidis Bampis, Dimitrios Letsios, Giorgio Lucarelli, Evangelos Markakis, Ioannis Milis On Multiprocessor Temperature-Aware Scheduling Problems. Search on Bibsonomy FAW-AAIM The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Tao-Ming Wang, Shi-Wei Hu Zero-Sum Flow Numbers of Regular Graphs. Search on Bibsonomy FAW-AAIM The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Jianer Chen, Henning Fernau, Peter Shaw 0001, Jianxin Wang 0001, Zhibiao Yang Kernels for Packing and Covering Problems - (Extended Abstract). Search on Bibsonomy FAW-AAIM The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Longcheng Liu, Yong Chen 0002, Biao Wu 0004, Enyu Yao Weighted Inverse Minimum Cut Problem under the Sum-Type Hamming Distance. Search on Bibsonomy FAW-AAIM The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Xia Hua On Envy-Free Pareto Efficient Pricing. Search on Bibsonomy FAW-AAIM The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Peng Zhang 0026 Partial Degree Bounded Edge Packing Problem. Search on Bibsonomy FAW-AAIM The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Weitian Tong, Randy Goebel, Wei Ding 0006, Guohui Lin An Improved Approximation Algorithm for the Bandpass Problem. Search on Bibsonomy FAW-AAIM The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Yanyan Xu 0001, Wei Chen 0018, Kaile Su, Wenhui Zhang Solving Difficult SAT Problems by Using OBDDs and Greedy Clique Decomposition. Search on Bibsonomy FAW-AAIM The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Jack Snoeyink, Pinyan Lu, Kaile Su, Lusheng Wang (eds.) Frontiers in Algorithmics and Algorithmic Aspects in Information and Management - Joint International Conference, FAW-AAIM 2012, Beijing, China, May 14-16, 2012. Proceedings Search on Bibsonomy FAW-AAIM The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Huy Hoang Do, Jesper Jansson 0001, Kunihiko Sadakane, Wing-Kin Sung Fast Relative Lempel-Ziv Self-index for Similar Sequences. Search on Bibsonomy FAW-AAIM The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Zhiheng Zhao, Jianping Yin, Yubin Zhan, Wei Xiong, Yong Li, Fayao Liu PSAEC: An Improved Algorithm for Short Read Error Correction Using Partial Suffix Arrays. Search on Bibsonomy FAW-AAIM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Sharareh Alipour, Alireza Zarei Visibility Testing and Counting. Search on Bibsonomy FAW-AAIM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Edita Mácajová, Ján Mazák An Algorithm for Optimal Acyclic Edge-Colouring of Cubic Graphs. Search on Bibsonomy FAW-AAIM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Wenchang Luo, Lin Chen 0009 Approximation Scheme for Scheduling Resumable Proportionally Deteriorating Jobs. Search on Bibsonomy FAW-AAIM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Lin Chen 0009, Wenchang Luo, Guochuan Zhang Approximation Algorithms for Unrelated Machine Scheduling with an Energy Budget. Search on Bibsonomy FAW-AAIM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Mikhail J. Atallah, Xiang-Yang Li 0001, Binhai Zhu (eds.) Frontiers in Algorithmics and Algorithmic Aspects in Information and Management - Joint International Conference, FAW-AAIM 2011, Jinhua, China, May 28-31, 2011. Proceedings Search on Bibsonomy FAW-AAIM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Elias Koutsoupias Recent Developments in the Mechanism Design Problem for Scheduling. Search on Bibsonomy FAW-AAIM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Martin Birks, Daniel Cole, Stanley P. Y. Fung, Huichao Xue Online Algorithms for Maximizing Weighted Throughput of Unit Jobs with Temperature Constraints. Search on Bibsonomy FAW-AAIM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Tao-Ming Wang, Shi-Wei Hu Constant Sum Flows in Regular Graphs. Search on Bibsonomy FAW-AAIM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Martin Birks, Stanley P. Y. Fung Temperature Aware Online Algorithms for Scheduling Equal Length Jobs. Search on Bibsonomy FAW-AAIM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Huili Zhang, Yinfeng Xu The k-Canadian Travelers Problem with Communication. Search on Bibsonomy FAW-AAIM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Sascha Meinert, Dorothea Wagner An Experimental Study on Generating Planar Graphs. Search on Bibsonomy FAW-AAIM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Min Chen, György Dósa, Xin Han, Chenyang Zhou, Attila Benko 2D Knapsack: Packing Squares. Search on Bibsonomy FAW-AAIM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Chenglin Fan, Wenqi Ju, Jun Luo 0008, Binhai Zhu On Some Geometric Problems of Color-Spanning Sets. Search on Bibsonomy FAW-AAIM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Joydeep Mukherjee, Priya Ranjan Sinha Mahapatra, Arindam Karmakar, Sandip Das 0001 Minimum Width Rectangular Annulus. Search on Bibsonomy FAW-AAIM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Jin-yi Cai Progress in Complexity of Counting Problems. Search on Bibsonomy FAW-AAIM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Yushi Uno, Fumiya Oguri Contracted Webgraphs: Structure Mining and Scale-Freeness. Search on Bibsonomy FAW-AAIM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Huaming Zhang, Swetha Govindaiah Greedy Routing via Embedding Graphs onto Semi-metric Spaces. Search on Bibsonomy FAW-AAIM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Franz-Josef Brandenburg, Andreas Gleißner, Andreas Hofmeier The Nearest Neighbor Spearman Footrule Distance for Bucket, Interval, and Partial Orders. Search on Bibsonomy FAW-AAIM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Zhong Li, Randy Goebel, Lusheng Wang 0001, Guohui Lin An Improved Approximation Algorithm for the Complementary Maximal Strip Recovery Problem. Search on Bibsonomy FAW-AAIM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Yong Zhang 0001, Francis Y. L. Chin, Hing-Fung Ting, Xin Han, Zhuo Chang Online Algorithm for 1-Space Bounded Multi-dimensional Bin Packing. Search on Bibsonomy FAW-AAIM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Weizhong Luo, Jianxin Wang 0001, Qilong Feng, Jiong Guo The Min-Power Multicast Problems in Wireless Ad Hoc Networks: A Parameterized View. Search on Bibsonomy FAW-AAIM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Hao Li 0002, Wantao Ning, Junqing Cai An Implicit Degree Condition for Cyclability in Graphs. Search on Bibsonomy FAW-AAIM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Jing He 0009, Hongyu Liang On Variants of the Spanning Star Forest Problem. Search on Bibsonomy FAW-AAIM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Mingyu Xiao 0001, Hiroshi Nagamochi Parameterized Edge Dominating Set in Cubic Graphs - (Extended Abstract). Search on Bibsonomy FAW-AAIM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Longkun Guo, Hong Shen 0001 Hardness of Finding Two Edge-Disjoint Min-Min Paths in Digraphs. Search on Bibsonomy FAW-AAIM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Shikun Chen, Zhoujun Li 0001, Xiaoyu Song, Mengjun Li An Iterative Method for Generating Loop Invariants. Search on Bibsonomy FAW-AAIM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Wlodzimierz Moczurad Plane-Filling Properties of Directed Figures. Search on Bibsonomy FAW-AAIM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Wei Jiang, Tian Liu 0001, Tienan Ren, Ke Xu 0001 Two Hardness Results on Feedback Vertex Sets. Search on Bibsonomy FAW-AAIM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 111 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license