Browse Books

Tunçel Gölpek H (2024). Closeness of some tree structures, Soft Computing - A Fusion of Foundations, Methodologies and Applications, 28:7-8, (5751-5763), Online publication date: 1-Apr-2024.

Chentsov A and Chentsov P (2023). Two-Stage Dynamic Programming in the Routing Problem with Decomposition, Automation and Remote Control, 84:5, (543-563), Online publication date: 1-May-2023.

Psarras C, Barthels H and Bientinesi P (2022). The Linear Algebra Mapping Problem. Current State of Linear Algebra Languages and Libraries, ACM Transactions on Mathematical Software, 48:3, (1-30), Online publication date: 30-Sep-2022.

Juárez J, Santos C and Brizuela C (2021). A Comprehensive Review and a Taxonomy Proposal of Team Formation Problems, ACM Computing Surveys, 54:7, (1-33), Online publication date: 30-Sep-2022.

Zhang C, Hartline J and Dimoulas C Karp: a language for NP reductions Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, (762-776)

Wada A and Takai S (2022). Decentralized diagnosis of discrete event systems subject to permanent sensor failures, Discrete Event Dynamic Systems, 32:2, (159-193), Online publication date: 1-Jun-2022.

Özdemir S, Khasawneh M, Rao S and Madden P Kernel Mapping Techniques for Deep Learning Neural Network Accelerators Proceedings of the 2022 International Symposium on Physical Design, (21-28)

Wang S, Bao Z, Culpepper J and Cong G (2021). A Survey on Trajectory Data Management, Analytics, and Learning, ACM Computing Surveys, 54:2, (1-36), Online publication date: 31-Mar-2022.

Luo L, Liu Y, Yang H and Qian D (2022). Magas: matrix-based asynchronous graph analytics on shared memory systems, The Journal of Supercomputing, 78:4, (5650-5680), Online publication date: 1-Mar-2022.

Mao Y, Mitra A, Sundaram S and Tabuada P (2021). On the computational complexity of the secure state-reconstruction problem, Automatica (Journal of IFAC), 136:C, Online publication date: 1-Feb-2022.

Chakraborty M, Mehera R and Pal R (2021). Divide-and-conquer based all spanning tree generation algorithm of a simple connected graph, Theoretical Computer Science, 900:C, (35-52), Online publication date: 8-Jan-2022.

Biniaz A (2021). Euclidean Bottleneck Bounded-Degree Spanning Tree Ratios, Discrete & Computational Geometry, 67:1, (311-327), Online publication date: 1-Jan-2022.

Hecht M, Gonciarz K and Horvát S (2021). Tight Localizations of Feedback Sets, ACM Journal of Experimental Algorithmics, 26, (1-19), Online publication date: 31-Dec-2022.

Violettas G, Simoglou G, Petridou S and Mamatas L (2021). A Softwarized Intrusion Detection System for the RPL-based Internet of Things networks, Future Generation Computer Systems, 125:C, (698-714), Online publication date: 1-Dec-2021.

Cheng L, Ahmed S, Liljestrand H, Nyman T, Cai H, Jaeger T, Asokan N and Yao D (2021). Exploitation Techniques for Data-oriented Attacks with Existing and Potential Defense Approaches, ACM Transactions on Privacy and Security, 24:4, (1-36), Online publication date: 30-Nov-2021.

Baidari I and Honnikoll N (2022). Bhattacharyya distance based concept drift detection method for evolving data stream, Expert Systems with Applications: An International Journal, 183:C, Online publication date: 30-Nov-2021.

Even G, Levi R, Medina M and Rosén A (2021). Sublinear Random Access Generators for Preferential Attachment Graphs, ACM Transactions on Algorithms, 17:4, (1-26), Online publication date: 31-Oct-2021.

Sati A, Karamouzas I and Zordan V DIGISEW: Anisotropic Stitching for Variable Stretch in Textiles Symposium on Computational Fabrication, (1-10)

Ishimwe D, Nguyen K and Nguyen T (2021). Dynaplex: analyzing program complexity using dynamically inferred recurrence relations, Proceedings of the ACM on Programming Languages, 5:OOPSLA, (1-23), Online publication date: 20-Oct-2021.

Besta M, Kanakagiri R, Kwasniewski G, Ausavarungnirun R, Beránek J, Kanellopoulos K, Janda K, Vonarburg-Shmaria Z, Gianinazzi L, Stefan I, Luna J, Golinowski J, Copik M, Kapp-Schwoerer L, Di Girolamo S, Blach N, Konieczny M, Mutlu O and Hoefler T SISA: Set-Centric Instruction Set Architecture for Graph Mining on Processing-in-Memory Systems MICRO-54: 54th Annual IEEE/ACM International Symposium on Microarchitecture, (282-297)

Arman A and Loguinov D (2022). Origami, Proceedings of the VLDB Endowment, 15:2, (259-271), Online publication date: 1-Oct-2021.

Wu C, Peng Q, Lee J, Leibnitz K and Xia Y (2021). Effective hierarchical clustering based on structural similarities in nearest neighbor graphs, Knowledge-Based Systems, 228:C, Online publication date: 27-Sep-2021.

Wu C, Wang L and Wang J (2021). A path relinking enhanced estimation of distribution algorithm for direct acyclic graph task scheduling problem, Knowledge-Based Systems, 228:C, Online publication date: 27-Sep-2021.

Di Stolfo P and Schröder A (2021). C and C 0 hp-finite elements on d-dimensional meshes with arbitrary hanging nodes, Finite Elements in Analysis and Design, 192:C, Online publication date: 15-Sep-2021.

Ha D, Katagiri S, Watanabe H and Ohsaki M (2021). An Improved Boundary Uncertainty-Based Estimation for Classifier Evaluation, Journal of Signal Processing Systems, 93:9, (1057-1084), Online publication date: 1-Sep-2021.

Ju W, Yuan D, Bao W, Ge L and Zhou B (2021). eDeepSave: Saving DNN Inference using Early Exit During Handovers in Mobile Edge Environment, ACM Transactions on Sensor Networks, 17:3, (1-28), Online publication date: 31-Aug-2021.

Wißmann T, Deifel H, Milius S and Schröder L (2021). From generic partition refinement to weighted tree automata minimization, Formal Aspects of Computing, 33:4-5, (695-727), Online publication date: 1-Aug-2021.

López-Martínez A, Mukhopadhyay S and Nanongkai D Work-Optimal Parallel Minimum Cuts for Non-Sparse Graphs Proceedings of the 33rd ACM Symposium on Parallelism in Algorithms and Architectures, (351-361)

Ahmad Z, Chowdhury R, Das R, Ganapathi P, Gregory A and Zhu Y Fast Stencil Computations using Fast Fourier Transforms Proceedings of the 33rd ACM Symposium on Parallelism in Algorithms and Architectures, (8-21)

Ahmad Z, Chowdhury R, Das R, Ganapathi P, Gregory A and Javanmard M Low-Span Parallel Algorithms for the Binary-Forking Model Proceedings of the 33rd ACM Symposium on Parallelism in Algorithms and Architectures, (22-34)

Takai S (2021). A general framework for diagnosis of discrete event systems subject to sensor failures, Automatica (Journal of IFAC), 129:C, Online publication date: 1-Jul-2021.

Whitley D, Chicano F and Aguirre H Quadratization of gray coded representations, long path problems and needle functions Proceedings of the Genetic and Evolutionary Computation Conference, (644-651)

Salehi A, Coninx A and Doncieux S BR-NS Proceedings of the Genetic and Evolutionary Computation Conference, (172-179)

Paradis A, Bichsel B, Steffen S and Vechev M Unqomp: synthesizing uncomputation in Quantum circuits Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, (222-236)

Augustine J, Shetiya S, Esfandiari M, Basu Roy S and Das G A Generalized Approach for Reducing Expensive Distance Calls for A Broad Class of Proximity Problems Proceedings of the 2021 International Conference on Management of Data, (142-154)

Tseng T, Dhulipala L and Shun J Parallel Index-Based Structural Graph Clustering and Its Approximation Proceedings of the 2021 International Conference on Management of Data, (1851-1864)

Wang Y, Wang Q, Koehler H and Lin Y Query-by-Sketch: Scaling Shortest Path Graph Queries on Very Large Networks Proceedings of the 2021 International Conference on Management of Data, (1946-1958)

Kristensson P and Müllners T Design and Analysis of Intelligent Text Entry Systems with Function Structure Models and Envelope Analysis Proceedings of the 2021 CHI Conference on Human Factors in Computing Systems, (1-12)

Sun Y, Zhuang F, Zhu H, He Q and Xiong H Cost-Effective and Interpretable Job Skill Recommendation with Deep Reinforcement Learning Proceedings of the Web Conference 2021, (3827-3838)

Wu Y, Lian D, Gong N, Yin L, Yin M, Zhou J and Yang H Linear-Time Self Attention with Codeword Histogram for Efficient Recommendation Proceedings of the Web Conference 2021, (1262-1273)

Tang C, Liao J, Wang H, Sung C and Lin W ConceptGuide: Supporting Online Video Learning with Concept Map-based Recommendation of Learning Path Proceedings of the Web Conference 2021, (2757-2768)

Chikhi R, Holub J and Medvedev P (2021). Data Structures to Represent a Set of k-long DNA Sequences, ACM Computing Surveys, 54:1, (1-22), Online publication date: 1-Apr-2021.

Kianian S and Rostamnia M (2021). An efficient path-based approach for influence maximization in social networks, Expert Systems with Applications: An International Journal, 167:C, Online publication date: 1-Apr-2021.

Burhan H, Attea B, Abbood A, Abbas M and Al-Ani M (2021). Evolutionary multi-objective set cover problem for task allocation in the Internet of Things, Applied Soft Computing, 102:C, Online publication date: 1-Apr-2021.

Zhang Y, Liu X, Ling Y, Yang M and Huang H (2021). Continuous and discrete zeroing dynamics models using JMP function array and design formula for solving time-varying Sylvester-transpose matrix inequality, Numerical Algorithms, 86:4, (1591-1614), Online publication date: 1-Apr-2021.

Anselma L, Mazzei A, Piovesan L and Terenziani P (2021). Reasoning and querying bounds on differences with layered preferences, International Journal of Intelligent Systems, 36:5, (1998-2035), Online publication date: 31-Mar-2021.

Jiang L, Tan R and Easwaran A (2020). Resilience Bounds of Network Clock Synchronization with Fault Correction, ACM Transactions on Sensor Networks, 16:4, (1-30), Online publication date: 30-Nov-2020.

Ghzouli R, Berger T, Johnsen E, Dragule S and Wąsowski A Behavior trees in action: a study of robotics applications Proceedings of the 13th ACM SIGPLAN International Conference on Software Language Engineering, (196-209)

Kelly T (2020). A penny in every fuse box, ACM Inroads, 11:4, (52-53), Online publication date: 12-Nov-2020.

Knop D, Koutecký M and Mnich M (2019). Combinatorial n-fold integer programming and applications, Mathematical Programming: Series A and B, 184:1-2, (1-34), Online publication date: 1-Nov-2020.

Guttmann W Verifying the Correctness of Disjoint-Set Forests with Kleene Relation Algebras Relational and Algebraic Methods in Computer Science, (134-151)

Jiang J, Li Z, Ju C and Wang W MARU Proceedings of the 29th ACM International Conference on Information & Knowledge Management, (575-584)

Xian Y, Fu Z, Zhao H, Ge Y, Chen X, Huang Q, Geng S, Qin Z, de Melo G, Muthukrishnan S and Zhang Y CAFE Proceedings of the 29th ACM International Conference on Information & Knowledge Management, (1645-1654)

Yan J, Xu Z, Tiwana B and Chatterjee S Ads Allocation in Feed via Constrained Optimization Proceedings of the 26th ACM SIGKDD International Conference on Knowledge Discovery & Data Mining, (3386-3394)

Konar A and Sidiropoulos N Mining Large Quasi-cliques with Quality Guarantees from Vertex Neighborhoods Proceedings of the 26th ACM SIGKDD International Conference on Knowledge Discovery & Data Mining, (577-587)

Fujiwara Y, Kumagai A, Kanai S, Ida Y and Ueda N Efficient Algorithm for the b-Matching Graph Proceedings of the 26th ACM SIGKDD International Conference on Knowledge Discovery & Data Mining, (187-197)

Liénardy S Learning Computer Programming around a CAFÉ Proceedings of the 2020 ACM Conference on International Computing Education Research, (318-319)

Feng Y, Shi Q, Gao X, Wan J, Fang C and Chen Z DeepGini: prioritizing massive tests to enhance the robustness of deep neural networks Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, (177-188)

Lokshtanov D, Panolan F, Saurabh S, Sharma R and Zehavi M (2020). Covering Small Independent Sets and Separators with Applications to Parameterized Algorithms, ACM Transactions on Algorithms, 16:3, (1-31), Online publication date: 26-Jun-2020.

Whitley D, Aguirre H and Sutton A Understanding transforms of pseudo-boolean functions Proceedings of the 2020 Genetic and Evolutionary Computation Conference, (760-768)

McGlohon N, Ross R and Carothers C Evaluation of Link Failure Resilience in Multirail Dragonfly-Class Networks through Simulation Proceedings of the 2020 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation, (105-116)

Chatterjee K, Fu H, Goharshady A and Goharshady E Polynomial invariant generation for non-deterministic recursive programs Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, (672-687)

Besta M, Fischer M, Ben-Nun T, Stanojevic D, Licht J and Hoefler T (2020). Substream-Centric Maximum Matchings on FPGA, ACM Transactions on Reconfigurable Technology and Systems, 13:2, (1-33), Online publication date: 10-Jun-2020.

Khamesi A, Silvestri S, Baker D and Paola A (2020). Perceived-Value-driven Optimization of Energy Consumption in Smart Homes, ACM Transactions on Internet of Things, 1:2, (1-26), Online publication date: 31-May-2020.

Li W, Jiang D, Xiong J and Bao Y HiLSM Proceedings of the 17th ACM International Conference on Computing Frontiers, (208-216)

Lockerman E, Feldmann A, Bakhshalipour M, Stanescu A, Gupta S, Sanchez D and Beckmann N Livia Proceedings of the Twenty-Fifth International Conference on Architectural Support for Programming Languages and Operating Systems, (417-433)

Poyiadzi R, Sokol K, Santos-Rodriguez R, De Bie T and Flach P FACE Proceedings of the AAAI/ACM Conference on AI, Ethics, and Society, (344-350)

Ye Z, Yu M and Liu Y (2019). NP-completeness of optimal planning problem for modular robots, Autonomous Robots, 43:8, (2261-2270), Online publication date: 1-Dec-2019.

Li M, Liu W, Guan N, Xie Y and Ye Y (2019). Hardware-Software Collaborative Thermal Sensing in Optical Network-on-Chip--based Manycore Systems, ACM Transactions on Embedded Computing Systems, 18:6, (1-24), Online publication date: 30-Nov-2019.

Jabal A, Davari M, Bertino E, Makaya C, Calo S, Verma D, Russo A and Williams C (2019). Methods and Tools for Policy Analysis, ACM Computing Surveys, 51:6, (1-35), Online publication date: 30-Nov-2019.

Backhouse R An Analysis of Repeated Graph Search Mathematics of Program Construction, (298-328)

Gupta N, Gupta T, Samaddar S and Roy S WebReLog: A Web-based Tool for Disaster Relief Logistics with Vehicle Route Planning 2019 IEEE International Conference on Systems, Man and Cybernetics (SMC), (1012-1017)

Oleshchuk V Secure and Privacy Preserving Pattern Matching in Distributed Cloud-based Data Storage 2019 10th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications (IDAACS), (820-823)

Rivas D and Ribas-Xirgo L Agent-based Model for Transport Order Assignment in AGV Systems 2019 24th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), (947-954)

Dey S, Zhang P, Sow D and Ng K PerDREP Proceedings of the 25th ACM SIGKDD International Conference on Knowledge Discovery & Data Mining, (1258-1268)

Elmasry A, Kahla M, Ahdy F and Hashem M (2019). Red---black trees with constant update time, Acta Informatica, 56:5, (391-404), Online publication date: 1-Jul-2019.

Cenciarelli P, Gorla D and Salvo I (2019). Depletable channels, Acta Informatica, 56:5, (405-431), Online publication date: 1-Jul-2019.

Sarkhel R and Nandi A Visual Segmentation for Information Extraction from Heterogeneous Visually Rich Documents Proceedings of the 2019 International Conference on Management of Data, (247-262)

Sommer J, Boehm M, Evfimievski A, Reinwald B and Haas P MNC Proceedings of the 2019 International Conference on Management of Data, (1607-1623)

Pach J, Rubin N and Tardos G Planar point sets determine many pairwise crossing segments Proceedings of the 51st Annual ACM SIGACT Symposium on Theory of Computing, (1158-1166)

Tangwongsan K, Hirzel M and Schneider S (2019). Optimal and general out-of-order sliding-window aggregation, Proceedings of the VLDB Endowment, 12:10, (1167-1180), Online publication date: 1-Jun-2019.

Fuentes Carranza J and Fong P Brokering Policies and Execution Monitors for IoT Middleware Proceedings of the 24th ACM Symposium on Access Control Models and Technologies, (49-60)

Jung J, Iyer R and Vogel D Automating the Intentional Encoding of Human-Designable Markers Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems, (1-11)

Shah V, Silvestri S, Luciano B and Das S X-CHANT: A Diverse DSA based Architecture for Next-generation Challenged Networks IEEE INFOCOM 2019 - IEEE Conference on Computer Communications, (586-594)

Raß A, Schreiner J and Wanka R Runtime Analysis of Discrete Particle Swarm Optimization Applied to Shortest Paths Computation Evolutionary Computation in Combinatorial Optimization, (115-130)

Sahoo A, Hall T and Hagwood C Optimal Dynamic Spectrum Access Scheme for Utilizing White Space in LTE Systems 2019 IEEE Wireless Communications and Networking Conference (WCNC), (1-8)

Ramezanian S, Meskanen T and Niemi V Privacy preserving 2-party queries on bipartite graphs with private set intersection Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, (1867-1870)

Lunardi W, Voos H and Cherri L An effective hybrid imperialist competitive algorithm and tabu search for an extended flexible job shop scheduling problem Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, (204-211)

Shan Z, Ren K, Blanton M and Wang C (2018). Practical Secure Computation Outsourcing, ACM Computing Surveys, 51:2, (1-40), Online publication date: 31-Mar-2019.

Nipkow T and Brinkop H (2019). Amortized Complexity Verified, Journal of Automated Reasoning, 62:3, (367-391), Online publication date: 1-Mar-2019.

Farazmanesh D and Tavakoli A (2019). Morphological Decomposition and Compression of Binary Images via a Minimum Set Cover Algorithm, Journal of Mathematical Imaging and Vision, 61:1, (71-83), Online publication date: 1-Jan-2019.

Shah V, Bhattacharjee S, Silvestri S and Das S (2018). Designing Green Communication Systems for Smart and Connected Communities via Dynamic Spectrum Access, ACM Transactions on Sensor Networks, 14:3-4, (1-32), Online publication date: 30-Nov-2018.

Vella F, Bernaschi M and Carbone G (2018). Dynamic Merging of Frontiers for Accelerating the Evaluation of Betweenness Centrality, ACM Journal of Experimental Algorithmics, 23, (1-19), Online publication date: 15-Nov-2018.

Kumar P, Agarwal A and Bhagvati C (2018). Isolated structural error analysis of printed mathematical expressions, Pattern Analysis & Applications, 21:4, (1097-1107), Online publication date: 1-Nov-2018.

Wu X, Liu X, Chen Y, Shen J and Zhao W (2018). A graph based superpixel generation algorithm, Applied Intelligence, 48:11, (4485-4496), Online publication date: 1-Nov-2018.

Liu H, Ibrahim M, Kayiran O, Pai S and Jog A Architectural support for efficient large-scale automata processing Proceedings of the 51st Annual IEEE/ACM International Symposium on Microarchitecture, (908-920)

Chen L and Liu J EasyGO Proceedings of the 24th Annual International Conference on Mobile Computing and Networking, (835-837)

Xiao M, Wang S, Zhou C, Liu L, Li Z, Liu Y and Chen S MiniView Layout for Bandwidth-Efficient 360-Degree Video Proceedings of the 26th ACM international conference on Multimedia, (914-922)

Ciesielski K, Falcão A and Miranda P (2018). Path-Value Functions for Which Dijkstra's Algorithm Returns Optimal Mapping, Journal of Mathematical Imaging and Vision, 60:7, (1025-1036), Online publication date: 1-Sep-2018.

Zhao H, Zhang H, Xin S, Deng Y, Tu C, Wang W, Cohen-Or D and Chen B (2018). DSCarver, ACM Transactions on Graphics, 37:4, (1-14), Online publication date: 31-Aug-2018.

Ara H, Behrouzian A, Hendriks M, Geilen M, Goswami D and Basten T (2018). Scalable Analysis for Multi-Scale Dataflow Models, ACM Transactions on Embedded Computing Systems, 17:4, (1-26), Online publication date: 31-Jul-2018.

Guha S, Kupferman O and Vardi G Multi-Player Flow Games Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, (104-112)

Parque V and Miyashita T Towards bundling minimal trees in polygonal maps Proceedings of the Genetic and Evolutionary Computation Conference Companion, (1813-1820)

Sheibani K (2018). A Very Fast Heuristic for Combinatorial Optimization With Specific Application to Priority Rule Sequencing in Operations Management, International Journal of Operations Research and Information Systems, 9:3, (77-89), Online publication date: 1-Jul-2018.

Li B, Khlif-Bouassida M and Toguyéni A (2018). On–The–Fly Diagnosability Analysis of Bounded and Unbounded Labeled Petri Nets Using Verifier Nets, International Journal of Applied Mathematics and Computer Science, 28:2, (269-281), Online publication date: 1-Jun-2018.

Vinogradov D (2018). On Object Representation by Bit Strings for the VKF-Method, Automatic Documentation and Mathematical Linguistics, 52:3, (113-116), Online publication date: 1-May-2018.

Yin B, Cao J, Kang Y, Lu X and Jiang X (2018). A novel POMDP-based server RAM caching algorithm for VoD systems, Multimedia Tools and Applications, 77:10, (13023-13045), Online publication date: 1-May-2018.

Kupferman O and Vardi G (2018). On relative and probabilistic finite counterability, Formal Methods in System Design, 52:2, (117-146), Online publication date: 1-Apr-2018.

Li L, Liu J, Sun Y, Xu G, Yuan J and Zhong L (2018). Unsupervised keyword extraction from microblog posts via hashtags, Journal of Web Engineering, 17:1-2, (93-120), Online publication date: 1-Mar-2018.

Kulkarni S, Patil R, Krishnamoorthy M, Ernst A and Ranade A (2018). A new two-stage heuristic for the recreational vehicle scheduling problem, Computers and Operations Research, 91:C, (59-78), Online publication date: 1-Mar-2018.

Barthels H, Copik M and Bientinesi P The generalized matrix chain algorithm Proceedings of the 2018 International Symposium on Code Generation and Optimization, (138-148)

Zhou G, Luo P, Cao R, Xiao Y, Lin F, Chen B and He Q Tree-structured neural machine for linguistics-aware sentence generation Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence and Thirtieth Innovative Applications of Artificial Intelligence Conference and Eighth AAAI Symposium on Educational Advances in Artificial Intelligence, (5722-5729)

Wang H, Wang J, Wang J, Zhao M, Zhang W, Zhang F, Xie X and Guo M GraphGAN Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence and Thirtieth Innovative Applications of Artificial Intelligence Conference and Eighth AAAI Symposium on Educational Advances in Artificial Intelligence, (2508-2515)

Carlson D (2018). Sophomores meet the traveling salesperson problem, Journal of Computing Sciences in Colleges, 33:3, (126-133), Online publication date: 1-Jan-2018.

Gandy A and Veraart L (2017). A Bayesian Methodology for Systemic Risk Assessment in Financial Networks, Management Science, 63:12, (4428-4446), Online publication date: 1-Dec-2017.

Jia Z, Kwon Y, Shipman G, McCormick P, Erez M and Aiken A (2017). A distributed multi-GPU system for fast graph processing, Proceedings of the VLDB Endowment, 11:3, (297-310), Online publication date: 1-Nov-2017.

Boejko W, Gnatowski A, Pempera J and Wodecki M (2017). Parallel tabu search for the cyclic job shop scheduling problem, Computers and Industrial Engineering, 113:C, (512-524), Online publication date: 1-Nov-2017.

Maleki H, Khanduzi R and Akbari R (2017). A novel hybrid algorithm for solving continuous single-objective defensive location problem, Neural Computing and Applications, 28:11, (3323-3340), Online publication date: 1-Nov-2017.

Hwang H, Janson S and Tsai T (2017). Exact and Asymptotic Solutions of a Divide-and-Conquer Recurrence Dividing at Half, ACM Transactions on Algorithms, 13:4, (1-43), Online publication date: 31-Oct-2017.

Jo H and Park H (2017). Fast prime number generation algorithms on smart mobile devices, Cluster Computing, 20:3, (2167-2175), Online publication date: 1-Sep-2017.

Belardinelli F and Herzig A Dynamic logic for data-aware systems Proceedings of the 26th International Joint Conference on Artificial Intelligence, (821-827)

Zhang L, Wu Y and Wu X Achieving Non-Discrimination in Data Release Proceedings of the 23rd ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, (1335-1344)

Li X, Cheng Y, Cong G and Chen L Discovering Pollution Sources and Propagation Patterns in Urban Area Proceedings of the 23rd ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, (1863-1872)

Hendriks M, Verriet J, Basten T, Theelen B, Brassé M and Somers L (2017). Analyzing execution traces, International Journal on Software Tools for Technology Transfer (STTT), 19:4, (487-510), Online publication date: 1-Aug-2017.

Barthels H and Bientinesi P Linnea Proceedings of the International Workshop on Parallel Symbolic Computation, (1-3)

Mehdi M, Raza I and Hussain S (2017). A game theory based trust model for Vehicular Ad hoc Networks (VANETs), Computer Networks: The International Journal of Computer and Telecommunications Networking, 121:C, (152-172), Online publication date: 5-Jul-2017.

Eenberg K, Larsen K and Yu H DecreaseKeys are expensive for external memory priority queues Proceedings of the 49th Annual ACM SIGACT Symposium on Theory of Computing, (1081-1093)

Gan E and Bailis P Scalable Kernel Density Classification via Threshold-Based Pruning Proceedings of the 2017 ACM International Conference on Management of Data, (945-959)

Ramanathan R, Ciftcioglu E, Samanta A, Urgaonkar R and La Porta T (2017). Symptotics, Wireless Networks, 23:4, (1063-1083), Online publication date: 1-May-2017.

Chow K and Zhu W Software Performance Analytics in the Cloud Proceedings of the 8th ACM/SPEC on International Conference on Performance Engineering, (419-421)

Sheibani K (2017). An Incorporation of the Fuzzy Greedy Search Heuristic With Evolutionary Approaches for Combinatorial Optimization in Operations Management, International Journal of Applied Evolutionary Computation, 8:2, (58-72), Online publication date: 1-Apr-2017.

Liang Y and Zhang S (2017). Embedding parallelizable virtual networks, Computer Communications, 102:C, (47-57), Online publication date: 1-Apr-2017.

Hung C, Lin C and Wu P (2017). An Efficient GPU-Based Multiple Pattern Matching Algorithm for Packet Filtering, Journal of Signal Processing Systems, 86:2-3, (347-358), Online publication date: 1-Mar-2017.

Park Y, Park K, Kim J and Jeong H (2017). Fast Fourier transform benchmark on X86 Xeon system for multimedia data processing, Multimedia Tools and Applications, 76:4, (6015-6030), Online publication date: 1-Feb-2017.

Georgiadis L, Italiano G, Laura L and Parotsidis N (2016). 2-Edge Connectivity in Directed Graphs, ACM Transactions on Algorithms, 13:1, (1-24), Online publication date: 21-Dec-2016.

Maleki E and Mirjalily G (2016). Fault-tolerant interference-aware topology control in multi-radio multi-channel wireless mesh networks, Computer Networks: The International Journal of Computer and Telecommunications Networking, 110:C, (206-222), Online publication date: 9-Dec-2016.

Namkoong H and Duchi J Stochastic gradient methods for distributionally robust optimization with f-divergences Proceedings of the 30th International Conference on Neural Information Processing Systems, (2216-2224)

Jansson J, Sung W, Vu H and Yiu S (2016). Faster Algorithms for Computing the R* Consensus Tree, Algorithmica, 76:4, (1224-1244), Online publication date: 1-Dec-2016.

Toko Worou B and Galtier J (2016). Fast approximation for computing the fractional arboricity and extraction of communities of a graph, Discrete Applied Mathematics, 213:C, (179-195), Online publication date: 20-Nov-2016.

Jain T and Schneider K Verifying the concentration property of permutation networks by BDDs Proceedings of the 14th ACM-IEEE International Conference on Formal Methods and Models for System Design, (43-53)

Chentsov A and Chentsov P (2016). Routing under constraints, Automation and Remote Control, 77:11, (1957-1974), Online publication date: 1-Nov-2016.

Gainanov D, Konygin A and Rasskazova V (2016). Modelling railway freight traffic using the methods of graph theory and combinatorial optimization, Automation and Remote Control, 77:11, (1928-1943), Online publication date: 1-Nov-2016.

Hirsch M, Ish-Shalom A and Klein S (2016). Optimal partitioning of data chunks in deduplication systems, Discrete Applied Mathematics, 212:C, (104-114), Online publication date: 30-Oct-2016.

Barthels H A compiler for linear algebra operations Companion Proceedings of the 2016 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity, (49-50)

Alawneh L, Hamou-Lhadj A and Hassine J (2016). Segmenting large traces of inter-process communication with a focus on high performance computing systems, Journal of Systems and Software, 120:C, (1-16), Online publication date: 1-Oct-2016.

Karathanasopoulos N and Kress G (2016). Two dimensional modeling of helical structures, an application to simple strands, Computers and Structures, 174:C, (79-84), Online publication date: 1-Oct-2016.

Cai F, Reinanda R and Rijke M (2016). Diversifying Query Auto-Completion, ACM Transactions on Information Systems, 34:4, (1-33), Online publication date: 14-Sep-2016.

Willemse E and Joubert J (2016). Splitting procedures for the Mixed Capacitated Arc Routing Problem under Time restrictions with Intermediate Facilities, Operations Research Letters, 44:5, (569-574), Online publication date: 1-Sep-2016.

van Riessen B, Negenborn R and Dekker R (2016). Real-time container transport planning with decision trees based on offline obtained optimal solutions, Decision Support Systems, 89:C, (1-16), Online publication date: 1-Sep-2016.

Pascali M, Giorgi D, Bastiani L, Buzzigoli E, Henriquez P, Matuszewski B, Morales M and Colantonio S (2016). Face morphology, Computers in Biology and Medicine, 76:C, (238-249), Online publication date: 1-Sep-2016.

Sui X, Lenharth A, Fussell D and Pingali K (2016). Proactive Control of Approximate Programs, ACM SIGARCH Computer Architecture News, 44:2, (607-621), Online publication date: 29-Jul-2016.

WU Y, Zhu X, Li L, Fan W, Jin R and Zhang X (2016). Mining Dual Networks, ACM Transactions on Knowledge Discovery from Data, 10:4, (1-37), Online publication date: 27-Jul-2016.

Xia Y, Leung H and Kamel M (2016). A discrete-time learning algorithm for image restoration using a novel L2-norm noise constrained estimation, Neurocomputing, 198:C, (155-170), Online publication date: 19-Jul-2016.

Bender M, Demaine E, Ebrahimi R, Fineman J, Johnson R, Lincoln A, Lynch J and McCauley S Cache-Adaptive Analysis Proceedings of the 28th ACM Symposium on Parallelism in Algorithms and Architectures, (135-144)

Lee M and Sheu J (2016). An efficient routing algorithm based on segment routing in software-defined networking, Computer Networks: The International Journal of Computer and Telecommunications Networking, 103:C, (44-55), Online publication date: 5-Jul-2016.

Čomić L Morse Chain Complex from Forman Gradient in 3D with $$\mathbb {Z}_2$$Z2 Coefficients Proceedings of the 6th International Workshop on Computational Topology in Image Context - Volume 9667, (42-52)

Sui X, Lenharth A, Fussell D and Pingali K (2016). Proactive Control of Approximate Programs, ACM SIGPLAN Notices, 51:4, (607-621), Online publication date: 9-Jun-2016.

Yasui Y, Fujisawa K, Goh E, Baron J, Sugiura A and Uchiyama T NUMA-aware Scalable Graph Traversal on SGI UV Systems Proceedings of the ACM Workshop on High Performance Graph Processing, (19-26)

Salinas S, Luo C, Liao W and Li P Efficient Secure Outsourcing of Large-scale Quadratic Programs Proceedings of the 11th ACM on Asia Conference on Computer and Communications Security, (281-292)

Lambert T, Bénard P and Guennebaud G Multi-resolution meshes for feature-aware hardware tessellation Proceedings of the 37th Annual Conference of the European Association for Computer Graphics, (253-262)

Bae J, Bae S, Moon I and Kim T (2016). Efficient Flattening Algorithm for Hierarchical and Dynamic Structure Discrete Event Models, ACM Transactions on Modeling and Computer Simulation, 26:4, (1-25), Online publication date: 2-May-2016.

Wen Y (2016). Energy-aware dynamical hosts and tasks assignment for cloud computing, Journal of Systems and Software, 115:C, (144-156), Online publication date: 1-May-2016.

Lenharth A, Nguyen D and Pingali K (2016). Parallel graph analytics, Communications of the ACM, 59:5, (78-87), Online publication date: 26-Apr-2016.

Sui X, Lenharth A, Fussell D and Pingali K Proactive Control of Approximate Programs Proceedings of the Twenty-First International Conference on Architectural Support for Programming Languages and Operating Systems, (607-621)

Sankar A, Chakraborty S and Nandivada V Improved MHP Analysis Proceedings of the 25th International Conference on Compiler Construction, (207-217)

Lacassagne L, Cabaret L, Etiemble D, Hebache F and Petreto A A new SIMD iterative connected component labeling algorithm Proceedings of the 3rd Workshop on Programming Models for SIMD/Vector Processing, (1-8)

Colombo F, Cordone R and Lulli G (2016). The multimode covering location problem, Computers and Operations Research, 67:C, (25-33), Online publication date: 1-Mar-2016.

Chassaing M, Duhamel C and Lacomme P (2016). An ELS-based approach with dynamic probabilities management in local search for the Dial-A-Ride Problem, Engineering Applications of Artificial Intelligence, 48:C, (119-133), Online publication date: 1-Feb-2016.

Faisal M, Mathkour H and Alsulaiman M (2016). AntStar, Scientific Programming, 2016, (2-2), Online publication date: 1-Jan-2016.

Bhushan A and Sajith G An I/O Efficient Algorithm for Minimum Spanning Trees Proceedings of the 9th International Conference on Combinatorial Optimization and Applications - Volume 9486, (499-509)

Chauvin B, Gardy D and Mailler C (2015). A sprouting tree model for random boolean functions, Random Structures & Algorithms, 47:4, (635-662), Online publication date: 1-Dec-2015.

Sen A, Mazumder A, Banerjee S, Das A, Zhou C and Shirazipourazad S (2015). Region-based fault-tolerant distributed file storage system design in networks, Networks, 66:4, (380-395), Online publication date: 1-Dec-2015.

Richter S, Alvarez V and Dittrich J (2015). A seven-dimensional analysis of hashing methods and its implications on query processing, Proceedings of the VLDB Endowment, 9:3, (96-107), Online publication date: 1-Nov-2015.

Bing Li and Schlichtmann U (2015). Statistical Timing Analysis and Criticality Computation for Circuits With Post-Silicon Clock Tuning Elements, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 34:11, (1784-1797), Online publication date: 1-Nov-2015.

Fuchun Liu (2015). Safe Diagnosability of Fuzzy Discrete-Event Systems and a Polynomial-Time Verification, IEEE Transactions on Fuzzy Systems, 23:5, (1534-1544), Online publication date: 1-Oct-2015.

Hata T, Kawasaki H, Kurasawa H, Sato H, Nakamura M and Tsutsui A Top of worlds Adjunct Proceedings of the 2015 ACM International Joint Conference on Pervasive and Ubiquitous Computing and Proceedings of the 2015 ACM International Symposium on Wearable Computers, (1405-1412)

(2015). Speeding up the cyclic edit distance using LAESA with early abandon, Pattern Recognition Letters, 62:C, (1-7), Online publication date: 1-Sep-2015.

Seshadri K, Mercy Shalinie S and Kollengode C (2015). Design and evaluation of a parallel algorithm for inferring topic hierarchies, Information Processing and Management: an International Journal, 51:5, (662-676), Online publication date: 1-Sep-2015.

Yu J (2015). A model for tracing cross-referenced statement validity, Computer Standards & Interfaces, 41:C, (10-16), Online publication date: 1-Sep-2015.

Chaudhary R, Fernández-Baca D and Burleigh J Constructing and Employing Tree Alignment Graphs for Phylogenetic Synthesis Proceedings of the Second International Conference on Algorithms for Computational Biology - Volume 9199, (97-108)

Miller B, Beard M, Wolfe P and Bliss N (2015). A Spectral Framework for Anomalous Subgraph Detection, IEEE Transactions on Signal Processing, 63:16, (4191-4206), Online publication date: 1-Aug-2015.

Werth T, Büttner S and Krumke S (2015). Robust bottleneck routing games, Networks, 66:1, (57-66), Online publication date: 1-Aug-2015.

Qian C, Yu Y and Zhou Z On constrained boolean pareto optimization Proceedings of the 24th International Conference on Artificial Intelligence, (389-395)

Singhee A, Lavin M, Finkler U, Heng F, Qu J and Hirsch S HAMS Proceedings of the 2015 ACM Sixth International Conference on Future Energy Systems, (171-178)

Rybicki J and Suomela J Exact Bounds for Distributed Graph Colouring Post-Proceedings of the 22nd International Colloquium on Structural Information and Communication Complexity - Volume 9439, (46-60)

Whitley D Mk Landscapes, NK Landscapes, MAX-kSAT Proceedings of the 2015 Annual Conference on Genetic and Evolutionary Computation, (927-934)

Corus D, He J, Jansen T, Oliveto P, Sudholt D and Zarges C On Easiest Functions for Somatic Contiguous Hypermutations And Standard Bit Mutations Proceedings of the 2015 Annual Conference on Genetic and Evolutionary Computation, (1399-1406)

Weissman S, Ayhan S, Bradley J and Lin J Identifying Duplicate and Contradictory Information in Wikipedia Proceedings of the 15th ACM/IEEE-CS Joint Conference on Digital Libraries, (57-60)

Larsen K, Nelson J and Nguyên H Time Lower Bounds for Nonadaptive Turnstile Streaming Algorithms Proceedings of the forty-seventh annual ACM symposium on Theory of Computing, (803-812)

Green O, Dukhan M and Vuduc R Branch-Avoiding Graph Algorithms Proceedings of the 27th ACM symposium on Parallelism in Algorithms and Architectures, (212-223)

Kobayashi T, Aoyama T, Sekiyama K and Fukuda T (2015). Selection Algorithm for Locomotion Based on the Evaluation of Falling Risk, IEEE Transactions on Robotics, 31:3, (750-765), Online publication date: 1-Jun-2015.

Der-Wei Yang , Li-Chia Chu , Chun-Wei Chen , Jonas Wang and Ming-Der Shieh (2015). Depth-Reliability-Based Stereo-Matching Algorithm and Its VLSI Architecture Design, IEEE Transactions on Circuits and Systems for Video Technology, 25:6, (1038-1050), Online publication date: 1-Jun-2015.

Müller I, Sanders P, Lacurie A, Lehner W and Färber F Cache-Efficient Aggregation Proceedings of the 2015 ACM SIGMOD International Conference on Management of Data, (1123-1136)

Liu W, Salman E, Sitik C and Taskin B Clock Skew Scheduling in the Presence of Heavily Gated Clock Networks Proceedings of the 25th edition on Great Lakes Symposium on VLSI, (283-288)

Yu H, Hsieh C, Yun H, Vishwanathan S and Dhillon I A Scalable Asynchronous Distributed Algorithm for Topic Modeling Proceedings of the 24th International Conference on World Wide Web, (1340-1350)

Chatterjee K, Ibsen-Jensen R, Pavlogiannis A and Goyal P (2015). Faster Algorithms for Algebraic Path Properties in Recursive State Machines with Constant Treewidth, ACM SIGPLAN Notices, 50:1, (97-109), Online publication date: 11-May-2015.

Piovarči M, Madaras M and Ďurikovič R Physically inspired stretching for skinning animation of non-rigid bodies Proceedings of the 31st Spring Conference on Computer Graphics, (47-53)

Santana V and Baranauskas M (2015). WELFIT, International Journal of Human-Computer Studies, 76:C, (40-49), Online publication date: 1-Apr-2015.

Grandin M (2015). Data structures and algorithms for high-dimensional structured adaptive mesh refinement, Advances in Engineering Software, 82:C, (75-86), Online publication date: 1-Apr-2015.

Yanovich D (2015). Compact representation of polynomials for algorithms for computing Gröbner and involutive bases, Programming and Computing Software, 41:2, (126-130), Online publication date: 1-Mar-2015.

Bei Yu , Kun Yuan , Duo Ding and Pan D (2015). Layout Decomposition for Triple Patterning Lithography, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 34:3, (433-446), Online publication date: 1-Mar-2015.

Caluori U and Simon K (2015). DETEXTIVE optical character recognition with pattern matching on-the-fly, Pattern Recognition, 48:3, (827-836), Online publication date: 1-Mar-2015.

Isaiah P and Shima T (2015). Motion planning algorithms for the Dubins Travelling Salesperson Problem, Automatica (Journal of IFAC), 53:C, (247-255), Online publication date: 1-Mar-2015.

Bhattacharyya M and Bandyopadhyay S (2015). Finding quasi core with simulated stacked neural networks, Information Sciences: an International Journal, 294:C, (1-14), Online publication date: 10-Feb-2015.

Kwiatkowski Ł and Verhoef C (2015). Reducing operational costs through MIPS management, Science of Computer Programming, 98:P4, (551-588), Online publication date: 1-Feb-2015.

Ruiz-Rivera A, Chin K and Soh S (2015). A novel framework to mitigate the negative impacts of green techniques on BGP, Journal of Network and Computer Applications, 48:C, (22-34), Online publication date: 1-Feb-2015.

Tinós R, Whitley D and Chicano F Partition Crossover for Pseudo-Boolean Optimization Proceedings of the 2015 ACM Conference on Foundations of Genetic Algorithms XIII, (137-149)

Chatterjee K, Ibsen-Jensen R, Pavlogiannis A and Goyal P Faster Algorithms for Algebraic Path Properties in Recursive State Machines with Constant Treewidth Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, (97-109)

Lee H, Hwang H, Le Duc T, Shon M, Choo H and Kim D Restructuring binomial trees for delay-aware and energy-efficient data aggregation in wireless sensor networks Proceedings of the 9th International Conference on Ubiquitous Information Management and Communication, (1-4)

Georgiadis L, Italiano G, Laura L and Parotsidis N 2-edge connectivity in directed graphs Proceedings of the twenty-sixth annual ACM-SIAM symposium on Discrete algorithms, (1988-2005)

Chilukuri S and Sahoo A Delay-aware TDMA Scheduling for Multi-Hop Wireless Networks Proceedings of the 2015 International Conference on Distributed Computing and Networking, (1-10)

P. P, Agarwal A and Bhagvati C A Knowledge-Based Design for Structural Analysis of Printed Mathematical Expressions Proceedings of the 8th International Workshop on Multi-disciplinary Trends in Artificial Intelligence - Volume 8875, (112-123)

Deora M and Sharma S Challenges & Effects of increasing Computational Speed for ICT Applications Proceedings of the 2014 International Conference on Information and Communication Technology for Competitive Strategies, (1-5)

Tosi A, Hauberg S, Vellido A and Lawrence N Metrics for probabilistic geometries Proceedings of the Thirtieth Conference on Uncertainty in Artificial Intelligence, (800-808)

Alkhalaf M, Aydin A and Bultan T Semantic differential repair for input validation and sanitization Proceedings of the 2014 International Symposium on Software Testing and Analysis, (225-236)

Rahat A, Everson R and Fieldsend J Multi-objective routing optimisation for battery-powered wireless sensor mesh networks Proceedings of the 2014 Annual Conference on Genetic and Evolutionary Computation, (1175-1182)

Nilakant K, Dalibard V, Roy A and Yoneki E PrefEdge Proceedings of International Conference on Systems and Storage, (1-12)

Yasui Y, Fujisawa K and Sato Y Fast and Energy-efficient Breadth-First Search on a Single NUMA System Proceedings of the 29th International Conference on Supercomputing - Volume 8488, (365-381)

Wang S, Wang Y and Wenger R The JS-graphs of Join and Split Trees Proceedings of the thirtieth annual symposium on Computational geometry, (539-548)

Javed M and Zdun U A systematic literature review of traceability approaches between software architecture and source code Proceedings of the 18th International Conference on Evaluation and Assessment in Software Engineering, (1-10)

He L, Kong L, Lin S, Ying S, Gu Y, He T and Liu C Reconfiguration-Assisted Charging in Large-Scale Lithium-Ion Battery Systems ICCPS '14: ACM/IEEE 5th International Conference on Cyber-Physical Systems (with CPS Week 2014), (60-71)

Chentsov A (2014). Problem of successive megalopolis traversal with the precedence conditions, Automation and Remote Control, 75:4, (728-744), Online publication date: 1-Apr-2014.

Friedler O, Kadry W, Morgenshtein A, Nahir A and Sokhin V Effective post-silicon failure localization using dynamic program slicing Proceedings of the conference on Design, Automation & Test in Europe, (1-6)

Arshad M, Kundu A, Bertino E, Madhavan K and Ghafoor A Security of graph data Proceedings of the 4th ACM conference on Data and application security and privacy, (223-234)

Czarnul P and Rościszewski P Optimization of Execution Time under Power Consumption Constraints in a Heterogeneous Parallel System with GPUs and CPUs Proceedings of the 15th International Conference on Distributed Computing and Networking - Volume 8314, (66-80)

Ma S, Cao Y, Fan W, Huai J and Wo T (2014). Strong simulation, ACM Transactions on Database Systems, 39:1, (1-46), Online publication date: 1-Jan-2014.

Hirsch M, Klein S and Toaff Y (2014). Improving deduplication techniques by accelerating remainder calculations, Discrete Applied Mathematics, 163, (307-315), Online publication date: 1-Jan-2014.

Cirillo P, Hüsler J and Muliere P (2013). Alarm Systems and Catastrophes from a Diverse Point of View, Methodology and Computing in Applied Probability, 15:4, (821-839), Online publication date: 1-Dec-2013.

Yuan K, Kuo C, Jiang J and Li M Encoding multi-valued functions for symmetry Proceedings of the International Conference on Computer-Aided Design, (771-778)

Natarajan A, Savoie L and Mittal N Concurrent Wait-Free Red Black Trees 15th International Symposium on Stabilization, Safety, and Security of Distributed Systems - Volume 8255, (45-60)

Kifetew F, Jin W, Tiella R, Orso A and Tonella P SBFR Proceedings of the 28th IEEE/ACM International Conference on Automated Software Engineering, (604-609)

Gudmundsson J, van Kreveld M and Staals F Algorithms for hotspot computation on trajectory data Proceedings of the 21st ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems, (134-143)

Ikeda K and Hontani A Probability of Perfect Reconstruction of Pareto Set in Multi-Objective Optimization Proceedings, Part II, of the 20th International Conference on Neural Information Processing - Volume 8227, (13-18)

Melo D and Lopes A Data visualization and relevance feedback applied to information retrieval Proceedings of the sixth workshop on Ph.D. students in information and knowledge management, (27-32)

Yeh S, Su M, Chen H and Lin C (2013). An efficient and secure approach for a cloud collaborative editing, Journal of Network and Computer Applications, 36:6, (1632-1641), Online publication date: 1-Nov-2013.

Bogdanov P and Singh A Accurate and scalable nearest neighbors in large networks based on effective importance Proceedings of the 22nd ACM international conference on Information & Knowledge Management, (1009-1018)

Srivastava S, Gulwani S and Foster J (2013). Template-based program verification and program synthesis, International Journal on Software Tools for Technology Transfer (STTT), 15:5-6, (497-518), Online publication date: 1-Oct-2013.

Kranakis E, MacQuarrie F and Morales Ponce O Approximation algorithms for the antenna orientation problem Proceedings of the 19th international conference on Fundamentals of Computation Theory, (225-235)

Doerr C and Blenn N Metric convergence in social network sampling Proceedings of the 5th ACM workshop on HotPlanet, (45-50)

Natanzon A and Bachmat E (2013). Dynamic Synchronous/Asynchronous Replication, ACM Transactions on Storage, 9:3, (1-19), Online publication date: 1-Aug-2013.

Zhao Y and Barbič J (2013). Interactive authoring of simulation-ready plants, ACM Transactions on Graphics, 32:4, (1-12), Online publication date: 21-Jul-2013.

Benazouz M and Munier-Kordon A Cyclo-static DataFlow phases scheduling optimization for buffer sizes minimization Proceedings of the 16th International Workshop on Software and Compilers for Embedded Systems, (3-12)

Drmota M and Szpankowski W (2013). A Master Theorem for Discrete Divide and Conquer Recurrences, Journal of the ACM, 60:3, (1-49), Online publication date: 1-Jun-2013.

Salodkar N, Rajagopalan S, Bhattacharya S and Batterywala S Automatic design rule correction in presence of multiple grids and track patterns Proceedings of the 50th Annual Design Automation Conference, (1-6)

Nistor A, Song L, Marinov D and Lu S Toddler: detecting performance problems via similar memory-access patterns Proceedings of the 2013 International Conference on Software Engineering, (562-571)

Gremme G, Steinbiss S and Kurtz S (2013). GenomeTools, IEEE/ACM Transactions on Computational Biology and Bioinformatics, 10:3, (645-656), Online publication date: 1-May-2013.

Setty S, Braun B, Vu V, Blumberg A, Parno B and Walfish M Resolving the conflict between generality and plausibility in verified computation Proceedings of the 8th ACM European Conference on Computer Systems, (71-84)

Couprie M (2013). Topological maps and robust hierarchical Euclidean skeletons in cubical complexes, Computer Vision and Image Understanding, 117:4, (355-369), Online publication date: 1-Apr-2013.

Beltrán C and Leykin A (2013). Robust Certified Numerical Homotopy Tracking, Foundations of Computational Mathematics, 13:2, (253-295), Online publication date: 1-Apr-2013.

Postolski M, Couprie M and Janaszewski M Scale filtered euclidean medial axis Proceedings of the 17th IAPR international conference on Discrete Geometry for Computer Imagery, (360-371)

Libeskind-Hadas R A derivation-first approach to teaching algorithms Proceeding of the 44th ACM technical symposium on Computer science education, (573-578)

Xu D, Li G, Ramamurthy B, Chiu A, Wang D and Doverspike R (2013). On provisioning diverse circuits in heterogeneous multi-layer optical networks, Computer Communications, 36:6, (689-697), Online publication date: 1-Mar-2013.

Fraigniaud P and Pelc A (2013). Delays Induce an Exponential Memory Gap for Rendezvous in Trees, ACM Transactions on Algorithms, 9:2, (1-24), Online publication date: 1-Mar-2013.

Green O and Birk Y Scheduling directives for shared-memory many-core processor systems Proceedings of the 2013 International Workshop on Programming Models and Applications for Multicores and Manycores, (115-124)

Suomela J (2013). Survey of local algorithms, ACM Computing Surveys, 45:2, (1-40), Online publication date: 1-Feb-2013.

Shieh B (2013). Solution to the covering problem, Information Sciences: an International Journal, 222, (626-633), Online publication date: 1-Feb-2013.

Huang J, Jiang B, Pei J, Chen J and Tang Y (2013). Skyline distance, Knowledge and Information Systems, 34:2, (373-396), Online publication date: 1-Feb-2013.

Carbon A, Lhuillier Y and Charles H Code specialization for red-black tree management algorithms Proceedings of the 3rd International Workshop on Adaptive Self-Tuning Computing Systems, (1-3)

Burjorjee K Explaining optimization in genetic algorithms with uniform crossover Proceedings of the twelfth workshop on Foundations of genetic algorithms XII, (37-50)

Turki M, Marrakchi Z, Mehrez H and Abid M (2013). Frequency optimization objective during system prototyping on multi-FPGA platform, International Journal of Reconfigurable Computing, 2013, (9-9), Online publication date: 1-Jan-2013.

Wu N, Zhou M and Hu G (2013). One-Step Look-Ahead Maximally Permissive Deadlock Control of AMS by Using Petri Nets, ACM Transactions on Embedded Computing Systems, 12:1, (1-23), Online publication date: 1-Jan-2013.

Chen H, Lin J, Hu H and Jou S (2013). STBC-OFDM downlink baseband receiver for mobile WMAN, IEEE Transactions on Very Large Scale Integration (VLSI) Systems, 21:1, (43-54), Online publication date: 1-Jan-2013.

Ovaska K, Lyly L, Sahu B, Janne O and Hautaniemi S (2013). Genomic Region Operation Kit for Flexible Processing of Deep Sequencing Data, IEEE/ACM Transactions on Computational Biology and Bioinformatics, 10:1, (200-206), Online publication date: 1-Jan-2013.

Leno I, Saravana Sankar S and Ponnambalam S Multi objective integrated layout design problem Proceedings of the Third international conference on Swarm, Evolutionary, and Memetic Computing, (500-508)

Takada M, Inada H, Nakazawa K, Tani S, Iwata M, Sugimoto Y and Nagata S (2012). A High-Speed Drug Interaction Search System for Ease of Use in the Clinical Environment, Journal of Medical Systems, 36:6, (3533-3541), Online publication date: 1-Dec-2012.

Nokhbeh Zaeem R and Khurshid S Test input generation using dynamic programming Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering, (1-11)

Kornev D (2012). On numerical solution of positional differential games with nonterminal payoff, Automation and Remote Control, 73:11, (1808-1821), Online publication date: 1-Nov-2012.

Hashemikhabir S, Ayaz E, Kavurucu Y, Can T and Kahveci T (2012). Large-Scale Signaling Network Reconstruction, IEEE/ACM Transactions on Computational Biology and Bioinformatics, 9:6, (1696-1708), Online publication date: 1-Nov-2012.

Lappas T and Terzi E Daily-deal selection for revenue maximization Proceedings of the 21st ACM international conference on Information and knowledge management, (565-574)

Vatavu R, Anthony L and Wobbrock J Gestures as point clouds Proceedings of the 14th ACM international conference on Multimodal interaction, (273-280)

Štrbac-Savić S and Tomašević M Comparative performance evaluation of the AVL and red-black trees Proceedings of the Fifth Balkan Conference in Informatics, (14-19)

Nonner T Polynomial-Time approximation schemes for shortest path with alternatives Proceedings of the 20th Annual European conference on Algorithms, (755-765)

Baswana S, Khurana S and Sarkar S (2012). Fully dynamic randomized algorithms for graph spanners, ACM Transactions on Algorithms, 8:4, (1-51), Online publication date: 1-Sep-2012.

Ozgul F and Erdem Z Detecting Criminal Networks Using Social Similarity Proceedings of the 2012 International Conference on Advances in Social Networks Analysis and Mining (ASONAM 2012), (581-585)

Summa B, Tierny J and Pascucci V (2012). Panorama weaving, ACM Transactions on Graphics, 31:4, (1-11), Online publication date: 5-Aug-2012.

Xu W, He S, Song R and Chaudhry S (2012). Finding the K shortest paths in a schedule-based transit network, Computers and Operations Research, 39:8, (1812-1826), Online publication date: 1-Aug-2012.

Pradhan P and Panda G (2012). Connectivity constrained wireless sensor deployment using multiobjective evolutionary algorithms and fuzzy decision making, Ad Hoc Networks, 10:6, (1134-1145), Online publication date: 1-Aug-2012.

Burjorjee K Explaining adaptation in genetic algorithms with uniform crossover Proceedings of the 14th annual conference companion on Genetic and evolutionary computation, (1461-1462)

Green O, McColl R and Bader D GPU merge path Proceedings of the 26th ACM international conference on Supercomputing, (331-340)

Chatterjee K and Velner Y Mean-Payoff Pushdown Games Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science, (195-204)

Wang T, Srivatsa M and Liu L Fine-grained access control of personal data Proceedings of the 17th ACM symposium on Access Control Models and Technologies, (145-156)

Goel S, Pennock D, Mahdian M and Reeves D TrustBets Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 3, (1319-1320)

Obraztsova S and Elkind E Optimal manipulation of voting rules Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 2, (619-626)

Szczepański P, Michalak T and Rahwan T A new approach to betweenness centrality based on the Shapley Value Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 1, (239-246)

Keidar M and Kaminka G Robot exploration with fast frontier detection Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 1, (113-120)

Staats M, Gay G and Heimdahl M Automated oracle creation support, or: how I learned to stop worrying about fault propagation and love mutation testing Proceedings of the 34th International Conference on Software Engineering, (870-880)

Martínez-Prieto M, Fernández J and Cánovas R (2012). Querying RDF dictionaries in compressed space, ACM SIGAPP Applied Computing Review, 12:2, (64-77), Online publication date: 1-Jun-2012.

Pomeranz I (2012). Gradual diagnostic test generation and observation point insertion based on the structural distance between indistinguished fault pairs, IEEE Transactions on Very Large Scale Integration (VLSI) Systems, 20:6, (1026-1035), Online publication date: 1-Jun-2012.

Brendel P, Dłotko P, Mrozek M and Żelazna N Homology computations via acyclic subspace Proceedings of the 4th international conference on Computational Topology in Image Context, (117-127)

Shekhar S, Gunturi V, Evans M and Yang K Spatial big-data challenges intersecting mobility and cloud computing Proceedings of the Eleventh ACM International Workshop on Data Engineering for Wireless and Mobile Access, (1-6)

Jin R, Ruan N, Xiang Y and Lee V A highway-centric labeling approach for answering distance queries on large sparse graphs Proceedings of the 2012 ACM SIGMOD International Conference on Management of Data, (445-456)

Zoppis I, Gianazza E, Borsani M, Chinello C, Mainini V, Galbusera C, Ferrarese C, Galimberti G, Sorbi S, Borroni B, Magni F, Antoniotti M and Mauri G (2012). Mutual Information Optimization for Mass Spectra Data Alignment, IEEE/ACM Transactions on Computational Biology and Bioinformatics, 9:3, (934-939), Online publication date: 1-May-2012.

Meeks K and Scott A (2012). The complexity of flood-filling games on graphs, Discrete Applied Mathematics, 160:7-8, (959-969), Online publication date: 1-May-2012.

Asahiro Y, Jansson J, Miyano E and Ono H Graph orientations optimizing the number of light or heavy vertices Proceedings of the Second international conference on Combinatorial Optimization, (332-343)

Ma S, Cao Y, Huai J and Wo T Distributed graph pattern matching Proceedings of the 21st international conference on World Wide Web, (949-958)

Delling D and Nannicini G (2012). Core Routing on Dynamic Time-Dependent Road Networks, INFORMS Journal on Computing, 24:2, (187-201), Online publication date: 1-Apr-2012.

Raskin M (2012). Toom's partial order is transitive, Problems of Information Transmission, 48:2, (154-172), Online publication date: 1-Apr-2012.

Zhang Z, Yu J, Qin L, Zhu Q and Zhou X I/O cost minimization Proceedings of the 15th International Conference on Extending Database Technology, (468-479)

Su Z, Tung A and Zhang Z Supporting top-K item exchange recommendations in large online communities Proceedings of the 15th International Conference on Extending Database Technology, (97-108)

Higa D and Stefanes M A coarse-grained parallel algorithm for the matrix chain order problem Proceedings of the 2012 Symposium on High Performance Computing, (1-8)

Martínez-Prieto M, Fernández J and Cánovas R Compression of RDF dictionaries Proceedings of the 27th Annual ACM Symposium on Applied Computing, (340-347)

Cunha T, de Souza F, de A. Araújo A and Pappa G Rushes video summarization based on spatio-temporal features Proceedings of the 27th Annual ACM Symposium on Applied Computing, (45-50)

Liu S, Lee C and Chen H Agglomerative-based flip-flop merging with signal wirelength optimization Proceedings of the Conference on Design, Automation and Test in Europe, (1391-1396)

Klimoš M, Larsen K, Štefaňák F and Thaarup J Nash equilibria in concurrent priced games Proceedings of the 6th international conference on Language and Automata Theory and Applications, (363-376)

St. John T, Dennis J and Gao G Massively parallel breadth first search using a tree-structured memory model Proceedings of the 2012 International Workshop on Programming Models and Applications for Multicores and Manycores, (115-123)

Myung J and Lee S Matrix chain multiplication via multi-way join algorithms in MapReduce Proceedings of the 6th International Conference on Ubiquitous Information Management and Communication, (1-5)

Zarifzadeh S, Yazdani N and Nayyeri A (2012). Energy-efficient topology control in wireless ad hoc networks with selfish nodes, Computer Networks: The International Journal of Computer and Telecommunications Networking, 56:2, (902-914), Online publication date: 1-Feb-2012.

Ghada K, Li J and Ji Y (2012). Cross-layer design for topology control and routing in MANETs, Wireless Communications & Mobile Computing, 12:3, (257-267), Online publication date: 1-Feb-2012.

Steinbrecher J and Shang W On supernode transformations and multithreading for the longest common subsequence problem Proceedings of the Tenth Australasian Symposium on Parallel and Distributed Computing - Volume 127, (3-12)

Frigo M, Leiserson C, Prokop H and Ramachandran S (2012). Cache-Oblivious Algorithms, ACM Transactions on Algorithms, 8:1, (1-22), Online publication date: 1-Jan-2012.

Verbeek F and Schmaltz J (2012). Easy Formal Specification and Validation of Unbounded Networks-on-Chips Architectures, ACM Transactions on Design Automation of Electronic Systems, 17:1, (1-28), Online publication date: 1-Jan-2012.

Leno I, Sankar S, Raj M and Ponnambalam S Bi-criteria optimization in integrated layout design of cellular manufacturing systems using a genetic algorithm Proceedings of the Second international conference on Swarm, Evolutionary, and Memetic Computing - Volume Part I, (323-331)

Ahn J, Sung C and Kim T A binary partition-based matching algorithm for data distribution management Proceedings of the Winter Simulation Conference, (2728-2739)

Leea H and Shimb J (2011). Indexing method for transitive relationships of product information, Web Intelligence and Agent Systems, 9:4, (351-362), Online publication date: 1-Dec-2011.

Ma S, Cao Y, Fan W, Huai J and Wo T (2011). Capturing topology in graph pattern matching, Proceedings of the VLDB Endowment, 5:4, (310-321), Online publication date: 1-Dec-2011.

Ursani Z, Essam D, Cornforth D and Stocker R (2011). Localized genetic algorithm for vehicle routing problem with time windows, Applied Soft Computing, 11:8, (5375-5390), Online publication date: 1-Dec-2011.

Saracchini R, Stolfi J, Leitão H, Atkinson G and Smith M Multi-scale integration of slope data on an irregular mesh Proceedings of the 5th Pacific Rim conference on Advances in Image and Video Technology - Volume Part I, (109-120)

Buluç A and Madduri K Parallel breadth-first search on distributed memory systems Proceedings of 2011 International Conference for High Performance Computing, Networking, Storage and Analysis, (1-12)

Park C, Sen K, Hargrove P and Iancu C Efficient data race detection for distributed memory parallel programs Proceedings of 2011 International Conference for High Performance Computing, Networking, Storage and Analysis, (1-12)

Li B, Chen N and Schlichtmann U Fast statistical timing analysis for circuits with post-silicon tunable clock buffers Proceedings of the International Conference on Computer-Aided Design, (111-117)

Yu B, Yuan K, Zhang B, Ding D and Pan D Layout decomposition for triple patterning lithography Proceedings of the International Conference on Computer-Aided Design, (1-8)

Khalek S, Narayanan V and Khurshid S Mixed constraints for test input generation - An initial exploration Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering, (548-551)

Yao B, Tang M and Li F Multi-approximate-keyword routing in GIS data Proceedings of the 19th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems, (201-210)

Siddiqui J and Khurshid S Symbolic execution of alloy models Proceedings of the 13th international conference on Formal methods and software engineering, (340-355)

Cao H, Candan K and Sapino M Skynets Proceedings of the 20th ACM international conference on Information and knowledge management, (1775-1784)

Yang J, Zhang S and Jin W DELTA Proceedings of the 20th ACM international conference on Information and knowledge management, (1765-1774)

Pu Y, Bodik R and Srivastava S Synthesis of first-order dynamic programming algorithms Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications, (83-98)

Laoutaris N, Sirivianos M, Yang X and Rodriguez P (2011). Inter-datacenter bulk transfers with netstitcher, ACM SIGCOMM Computer Communication Review, 41:4, (74-85), Online publication date: 22-Oct-2011.

Monteiro P, Monteiro M and Pingali K Parallelizing irregular algorithms Proceedings of the 18th Conference on Pattern Languages of Programs, (1-18)

Pu Y, Bodik R and Srivastava S (2011). Synthesis of first-order dynamic programming algorithms, ACM SIGPLAN Notices, 46:10, (83-98), Online publication date: 18-Oct-2011.

Cortes C and Mohri M Domain adaptation in regression Proceedings of the 22nd international conference on Algorithmic learning theory, (308-323)

Medini S, Galinier P, Penta M, Guéhéneuc Y and Antoniol G A fast algorithm to locate concepts in execution traces Proceedings of the Third international conference on Search based software engineering, (252-266)

Hassaan M, Burtscher M and Pingali K (2011). Ordered vs. unordered, ACM SIGPLAN Notices, 46:8, (3-12), Online publication date: 7-Sep-2011.

Zhao M, Li J and Yang Y Joint mobile energy replenishment and data gathering in wireless rechargeable sensor networks Proceedings of the 23rd International Teletraffic Congress, (238-245)

Delorimier M, Kapre N, Mehta N and Dehon A (2011). Spatial hardware implementation for sparse graph algorithms in GraphStep, ACM Transactions on Autonomous and Adaptive Systems, 6:3, (1-20), Online publication date: 1-Sep-2011.

Pritchard D and Thurimella R (2011). Fast computation of small cuts via cycle space sampling, ACM Transactions on Algorithms, 7:4, (1-30), Online publication date: 1-Sep-2011.

Thompson H and Chadhuri P (2011). An alternative visual analysis of the build heap algorithm, ACM Inroads, 2:3, (31-32), Online publication date: 31-Aug-2011.

Laoutaris N, Sirivianos M, Yang X and Rodriguez P Inter-datacenter bulk transfers with netstitcher Proceedings of the ACM SIGCOMM 2011 conference, (74-85)

Vikas N Algorithms for partition of some class of graphs under compaction Proceedings of the 17th annual international conference on Computing and combinatorics, (319-330)

Lê D (2011). On Three Alternative Characterizations of Combined Traces, Fundamenta Informaticae, 113:3-4, (265-293), Online publication date: 1-Aug-2011.

Mo D and Huang S (2011). Feature selection based on inference correlation, Intelligent Data Analysis, 15:3, (375-398), Online publication date: 1-Aug-2011.

Sauthoff G, Janssen S and Giegerich R Bellman's GAP Proceedings of the 13th international ACM SIGPLAN symposium on Principles and practices of declarative programming, (29-40)

Yu S and Gao Y State complexity research and approximation Proceedings of the 15th international conference on Developments in language theory, (46-57)

Marinescu D, Băicoianu A and Simian D The determination of the guillotine restrictions for a rectangular three dimensional bin packing pattern Proceedings of the 15th WSEAS international conference on Computers, (491-496)

Cussens J Bayesian network learning with cutting planes Proceedings of the Twenty-Seventh Conference on Uncertainty in Artificial Intelligence, (153-160)

Haigh K and Yaman F (2011). RECYCLE, ACM Transactions on Intelligent Systems and Technology, 2:4, (1-32), Online publication date: 1-Jul-2011.

MartíN J, Mayor G and Valero O (2011). On aggregation of normed structures, Mathematical and Computer Modelling: An International Journal, 54:1-2, (815-827), Online publication date: 1-Jul-2011.

Brešar B, Kardoš F, Katrenič J and Semanišin G (2011). Minimum k-path vertex cover, Discrete Applied Mathematics, 159:12, (1189-1195), Online publication date: 1-Jul-2011.

Ferragina P On the weak prefix-search problem Proceedings of the 22nd annual conference on Combinatorial pattern matching, (261-272)

Nenkova A, Maskey S and Liu Y Automatic summarization Proceedings of the 49th Annual Meeting of the Association for Computational Linguistics: Tutorial Abstracts of ACL 2011, (1-86)

Xu Y, Kostamaa P, Qi Y, Wen J and Zhao K A Hadoop based distributed loading approach to parallel data warehouses Proceedings of the 2011 ACM SIGMOD International Conference on Management of data, (1091-1100)

Fan W, Li J, Ma S, Tang N and Yu W Interaction between record matching and data repairing Proceedings of the 2011 ACM SIGMOD International Conference on Management of data, (469-480)

Kim D and Rinard M Verification of semantic commutativity conditions and inverse operations on linked data structures Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, (528-541)

Kim D and Rinard M (2011). Verification of semantic commutativity conditions and inverse operations on linked data structures, ACM SIGPLAN Notices, 46:6, (528-541), Online publication date: 4-Jun-2011.

Marinescu D and Băicoianu A (2011). A test of the guillotine restrictions determination for a rectangular three dimensional bin packing problem, WSEAS Transactions on Information Science and Applications, 8:6, (253-263), Online publication date: 1-Jun-2011.

Caceres A, Daley S, DeJesus J, Hintze M, Moore D and John K (2011). Walks in phylogenetic treespace, Information Processing Letters, 111:12, (600-604), Online publication date: 1-Jun-2011.

Cobano J, Conde R, Alejo D, Viguria A and Ollero A Conflict detection and resolution algorithm for en-route conflicts in dense non-segregated aerial traffic Proceedings of the 1st International Conference on Application and Theory of Automation in Command and Control Systems, (15-22)

Papa J, Pereira C, de Albuquerque V, Silva C, Falcão A and Tavares J Precipitates segmentation from scanning electron microscope images through machine learning techniques Proceedings of the 14th international conference on Combinatorial image analysis, (456-468)

Yu F, Alkhalaf M and Bultan T Patching vulnerabilities with sanitization synthesis Proceedings of the 33rd International Conference on Software Engineering, (251-260)

Bilardi G, Ekanadham K and Pattnaik P Efficient stack distance computation for priority replacement policies Proceedings of the 8th ACM International Conference on Computing Frontiers, (1-10)

Yan J and Chen Z New optimal layer assignment for bus-oriented escape routing Proceedings of the 21st edition of the great lakes symposium on Great lakes symposium on VLSI, (205-210)

Zou L, Mo J, Chen L, Özsu M and Zhao D (2011). gStore, Proceedings of the VLDB Endowment, 4:8, (482-493), Online publication date: 1-May-2011.

Ao N, Zhang F, Wu D, Stones D, Wang G, Liu X, Liu J and Lin S (2011). Efficient parallel lists intersection and index compression algorithms using graphics processing units, Proceedings of the VLDB Endowment, 4:8, (470-481), Online publication date: 1-May-2011.

Kuliamin V and Petukhov A (2011). A survey of methods for constructing covering arrays, Programming and Computing Software, 37:3, (121-146), Online publication date: 1-May-2011.

Araújo W, Ekel P, Filho R, Kokshenev I and Schuffner H Multicriteria decision making for reactive power compensation in distribution systems Proceedings of the 5th European conference on European computing conference, (56-61)

Liu X, Wang Y, Li Y and Shi B Identifying topic experts and topic communities in the blogspace Proceedings of the 16th international conference on Database systems for advanced applications - Volume Part I, (68-77)

Couprie M Hierarchic euclidean skeletons in cubical complexes Proceedings of the 16th IAPR international conference on Discrete geometry for computer imagery, (141-152)

Czekster R, Fernandes P, Sales A and Webber T Stationary solution approximation using a memory-efficient perfect sampling technique Proceedings of the 44th Annual Simulation Symposium, (119-126)

Pantelidou A and Ephremides A (2011). Scheduling in Wireless Networks, Foundations and Trends® in Networking, 4:4, (421-511), Online publication date: 1-Apr-2011.

Ykman-Couvreur C, Nollet V, Catthoor F and Corporaal H (2011). Fast multidimension multichoice knapsack heuristic for MP-SoC runtime management, ACM Transactions on Embedded Computing Systems, 10:3, (1-16), Online publication date: 1-Apr-2011.

Aguilera M, Keidar I, Malkhi D and Shraer A (2011). Dynamic atomic storage without consensus, Journal of the ACM, 58:2, (1-32), Online publication date: 1-Apr-2011.

Lezcano L, Sicilia M and Rodríguez-Solano C (2011). Integrating reasoning and clinical archetypes using OWL ontologies and SWRL rules, Journal of Biomedical Informatics, 44:2, (343-353), Online publication date: 1-Apr-2011.

Yan J and Chen Z Obstacle-aware length-matching bus routing Proceedings of the 2011 international symposium on Physical design, (61-68)

Colón M and Sankaranarayanan S Generalizing the template polyhedral domain Proceedings of the 20th European conference on Programming languages and systems: part of the joint European conferences on theory and practice of software, (176-195)

Giegerich R and Sauthoff G Yield grammar analysis in the Bellman's GAP compiler Proceedings of the Eleventh Workshop on Language Descriptions, Tools and Applications, (1-8)

Das D, Shebaita A, Zhou H, Ismail Y and Killpack K (2011). FA-STAC, IEEE Transactions on Very Large Scale Integration (VLSI) Systems, 19:3, (443-456), Online publication date: 1-Mar-2011.

Hassaan M, Burtscher M and Pingali K Ordered vs. unordered Proceedings of the 16th ACM symposium on Principles and practice of parallel programming, (3-12)

Kang U, Tsourakakis C, Appel A, Faloutsos C and Leskovec J (2011). HADI, ACM Transactions on Knowledge Discovery from Data, 5:2, (1-24), Online publication date: 1-Feb-2011.

Munier Kordon A (2011). A graph-based analysis of the cyclic scheduling problem with time constraints, Journal of Scheduling, 14:1, (103-117), Online publication date: 1-Feb-2011.

Drmota M and Szpankowski W A master theorem for discrete divide and conquer recurrences Proceedings of the twenty-second annual ACM-SIAM symposium on Discrete algorithms, (342-361)

Jansen T and Zarges C Analysis of evolutionary algorithms Proceedings of the 11th workshop proceedings on Foundations of genetic algorithms, (1-14)

Krepska E, Kielmann T, Fokkink W and Bal H A high-level framework for distributed processing of large-scale graphs Proceedings of the 12th international conference on Distributed computing and networking, (155-166)

Lattari L, Montenegro A, Conci A, Clua E, Mota V, Vieira M and Lizarraga G (2011). Using graph cuts in GPUs for color based human skin segmentation, Integrated Computer-Aided Engineering, 18:1, (41-59), Online publication date: 1-Jan-2011.

Wang J, Kuang S and Liang S (2011). High-accuracy fixed-width modified booth multipliers for lossy applications, IEEE Transactions on Very Large Scale Integration (VLSI) Systems, 19:1, (52-60), Online publication date: 1-Jan-2011.

Madaras M, Ďurikovič R, Ágošton T and Nishita T Skeleton extraction from a mesh for easy skinning animation Proceedings of the 13th International Conference on Humans and Computers, (37-41)

Cohen R, Grebla G and Katzir L (2010). Cross-layer hybrid FEC/ARQ reliable multicast with adaptive modulation and coding in broadband wireless networks, IEEE/ACM Transactions on Networking, 18:6, (1908-1920), Online publication date: 1-Dec-2010.

Mak T, Lam K, Ng H, Rachmuth G and Poon C (2010). A CMOS current-mode dynamic programming circuit, IEEE Transactions on Circuits and Systems Part I: Regular Papers, 57:12, (3112-3123), Online publication date: 1-Dec-2010.

Rahman M, Ranjan R and Buyya R (2010). Reputation-based dependable scheduling of workflow applications in Peer-to-Peer Grids, Computer Networks: The International Journal of Computer and Telecommunications Networking, 54:18, (3341-3359), Online publication date: 1-Dec-2010.

Malik T, Wang X, Little P, Chaudhary A and Thakar A A dynamic data middleware cache for rapidly-growing scientific repositories Proceedings of the ACM/IFIP/USENIX 11th International Conference on Middleware, (64-84)

Sampath R, Sundar H and Veerapaneni S Parallel Fast Gauss Transform Proceedings of the 2010 ACM/IEEE International Conference for High Performance Computing, Networking, Storage and Analysis, (1-10)

Luna J, Revoredo K and Cozman F Learning sentences and assessments in probabilistic description logics Proceedings of the 6th International Conference on Uncertainty Reasoning for the Semantic Web - Volume 654, (85-96)

Li B, Chen N and Schlichtmann U Fast statistical timing analysis of latch-controlled circuits for arbitrary clock periods Proceedings of the International Conference on Computer-Aided Design, (524-531)

Sarshar N and Wu X (2010). On L∞ properties of multiresolution scalar quantizers, IEEE Transactions on Information Theory, 56:11, (5805-5810), Online publication date: 1-Nov-2010.

Grigorieva E, Herings P, Müller R and Vermeulen D (2010). On the Fastest Vickrey Algorithm, Algorithmica, 58:3, (566-590), Online publication date: 1-Nov-2010.

Zhao G and Yuan J Mining and cropping common objects from images Proceedings of the 18th ACM international conference on Multimedia, (975-978)

Shrestha P, de With P, Weda H, Barbieri M and Aarts E Automatic mashup generation from multiple-camera concert recordings Proceedings of the 18th ACM international conference on Multimedia, (541-550)

Blagojević F, Hargrove P, Iancu C and Yelick K Hybrid PGAS runtime support for multicore nodes Proceedings of the Fourth Conference on Partitioned Global Address Space Programming Model, (1-10)

Nicolau A and Kejariwal A How many threads to spawn during program multithreading? Proceedings of the 23rd international conference on Languages and compilers for parallel computing, (166-183)

Marinescu D and Băicoianu A (2010). An algorithm for determination of the guillotine restrictions for a rectangular cutting-stock pattern, WSEAS Transactions on Computers, 9:10, (1160-1169), Online publication date: 1-Oct-2010.

Bistarelli S, Montanari U, Rossi F and Santini F (2010). Unicast and multicast QoS routing with soft-constraint logic programming, ACM Transactions on Computational Logic, 12:1, (1-48), Online publication date: 1-Oct-2010.

Marques A, González A, Rojo-Álvarez J, Requena-Carrión J and Ramos J (2010). Optimizing average performance of OFDM systems using limited-rate feedback, IEEE Transactions on Wireless Communications, 9:10, (3130-3143), Online publication date: 1-Oct-2010.

Hassaan M, Burtscher M and Pingali K Ordered and unordered algorithms for parallel breadth first search Proceedings of the 19th international conference on Parallel architectures and compilation techniques, (539-540)

Fan W, Li J, Ma S, Wang H and Wu Y (2010). Graph homomorphism revisited for graph matching, Proceedings of the VLDB Endowment, 3:1-2, (1161-1172), Online publication date: 1-Sep-2010.

Yildirim H, Chaoji V and Zaki M (2010). GRAIL, Proceedings of the VLDB Endowment, 3:1-2, (276-284), Online publication date: 1-Sep-2010.

Neumann T and Weikum G (2010). x-RDF-3X, Proceedings of the VLDB Endowment, 3:1-2, (256-263), Online publication date: 1-Sep-2010.

Basu K and Mishra P (2010). Test data compression using efficient bitmask and dictionary selection methods, IEEE Transactions on Very Large Scale Integration (VLSI) Systems, 18:9, (1277-1286), Online publication date: 1-Sep-2010.

Guerriero F and Talarico L (2010). A solution approach to find the critical path in a time-constrained activity network, Computers and Operations Research, 37:9, (1557-1569), Online publication date: 1-Sep-2010.

Saraswat M Efficiently finding similar objects on ontologies using earth mover's distance Proceedings of the 21st international conference on Database and expert systems applications: Part II, (360-374)

Lei Y, Xu Y, Zhang S, Wang S and Ding Z Fast ISOMAP based on minimum set coverage Proceedings of the Advanced intelligent computing theories and applications, and 6th international conference on Intelligent computing, (173-179)

Pan J, Van Woudenberg J, Den Hartog J and Witteman M Improving DPA by peak distribution analysis Proceedings of the 17th international conference on Selected areas in cryptography, (241-261)

Bonet B and Helmert M Strengthening Landmark Heuristics via Hitting Sets Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence, (329-334)

Ong L and Motani M (2010). Optimal routing for decode-forward in cooperative wireless networks, IEEE Transactions on Communications, 58:8, (2345-2355), Online publication date: 1-Aug-2010.

Rosman G, Bronstein M, Bronstein A and Kimmel R (2010). Nonlinear Dimensionality Reduction by Topologically Constrained Isometric Embedding, International Journal of Computer Vision, 89:1, (56-68), Online publication date: 1-Aug-2010.

Marinescu D and Băicoianu A The determination of the guillotine restrictions for a rectangular cutting-stock pattern Proceedings of the 14th WSEAS international conference on Computers: part of the 14th WSEAS CSCC multiconference - Volume I, (121-126)

Berman P, Karpinski M and Lingas A Exact and approximation algorithms for geometric and capacitated set cover problems Proceedings of the 16th annual international conference on Computing and combinatorics, (226-234)

Chatterjee S and Kishinevsky M Automatic generation of inductive invariants from high-level microarchitectural models of communication fabrics Proceedings of the 22nd international conference on Computer Aided Verification, (321-338)

Navigli R and Velardi P Learning word-class lattices for definition and hypernym extraction Proceedings of the 48th Annual Meeting of the Association for Computational Linguistics, (1318-1327)

Krüger B, Tautges J, Weber A and Zinke A Fast local and global similarity searches in large motion capture databases Proceedings of the 2010 ACM SIGGRAPH/Eurographics Symposium on Computer Animation, (1-10)

Azar Y, Feige U and Glasner D (2010). A Preemptive Algorithm for Maximizing Disjoint Paths on Trees, Algorithmica, 57:3, (517-537), Online publication date: 1-Jul-2010.

Cominetti R, Correa J, Rothvoß T and Martín J (2010). Optimal Selection of Customers for a Last-Minute Offer, Operations Research, 58:4-Part-1, (878-888), Online publication date: 1-Jul-2010.

Manea F, Martín-Vide C and Mitrana V Hairpin lengthening Proceedings of the Programs, proofs, process and 6th international conference on Computability in Europe, (296-306)

Yao C, Wang B, Chan B, Yong J and Paul J Multi-image based photon tracing for interactive global illumination of dynamic scenes Proceedings of the 21st Eurographics conference on Rendering, (1315-1324)

Park K, Lin Y, Metsis V, Le Z and Makedon F Abnormal human behavioral pattern detection in assisted living environments Proceedings of the 3rd International Conference on PErvasive Technologies Related to Assistive Environments, (1-8)

Gate J and Stewart I Frameworks for logically classifying polynomial-time optimisation problems Proceedings of the 5th international conference on Computer Science: theory and Applications, (120-131)

Régin J, Rousseau L, Rueher M and van Hoeve W The weighted spanning tree constraint revisited Proceedings of the 7th international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, (287-291)

Wang B, Zhu Y and Deng Y Distributed time, conservative parallel logic simulation on GPUs Proceedings of the 47th Design Automation Conference, (761-766)

Fraigniaud P and Pelc A Delays induce an exponential memory gap for rendezvous in trees Proceedings of the twenty-second annual ACM symposium on Parallelism in algorithms and architectures, (224-232)

Zhang Z, Hadjieleftheriou M, Ooi B and Srivastava D Bed-tree Proceedings of the 2010 ACM SIGMOD International Conference on Management of data, (915-926)

Kanne C and Moerkotte G Histograms reloaded Proceedings of the 2010 ACM SIGMOD International Conference on Management of data, (663-674)

Jin R, Hong H, Wang H, Ruan N and Xiang Y Computing label-constraint reachability in graph databases Proceedings of the 2010 ACM SIGMOD International Conference on Management of data, (123-134)

Lacoursière C, Linde M and Sabelström O Direct sparse factorization of blocked saddle point matrices Proceedings of the 10th international conference on Applied Parallel and Scientific Computing - Volume 2, (324-335)

Badreddine A and Amor N A new approach to construct optimal bow tie diagrams for risk analysis Proceedings of the 23rd international conference on Industrial engineering and other applications of applied intelligent systems - Volume Part II, (595-604)

Thakoor N, Gao J and Devarajan V (2010). Multibody structure-and-motion segmentation by branch-and-bound model selection, IEEE Transactions on Image Processing, 19:6, (1393-1402), Online publication date: 1-Jun-2010.

Hunold S Low-Cost Tuning of Two-Step Algorithms for Scheduling Mixed-Parallel Applications onto Homogeneous Clusters Proceedings of the 2010 10th IEEE/ACM International Conference on Cluster, Cloud and Grid Computing, (253-262)

Desprez F and Suter F A Bi-criteria Algorithm for Scheduling Parallel Task Graphs on Clusters Proceedings of the 2010 10th IEEE/ACM International Conference on Cluster, Cloud and Grid Computing, (243-252)

Hsu C and Chen T (2010). Performance- and economisation-oriented scheduling techniques for managing applications with QoS demands in grids, International Journal of Ad Hoc and Ubiquitous Computing, 5:4, (219-226), Online publication date: 1-May-2010.

Lev B (2010). Book Reviews, Interfaces, 40:3, (246-249), Online publication date: 1-May-2010.

Méndez-Lojo M, Nguyen D, Prountzos D, Sui X, Hassaan M, Kulkarni M, Burtscher M and Pingali K (2010). Structure-driven optimizations for amorphous data-parallel programs, ACM SIGPLAN Notices, 45:5, (3-14), Online publication date: 1-May-2010.

Schaefer C, Pankratius V and Tichy W Engineering parallel applications with tunable architectures Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1, (405-414)

Albers S (2010). Energy-efficient algorithms, Communications of the ACM, 53:5, (86-96), Online publication date: 1-May-2010.

Ruiz-Torrubiano R and Suárez A (2010). Hybrid approaches and dimensionality reduction for portfolio selection with cardinality constraints, IEEE Computational Intelligence Magazine, 5:2, (92-107), Online publication date: 1-May-2010.

Fraigniaud P, Ilcinkas D and Pelc A (2010). Communication algorithms with advice, Journal of Computer and System Sciences, 76:3-4, (222-232), Online publication date: 1-May-2010.

Mors A, Yadati C, Witteveen C and Zhang Y (2010). Coordination by design and the price of autonomy, Autonomous Agents and Multi-Agent Systems, 20:3, (308-341), Online publication date: 1-May-2010.

Bhatia S, Mitra P and Giles C Finding algorithms in scientific articles Proceedings of the 19th international conference on World wide web, (1061-1062)

Kandhalu A, Lakshmanan K and Rajkumar R U-connect Proceedings of the 9th ACM/IEEE International Conference on Information Processing in Sensor Networks, (350-361)

Bestavros A, Kfoury A, Lapets A and Ocean M Safe compositional network sketches Proceedings of the 13th ACM international conference on Hybrid systems: computation and control, (231-241)

Tonella P and Di Francescomarino C (2010). Supporting Ontology-Based Semantic Annotation of Business Processes with Automated Suggestions, International Journal of Information System Modeling and Design, 1:2, (59-84), Online publication date: 1-Apr-2010.

Fusco G and Gupta H (2010). Ɛ-net approach to sensor k-coverage, EURASIP Journal on Wireless Communications and Networking, 2010, (1-12), Online publication date: 1-Apr-2010.

Dieudonné Y, Labbani-Igbida O and Petit F (2010). Deterministic robot-network localization is hard, IEEE Transactions on Robotics, 26:2, (331-339), Online publication date: 1-Apr-2010.

Monteiro P and Monteiro M A pattern language for parallelizing irregular algorithms Proceedings of the 2010 Workshop on Parallel Programming Patterns, (1-14)

Li Y, Tian Y, Yang J, Duan L and Gao W Video retargeting with multi-scale trajectory optimization Proceedings of the international conference on Multimedia information retrieval, (45-54)

Kundu A and Bertino E How to authenticate graphs without leaking Proceedings of the 13th International Conference on Extending Database Technology, (609-620)

Xiao X, Yi K and Tao Y The hardness and approximation algorithms for l-diversity Proceedings of the 13th International Conference on Extending Database Technology, (135-146)

Pelley S, Meisner D, Zandevakili P, Wenisch T and Underwood J Power routing Proceedings of the fifteenth International Conference on Architectural support for programming languages and operating systems, (231-242)

Verbeek F and Schmaltz J Formal specification of networks-on-chips Proceedings of the Conference on Design, Automation and Test in Europe, (1701-1706)

Yu H A memory- and time-efficient on-chip TCAM minimizer for IP lookup Proceedings of the Conference on Design, Automation and Test in Europe, (926-931)

Pelley S, Meisner D, Zandevakili P, Wenisch T and Underwood J (2010). Power routing, ACM SIGPLAN Notices, 45:3, (231-242), Online publication date: 5-Mar-2010.

Pelley S, Meisner D, Zandevakili P, Wenisch T and Underwood J (2010). Power routing, ACM SIGARCH Computer Architecture News, 38:1, (231-242), Online publication date: 5-Mar-2010.

Hsu W, Chiang Y and Wu J (2010). Integrating weighted LCS and SVM for 3D handwriting recognition on handheld devices using accelerometers, WSEAS Transactions on Computers, 9:3, (235-251), Online publication date: 1-Mar-2010.

Baran T, Wei D and Oppenheim A (2010). Linear programming algorithms for sparse filter design, IEEE Transactions on Signal Processing, 58:3, (1605-1617), Online publication date: 1-Mar-2010.

You Q, Fang S and Ebright P Iterative visual clustering for unstructured text mining Proceedings of the International Symposium on Biocomputing, (1-8)

Pantazopoulos P, Stavrakakis I, Passarella A and Conti M Efficient social-aware content placement in opportunistic networks Proceedings of the 7th international conference on Wireless on-demand network systems and services, (17-24)

Crochemore M and Hancart C Pattern matching in strings Algorithms and theory of computation handbook, (13-13)

Khuller S and Raghavachari B Advanced combinatorial algorithms Algorithms and theory of computation handbook, (8-8)

Khuller S and Raghavachari B Basic graph algorithms Algorithms and theory of computation handbook, (7-7)

Italiano G and Raman R Topics in data structures Algorithms and theory of computation handbook, (5-5)

Tamassia R and Cantrill B Basic data structures Algorithms and theory of computation handbook, (4-4)

Estivill-Castro V Sorting and order statistics Algorithms and theory of computation handbook, (3-3)

Turaga S, Murray J, Jain V, Roth F, Helmstaedter M, Briggman K, Denk W and Seung H (2010). Convolutional networks can learn to generate affinity graphs for image segmentation, Neural Computation, 22:2, (511-538), Online publication date: 1-Feb-2010.

Lin C, Hsu F and Lin W (2010). Recognizing human actions using NWFE-based histogram vectors, EURASIP Journal on Advances in Signal Processing, 2010, (1-10), Online publication date: 1-Feb-2010.

Lysyanskaya A, Tamassia R and Triandopoulos N (2010). Authenticated error-correcting codes with applications to multicast authentication, ACM Transactions on Information and System Security, 13:2, (1-34), Online publication date: 1-Feb-2010.

Baumann M, Léonard S, Croft E and Little J (2010). Path planning for improved visibility using a probabilistic road map, IEEE Transactions on Robotics, 26:1, (195-200), Online publication date: 1-Feb-2010.

Ila V, Porta J and Andrade-Cetto J (2010). Information-based compact pose SLAM, IEEE Transactions on Robotics, 26:1, (78-93), Online publication date: 1-Feb-2010.

Aloupis G, Cardinal J, Collette S, Hurtado F, Langerman S, O'Rourke J and Palop B (2010). Highway hull revisited, Computational Geometry: Theory and Applications, 43:2, (115-130), Online publication date: 1-Feb-2010.

Yang S, Wang D, Chai T and Kendall G (2010). An improved constraint satisfaction adaptive neural network for job-shop scheduling, Journal of Scheduling, 13:1, (17-38), Online publication date: 1-Feb-2010.

Pushpa S, Easwarakumar K, Elias S and Maamar Z Referral based expertise search system in a time evolving social network Proceedings of the Third Annual ACM Bangalore Conference, (1-8)

Yan J, Jhong M and Chen Z Obstacle-aware longest path using rectangular pattern detouring in routing grids Proceedings of the 2010 Asia and South Pacific Design Automation Conference, (287-292)

Harris W, Sankaranarayanan S, Ivančić F and Gupta A Program analysis via satisfiability modulo path programs Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (71-82)

Chaudhuri S, Gulwani S and Lublinerman R Continuity analysis of programs Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (57-70)

Wu T, Kwong K, Shen C, Michie C and Andonovic I The impact of physical conditions on network connectivity in wireless sensor network Proceedings of the 7th IEEE conference on Consumer communications and networking conference, (1139-1140)

Méndez-Lojo M, Nguyen D, Prountzos D, Sui X, Hassaan M, Kulkarni M, Burtscher M and Pingali K Structure-driven optimizations for amorphous data-parallel programs Proceedings of the 15th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, (3-14)

Harris W, Sankaranarayanan S, Ivančić F and Gupta A (2010). Program analysis via satisfiability modulo path programs, ACM SIGPLAN Notices, 45:1, (71-82), Online publication date: 2-Jan-2010.

Chaudhuri S, Gulwani S and Lublinerman R (2010). Continuity analysis of programs, ACM SIGPLAN Notices, 45:1, (57-70), Online publication date: 2-Jan-2010.

Woeginger G (2010). An algorithmic comparison of three scientific impact indices, Acta Cybernetica, 19:3, (661-672), Online publication date: 1-Jan-2010.

Du W, Murugesan M and Jia J Uncheatable grid computing Algorithms and theory of computation handbook, (30-30)

Robert Y and Vivien F Algorithmic issues in grid computing Algorithms and theory of computation handbook, (29-29)

Karger D, Stein C and Wein J Scheduling algorithms Algorithms and theory of computation handbook, (20-20)

Zomorodian A Computational topology Algorithms and theory of computation handbook, (3-3)

Wan S, Dras M, Dale R and Paris C Spanning tree approaches for statistical sentence generation Empirical methods in natural language generation, (13-44)

Atkinson A A dynamic, decentralised search algorithm for efficient data retrieval in a distributed tuple space Proceedings of the Eighth Australasian Symposium on Parallel and Distributed Computing - Volume 107, (21-30)

Koh S and Diessel O (2010). Configuration Merging in Point-to-Point Networks for Module-Based FPGA Reconfiguration, ACM Transactions on Reconfigurable Technology and Systems, 3:1, (1-36), Online publication date: 1-Jan-2010.

Berlemont S and Olivo-Marin J (2010). Combining local filtering and multiscale analysis for edge, ridge, and curvilinear objects detection, IEEE Transactions on Image Processing, 19:1, (74-84), Online publication date: 1-Jan-2010.

Rommes J and Schilders W (2010). Efficient methods for large resistor networks, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 29:1, (28-39), Online publication date: 1-Jan-2010.

Hsu W, Chiang Y, Lin W, Tai W and Wu J Integrating LCS and SVM for 3D handwriting recognition on handheld devices using accelerometers Proceedings of the 3rd International Conference on Communications and information technology, (195-197)

Farooq F, Aslam S and Sarwar S QoS-based MPLS multicast tree selection algorithms Proceedings of the 7th International Conference on Frontiers of Information Technology, (1-8)

Pokam G, Pereira C, Danne K, Kassa R and Adl-Tabatabai A Architecting a chunk-based memory race recorder in modern CMPs Proceedings of the 42nd Annual IEEE/ACM International Symposium on Microarchitecture, (576-585)

Lin T and Lee D Optimal Randomized Algorithm for the Density Selection Problem Proceedings of the 20th International Symposium on Algorithms and Computation, (1004-1013)

Kwolek B (2009). Object segmentation in video via graph cut built on superpixels, Fundamenta Informaticae, 90:4, (379-393), Online publication date: 1-Dec-2009.

Strehl A, Li L and Littman M (2009). Reinforcement Learning in Finite MDPs: PAC Analysis, The Journal of Machine Learning Research, 10, (2413-2444), Online publication date: 1-Dec-2009.

Esposito R and Radicioni D (2009). CarpeDiem: Optimizing the Viterbi Algorithm and Applications to Supervised Sequential Learning, The Journal of Machine Learning Research, 10, (1851-1880), Online publication date: 1-Dec-2009.

Yu T, Goldberg D, Sastry K, Lima C and Pelikan M (2009). Dependency structure matrix, genetic algorithms, and effective recombination, Evolutionary Computation, 17:4, (595-626), Online publication date: 1-Dec-2009.

Agrawal N, Arpaci-Dusseau A and Arpaci-Dusseau R (2009). Generating realistic impressions for file-system benchmarking, ACM Transactions on Storage, 5:4, (1-30), Online publication date: 1-Dec-2009.

Hoffman K, Zage D and Nita-Rotaru C (2009). A survey of attack and defense techniques for reputation systems, ACM Computing Surveys, 42:1, (1-31), Online publication date: 1-Dec-2009.

Chaum D, Carback R, Clark J, Essex A, Popoveniuc S, Rivest R, Ryan P, Shen E, Sherman A and Vora P (2009). Scantegrity II, IEEE Transactions on Information Forensics and Security, 4:4, (611-627), Online publication date: 1-Dec-2009.

Fredriksson K and Grabowski S (2009). Average-optimal string matching, Journal of Discrete Algorithms, 7:4, (579-594), Online publication date: 1-Dec-2009.

Bagnara R, Hill P and Zaffanella E (2009). Weakly-relational shapes for numeric abstractions, Formal Methods in System Design, 35:3, (279-323), Online publication date: 1-Dec-2009.

Pantelidou A and Ephremides A Minimum-length scheduling for multicast traffic under channel uncertainty Proceedings of the 28th IEEE conference on Global telecommunications, (5437-5442)

Pavlopoulou C and Yu S A Unifying View of Contour Length Bias Correction Proceedings of the 5th International Symposium on Advances in Visual Computing: Part I, (906-913)

Zarras A and Issarny V A framework for systematic synthesis of transactional middleware Proceedings of the IFIP International Conference on Distributed Systems Platforms and Open Distributed Processing, (257-272)

Watthayu W and Praekhao P A concept in error correction of text editors Proceedings of the 2nd International Conference on Interaction Sciences: Information Technology, Culture and Human, (1176-1180)

Qiang S, Shasha C and Nianshen C A maximum network lifetime QoS routing algorithm in MANETs Proceedings of the 2nd International Conference on Interaction Sciences: Information Technology, Culture and Human, (462-467)

Poon W, Wong H, Lo K and Feng J (2009). Hierarchical network architecture for layered video streaming, International Journal of Wireless and Mobile Computing, 3:4, (271-279), Online publication date: 1-Nov-2009.

Kern W and Paulusma D (2009). On the Core and f-Nucleolus of Flow Games, Mathematics of Operations Research, 34:4, (981-991), Online publication date: 1-Nov-2009.

Anderson T, Loftus J, Rampersad N, Santean N and Shallit J (2009). Detecting palindromes, patterns and borders in regular languages, Information and Computation, 207:11, (1096-1118), Online publication date: 1-Nov-2009.

Tsafrir D, Wisniewski R, Bacon D and Stroustrup B Minimizing dependencies within generic classes for faster and smaller programs Proceedings of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications, (425-444)

Tsafrir D, Wisniewski R, Bacon D and Stroustrup B (2009). Minimizing dependencies within generic classes for faster and smaller programs, ACM SIGPLAN Notices, 44:10, (425-444), Online publication date: 25-Oct-2009.

Ficara D, Giordano S, Kumar S and Lynch B Divide and discriminate Proceedings of the 5th ACM/IEEE Symposium on Architectures for Networking and Communications Systems, (133-142)

Sun X, Mao T, Kralik J and Ray L Cooperative multi-robot reinforcement learning Proceedings of the 2009 IEEE/RSJ international conference on Intelligent robots and systems, (1190-1196)

Ortega A, Dias B, Teniente E, Bernardino A, Gaspar J and Andrade-Cetto J Calibrating an outdoor distributed camera network using laser range finder data Proceedings of the 2009 IEEE/RSJ international conference on Intelligent robots and systems, (303-308)

Xu B, Stilwell D and Kurdila A Efficient computation of level sets for path planning Proceedings of the 2009 IEEE/RSJ international conference on Intelligent robots and systems, (4414-4419)

Cesa-Bianchi N, Gentile C and Vitale F Learning unknown graphs Proceedings of the 20th international conference on Algorithmic learning theory, (110-125)

Kao M, Sanghi M and Schweller R (2009). Randomized fast design of short DNA words, ACM Transactions on Algorithms, 5:4, (1-24), Online publication date: 1-Oct-2009.

Berend D and Braverman V (2009). A linear algorithm for computing convex hulls for random lines, ACM Transactions on Algorithms, 5:4, (1-21), Online publication date: 1-Oct-2009.

Golubchik L, Khanna S, Khuller S, Thurimella R and Zhu A (2009). Approximation algorithms for data placement on parallel disks, ACM Transactions on Algorithms, 5:4, (1-26), Online publication date: 1-Oct-2009.

Nahapetian A, Brisk P, Ghiasi S and Sarrafzadeh M (2009). An approximation algorithm for scheduling on heterogeneous reconfigurable resources, ACM Transactions on Embedded Computing Systems, 9:1, (1-20), Online publication date: 1-Oct-2009.

Beume N, Fonseca C, López-Ibáñez M, Paquete L and Vahrenhold J (2009). On the complexity of computing the hypervolume indicator, IEEE Transactions on Evolutionary Computation, 13:5, (1075-1082), Online publication date: 1-Oct-2009.

Hong C and Tewfik A (2009). Heuristic Reusable Dynamic Programming, IEEE/ACM Transactions on Computational Biology and Bioinformatics, 6:4, (570-582), Online publication date: 1-Oct-2009.

Safarpour S and Veneris A (2009). Automated design debugging with abstraction and refinement, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 28:10, (1597-1608), Online publication date: 1-Oct-2009.

Kayasith P and Theeramunkong T (2009). Speech confusion index (Φ), Computers & Mathematics with Applications, 58:8, (1534-1549), Online publication date: 1-Oct-2009.

Goldberg Y and Ritov Y (2009). Local procrustes for manifold embedding, Machine Language, 77:1, (1-25), Online publication date: 1-Oct-2009.

Sirbiladze G, Sikharulidze A and Ghvaberidze B Fuzzy covering problem based on the expert valuations Proceedings of the 11th WSEAS international conference on Mathematical methods and computational techniques in electrical engineering, (163-170)

Liu W, Shao S, Yang L and Zhu H An advanced scheduling algorithm in OFDM wireless communication systems Proceedings of the 5th International Conference on Wireless communications, networking and mobile computing, (4336-4339)

Chen L and Wang H BREAC: broadcast routing based on Edmonds algorithm for ad hoc networks with asymmetric cost model Proceedings of the 5th International Conference on Wireless communications, networking and mobile computing, (2600-2604)

Codish M, Genaim S and Stuckey P A declarative encoding of telecommunications feature subscription in SAT Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming, (255-266)

Diaconu A, Manea F and Tiseanu C Combinatorial queries and updates on partial words Proceedings of the 17th international conference on Fundamentals of computation theory, (96-108)

Cenciarelli P, Gorla D and Salvo I Depletable channels Proceedings of the 17th international conference on Fundamentals of computation theory, (50-61)

Mu S, Ko H and Jansson P (2009). Algebra of programming in agda, Journal of Functional Programming, 19:5, (545-579), Online publication date: 1-Sep-2009.

Stibor T (2009). Foundations of r-contiguous matching in negative selection for anomaly detection, Natural Computing: an international journal, 8:3, (613-641), Online publication date: 1-Sep-2009.

Argyrides C, Dimosthenous G, Pradhan D, Lisboa C and Carro L Reliability aware yield improvement technique for nanotechnology based circuits Proceedings of the 22nd Annual Symposium on Integrated Circuits and System Design: Chip on the Dunes, (1-6)

Papa J and Falcão A On the Training Patterns Pruning for Optimum-Path Forest Proceedings of the 15th International Conference on Image Analysis and Processing, (259-268)

James P and Chalin P ESC4 Proceedings of the 8th international workshop on Specification and verification of component-based systems, (19-26)

Velázquez-Iturbide J and Pérez-Carrasco A (2009). Active learning of greedy algorithms by means of interactive experimentation, ACM SIGCSE Bulletin, 41:3, (119-123), Online publication date: 25-Aug-2009.

Carpentieri M On multivariate genetic systems Proceedings of the 18th international conference on Fuzzy Systems, (35-40)

Moser C, Chen J and Thiele L Power management in energy harvesting embedded systems with discrete service levels Proceedings of the 2009 ACM/IEEE international symposium on Low power electronics and design, (413-418)

Shan J, Liu Z and Zhou W Sentence similarity measure based on events and content words Proceedings of the 6th international conference on Fuzzy systems and knowledge discovery - Volume 7, (627-631)

Buluç A, Fineman J, Frigo M, Gilbert J and Leiserson C Parallel sparse matrix-vector and matrix-transpose-vector multiplication using compressed sparse blocks Proceedings of the twenty-first annual symposium on Parallelism in algorithms and architectures, (233-244)

Frigo M, Halpern P, Leiserson C and Lewin-Berlin S Reducers and other Cilk++ hyperobjects Proceedings of the twenty-first annual symposium on Parallelism in algorithms and architectures, (79-90)

Aguilera M, Keidar I, Malkhi D and Shraer A Dynamic atomic storage without consensus Proceedings of the 28th ACM symposium on Principles of distributed computing, (17-25)

Marinescu D and Baicoianu A (2009). An algorithm for the guillotine restrictions verification in a rectangular covering model, WSEAS Transactions on Computers, 8:8, (1306-1316), Online publication date: 1-Aug-2009.

Hassanzadeh O, Chiang F, Lee H and Miller R (2009). Framework for evaluating clustering algorithms in duplicate detection, Proceedings of the VLDB Endowment, 2:1, (1282-1293), Online publication date: 1-Aug-2009.

Mi X, DeCarlo D and Stone M Abstraction of 2D shapes in terms of parts Proceedings of the 7th International Symposium on Non-Photorealistic Animation and Rendering, (15-24)

Moiseev K, Kolodny A and Wimer S (2009). Power-delay optimization in VLSI microprocessors by wire spacing, ACM Transactions on Design Automation of Electronic Systems, 14:4, (1-28), Online publication date: 1-Aug-2009.

Moyen J (2009). Resource control graphs, ACM Transactions on Computational Logic, 10:4, (1-44), Online publication date: 1-Aug-2009.

Choi H, Brunet L and How J (2009). Consensus-based decentralized auctions for robusttask allocation, IEEE Transactions on Robotics, 25:4, (912-926), Online publication date: 1-Aug-2009.

Sivaraman V, Elgindy H, Moreland D and Ostry D (2009). Packet pacing in small buffer optical packet switched networks, IEEE/ACM Transactions on Networking, 17:4, (1066-1079), Online publication date: 1-Aug-2009.

Biegler F and Salomaa K (2009). On the synchronized derivation depth of context-free grammars, Theoretical Computer Science, 410:35, (3198-3208), Online publication date: 1-Aug-2009.

Marx D and Schlotter I (2009). Parameterized graph cleaning problems, Discrete Applied Mathematics, 157:15, (3258-3267), Online publication date: 1-Aug-2009.

Sun H and Shu L (2009). Optimization scheduling of MPEG-4 FGS video coding stream under the feasible mandatory constraint, Multimedia Tools and Applications, 44:1, (111-131), Online publication date: 1-Aug-2009.

Gamboa R (2009). A Formalization of Powerlist Algebra in ACL2, Journal of Automated Reasoning, 43:2, (139-172), Online publication date: 1-Aug-2009.

Marinescu D and Baicoianu A The determination of the guillotine restrictions for a rectangular covering model Proceedings of the WSEAES 13th international conference on Computers, (307-312)

Tian J Parameter identification in a class of linear structural equation models Proceedings of the 21st International Joint Conference on Artificial Intelligence, (1970-1975)

Keyder E and Geffner H Trees of shortest paths vs. Steiner trees Proceedings of the 21st International Joint Conference on Artificial Intelligence, (1734-1739)

Maher M Open contractible global constraints Proceedings of the 21st International Joint Conference on Artificial Intelligence, (578-583)

Procaccia A Thou shalt covet thy neighbor's cake Proceedings of the 21st International Joint Conference on Artificial Intelligence, (239-244)

Whitley D, Hains D and Howe A Tunneling between optima Proceedings of the 11th Annual conference on Genetic and evolutionary computation, (915-922)

Auger A, Bader J, Brockhoff D and Zitzler E Investigating and exploiting the bias of the weighted hypervolume to articulate user preferences Proceedings of the 11th Annual conference on Genetic and evolutionary computation, (563-570)

Velázquez-Iturbide J and Pérez-Carrasco A Active learning of greedy algorithms by means of interactive experimentation Proceedings of the 14th annual ACM SIGCSE conference on Innovation and technology in computer science education, (119-123)

Spina T, Montoya-Zegarra J, Falcão A and Miranda P Fast interactive segmentation of natural images using the image foresting transform Proceedings of the 16th international conference on Digital Signal Processing, (998-1005)

Papa J, Falcão A, Levada A, Corrêa D, Salvadeo D and Mascarenhas N Fast and accurate holistic face recognition using optimum-path forest Proceedings of the 16th international conference on Digital Signal Processing, (781-786)

Mittal N, Krishnamurthy S, Chandrasekaran R, Venkatesan S and Zeng Y (2009). On neighbor discovery in cognitive radio networks, Journal of Parallel and Distributed Computing, 69:7, (623-637), Online publication date: 1-Jul-2009.

Kujala J (2009). Assembling approximately optimal binary search trees efficiently using arithmetics, Information Processing Letters, 109:16, (962-966), Online publication date: 1-Jul-2009.

Wang F, Pu J and Hamdi M (2009). QoS based scheduling in the downlink of multi-user wireless systems (extended), Computer Communications, 32:11, (1257-1262), Online publication date: 1-Jul-2009.

Han W and Lee J Dependency-aware reordering for parallelizing query optimization in multi-core CPUs Proceedings of the 2009 ACM SIGMOD International Conference on Management of data, (45-58)

Kešelj V, Liu H, Zeh N, Blouin C and Whidden C Finding optimal parameters for edit distance based sequence classification is NP-hard Proceedings of the KDD-09 Workshop on Statistical and Relational Learning in Bioinformatics, (17-21)

Tantipathananandh C and Berger-Wolf T Constant-factor approximation algorithms for identifying dynamic communities Proceedings of the 15th ACM SIGKDD international conference on Knowledge discovery and data mining, (827-836)

Bauer Jr. D, Carothers C and Holder A Scalable Time Warp on Blue Gene Supercomputers Proceedings of the 2009 ACM/IEEE/SCS 23rd Workshop on Principles of Advanced and Distributed Simulation, (35-44)

Wang W, Cai J and Alfa A Distributed routing schemes for multi-hop fixed relay networks Proceedings of the 2009 International Conference on Wireless Communications and Mobile Computing: Connecting the World Wirelessly, (477-482)

Mitev M, Racheva E and Marinova G Algorithm for defining of initial package of notions for purpose of e-learning Proceedings of the International Conference on Computer Systems and Technologies and Workshop for PhD Students in Computing, (1-5)

Hecker A and Kürner T Introduction of measurement-based estimation of handover attempts for automatic planning of mobile radio networks Proceedings of the 2009 IEEE international conference on Communications, (4701-4705)

Chen I, Lin P, Luo C, Cheng T, Lin Y, Lai Y and Lin F Extracting attack sessions from real traffic with intrusion prevention systems Proceedings of the 2009 IEEE international conference on Communications, (889-893)

Ko C and Shi L Scheduling for finite time consensus Proceedings of the 2009 conference on American Control Conference, (1982-1986)

Lavaei J and Sojoudi S Complexity of checking the existence of a stabilizing decentralized controller Proceedings of the 2009 conference on American Control Conference, (1827-1832)

Park K, Becker E, Vinjumur J, Le Z and Makedon F Human behavioral detection and data cleaning in assisted living environment using wireless sensor networks Proceedings of the 2nd International Conference on PErvasive Technologies Related to Assistive Environments, (1-8)

Agarwal P, Ezra E and Shair M Near-linear approximation algorithms for geometric hitting sets Proceedings of the twenty-fifth annual symposium on Computational geometry, (23-32)

Ramakrishnan A A, Kuppan S and Devi S Automatic generation of Tamil lyrics for melodies Proceedings of the Workshop on Computational Approaches to Linguistic Creativity, (40-46)

Loh P and Prakash E (2009). Novel moving target search algorithms for computer gaming, Computers in Entertainment, 7:2, (1-16), Online publication date: 1-Jun-2009.

Das S, Abraham A, Chakraborty U and Konar A (2009). Differential evolution using a neighborhood-based mutation operator, IEEE Transactions on Evolutionary Computation, 13:3, (526-553), Online publication date: 1-Jun-2009.

Kim D and Cho J (2009). Active caching, IEEE Communications Letters, 13:6, (378-380), Online publication date: 1-Jun-2009.

Sakai Y (2009). Computing the longest topological common subsequence of a symbol-wise totally ordered directed acyclic graph and a sequence, Theoretical Computer Science, 410:27-29, (2759-2766), Online publication date: 1-Jun-2009.

Park K, Park H, Jeun W and Ha S (2009). Boolean circuit programming, Journal of Discrete Algorithms, 7:2, (267-277), Online publication date: 1-Jun-2009.

Barrière L, Dalfó C, Fiol M and Mitjana M (2009). The generalized hierarchical product of graphs, Discrete Mathematics, 309:12, (3871-3881), Online publication date: 1-Jun-2009.

Fomin F, Mazoit F and Todinca I (2009). Computing branchwidth via efficient triangulations and blocks, Discrete Applied Mathematics, 157:12, (2726-2736), Online publication date: 1-Jun-2009.

Oltean M and Muntean O (2009). Solving the subset-sum problem with a light-based device, Natural Computing: an international journal, 8:2, (321-331), Online publication date: 1-Jun-2009.

Su F and Markert K Subjectivity recognition on word senses via semi-supervised mincuts Proceedings of Human Language Technologies: The 2009 Annual Conference of the North American Chapter of the Association for Computational Linguistics, (1-9)

Aronov B, Ezra E and Shair M Small-size ε-nets for axis-parallel rectangles and boxes Proceedings of the forty-first annual ACM symposium on Theory of computing, (639-648)

Ding M and Cheng X Fault tolerant target tracking in sensor networks Proceedings of the tenth ACM international symposium on Mobile ad hoc networking and computing, (125-134)

Lee Y and Zomaya A Minimizing Energy Consumption for Precedence-Constrained Applications Using Dynamic Voltage Scaling Proceedings of the 2009 9th IEEE/ACM International Symposium on Cluster Computing and the Grid, (92-99)

Hsu H and Orso A MINTS Proceedings of the 31st International Conference on Software Engineering, (419-429)

Fortin J, Kasperski A and Zieliński P (2009). Some methods for evaluating the optimality of elements in matroids with ill-known weights, Fuzzy Sets and Systems, 160:10, (1341-1354), Online publication date: 15-May-2009.

Fitch R and Lal R Experiments with a ZigBee wireless communication system for self-reconfiguring modular robots Proceedings of the 2009 IEEE international conference on Robotics and Automation, (3965-3970)

Joo H, Jeong Y, Duchenne O, Ko S and Kweon I Graph-based robust shape matching for robotic application Proceedings of the 2009 IEEE international conference on Robotics and Automation, (2618-2624)

Piniés P, Paz L and Tardós J CI-graph Proceedings of the 2009 IEEE international conference on Robotics and Automation, (2538-2545)

Ågotnes T, van der Hoek W, Tennenholtz M and Wooldridge M Power in normative systems Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 1, (145-152)

Yan J and Chen Z RDL pre-assignment routing for flip-chip designs Proceedings of the 19th ACM Great Lakes symposium on VLSI, (401-404)

Srinivasan R and Carter H A taylor series methodology for analyzing the effects of process variation on circuit operation Proceedings of the 19th ACM Great Lakes symposium on VLSI, (203-208)

Chali Y, Joty S and Hasan S (2009). Complex question answering, Journal of Artificial Intelligence Research, 35:1, (1-47), Online publication date: 1-May-2009.

Sliwko L and Zgrzywa A (2009). A novel strategy for multi-resource load balancing in agent-based systems, International Journal of Intelligent Information and Database Systems, 3:2, (180-202), Online publication date: 1-May-2009.

Pun M, Brown D and Poor H (2009). Opportunistic collaborative beamforming with one-bit feedback, IEEE Transactions on Wireless Communications, 8:5, (2629-2641), Online publication date: 1-May-2009.

Silva J and Narayanan S (2009). Discriminative wavelet packet filter bank selection for pattern recognition, IEEE Transactions on Signal Processing, 57:5, (1796-1810), Online publication date: 1-May-2009.

Saule E and Trystram D (2009). Analyzing scheduling with transient failures, Information Processing Letters, 109:11, (539-542), Online publication date: 1-May-2009.

Sirbiladze G, Ghvaberidze B, Latsabidze T and Matsaberidze B (2009). Using a minimal fuzzy covering in decision-making problems, Information Sciences: an International Journal, 179:12, (2022-2027), Online publication date: 1-May-2009.

Knudsen L, Mendel F, Rechberger C and Thomsen S Cryptanalysis of MDC-2 Proceedings of the 28th Annual International Conference on Advances in Cryptology - EUROCRYPT 2009 - Volume 5479, (106-120)

Holdsworth J and Lui S GPS-enabled mobiles for learning shortest paths Proceedings of the 4th International Conference on Foundations of Digital Games, (86-90)

Tran N, Min B, Li J and Subramanian L Sybil-resilient online content voting Proceedings of the 6th USENIX symposium on Networked systems design and implementation, (15-28)

Bae S, Mangalagiri P and Vijaykrishnan N Exploiting clock skew scheduling for FPGA Proceedings of the Conference on Design, Automation and Test in Europe, (1524-1529)

Arora A and Sang L Dialog codes for secure wireless communications Proceedings of the 2009 International Conference on Information Processing in Sensor Networks, (13-24)

Wu F and Tory M PhotoScope Proceedings of the SIGCHI Conference on Human Factors in Computing Systems, (1103-1112)

Tsatsaronis G and Panagiotopoulou V A generalized vector space model for text retrieval based on semantic relatedness Proceedings of the 12th Conference of the European Chapter of the Association for Computational Linguistics: Student Research Workshop, (70-78)

Kwolek B (2009). Object segmentation in video via graph cut built on superpixels, Fundamenta Informaticae, 90:4, (379-393), Online publication date: 1-Apr-2009.

Cheng K, Lui K, Wu Y and Tam V (2009). A distributed multihop time synchronization protocol for wireless sensor networks using pairwise broadcast synchronization, IEEE Transactions on Wireless Communications, 8:4, (1764-1772), Online publication date: 1-Apr-2009.

Park Y, Shackney S and Schwartz R (2009). Network-Based Inference of Cancer Progression from Microarray Data, IEEE/ACM Transactions on Computational Biology and Bioinformatics, 6:2, (200-212), Online publication date: 1-Apr-2009.

Sanyal A, Ganeshpure K and Kundu S (2009). An improved soft-error rate measurement technique, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 28:4, (596-600), Online publication date: 1-Apr-2009.

Gargano L and Rescigno A (2009). Collision-free path coloring with application to minimum-delay gathering in sensor networks, Discrete Applied Mathematics, 157:8, (1858-1872), Online publication date: 1-Apr-2009.

Paul M, Finch A and Sumita E NICT@WMT09 Proceedings of the Fourth Workshop on Statistical Machine Translation, (105-109)

Navigli R Using cycles and quasi-cycles to disambiguate dictionary glosses Proceedings of the 12th Conference of the European Chapter of the Association for Computational Linguistics, (594-602)

Lopez A Translation as weighted deduction Proceedings of the 12th Conference of the European Chapter of the Association for Computational Linguistics, (532-540)

Xiao Y, Wu W, Pei J, Wang W and He Z Efficiently indexing shortest paths by exploiting symmetry in graphs Proceedings of the 12th International Conference on Extending Database Technology: Advances in Database Technology, (493-504)

Cheng J and Yu J On-line exact shortest distance query processing Proceedings of the 12th International Conference on Extending Database Technology: Advances in Database Technology, (481-492)

Selçuk Candan K, Cao H, Qi Y and Sapino M AlphaSum Proceedings of the 12th International Conference on Extending Database Technology: Advances in Database Technology, (96-107)

Green T, Ives Z and Tannen V Reconcilable differences Proceedings of the 12th International Conference on Database Theory, (212-224)

Harsh P and Newman R Using geo-spatial session tagging for smart multicast session discovery Proceedings of the 2009 ACM symposium on Applied Computing, (22-27)

Gal-Ezer J, Vilner T and Zur E (2009). Has the paradigm shift in CS1 a harmful effect on data structures courses, ACM SIGCSE Bulletin, 41:1, (126-130), Online publication date: 4-Mar-2009.

Gal-Ezer J, Vilner T and Zur E Has the paradigm shift in CS1 a harmful effect on data structures courses Proceedings of the 40th ACM technical symposium on Computer science education, (126-130)

Hui S, Fader P and Bradlow E (2009). Path Data in Marketing, Marketing Science, 28:2, (320-335), Online publication date: 1-Mar-2009.

Hong Y and Huang J (2009). Reducing fault dictionary size for million-gate large circuits, ACM Transactions on Design Automation of Electronic Systems, 14:2, (1-14), Online publication date: 1-Mar-2009.

Li Z, Zhu S and Zhou M (2009). A divide-and-conquer strategy to deadlock prevention in flexible manufacturing systems, IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews, 39:2, (156-169), Online publication date: 1-Mar-2009.

Ozdal M (2009). Detailed-routing algorithms for dense pin clusters in integrated circuits, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 28:3, (340-349), Online publication date: 1-Mar-2009.

Juszczak P, Tax D, Pekalska E and Duin R (2009). Minimum spanning tree based one-class classifier, Neurocomputing, 72:7-9, (1859-1869), Online publication date: 1-Mar-2009.

Klein S (2009). On the use of negation in Boolean IR queries, Information Processing and Management: an International Journal, 45:2, (298-311), Online publication date: 1-Mar-2009.

Zhang Y, Manisterski E, Kraus S, Subrahmanian V and Peleg D (2009). Computing the fault tolerance of multi-agent deployment, Artificial Intelligence, 173:3-4, (437-465), Online publication date: 1-Mar-2009.

Oltean M (2009). Light-based string matching, Natural Computing: an international journal, 8:1, (121-132), Online publication date: 1-Mar-2009.

Sen S Approximating Shortest Paths in Graphs Proceedings of the 3rd International Workshop on Algorithms and Computation, (32-43)

Cho E, Moon C, Im H and Baik D An anonymous communication model for privacy-enhanced location based service using an echo agent Proceedings of the 3rd International Conference on Ubiquitous Information Management and Communication, (290-297)

Nicolau A, Li G and Kejariwal A (2009). Techniques for efficient placement of synchronization primitives, ACM SIGPLAN Notices, 44:4, (199-208), Online publication date: 14-Feb-2009.

Kulkarni M, Burtscher M, Inkulu R, Pingali K and Casçaval C (2009). How much parallelism is there in irregular applications?, ACM SIGPLAN Notices, 44:4, (3-14), Online publication date: 14-Feb-2009.

Nicolau A, Li G and Kejariwal A Techniques for efficient placement of synchronization primitives Proceedings of the 14th ACM SIGPLAN symposium on Principles and practice of parallel programming, (199-208)

Kulkarni M, Burtscher M, Inkulu R, Pingali K and Casçaval C How much parallelism is there in irregular applications? Proceedings of the 14th ACM SIGPLAN symposium on Principles and practice of parallel programming, (3-14)

Bouras C and Primpas D (2009). Architectures and performance evaluation of bandwidth brokers, International Journal of Network Management, 19:2, (101-117), Online publication date: 3-Feb-2009.

Panangadan A and Dyer M (2009). Construction in a Simulated Environment Using Temporal Goal Sequencing and Reinforcement Learning, Adaptive Behavior - Animals, Animats, Software Agents, Robots, Adaptive Systems, 17:1, (81-104), Online publication date: 1-Feb-2009.

Chen C, Chen M and Chen M (2009). An adaptive threshold framework for event detection using HMM-based life profiles, ACM Transactions on Information Systems, 27:2, (1-35), Online publication date: 1-Feb-2009.

Urgaonkar B, Shenoy P and Roscoe T (2009). Resource overbooking and application profiling in a shared Internet hosting platform, ACM Transactions on Internet Technology, 9:1, (1-45), Online publication date: 1-Feb-2009.

Tabatabaee V and Tassiulas L (2009). MNCM, IEEE/ACM Transactions on Networking, 17:1, (294-304), Online publication date: 1-Feb-2009.

Van Mieghem P and Wang H (2009). The observable part of a network, IEEE/ACM Transactions on Networking, 17:1, (93-105), Online publication date: 1-Feb-2009.

Mehta V, Marek-Sadowska M, Tsai K and Rajski J (2009). Timing-aware multiple-delay-fault diagnosis, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 28:2, (245-258), Online publication date: 1-Feb-2009.

Antiqueira L, Oliveira O, Costa L and Nunes M (2009). A complex network approach to text summarization, Information Sciences: an International Journal, 179:5, (584-599), Online publication date: 1-Feb-2009.

Hashemian S and Mavaddat F (2008). A Logical Reasoning Approach to Automatic Composition of Stateless Components, Fundamenta Informaticae, 89:4, (539-577), Online publication date: 31-Jan-2009.

Yan J and Chen Z IO connection assignment and RDL routing for flip-chip designs Proceedings of the 2009 Asia and South Pacific Design Automation Conference, (588-593)

Basagni S, Nidito F and Faragó A The multi-radio advantage Proceedings of the 4th international conference on Radio and wireless symposium, (451-454)

Hou Y, Zafer M, Lee K, Verma D and Leung K On the mapping between logical and physical topologies Proceedings of the First international conference on COMmunication Systems And NETworks, (483-492)

Clifford R, Efremenko K, Porat E and Rothschild A From coding theory to efficient pattern matching Proceedings of the twentieth annual ACM-SIAM symposium on Discrete algorithms, (778-784)

Yates A and Etzioni O (2009). Unsupervised methods for determining object and relation synonyms on the web, Journal of Artificial Intelligence Research, 34:1, (255-296), Online publication date: 1-Jan-2009.

Armoni M (2009). Reduction in CS, Journal on Educational Resources in Computing, 8:4, (1-30), Online publication date: 1-Jan-2009.

Dasdan A (2009). Provably efficient algorithms for resolving temporal and spatial difference constraint violations, ACM Transactions on Design Automation of Electronic Systems, 14:1, (1-24), Online publication date: 1-Jan-2009.

Liu L, Liu W, Cartes D and Chung I (2009). Slow coherency and Angle Modulated Particle Swarm Optimization based islanding of large-scale power systems, Advanced Engineering Informatics, 23:1, (45-56), Online publication date: 1-Jan-2009.

Lee H and Shim J Indexing Method for Transitive Relationships of Product Information Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 03, (521-524)

Wolf J, Bansal N, Hildrum K, Parekh S, Rajan D, Wagle R, Wu K and Fleischer L SODA Proceedings of the 9th ACM/IFIP/USENIX International Conference on Middleware, (306-325)

Hashemian S and Mavaddat F (2008). A Logical Reasoning Approach to Automatic Composition of Stateless Components, Fundamenta Informaticae, 89:4, (539-577), Online publication date: 1-Dec-2008.

Mitra S, Liberzon D and Lynch N (2009). Verifying average dwell time of hybrid systems, ACM Transactions on Embedded Computing Systems, 8:1, (1-37), Online publication date: 1-Dec-2008.

Costa M, Crowcroft J, Castro M, Rowstron A, Zhou L, Zhang L and Barham P (2008). Vigilante, ACM Transactions on Computer Systems, 26:4, (1-68), Online publication date: 1-Dec-2008.

Oprocha_ca P (2008). Algorithmic Approach to Devaney Chaos in Shift Spaces, Fundamenta Informaticae, 87:3-4, (435-446), Online publication date: 30-Nov-2008.

Schmidt T, Wählisch M and Christ O AuthoCast Proceedings of the 6th International Conference on Advances in Mobile Computing and Multimedia, (142-149)

Kandemir M, Li F, Irwin M and Son S A novel migration-based NUCA design for chip multiprocessors Proceedings of the 2008 ACM/IEEE conference on Supercomputing, (1-12)

Mogal H and Bazargan K Thermal-aware floorplanning for task migration enabled active sub-threshold leakage reduction Proceedings of the 2008 IEEE/ACM International Conference on Computer-Aided Design, (302-305)

Leporati A and Gutiérrez-Naranjo M (2008). Solving SUBSET SUM by Spiking Neural P Systems with Pre-computed Resources, Fundamenta Informaticae, 87:1, (61-77), Online publication date: 1-Nov-2008.

Ciobanu G and Resios A (2008). Computational Complexity of Simple P Systems, Fundamenta Informaticae, 87:1, (49-59), Online publication date: 1-Nov-2008.

Grandoni F, Könemann J and Panconesi A (2008). Distributed weighted vertex cover via maximal matchings, ACM Transactions on Algorithms, 5:1, (1-12), Online publication date: 1-Nov-2008.

Huang C and Leung C Downlink mixed-traffic scheduling with packet division multiplexing Proceedings of the 3nd ACM workshop on Performance monitoring and measurement of heterogeneous wireless and wired networks, (165-172)

Gopinathan M and Rajamani S (2008). Enforcing object protocols by combining static and runtime analysis, ACM SIGPLAN Notices, 43:10, (245-260), Online publication date: 27-Oct-2008.

Wang M and Hua X Study on the combination of video concept detectors Proceedings of the 16th ACM international conference on Multimedia, (647-650)

Kim Y, Kim K, Ahn S and Chung J Network Stability Analysis Techniques Using the Virtual Articulation Node Proceedings of the 11th Asia-Pacific Symposium on Network Operations and Management: Challenges for Next Generation Network Operations and Service Management, (458-461)

Bouillard A, Jouhet L and Thierry E Computation of a (min,+) multi-dimensional convolution for end-to-end performance analysis Proceedings of the 3rd International Conference on Performance Evaluation Methodologies and Tools, (1-7)

Coeurjolly D, Hulin J and Sivignon I (2008). Finding a minimum medial axis of a discrete shape is NP-hard, Theoretical Computer Science, 406:1-2, (72-79), Online publication date: 20-Oct-2008.

Huang C, Sheldon D and Vahid F Dynamic tuning of configurable architectures Proceedings of the 6th IEEE/ACM/IFIP international conference on Hardware/Software codesign and system synthesis, (97-102)

Gopinathan M and Rajamani S Enforcing object protocols by combining static and runtime analysis Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications, (245-260)

Barus A, Chen T, Grant D, Kuo F and Lau M Testing of heuristic methods Proceedings of the Third IFIP TC 2 Central and East European conference on Software engineering techniques, (246-260)

Daniela M, Paul I and Alexandra B (2008). A plan of lauding the boxes for a three dimensional bin packing model, WSEAS TRANSACTIONS on SYSTEMS, 7:10, (830-839), Online publication date: 1-Oct-2008.

Stratan C, Iosup A and Epema D A performance study of grid workflow engines Proceedings of the 2008 9th IEEE/ACM International Conference on Grid Computing, (25-32)

Fischer S and Kuchen H (2008). Data-flow testing of declarative programs, ACM SIGPLAN Notices, 43:9, (201-212), Online publication date: 27-Sep-2008.

Pavlidis V and Friedman E (2008). Three-dimensional Integrated Circuit Design, 10.5555/1457591, Online publication date: 25-Sep-2008.

Dechev D, Rouquette N, Pirkelbauer P and Stroustrup B Verification and semantic parallelization of goal-driven autonomous software Proceedings of the 2nd International Conference on Autonomic Computing and Communication Systems, (1-8)

Fischer S and Kuchen H Data-flow testing of declarative programs Proceedings of the 13th ACM SIGPLAN international conference on Functional programming, (201-212)

Helmert M and Geffner H Unifying the causal graph and additive heuristics Proceedings of the Eighteenth International Conference on International Conference on Automated Planning and Scheduling, (140-147)

Furrow B (2008). A panoply of quantum algorithms, Quantum Information & Computation, 8:8, (834-859), Online publication date: 1-Sep-2008.

Amir A, Levy A and Reuveni L (2008). The Practical Efficiency of Convolutions in Pattern Matching Algorithms, Fundamenta Informaticae, 84:1, (1-15), Online publication date: 1-Sep-2008.

Ozdal M, Wong M and Honsinger P (2008). Optimal routing algorithms for rectilinear pin clusters in high-density multichip modules, ACM Transactions on Design Automation of Electronic Systems, 13:4, (1-20), Online publication date: 1-Sep-2008.

Volegov D and Yurin D (2008). Preliminary coarse image registration by using straight lines found on them for constructing super resolution mosaics and 3D scene recovery, Programming and Computing Software, 34:5, (279-293), Online publication date: 1-Sep-2008.

Wang Y, He K, Luo R, Wang H and Yang H (2008). Two-phase fine-grain sleep transistor insertion technique in leakage critical circuits, IEEE Transactions on Very Large Scale Integration (VLSI) Systems, 16:9, (1101-1113), Online publication date: 1-Sep-2008.

Biasotti S, Giorgi D, Spagnuolo M and Falcidieno B (2008). Size functions for comparing 3D models, Pattern Recognition, 41:9, (2855-2873), Online publication date: 1-Sep-2008.

Fatima S, Wooldridge M and Jennings N (2008). A linear approximation method for the Shapley value, Artificial Intelligence, 172:14, (1673-1699), Online publication date: 1-Sep-2008.

Garriga G, Junttila E and Mannila H Banded structure in binary matrices Proceedings of the 14th ACM SIGKDD international conference on Knowledge discovery and data mining, (292-300)

Laugerotte É and Ziadi D (2008). WeightedWord Recognition, Fundamenta Informaticae, 83:3, (277-298), Online publication date: 20-Aug-2008.

Jarosz W, Jensen H and Donner C Advanced global illumination using photon mapping ACM SIGGRAPH 2008 classes, (1-112)

Oprocha P (2008). Algorithmic Approach to Devaney Chaos in Shift Spaces, Fundamenta Informaticae, 87:3-4, (435-446), Online publication date: 1-Aug-2008.

Laugerotte É and Ziadi D (2008). WeightedWord Recognition, Fundamenta Informaticae, 83:3, (277-298), Online publication date: 1-Aug-2008.

Cheng R, Chen J and Xie X (2008). Cleaning uncertain data with quality guarantees, Proceedings of the VLDB Endowment, 1:1, (722-735), Online publication date: 1-Aug-2008.

Machanavajjhala A, Vee E, Garofalakis M and Shanmugasundaram J (2008). Scalable ranked publish/subscribe, Proceedings of the VLDB Endowment, 1:1, (451-462), Online publication date: 1-Aug-2008.

Komogortsev O and Khan J (2008). Predictive real-time perceptual compression based on eye-gaze-position analysis, ACM Transactions on Multimedia Computing, Communications, and Applications, 4:3, (1-16), Online publication date: 1-Aug-2008.

Timmis J, Hone A, Stibor T and Clark E (2008). Theoretical advances in artificial immune systems, Theoretical Computer Science, 403:1, (11-32), Online publication date: 1-Aug-2008.

Bonet B and Geffner H (2008). Heuristics for planning with penalties and rewards formulated in logic and computed through circuits, Artificial Intelligence, 172:12-13, (1579-1604), Online publication date: 1-Aug-2008.

Wang F and Hamdi M QoS based scheduling in the downlink of multiuser wireless systems Proceedings of the 5th International ICST Conference on Heterogeneous Networking for Quality, Reliability, Security and Robustness, (1-6)

Daniela M, Paul I and Alexandra B A topological order for a rectangular three dimensional bin packing problem Proceedings of the 12th WSEAS international conference on Computers, (285-290)

Elkarablieh B, Marinov D and Khurshid S Efficient solving of structural constraints Proceedings of the 2008 international symposium on Software testing and analysis, (39-50)

Shen J, Li L and Wong W Markov blanket feature selection for support vector machines Proceedings of the 23rd national conference on Artificial intelligence - Volume 2, (696-701)

Lesaint D, Mehta D, O'Sullivan B, Quesada L and Wilson N Personalisation of telecommunications services as combinatorial optimisation Proceedings of the 20th national conference on Innovative applications of artificial intelligence - Volume 3, (1693-1698)

Brandt F, Fischer F, Harrenstein P and Mair M A computational analysis of the tournament equilibrium set Proceedings of the 23rd national conference on Artificial intelligence - Volume 1, (38-43)

Weyland D Simulated annealing, its parameter settings and the longest common subsequence problem Proceedings of the 10th annual conference on Genetic and evolutionary computation, (803-810)

Lee Y, Thomo A, Wu K and King V Scalable Ubiquitous Data Access in Clustered Sensor Networks Proceedings of the 20th international conference on Scientific and Statistical Database Management, (533-540)

Kriegel H, Kröger P, Renz M and Schmidt T Hierarchical Graph Embedding for Efficient Query Processing in Very Large Traffic Networks Proceedings of the 20th international conference on Scientific and Statistical Database Management, (150-167)

Steinemann D, Otaduy M and Gross M Fast adaptive shape matching deformations Proceedings of the 2008 ACM SIGGRAPH/Eurographics Symposium on Computer Animation, (87-94)

Pritchard D Fast Distributed Computation of Cuts Via Random Circulations Proceedings of the 35th international colloquium on Automata, Languages and Programming - Volume Part I, (145-160)

Oommen B and Fayyoumi E Enhancing Micro-Aggregation Technique by Utilizing Dependence-Based Information in Secure Statistical Databases Proceedings of the 13th Australasian conference on Information Security and Privacy, (404-418)

Meyer U On Trade-Offs in External-Memory Diameter-Approximation Proceedings of the 11th Scandinavian workshop on Algorithm Theory, (426-436)

Azar Y, Feige U and Glasner D A Preemptive Algorithm for Maximizing Disjoint Paths on Trees Proceedings of the 11th Scandinavian workshop on Algorithm Theory, (319-330)

Ésik Z and Iván S (2008). Some Varieties of Finite Tree Automata Related to Restricted Temporal Logics, Fundamenta Informaticae, 82:1-2, (79-103), Online publication date: 1-Jul-2008.

Tseng I and Postula A (2008). Partitioning parameterized 45-degree polygons with constraint programming, ACM Transactions on Design Automation of Electronic Systems, 13:3, (1-29), Online publication date: 1-Jul-2008.

Wensch J, Gerisch A and Posch S (2008). Optimised coupling of hierarchies in image registration, Image and Vision Computing, 26:7, (1000-1011), Online publication date: 1-Jul-2008.

Caumond A, Lacomme P and Tchernev N (2008). A memetic algorithm for the job-shop with time-lags, Computers and Operations Research, 35:7, (2331-2356), Online publication date: 1-Jul-2008.

Sharifzadeh M, Kolahdouzan M and Shahabi C (2008). The optimal sequenced route query, The VLDB Journal — The International Journal on Very Large Data Bases, 17:4, (765-787), Online publication date: 1-Jul-2008.

Hadzic T, Lesaint D, Mehta D, O'Sullivan B, Quesada L and Wilson N A BDD Approach to the Feature Subscription Problem Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence, (698-702)

Bleiweiss A GPU accelerated pathfinding Proceedings of the 23rd ACM SIGGRAPH/EUROGRAPHICS symposium on Graphics hardware, (65-74)

Clifford R, Efremenko K, Porat B and Porat E A Black Box for Online Approximate Pattern Matching Proceedings of the 19th annual symposium on Combinatorial Pattern Matching, (143-151)

Avni H and Shavit N Maintaining Consistent Transactional States without a Global Clock Proceedings of the 15th international colloquium on Structural Information and Communication Complexity, (131-140)

Balmin A, Özcan F, Singh A and Ting E Grouping and optimization of XPath expressions in DB2® pureXML Proceedings of the 2008 ACM SIGMOD international conference on Management of data, (1065-1074)

Qi Y, Candan K, Tatemura J, Chen S and Liao F Supporting OLAP operations over imperfectly integrated taxonomies Proceedings of the 2008 ACM SIGMOD international conference on Management of data, (875-888)

Jin R, Xiang Y, Ruan N and Wang H Efficiently answering reachability queries on very large directed graphs Proceedings of the 2008 ACM SIGMOD international conference on Management of data, (595-608)

Liu K and Terzi E Towards identity anonymization on graphs Proceedings of the 2008 ACM SIGMOD international conference on Management of data, (93-106)

McCamant S and Ernst M Quantitative information flow as network flow capacity Proceedings of the 29th ACM SIGPLAN Conference on Programming Language Design and Implementation, (193-205)

Ramakrishnan G, Joshi S, Khaitan S and Balakrishnan S Optimization issues in inverted index-based entity annotation Proceedings of the 3rd international conference on Scalable information systems, (1-10)

Choi Y, Khan M, Kumar V and Pandurangan G Energy-optimal distributed algorithms for minimum spanning trees Proceedings of the twentieth annual symposium on Parallelism in algorithms and architectures, (188-190)

Zhao C, Zhao Y and Dey S (2008). Intelligent robustness insertion for optimal transient error tolerance improvement in VLSI circuits, IEEE Transactions on Very Large Scale Integration (VLSI) Systems, 16:6, (714-724), Online publication date: 1-Jun-2008.

Lee I (2008). A Simple Algorithm for Transposition-Invariant Amplified (δ, γ)-Matching, IEICE - Transactions on Information and Systems, E91-D:6, (1824-1826), Online publication date: 1-Jun-2008.

Ozertem U, Erdogmus D and Jenssen R (2008). Mean shift spectral clustering, Pattern Recognition, 41:6, (1924-1938), Online publication date: 1-Jun-2008.

Aho T, Elomaa T and Kujala J Reducing splaying by taking advantage of working sets Proceedings of the 7th international conference on Experimental algorithms, (1-12)

McCamant S and Ernst M (2008). Quantitative information flow as network flow capacity, ACM SIGPLAN Notices, 43:6, (193-205), Online publication date: 30-May-2008.

Régin J Simpler and incremental consistency checking and arc consistency filtering algorithms for the weighted spanning tree constraint Proceedings of the 5th international conference on Integration of AI and OR techniques in constraint programming for combinatorial optimization problems, (233-247)

Malik M, Pervaiz A, Uzuncaova E and Khurshid S Deryaft Proceedings of the 30th international conference on Software engineering, (859-862)

Shafran V, Kaminka G, Kraus S and Goldman C Towards bidirectional distributed matchmaking Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 3, (1437-1440)

Cheng K and Dasgupta P Coalition game-based distributed coverage of unknown environments by robot swarms Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 3, (1191-1194)

Giovannucci A, Vinyals M, Rodriguez-Aguilar J and Cerquides J Computationally-efficient winner determination for mixed multi-unit combinatorial auctions Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 2, (1071-1078)

Zied M, Hayder M, Emna A and Habib M Efficient tree topology for FPGA interconnect network Proceedings of the 18th ACM Great Lakes symposium on VLSI, (321-326)

Sikharulidze A and Sirbiladze G Average misbelief criterion in the minimal fuzzy covering problem Proceedings of the 9th WSEAS International Conference on Fuzzy Systems, (42-48)

Katz M and Domshlak C (2008). New Islands of tractability of cost-optimal planning, Journal of Artificial Intelligence Research, 32:1, (203-288), Online publication date: 1-May-2008.

Monniaux D (2008). The pitfalls of verifying floating-point computations, ACM Transactions on Programming Languages and Systems, 30:3, (1-41), Online publication date: 1-May-2008.

Goto H (2008). Efficient Calculation of the Transition Matrix in a Max-Plus Linear State-Space Representation, IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, E91-A:5, (1278-1282), Online publication date: 1-May-2008.

Rozanov M and Strichman O (2008). Generating Minimum Transitivity Constraints in P-time for Deciding Equality Logic, Electronic Notes in Theoretical Computer Science (ENTCS), 198:2, (3-17), Online publication date: 1-May-2008.

Pasricha S and Dutt N (2008). On-Chip Communication Architectures, 10.5555/1211699, Online publication date: 29-Apr-2008.

Wang X, Feng D, Xu Z and Hu H Mediator-free secure policy interoperation of exclusively-trusted multiple domains Proceedings of the 4th international conference on Information security practice and experience, (248-262)

Cai R, Yang J, Lai W, Wang Y and Zhang L iRobot Proceedings of the 17th international conference on World Wide Web, (447-456)

Nederhof M and Satta G (2008). Computation of distances for regular and context-free probabilistic languages, Theoretical Computer Science, 395:2-3, (235-254), Online publication date: 20-Apr-2008.

Iliopoulos C and Sohel Rahman M (2008). Algorithms for computing variants of the longest common subsequence problem, Theoretical Computer Science, 395:2-3, (255-267), Online publication date: 20-Apr-2008.

Dupas A and Damiand G First results for 3D image segmentation with topological map Proceedings of the 14th IAPR international conference on Discrete geometry for computer imagery, (507-518)

Long J, Zhou H and Memik S An O(nlogn) edge-based algorithm for obstacle-avoiding rectilinear steiner tree construction Proceedings of the 2008 international symposium on Physical design, (126-133)

Dupas A and Damiand G Comparison of local and global region merging in the topological map Proceedings of the 12th international conference on Combinatorial image analysis, (420-431)

Lingas A and Lundell E Efficient approximation algorithms for shortest cycles in undirected graphs Proceedings of the 8th Latin American conference on Theoretical informatics, (736-746)

Natale M and Pappalardo V (2008). Buffer optimization in multitask implementations of Simulink models, ACM Transactions on Embedded Computing Systems, 7:3, (1-32), Online publication date: 1-Apr-2008.

Rocha P, Ravetti M, Mateus G and Pardalos P (2008). Exact algorithms for a scheduling problem with unrelated parallel machines and sequence and machine-dependent setup times, Computers and Operations Research, 35:4, (1250-1264), Online publication date: 1-Apr-2008.

Agmon N, Hazon N and Kaminka G (2008). The giving tree, Annals of Mathematics and Artificial Intelligence, 52:2-4, (143-168), Online publication date: 1-Apr-2008.

Cech Previtali S and Gross T Extracting updating aspects from version differences Proceedings of the 2008 AOSD workshop on Linking aspect technology and evolution, (1-5)

Ulitsky I, Karp R and Shamir R Detecting disease-specific dysregulated pathways via analysis of clinical expression profiles Proceedings of the 12th annual international conference on Research in computational molecular biology, (347-359)

Andersson J, Ericsson M, Kessler C and Löwe W Profile-guided composition Proceedings of the 7th international conference on Software composition, (157-164)

Ding L and Dixon B Using an edge-dual graph and k-connectivity to identify strong connections in social networks Proceedings of the 46th annual ACM Southeast Conference, (475-480)

Polycarpou I Induction as a tool for conceptual coherence in computer science Proceedings of the 46th annual ACM Southeast Conference, (440-445)

Li R A space efficient algorithm for the constrained heaviest common subsequence problem Proceedings of the 46th annual ACM Southeast Conference, (226-230)

Kulkarni M, Pingali K, Ramanarayanan G, Walter B, Bala K and Chew L (2008). Optimistic parallelism benefits from data partitioning, ACM SIGPLAN Notices, 43:3, (233-243), Online publication date: 25-Mar-2008.

Ottoni G and August D (2008). Communication optimizations for global multi-threaded instruction scheduling, ACM SIGPLAN Notices, 43:3, (222-232), Online publication date: 25-Mar-2008.

Tuck J, Ahn W, Ceze L and Torrellas J (2008). SoftSig, ACM SIGPLAN Notices, 43:3, (145-156), Online publication date: 25-Mar-2008.

Kulkarni M, Pingali K, Ramanarayanan G, Walter B, Bala K and Chew L (2008). Optimistic parallelism benefits from data partitioning, ACM SIGOPS Operating Systems Review, 42:2, (233-243), Online publication date: 25-Mar-2008.

Ottoni G and August D (2008). Communication optimizations for global multi-threaded instruction scheduling, ACM SIGOPS Operating Systems Review, 42:2, (222-232), Online publication date: 25-Mar-2008.

Tuck J, Ahn W, Ceze L and Torrellas J (2008). SoftSig, ACM SIGOPS Operating Systems Review, 42:2, (145-156), Online publication date: 25-Mar-2008.

Kulkarni M, Pingali K, Ramanarayanan G, Walter B, Bala K and Chew L (2008). Optimistic parallelism benefits from data partitioning, ACM SIGARCH Computer Architecture News, 36:1, (233-243), Online publication date: 25-Mar-2008.

Ottoni G and August D (2008). Communication optimizations for global multi-threaded instruction scheduling, ACM SIGARCH Computer Architecture News, 36:1, (222-232), Online publication date: 25-Mar-2008.

Tuck J, Ahn W, Ceze L and Torrellas J (2008). SoftSig, ACM SIGARCH Computer Architecture News, 36:1, (145-156), Online publication date: 25-Mar-2008.

Jin R, Fuhry D and Alali A Cost-based query optimization for complex pattern mining on multiple databases Proceedings of the 11th international conference on Extending database technology: Advances in database technology, (380-391)

Ding B, Yu J and Qin L Finding time-dependent shortest paths over large graphs Proceedings of the 11th international conference on Extending database technology: Advances in database technology, (205-216)

Cheng J, Yu J, Lin X, Wang H and Yu P Fast computing reachability labelings for large graphs with high compression rate Proceedings of the 11th international conference on Extending database technology: Advances in database technology, (193-204)

Zou L, Chen L, Zhang H, Lu Y and Lou Q Summarization graph indexing Proceedings of the 13th international conference on Database systems for advanced applications, (141-155)

He X, Shafiq B, Vaidya J and Adam N Privacy-preserving link discovery Proceedings of the 2008 ACM symposium on Applied computing, (909-915)

de la Rocha F and de Oliveira R An environment for the rapid development of embedded file systems Proceedings of the 2008 ACM symposium on Applied computing, (694-699)

Kulkarni M, Pingali K, Ramanarayanan G, Walter B, Bala K and Chew L Optimistic parallelism benefits from data partitioning Proceedings of the 13th international conference on Architectural support for programming languages and operating systems, (233-243)

Ottoni G and August D Communication optimizations for global multi-threaded instruction scheduling Proceedings of the 13th international conference on Architectural support for programming languages and operating systems, (222-232)

Tuck J, Ahn W, Ceze L and Torrellas J SoftSig Proceedings of the 13th international conference on Architectural support for programming languages and operating systems, (145-156)

Hristidis V, Hwang H and Papakonstantinou Y (2008). Authority-based keyword search in databases, ACM Transactions on Database Systems, 33:1, (1-40), Online publication date: 1-Mar-2008.

Pettie S and Ramachandran V (2008). Randomized minimum spanning tree algorithms using exponentially fewer random bits, ACM Transactions on Algorithms, 4:1, (1-27), Online publication date: 1-Mar-2008.

Janowska A and Penczek W (2007). Path Compression in Timed Automata, Fundamenta Informaticae, 79:3-4, (379-399), Online publication date: 1-Feb-2008.

Egger B, Lee J and Shin H (2008). Dynamic scratchpad memory management for code in portable systems with an MMU, ACM Transactions on Embedded Computing Systems, 7:2, (1-38), Online publication date: 1-Feb-2008.

Yang S (2008). Constrained-storage multistage vector quantization based on genetic algorithms, Pattern Recognition, 41:2, (689-700), Online publication date: 1-Feb-2008.

Barnat J, Chaloupka J and van de Pol J (2008). Improved Distributed Algorithms for SCC Decomposition, Electronic Notes in Theoretical Computer Science (ENTCS), 198:1, (63-77), Online publication date: 1-Feb-2008.

Wang K, Fang H, Xu H and Cheng X A fast incremental clock skew scheduling algorithm for slack optimization Proceedings of the 2008 Asia and South Pacific Design Automation Conference, (492-497)

Baswana S and Sarkar S Fully dynamic algorithm for graph spanners with poly-logarithmic update time Proceedings of the nineteenth annual ACM-SIAM symposium on Discrete algorithms, (1125-1134)

Emek Y, Peleg D and Roditty L A near-linear time algorithm for computing replacement paths in planar directed graphs Proceedings of the nineteenth annual ACM-SIAM symposium on Discrete algorithms, (428-435)

Siirtola A and Valenta M Verifying parameterized taDOM+ lock managers Proceedings of the 34th conference on Current trends in theory and practice of computer science, (460-472)

Acar U, Ahmed A and Blume M (2008). Imperative self-adjusting computation, ACM SIGPLAN Notices, 43:1, (309-322), Online publication date: 14-Jan-2008.

Bagnara R, Hill P and Zaffanella E An improved tight closure algorithm for integer octagonal constraints Proceedings of the 9th international conference on Verification, model checking, and abstract interpretation, (8-21)

Acar U, Ahmed A and Blume M Imperative self-adjusting computation Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (309-322)

Leporati A and Gutiérrez-Naranjo M (2008). Solving SUBSET SUM by Spiking Neural P Systems with Pre-computed Resources, Fundamenta Informaticae, 87:1, (61-77), Online publication date: 1-Jan-2008.

Ciobanu G and Resios A (2008). Computational Complexity of Simple P Systems, Fundamenta Informaticae, 87:1, (49-59), Online publication date: 1-Jan-2008.

Amir A, Levy A and Reuveni L (2008). The Practical Efficiency of Convolutions in Pattern Matching Algorithms, Fundamenta Informaticae, 84:1, (1-15), Online publication date: 1-Jan-2008.

Ésik Z and Iván S (2008). Some Varieties of Finite Tree Automata Related to Restricted Temporal Logics, Fundamenta Informaticae, 82:1-2, (79-103), Online publication date: 1-Jan-2008.

Wang C, Joshi S and Khardon R (2008). First order decision diagrams for relational MDPs, Journal of Artificial Intelligence Research, 31:1, (431-472), Online publication date: 1-Jan-2008.

Clarke J and Lapata M (2008). Global inference for sentence compression an integer linear programming approach, Journal of Artificial Intelligence Research, 31:1, (399-429), Online publication date: 1-Jan-2008.

Giménez O and Jonsson A (2008). The complexity of planning problems with simple causal graphs, Journal of Artificial Intelligence Research, 31:1, (319-351), Online publication date: 1-Jan-2008.

Adcock M, Chung J and Schmandt C AreWeThereYet? Proceedings of the ninth conference on Australasian user interface - Volume 76, (29-32)

Sun X, Li M, Wang H and Plank A An efficient hash-based algorithm for minimal k-anonymity Proceedings of the thirty-first Australasian conference on Computer science - Volume 74, (101-107)

Wainwright M and Jordan M (2008). Graphical Models, Exponential Families, and Variational Inference, Foundations and Trends® in Machine Learning, 1:1-2, (1-305), Online publication date: 1-Jan-2008.

Yang Y, Wang J and Yang M (2008). A Service-Centric Multicast Architecture and Routing Protocol, IEEE Transactions on Parallel and Distributed Systems, 19:1, (35-51), Online publication date: 1-Jan-2008.

Palshikar G Keyword extraction from a single document using centrality measures Proceedings of the 2nd international conference on Pattern recognition and machine intelligence, (503-510)

Ajwani D and Friedrich T Average-case analysis of online topological ordering Proceedings of the 18th international conference on Algorithms and computation, (464-475)

Belkhir W and Santocanale L Undirected graphs of entanglement 2 Proceedings of the 27th international conference on Foundations of software technology and theoretical computer science, (508-519)

Belkhir W and Santocanale L Undirected Graphs of Entanglement 2 FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, (508-519)

Awrangjeb M and Lu G Effective Corner Matching for Transformed Image Identification Advances in Multimedia Information Processing – PCM 2007, (765-774)

Szöllösi L, Marosits T, Fehér G and Recski A Fast digital signature algorithm based on subgraph isomorphism Proceedings of the 6th international conference on Cryptology and network security, (34-46)

Ozgul F, Bondy J and Aksoy H Mining for offender group detection and story of a police operation Proceedings of the sixth Australasian conference on Data mining and analytics - Volume 70, (189-193)

Koren Y, North S and Volinsky C (2007). Measuring and extracting proximity graphs in networks, ACM Transactions on Knowledge Discovery from Data, 1:3, (12-es), Online publication date: 1-Dec-2007.

Jagannathan A and Miller E (2007). Three-Dimensional Surface Mesh Segmentation Using Curvedness-Based Region Growing Approach, IEEE Transactions on Pattern Analysis and Machine Intelligence, 29:12, (2195-2204), Online publication date: 1-Dec-2007.

Kashima H (2007). Risk-Sensitive Learning via Minimization of Empirical Conditional Value-at-Risk, IEICE - Transactions on Information and Systems, E90-D:12, (2043-2052), Online publication date: 1-Dec-2007.

Bang-Jensen J, GonçAlves D and Li GøRtz I (2007). Finding well-balanced pairs of edge-disjoint trees in edge-weighted graphs, Discrete Optimization, 4:3-4, (334-348), Online publication date: 1-Dec-2007.

Radicioni D and Lombardo V (2007). A Constraint-based Approach for Annotating Music Scores with Gestural Information, Constraints, 12:4, (405-428), Online publication date: 1-Dec-2007.

Montoya-Zegarra J, Papa J, Leite N, Da Silva Torres R and Falcão A Rotation-invariant texture recognition Proceedings of the 3rd international conference on Advances in visual computing - Volume Part II, (193-204)

Dunlop M, Gates C, Wong C and Wang C SWorD Proceedings of the 2007 OTM confederated international conference on On the move to meaningful internet systems: CoopIS, DOA, ODBASE, GADA, and IS - Volume Part II, (1752-1769)

Dolev S, Korach E and Uzan G Magnifying computing gaps Proceedings of the 9h international conference on Stabilization, safety, and security of distributed systems, (253-265)

Zhang L, Liu Q, Zhang J, Wang H, Pan Y and Yu Y Semplore Proceedings of the 6th international The semantic web and 2nd Asian conference on Asian semantic web conference, (652-665)

Kriegel H, Kröger P, Kunath P, Renz M and Schmidt T Proximity queries in large traffic networks Proceedings of the 15th annual ACM international symposium on Advances in geographic information systems, (1-8)

Cong G and Wen T Locality behavior of parallel and sequential algorithms for irregular graph problems Proceedings of the 19th IASTED International Conference on Parallel and Distributed Computing and Systems, (391-397)

Lempel R, Mass Y, Ofek-Koifman S, Sheinwald D, Petruschka Y and Sivan R Just in time indexing for up to the second search Proceedings of the sixteenth ACM conference on Conference on information and knowledge management, (97-106)

Yu P and Pan D TIP-OPC Proceedings of the 2007 IEEE/ACM international conference on Computer-aided design, (847-853)

Yan T and Wong M Untangling twisted nets for bus routing Proceedings of the 2007 IEEE/ACM international conference on Computer-aided design, (396-400)

Kong H, Yan T, Wong M and Ozdal M Optimal bus sequencing for escape routing in dense PCBs Proceedings of the 2007 IEEE/ACM international conference on Computer-aided design, (390-395)

Vain J, Raiend K, Kull A and Ernits J Synthesis of test purpose directed reactive planning tester for nondeterministic systems Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering, (363-372)

Elkarablieh B, Garcia I, Suen Y and Khurshid S Assertion-based repair of complex data structures Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering, (64-73)

Elmqvist N, Tudoreanu M and Tsigas P Tour generation for exploration of 3D virtual environments Proceedings of the 2007 ACM symposium on Virtual reality software and technology, (207-210)

Hauck S and DeHon A (2007). Reconfigurable Computing, 10.5555/1564780, Online publication date: 2-Nov-2007.

Fakcharoenphol J, Harrelson C and Rao S (2007). The k-traveling repairmen problem, ACM Transactions on Algorithms, 3:4, (40-es), Online publication date: 1-Nov-2007.

Rusakov D (2007). Scheme inclusion verification algorithm in algebraic model of programs with constants, Programming and Computing Software, 33:6, (299-306), Online publication date: 1-Nov-2007.

Cordasco G, Malewicz G and Rosenberg A (2007). Advances in IC-Scheduling Theory, IEEE Transactions on Parallel and Distributed Systems, 18:11, (1607-1617), Online publication date: 1-Nov-2007.

Jiang G, Chen H and Yoshihira K (2007). Efficient and Scalable Algorithms for Inferring Likely Invariants in Distributed Systems, IEEE Transactions on Knowledge and Data Engineering, 19:11, (1508-1523), Online publication date: 1-Nov-2007.

Pan M and Tseng Y The orphan problem in zigbee-based wireless sensor networks Proceedings of the 10th ACM Symposium on Modeling, analysis, and simulation of wireless and mobile systems, (95-98)

Yang Y and Cardei M Movement-assisted sensor redeployment scheme for network lifetime increase Proceedings of the 10th ACM Symposium on Modeling, analysis, and simulation of wireless and mobile systems, (13-20)

Habermehl P, Iosif R, Rogalewicz A and Vojnar T Proving termination of tree manipulating programs Proceedings of the 5th international conference on Automated technology for verification and analysis, (145-161)

Bouillard A, Gaujal B, Lagrange S and Thierry E Optimal routing for end-to-end guarantees Proceedings of the 2nd international conference on Performance evaluation methodologies and tools, (1-10)

Tang X and Järvi J Concept-based optimization Proceedings of the 2007 Symposium on Library-Centric Software Design, (97-108)

Elkarablieh B, Khurshid S, Vu D and McKinley K (2007). Starc, ACM SIGPLAN Notices, 42:10, (387-404), Online publication date: 21-Oct-2007.

Elkarablieh B, Khurshid S, Vu D and McKinley K Starc Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems, languages and applications, (387-404)

Morimoto Y Geometrical information fusion from WWW and its related information Proceedings of the 5th international conference on Databases in networked information systems, (16-32)

Jayant C, Renzelmann M, Wen D, Krisnandi S, Ladner R and Comden D Automated tactile graphics translation Proceedings of the 9th international ACM SIGACCESS conference on Computers and accessibility, (75-82)

Chong S, Liu J, Myers A, Qi X, Vikram K, Zheng L and Zheng X (2007). Secure web applications via automatic partitioning, ACM SIGOPS Operating Systems Review, 41:6, (31-44), Online publication date: 14-Oct-2007.

Chong S, Liu J, Myers A, Qi X, Vikram K, Zheng L and Zheng X Secure web applications via automatic partitioning Proceedings of twenty-first ACM SIGOPS symposium on Operating systems principles, (31-44)

Muller L and Zachariasen M Fast and compact oracles for approximate distances in planar graphs Proceedings of the 15th annual European conference on Algorithms, (657-668)

Franceschini G, Muthukrishnan S and Pătraşcu M Radix sorting with no extra space Proceedings of the 15th annual European conference on Algorithms, (194-205)

Clifford R, Efremenko K, Porat E and Rothschild A K-mismatch with don't cares Proceedings of the 15th annual European conference on Algorithms, (151-162)

Dunfield J Refined typechecking with Stardust Proceedings of the 2007 workshop on Programming languages meets program verification, (21-32)

Conchon S and Filliâtre J A persistent union-find data structure Proceedings of the 2007 workshop on Workshop on ML, (37-46)

Pal R (2007). RKPianGraphSort, Ubiquity, 2007:October, (1-16), Online publication date: 1-Oct-2007.

Pirkelbauer P, Solodkyy Y and Stroustrup B Open multi-methods for c++ Proceedings of the 6th international conference on Generative programming and component engineering, (123-134)

Thaker S, Batory D, Kitchin D and Cook W Safe composition of product lines Proceedings of the 6th international conference on Generative programming and component engineering, (95-104)

Hong B and Prasanna V (2007). Adaptive Allocation of Independent Tasks to Maximize Throughput, IEEE Transactions on Parallel and Distributed Systems, 18:10, (1420-1435), Online publication date: 1-Oct-2007.

Chellappan S, Gu W, Bai X, Xuan D, Ma B and Zhang K (2007). Deploying Wireless Sensor Networks under Limited Mobility Constraints, IEEE Transactions on Mobile Computing, 6:10, (1142-1157), Online publication date: 1-Oct-2007.

Haleem M, Mathur C, Chandramouli R and Subbalakshmi K (2007). Opportunistic Encryption, IEEE Transactions on Dependable and Secure Computing, 4:4, (313-324), Online publication date: 1-Oct-2007.

Aydin H (2007). Exact Fault-Sensitive Feasibility Analysis of Real-Time Tasks, IEEE Transactions on Computers, 56:10, (1372-1386), Online publication date: 1-Oct-2007.

Blin G, Fertin G and Vialette S (2007). Extracting constrained 2-interval subsets in 2-interval sets, Theoretical Computer Science, 385:1-3, (241-263), Online publication date: 1-Oct-2007.

Khan M, Pandurangan G and Anil Kumar V (2007). A simple randomized scheme for constructing low-weight k-connected spanning subgraphs with applications to distributed algorithms, Theoretical Computer Science, 385:1-3, (101-114), Online publication date: 1-Oct-2007.

André Y, Caron A, Debarbieux D, Roos Y and Tison S (2007). Path constraints in semistructured data, Theoretical Computer Science, 385:1-3, (11-33), Online publication date: 1-Oct-2007.

Wang B, Wei W, Kurose J, Towsley D, Pattipati K, Guo Z and Peng Z (2007). Application-layer multipath data transfer via TCP, Performance Evaluation, 64:9-12, (965-977), Online publication date: 1-Oct-2007.

Couprie M, Coeurjolly D and Zrour R (2007). Discrete bisector function and Euclidean skeleton in 2D and 3D, Image and Vision Computing, 25:10, (1543-1556), Online publication date: 1-Oct-2007.

Zhang W, Cao G and La Porta T (2007). Dynamic proxy tree-based data dissemination schemes for wireless sensor networks, Wireless Networks, 13:5, (583-595), Online publication date: 1-Oct-2007.

Xu R, Melhem R and Mossé D A unified practical approach to stochastic DVS scheduling Proceedings of the 7th ACM & IEEE international conference on Embedded software, (37-46)

Xiang S, Lim H, Tan K and Zhou Y Similarity-aware query allocation in sensor networks with multiple base stations Proceedings of the 4th workshop on Data management for sensor networks: in conjunction with 33rd International Conference on Very Large Data Bases, (1-6)

Bansal N, Chiang F, Koudas N and Tompa F Seeking stable clusters in the blogosphere Proceedings of the 33rd international conference on Very large data bases, (806-817)

Tatikonda S, Parthasarathy S and Goyder M LCS-TRIM Proceedings of the 33rd international conference on Very large data bases, (63-74)

Agarwal P and Prabhakaran B Robust blind watermarking mechanism for point sampled geometry Proceedings of the 9th workshop on Multimedia & security, (175-186)

Suter F Scheduling ?-Critical Tasks in mixed-parallel applications on a national grid Proceedings of the 8th IEEE/ACM International Conference on Grid Computing, (2-9)

Kwok T and Kwok Y Design and evaluation of parallel string matching algorithms for network intrusion detection systems Proceedings of the 2007 IFIP international conference on Network and parallel computing, (344-353)

Wang X, Cai S and Huang M A small-world optimization algorithm based and ABC supported QoS unicast routing scheme Proceedings of the 2007 IFIP international conference on Network and parallel computing, (242-249)

Barakhnin V, Nekhaeva V and Fedotov A Similarity determination for clustering textual documents Proceedings of the First international conference on Knowledge processing and data analysis, (271-279)

Li L, Yang Z, Somboonviwat K and Kitsuregawa M User-assisted similarity estimation for searching related web pages Proceedings of the eighteenth conference on Hypertext and hypermedia, (11-20)

Wichulski M and Rokicki J Persistent data structures for fast point location Proceedings of the 7th international conference on Parallel processing and applied mathematics, (1333-1340)

Kerdels J and Peters G A topology-independent similarity measure for high-dimensional feature spaces Proceedings of the 17th international conference on Artificial neural networks, (331-340)

Bhandari V and Vaidya N Capacity of multi-channel wireless networks with random (c, f) assignment Proceedings of the 8th ACM international symposium on Mobile ad hoc networking and computing, (229-238)

Uzuncaova E, Garcia D, Khurshid S and Batory D A specification-based approach to testing software product lines Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering, (525-528)

Bailey M, Oberheide J, Andersen J, Mao Z, Jahanian F and Nazario J Automated classification and analysis of internet malware Proceedings of the 10th international conference on Recent advances in intrusion detection, (178-197)

Chabini N A Heuristic for reducing dynamic power dissipation in clocked sequential designs Proceedings of the 17th international conference on Integrated Circuit and System Design: power and timing modeling, optimization and simulation, (64-74)

Lopes N and Baquero C Implementing range queries with a decentralized balanced tree over distributed hash tables Proceedings of the 1st international conference on Network-based information systems, (197-206)

Uzuncaova E, Garcia D, Khurshid S and Batory D A specification-based approach to testing software product lines The 6th Joint Meeting on European software engineering conference and the ACM SIGSOFT symposium on the foundations of software engineering: companion papers, (525-528)

Huang S and Nieh Y (2007). Clock skew scheduling with race conditions considered, ACM Transactions on Design Automation of Electronic Systems, 12:4, (45-es), Online publication date: 1-Sep-2007.

Staschulat J and Ernst R (2007). Scalable precision cache analysis for real-time software, ACM Transactions on Embedded Computing Systems, 6:4, (25-es), Online publication date: 1-Sep-2007.

Ma F, Bajger M, Slavotinek J and Bottema M (2007). Two graph theory based methods for identifying the pectoral muscle in mammograms, Pattern Recognition, 40:9, (2592-2602), Online publication date: 1-Sep-2007.

Berry V and Nicolas F (2007). Maximum agreement and compatible supertrees, Journal of Discrete Algorithms, 5:3, (564-591), Online publication date: 1-Sep-2007.

Kelarev A (2007). Algorithms for computing parameters of graph-based extensions of BCH codes, Journal of Discrete Algorithms, 5:3, (553-563), Online publication date: 1-Sep-2007.

Deri L (2007). High-Speed Dynamic Packet Filtering, Journal of Network and Systems Management, 15:3, (401-415), Online publication date: 1-Sep-2007.

Kim K, Shim J and Lee I Cache conscious trees Proceedings of the 2007 international conference on Computational science and its applications - Volume Part I, (189-200)

Dastidar T and Chakrabarti P (2008). A verification system for transient response of analog circuits, ACM Transactions on Design Automation of Electronic Systems, 12:3, (1-39), Online publication date: 17-Aug-2007.

Roy S, Das G and Das S Computing best coverage path in the presence of obstacles in a sensor field Proceedings of the 10th international conference on Algorithms and Data Structures, (577-588)

Chang X and Yang X An efficient regularization approach for underdetermined MIMO system decoding Proceedings of the 2007 international conference on Wireless communications and mobile computing, (349-353)

Masry M, Kang D and Lipson H A freehand sketching interface for progressive construction of 3D objects ACM SIGGRAPH 2007 courses, (30-es)

Xu J and Kaplan C Image-guided maze construction ACM SIGGRAPH 2007 papers, (29-es)

Janowska A and Penczek W (2007). Path Compression in Timed Automata, Fundamenta Informaticae, 79:3-4, (379-399), Online publication date: 1-Aug-2007.

Khatib L, Morris P, Morris R, Rossi F, Sperduti A and Venable K (2007). Solving and learning a tractable class of soft temporal constraints: Theoretical and experimental results, AI Communications, 20:3, (181-209), Online publication date: 1-Aug-2007.

Corazza A and Satta G (2007). Probabilistic Context-Free Grammars Estimated from Infinite Distributions, IEEE Transactions on Pattern Analysis and Machine Intelligence, 29:8, (1379-1393), Online publication date: 1-Aug-2007.

Bortnikov E, Cidon I and Keidar I (2007). Nomadic Service Assignment, IEEE Transactions on Mobile Computing, 6:8, (915-928), Online publication date: 1-Aug-2007.

Lao L, Cui J and Gerla M (2007). Tackling group-to-tree matching in large scale group communications, Computer Networks: The International Journal of Computer and Telecommunications Networking, 51:11, (3069-3089), Online publication date: 1-Aug-2007.

Elkarablieh B, Zayour Y and Khurshid S Efficiently generating structurally complex inputs with thousands of objects Proceedings of the 21st European conference on Object-Oriented Programming, (248-272)

Xu J and Kaplan C (2007). Image-guided maze construction, ACM Transactions on Graphics, 26:3, (29-es), Online publication date: 29-Jul-2007.

Frigo M Multithreaded programming in Cilk Proceedings of the 2007 international workshop on Parallel symbolic computation, (13-14)

Šeda M An implementation view on job shop scheduling based on CPM Proceedings of the 11th WSEAS International Conference on Computers, (542-547)

Marinescu D, Iacob P and Kiss-Iakab K A topological order for a rectangular covering problem Proceedings of the 11th WSEAS International Conference on Computers, (82-85)

Lee C, Wu Y and Chen A Continuous evaluation of fastest path queries on road networks Proceedings of the 10th international conference on Advances in spatial and temporal databases, (20-37)

Jääskeläinen P, Guzma V and Takala J Resource conflict detection in simulation of function unit pipelines Proceedings of the 7th international conference on Embedded computer systems: architectures, modeling, and simulation, (233-240)

Vardi M Linear-time model checking Proceedings of the 12th international conference on Implementation and application of automata, (5-10)

Mazumder S, Acharya K and Tahir M Network reconfiguration of distributed controlled homogenous power inverter network using composite Lyapunov function based reachability bound Proceedings of the 2007 Summer Computer Simulation Conference, (76-87)

Fischer S and Kuchen H Systematic generation of glass-box test cases for functional logic programs Proceedings of the 9th ACM SIGPLAN international conference on Principles and practice of declarative programming, (63-74)

Cho H, Egger B, Lee J and Shin H (2007). Dynamic data scratchpad memory management for a memory subsystem with an MMU, ACM SIGPLAN Notices, 42:7, (195-206), Online publication date: 13-Jul-2007.

Xu W and Tessier R (2007). Tetris, ACM SIGPLAN Notices, 42:7, (113-122), Online publication date: 13-Jul-2007.

Iliopoulos C, Kubica M, Rahman M and Waleń T Algorithms for computing the longest parameterized common subsequence Proceedings of the 18th annual conference on Combinatorial Pattern Matching, (265-273)

Amir A, Kapah O and Porat E Deterministic length reduction Proceedings of the 18th annual conference on Combinatorial Pattern Matching, (183-194)

Clifford P and Clifford R Self-normalised distance with don't cares Proceedings of the 18th annual conference on Combinatorial Pattern Matching, (63-70)

Banerjee N and Kumar R Multiobjective network design for realistic traffic models Proceedings of the 9th annual conference on Genetic and evolutionary computation, (1904-1911)

Vieira C and Fonseca C A unified model of optimisation problems Proceedings of the 9th annual conference on Genetic and evolutionary computation, (1537-1537)

Jansen T and Weyland D Analysis of evolutionary algorithms for the longest common subsequence problem Proceedings of the 9th annual conference on Genetic and evolutionary computation, (939-946)

Rose K, Sheffer A, Wither J, Cani M and Thibert B Developable surfaces from arbitrary sketched boundaries Proceedings of the fifth Eurographics symposium on Geometry processing, (163-172)

Ganesh V and Dill D A decision procedure for bit-vectors and arrays Proceedings of the 19th international conference on Computer aided verification, (519-531)

Chen G, Mischaikow K, Laramee R, Pilarczyk P and Zhang E (2007). Vector Field Editing and Periodic Orbit Extraction Using Morse Decomposition, IEEE Transactions on Visualization and Computer Graphics, 13:4, (769-785), Online publication date: 1-Jul-2007.

Cordasco G, Scarano V and Rosenberg A (2007). Bounded-Collision Memory-Mapping Schemes for Data Structures with Applications to Parallel Memories, IEEE Transactions on Parallel and Distributed Systems, 18:7, (973-982), Online publication date: 1-Jul-2007.

Fredriksson K, Mäkinen V and Navarro G (2007). Rotation and lighting invariant template matching, Information and Computation, 205:7, (1096-1113), Online publication date: 1-Jul-2007.

Wang C, Chang C, Zhang X and Jan J Senary Huffman compression - a reversible data hiding scheme for binary images Proceedings of the 2007 international conference on Multimedia content analysis and mining, (351-360)

Zhang Y, Kordoni V and Fitzgerald E Partial parse selection for robust deep processing Proceedings of the Workshop on Deep Linguistic Processing, (128-135)

Blieberger J, Burgstaller B and Mittermayr R Static detection of Livelocks in Ada multitasking programs Proceedings of the 12th international conference on Reliable software technologies, (69-83)

Cardinal P, Boulianne G, Comeau M and Boisvert M Real-time correction of closed-captions Proceedings of the 45th Annual Meeting of the ACL on Interactive Poster and Demonstration Sessions, (113-116)

McDonald R and Satta G On the complexity of non-projective data-driven dependency parsing Proceedings of the 10th International Conference on Parsing Technologies, (121-132)

Mould D Stipple placement using distance in a weighted graph Proceedings of the Third Eurographics conference on Computational Aesthetics in Graphics, Visualization and Imaging, (45-52)

Kirshner S and Smyth P Infinite mixtures of trees Proceedings of the 24th international conference on Machine learning, (417-423)

Esposito R and Radicioni D CarpeDiem Proceedings of the 24th international conference on Machine learning, (257-264)

Chen L and Crampton J Inter-domain role mapping and least privilege Proceedings of the 12th ACM symposium on Access control models and technologies, (157-162)

Hafeez M, Younus M, Rehman A and Mohsin A Optimal solution to matrix parenthesization problem employing parallel processing approach Proceedings of the 8th Conference on 8th WSEAS International Conference on Evolutionary Computing - Volume 8, (235-240)

Thouin F and Coates M Video-on-demand server selection and placement Proceedings of the 20th international teletraffic conference on Managing traffic performance in converged networks, (18-29)

Cho H, Egger B, Lee J and Shin H Dynamic data scratchpad memory management for a memory subsystem with an MMU Proceedings of the 2007 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems, (195-206)

Xu W and Tessier R Tetris Proceedings of the 2007 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems, (113-122)

Solnon C and Jolion J Generalized vs set median strings for histogram-based distances Proceedings of the 6th IAPR-TC-15 international conference on Graph-based representations in pattern recognition, (404-414)

Alves C, Cáceres E and Song S Efficient representations of row-sorted 1-variant matrices for parallel string applications Proceedings of the 7th international conference on Algorithms and architectures for parallel processing, (60-71)

Trißl S and Leser U Fast and practical indexing and querying of very large graphs Proceedings of the 2007 ACM SIGMOD international conference on Management of data, (845-856)

Kosmopoulos D and Tzevelekou F Automated Pressure Ulcer Lesion Diagnosis Proceedings of the 2007 conference on Emerging Artificial Intelligence Applications in Computer Engineering: Real Word AI Systems with Applications in eHealth, HCI, Information Retrieval and Pervasive Technologies, (214-226)

Fraigniaud P, Korman A and Lebhar E Local MST computation with short advice Proceedings of the nineteenth annual ACM symposium on Parallel algorithms and architectures, (154-160)

Asgeirsson E and Stein C Vertex cover approximations on random graphs Proceedings of the 6th international conference on Experimental algorithms, (285-296)

Bauer L, Shafique M, Kramer S and Henkel J RISPP Proceedings of the 44th annual Design Automation Conference, (791-796)

Ozdal M Escape routing for dense pin clusters in integrated circuits Proceedings of the 44th annual Design Automation Conference, (49-54)

Manna Z, Sipma H and Zhang T Verifying Balanced Trees Proceedings of the international symposium on Logical Foundations of Computer Science, (363-378)

Bresina J and Morris P (2007). Mixed‐Initiative Planning in Space Mission Operations, AI Magazine, 28:2, (75-88), Online publication date: 1-Jun-2007.

Deligiannakis A, Garofalakis M and Roussopoulos N (2007). Extended wavelets for multiple measures, ACM Transactions on Database Systems, 32:2, (10-es), Online publication date: 1-Jun-2007.

Conitzer V, Sandholm T and Lang J (2007). When are elections with few candidates hard to manipulate?, Journal of the ACM, 54:3, (14-es), Online publication date: 1-Jun-2007.

Andersson A and Thorup M (2007). Dynamic ordered sets with exponential search trees, Journal of the ACM, 54:3, (13-es), Online publication date: 1-Jun-2007.

Dimitrakopoulos G, Mavrokefalidis C, Galanopoulos K and Nikolos D (2007). Sorter based permutation units for media-enhanced microprocessors, IEEE Transactions on Very Large Scale Integration (VLSI) Systems, 15:6, (711-715), Online publication date: 1-Jun-2007.

Corral A and Almendros-Jiménez J (2007). A performance comparison of distance-based query algorithms using R-trees in spatial databases, Information Sciences: an International Journal, 177:11, (2207-2237), Online publication date: 1-Jun-2007.

Caballero R, Hermanns C and Kuchen H (2007). Algorithmic Debugging of Java Programs, Electronic Notes in Theoretical Computer Science (ENTCS), 177, (75-89), Online publication date: 1-Jun-2007.

Bengtsson F and Chen J (2007). Ranking k maximum sums, Theoretical Computer Science, 377:1-3, (229-237), Online publication date: 25-May-2007.

Lin T and Lee D (2007). Randomized algorithm for the sum selection problem, Theoretical Computer Science, 377:1-3, (151-156), Online publication date: 25-May-2007.

Zaraket F, Aziz A and Khurshid S Sequential Circuits for Relational Analysis Proceedings of the 29th international conference on Software Engineering, (13-22)

Uzuncaova E and Khurshid S Kato Proceedings of the 29th international conference on Software Engineering, (767-770)

Di S, Jin H, Li S, Tie J and Chen L Efficient time series data classification and compression in distributed monitoring Proceedings of the 2007 international conference on Emerging technologies in knowledge discovery and data mining, (389-400)

Nakano S, Uehara R and Uno T Efficient algorithms for airline problem Proceedings of the 4th international conference on Theory and applications of models of computation, (428-439)

Stroggylos K and Spinellis D Refactoring--Does It Improve Software Quality? Proceedings of the 5th International Workshop on Software Quality

Ren Y, Wang B, Zhang S and Zhang H A distributed energy-efficient topology control routing for mobile wireless sensor networks Proceedings of the 6th international IFIP-TC6 conference on Ad Hoc and sensor networks, wireless networks, next generation internet, (132-142)

Wu H, Mao F, Olman V and Xu Y An algorithm for hierarchical classification of genes of prokaryotic genomes Proceedings of the 3rd international conference on Bioinformatics research and applications, (551-563)

Wu X, Ragheb T, Aziz A and Massoud Y Implementing DSP Algorithms with On-Chip Networks Proceedings of the First International Symposium on Networks-on-Chip, (307-316)

Grauman K and Darrell T (2007). The Pyramid Match Kernel: Efficient Learning with Sets of Features, The Journal of Machine Learning Research, 8, (725-760), Online publication date: 1-May-2007.

Yanagisawa H (2007). The material allocation problem in the steel industry, IBM Journal of Research and Development, 51:3, (363-374), Online publication date: 1-May-2007.

Bachmaier C (2007). A Radial Adaptation of the Sugiyama Framework for Visualizing Hierarchical Information, IEEE Transactions on Visualization and Computer Graphics, 13:3, (583-594), Online publication date: 1-May-2007.

Hwang S and Chang K (2007). Probe Minimization by Schedule Optimization, IEEE Transactions on Knowledge and Data Engineering, 19:5, (646-662), Online publication date: 1-May-2007.

Bhandari V and Vaidya N Connectivity and Capacity of Multi-Channel Wireless Networks with Channel Switching Constraints Proceedings of the IEEE INFOCOM 2007 - 26th IEEE International Conference on Computer Communications, (785-793)

Banerjee N, Corner M and Levine B An Energy-Efficient Architecture for DTN Throwboxes Proceedings of the IEEE INFOCOM 2007 - 26th IEEE International Conference on Computer Communications, (776-784)

Bhandari V and Vaidya N Reliable Broadcast in Wireless Networks with Probabilistic Failures Proceedings of the IEEE INFOCOM 2007 - 26th IEEE International Conference on Computer Communications, (715-723)

Sertac Artan N and Chao H TriBiCa Proceedings of the IEEE INFOCOM 2007 - 26th IEEE International Conference on Computer Communications, (125-133)

Yunfeng Lin , Ben Liang and Baochun Li Data Persistence in Large-Scale Sensor Networks with Decentralized Fountain Codes Proceedings of the IEEE INFOCOM 2007 - 26th IEEE International Conference on Computer Communications, (1658-1666)

Djukic P and Valaee S Link Scheduling for Minimum Delay in Spatial Re-Use TDMA Proceedings of the IEEE INFOCOM 2007 - 26th IEEE International Conference on Computer Communications, (28-36)

Starobinski D, Weiyao Xiao , Xiangping Qin and Trachtenberg A Near-Optimal Data Dissemination Policies for Multi-Channel, Single Radio Wireless Sensor Networks Proceedings of the IEEE INFOCOM 2007 - 26th IEEE International Conference on Computer Communications, (955-963)

Zhang H and Gildea D Factorization of synchronous context-free grammars in linear time Proceedings of the NAACL-HLT 2007/AMTA Workshop on Syntax and Structure in Statistical Translation, (25-32)

Zhu H, Zeng X, Cai W, Xue J and Zhou D A sparse grid based spectral stochastic collocation method for variations-aware capacitance extraction of interconnects under nanometer process technology Proceedings of the conference on Design, automation and test in Europe, (1514-1519)

Mogal H and Bazargan K Microarchitecture floorplanning for sub-threshold leakage reduction Proceedings of the conference on Design, automation and test in Europe, (1238-1243)

Safarpour S and Veneris A Abstraction and refinement techniques in automated design debugging Proceedings of the conference on Design, automation and test in Europe, (1182-1187)

Lee I, Shim J, Lee S and Chun J CST-trees Proceedings of the 12th international conference on Database systems for advanced applications, (398-409)

McDonald R A study of global inference algorithms in multi-document summarization Proceedings of the 29th European conference on IR research, (557-564)

Jayaputera G, Loke S and Zaslavsky A (2007). Design, implementation and run-time evolution of a mission-based multiagent system, Web Intelligence and Agent Systems, 5:2, (139-159), Online publication date: 1-Apr-2007.

Kim E, Yum K, Das C, Yousif M and Duato J (2007). Exploring IBA Design Space for Improved Performance, IEEE Transactions on Parallel and Distributed Systems, 18:4, (498-510), Online publication date: 1-Apr-2007.

Raghavachari M and Shmueli O (2007). Efficient Revalidation of XML Documents, IEEE Transactions on Knowledge and Data Engineering, 19:4, (554-567), Online publication date: 1-Apr-2007.

Nieuwenhuis R and Oliveras A (2007). Fast congruence closure and extensions, Information and Computation, 205:4, (557-580), Online publication date: 1-Apr-2007.

Lee J, Chen M and Sun Y (2007). WF2Q-M, Computer Networks: The International Journal of Computer and Telecommunications Networking, 51:6, (1403-1420), Online publication date: 1-Apr-2007.

Darbon J A note on the discrete binary Mumford-Shah model Proceedings of the 3rd international conference on Computer vision/computer graphics collaboration techniques, (283-294)

Malik M, Pervaiz A and Khurshid S Generating representation invariants of structurally complex data Proceedings of the 13th international conference on Tools and algorithms for the construction and analysis of systems, (34-49)

Roşu G An effective algorithm for the membership problem for extended regular expressions Proceedings of the 10th international conference on Foundations of software science and computational structures, (332-345)

Gupta G and Rajopadhye S The Z-polyhedral model Proceedings of the 12th ACM SIGPLAN symposium on Principles and practice of parallel programming, (237-248)

Hu Y, Xiao Z and Panda B Modeling deceptive information dissemination using a holistic approach Proceedings of the 2007 ACM symposium on Applied computing, (1591-1598)

Kheirabadi H and Zamani M An efficient net ordering algorithm for buffer insertion Proceedings of the 17th ACM Great Lakes symposium on VLSI, (521-524)

Farmahini-Farahani A, Kamal M, Fakhraie S and Safari S HW/SW partitioning using discrete particle swarm Proceedings of the 17th ACM Great Lakes symposium on VLSI, (359-364)

Dice D and Shavit N Understanding Tradeoffs in Software Transactional Memory Proceedings of the International Symposium on Code Generation and Optimization, (21-33)

Bouchez F, Darte A and Rastello F On the Complexity of Register Coalescing Proceedings of the International Symposium on Code Generation and Optimization, (102-114)

Harada K, Sakuma J, Ono I and Kobayashi S Constraint-handling method for multi-objective function optimization Proceedings of the 4th international conference on Evolutionary multi-criterion optimization, (156-170)

Stewart K and Tragoudas S (2007). Managing the power resources of sensor networks with performance considerations, Computer Communications, 30:5, (1122-1135), Online publication date: 1-Mar-2007.

Jacox E and Samet H (2007). Spatial join techniques, ACM Transactions on Database Systems, 32:1, (7-es), Online publication date: 1-Mar-2007.

Xiang Luo , Iyengar R and Kar K Channel Assignment for Maximum Throughput in Multi-Channel Access Point Networks Proceedings of the 2007 IEEE Wireless Communications and Networking Conference, (395-400)

Bang-Jensen J, Huang J and Ibarra L (2007). Recognizing and representing proper interval graphs in parallel using merging and sorting, Discrete Applied Mathematics, 155:4, (442-456), Online publication date: 20-Feb-2007.

Zhu K Post-route LUT output polarity selection for timing optimization Proceedings of the 2007 ACM/SIGDA 15th international symposium on Field programmable gate arrays, (89-96)

Vacariu L, Roman F, Timar M, Stanciu T, Banabic R and Cret O Mobile robot path-planning implementation in software and hardware Proceedings of the 6th WSEAS International Conference on Signal Processing, Robotics and Automation, (140-145)

Vacariu L, Roman F, Timar M, Stanciu T, Banabic R and Cret O Mobile robot path-planning implementation in software and hardware Proceedings of the 6th WSEAS International Conference on Signal Processing, Robotics and Automation, (140-145)

Ribeiro C, Martins S and Rosseti I (2007). Metaheuristics for optimization problems in computer communications, Computer Communications, 30:4, (656-669), Online publication date: 15-Feb-2007.

D'alberto P and Nicolau A (2007). R-Kleene, Algorithmica, 47:2, (203-213), Online publication date: 1-Feb-2007.

Chellappan S, Bai X, Ma B, Xuan D and Xu C (2007). Mobility Limited Flip-Based Sensor Networks Deployment, IEEE Transactions on Parallel and Distributed Systems, 18:2, (199-211), Online publication date: 1-Feb-2007.

Bayerl P and Neumann H (2007). A Fast Biologically Inspired Algorithm for Recurrent Motion Estimation, IEEE Transactions on Pattern Analysis and Machine Intelligence, 29:2, (246-260), Online publication date: 1-Feb-2007.

Soedarmadji E Worst-Case Routing Performance Evaluation of Sensor Networks Proceedings of the 2007 IEEE Sensors Applications Symposium, (1-5)

Pelc A and Peleg D (2007). Feasibility and complexity of broadcasting with random transmission failures, Theoretical Computer Science, 370:1-3, (279-292), Online publication date: 1-Feb-2007.

Chi C and Hao R (2007). Test generation for interaction detection in feature-rich communication systems, Computer Networks: The International Journal of Computer and Telecommunications Networking, 51:2, (426-438), Online publication date: 1-Feb-2007.

Bose P and Devroye L (2007). On the stabbing number of a random Delaunay triangulation, Computational Geometry: Theory and Applications, 36:2, (89-105), Online publication date: 1-Feb-2007.

Melton H and Tempero E JooJ Proceedings of the thirtieth Australasian conference on Computer science - Volume 62, (87-95)

Clifford R and Sach B Fast Approximate Point Set Matching for Information Retrieval Proceedings of the 33rd conference on Current Trends in Theory and Practice of Computer Science, (212-223)

Ellner S and Taha W The semantics of graphical languages Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, (122-133)

Péron M and Halbwachs N An abstract domain extending difference-bound matrices with disequality constraints Proceedings of the 8th international conference on Verification, model checking, and abstract interpretation, (268-282)

Vardi M Automata-theoretic model checking revisited Proceedings of the 8th international conference on Verification, model checking, and abstract interpretation, (137-150)

Even-Bar E, Kearns M and Suri S A network formation game for bipartite exchange economies Proceedings of the eighteenth annual ACM-SIAM symposium on Discrete algorithms, (697-706)

Minnen D, Starner T, Essa I and Isbell C Improving activity discovery with automatic neighborhood estimation Proceedings of the 20th international joint conference on Artifical intelligence, (2814-2819)

Sun X and Koenig S The fringe-saving A* search algorithm Proceedings of the 20th international joint conference on Artifical intelligence, (2391-2397)

Lang J, Pini M, Rossi F, Venable K and Walsh T Winner determination in sequential majority voting Proceedings of the 20th international joint conference on Artifical intelligence, (1372-1377)

Gupta R, Bagchi A and Sarkar S (2007). Improving Linkage of Web Pages, INFORMS Journal on Computing, 19:1, (127-136), Online publication date: 1-Jan-2007.

Ben-Amram A and Lee C (2007). Program termination analysis in polynomial time, ACM Transactions on Programming Languages and Systems, 29:1, (1-37), Online publication date: 1-Jan-2007.

Ramanarayanan G and Bala K (2007). Constrained Texture Synthesis via Energy Minimization, IEEE Transactions on Visualization and Computer Graphics, 13:1, (167-178), Online publication date: 1-Jan-2007.

Chandrasekaran H, Li J, Delashmit W, Narasimha P, Yu C and Manry M (2007). Convergent design of piecewise linear neural networks, Neurocomputing, 70:4-6, (1022-1039), Online publication date: 1-Jan-2007.

Cong G and Sbaraglia S A study on the locality behavior of minimum spanning tree algorithms Proceedings of the 13th international conference on High Performance Computing, (583-594)

Wu B (2006). On the intercluster distance of a tree metric, Theoretical Computer Science, 369:1, (136-141), Online publication date: 15-Dec-2006.

Dechev D, Pirkelbauer P and Stroustrup B Lock-free dynamically resizable arrays Proceedings of the 10th international conference on Principles of Distributed Systems, (142-156)

Yao D, Frikken K, Atallah M and Tamassia R Point-based trust Proceedings of the 8th international conference on Information and Communications Security, (190-209)

Schellekens M, Agarwal R, Popovici E and Man K (2006). A simplified derivation of timing complexity lower bounds for sorting by comparisons, Nordic Journal of Computing, 13:4, (340-346), Online publication date: 1-Dec-2006.

Shalev-Shwartz S and Singer Y (2006). Efficient Learning of Label Ranking by Soft Projections onto Polyhedra, The Journal of Machine Learning Research, 7, (1567-1599), Online publication date: 1-Dec-2006.

Jiao Y (2006). Maintaining stream statistics over multiscale sliding windows, ACM Transactions on Database Systems, 31:4, (1305-1334), Online publication date: 1-Dec-2006.

Mei A and Rizzi R (2006). Online Permutation Routing in Partitioned Optical Passive Star Networks, IEEE Transactions on Computers, 55:12, (1557-1571), Online publication date: 1-Dec-2006.

Ferreira L, Kaszkurewicz E and Bhaya A (2006). Support vector classifiers via gradient systems with discontinuous righthand sides, Neural Networks, 19:10, (1612-1623), Online publication date: 1-Dec-2006.

Guo J, Gramm J, Hüffner F, Niedermeier R and Wernicke S (2006). Compression-based fixed-parameter algorithms for feedback vertex set and edge bipartization, Journal of Computer and System Sciences, 72:8, (1386-1396), Online publication date: 1-Dec-2006.

Darbon J and Sigelle M (2006). Image Restoration with Discrete Constrained Total Variation Part I, Journal of Mathematical Imaging and Vision, 26:3, (261-276), Online publication date: 1-Dec-2006.

Kurbán M, Niebert P, Qu H and Vogler W Stronger reduction criteria for local first search Proceedings of the Third international conference on Theoretical Aspects of Computing, (108-122)

Chaieb A Proof-producing program analysis Proceedings of the Third international conference on Theoretical Aspects of Computing, (287-301)

Aarts E and Trautwein K (2006). Non‐associative Lambek Categorial Grammar in Polynomial Time, Mathematical Logic Quarterly, 41:4, (476-484), Online publication date: 13-Nov-2006.

Desai R, Yang Q, Wu Z, Meng W and Yu C Identifying redundant search engines in a very large scale metasearch engine context Proceedings of the 8th annual ACM international workshop on Web information and data management, (51-58)

Geerts F, Revesz P and Van den Bussche J On-line maintenance of simplified weighted graphs for efficient distance queries Proceedings of the 14th annual ACM international symposium on Advances in geographic information systems, (203-210)

Ginat D On novices' local views of algorithmic characteristics Proceedings of the 2006 international conference on Informatics in Secondary Schools - Evolution and Perspectives: the Bridge between Using and Understanding Computers, (127-137)

Sarioz D, Kong T and Herman G History trees as descriptors of macromolecular structures Proceedings of the Second international conference on Advances in Visual Computing - Volume Part I, (263-272)

Tang X and Yuan X Technology migration techniques for simplified layouts with restrictive design rules Proceedings of the 2006 IEEE/ACM international conference on Computer-aided design, (655-660)

Wei T, Mishra P, Wu K and Liang H Online task-scheduling for fault-tolerant low-energy real-time systems Proceedings of the 2006 IEEE/ACM international conference on Computer-aided design, (522-527)

Murali S, Meloni P, Angiolini F, Atienza D, Carta S, Benini L, De Micheli G and Raffo L Designing application-specific networks on chips with floorplan information Proceedings of the 2006 IEEE/ACM international conference on Computer-aided design, (355-362)

Lo D and Khoo S SMArTIC Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering, (265-275)

Yeh P, Li J and Yuan S Tracking the changes of dynamic web pages in the existence of URL rewriting Proceedings of the fifth Australasian conference on Data mining and analystics - Volume 61, (169-176)

Uzuncaova E and Khurshid S (2006). Program slicing for declarative models, ACM SIGSOFT Software Engineering Notes, 31:6, (1-2), Online publication date: 1-Nov-2006.

Barbosa R and Rodrigues M Supporting guided navigation in mobile virtual environments Proceedings of the ACM symposium on Virtual reality software and technology, (220-226)

Lin C, Wang J and Zhou H (2006). Clustering for processing rate optimization, IEEE Transactions on Very Large Scale Integration (VLSI) Systems, 14:11, (1264-1275), Online publication date: 1-Nov-2006.

Eltayeb M, Dogan A and Ozguner F (2006). Concurrent Scheduling, IEEE Transactions on Parallel and Distributed Systems, 17:11, (1348-1359), Online publication date: 1-Nov-2006.

Franti P, Virmajoki O and Hautamaki V (2006). Fast Agglomerative Clustering Using a k-Nearest Neighbor Graph, IEEE Transactions on Pattern Analysis and Machine Intelligence, 28:11, (1875-1881), Online publication date: 1-Nov-2006.

Wu T, Tang K, Tang C and Wong T (2006). Dense Photometric Stereo, IEEE Transactions on Pattern Analysis and Machine Intelligence, 28:11, (1830-1846), Online publication date: 1-Nov-2006.

Goyal V, Gupta S and Saxena S Query rewriting for detection of privacy violation through inferencing Proceedings of the 2006 International Conference on Privacy, Security and Trust: Bridge the Gap Between PST Technologies and Business Services, (1-11)

Fogla P and Lee W Evading network anomaly detection systems Proceedings of the 13th ACM conference on Computer and communications security, (59-68)

Mendez G, Herrero P and Valladares R SIAPAS Proceedings of the 2006 international conference on On the Move to Meaningful Internet Systems: AWeSOMe, CAMS, COMINF, IS, KSinBIT, MIOS-CIAO, MONET - Volume Part I, (945-954)

Tang X, Li K, Xiao D, Yang J, Liu M and Qin Y A dynamic communication contention awareness list scheduling algorithm for arbitrary heterogeneous system Proceedings of the 2006 Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, DOA, GADA, and ODBASE - Volume Part II, (1315-1324)

Jansson J and Sung W (2006). Inferring a level-1 phylogenetic network from a dense set of rooted triplets, Theoretical Computer Science, 363:1, (60-68), Online publication date: 25-Oct-2006.

Carvalho B, Oliveira L and Andrade G Fuzzy segmentation of color video shots Proceedings of the 13th international conference on Discrete Geometry for Computer Imagery, (494-505)

Erol B, Berkner K and Joshi S Multimedia thumbnails for documents Proceedings of the 14th ACM international conference on Multimedia, (231-240)

Darga P and Boyapati C Efficient software model checking of data structure properties Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications, (363-382)

Li G, Feng J, Ta N, Zhang Y and Zhou L SCEND Proceedings of the 7th international conference on Web Information Systems, (460-473)

Egger B, Lee J and Shin H Scratchpad memory management for portable systems with a memory management unit Proceedings of the 6th ACM & IEEE International conference on Embedded software, (321-330)

Egger B, Kim C, Jang C, Nam Y, Lee J and Min S A dynamic code placement technique for scratchpad memory using postpass optimization Proceedings of the 2006 international conference on Compilers, architecture and synthesis for embedded systems, (223-233)

Darga P and Boyapati C (2006). Efficient software model checking of data structure properties, ACM SIGPLAN Notices, 41:10, (363-382), Online publication date: 16-Oct-2006.

Cheng C, Chen K, Tien W and Chao K (2006). Improved algorithmms for the k maximum-sums problems, Theoretical Computer Science, 362:1, (162-170), Online publication date: 11-Oct-2006.

Stuedi P and Alonso G Computing throughput capacity for realistic wireless multihop networks Proceedings of the 9th ACM international symposium on Modeling analysis and simulation of wireless and mobile systems, (191-198)

Huang X, Chang C and Chen M (2006). PeerCluster, IEEE Transactions on Parallel and Distributed Systems, 17:10, (1110-1123), Online publication date: 1-Oct-2006.

Aho I and Mäkinen E (2006). On a parallel machine scheduling problem with precedence constraints, Journal of Scheduling, 9:5, (493-495), Online publication date: 1-Oct-2006.

Rao N, Di H and Xu G Refine stereo correspondence using bayesian network and dynamic programming on a color based minimal span tree Proceedings of the 8th international conference on Advanced Concepts For Intelligent Vision Systems, (610-619)

Xia C, Broberg J, Liu Z and Zhang L Distributed resource allocation in stream processing systems Proceedings of the 20th international conference on Distributed Computing, (489-504)

Dice D, Shalev O and Shavit N Transactional locking II Proceedings of the 20th international conference on Distributed Computing, (194-208)

Edelkamp S, Jabbar S and Lafuente A Heuristic search for the analysis of graph transition systems Proceedings of the Third international conference on Graph Transformations, (414-429)

Das A, Dally W and Mattson P Compiling for stream processing Proceedings of the 15th international conference on Parallel architectures and compilation techniques, (33-42)

Kukkonen S and Deb K A Fast and Effective Method for Pruning of Non-dominated Solutions in Many-Objective Problems Parallel Problem Solving from Nature - PPSN IX, (553-562)

Oltean M A light-based device for solving the hamiltonian path problem Proceedings of the 5th international conference on Unconventional Computation, (217-227)

Chen H, Samavati F, Sousa M and Mitchell J Sketch-based volumetric seeded region growing Proceedings of the Third Eurographics conference on Sketch-Based Interfaces and Modeling, (123-130)

Cho S Bidirectional data aggregation scheme for wireless sensor networks Proceedings of the Third international conference on Ubiquitous Intelligence and Computing, (595-604)

Steinemann D, Otaduy M and Gross M Fast arbitrary splitting of deforming objects Proceedings of the 2006 ACM SIGGRAPH/Eurographics symposium on Computer animation, (63-72)

Barbulescu L, Howe A, Whitley L and Roberts M (2006). Understanding algorithm performance on an oversubscribed scheduling application, Journal of Artificial Intelligence Research, 27:1, (577-615), Online publication date: 1-Sep-2006.

Fatima S, Wooldridge M and Jennings N (2006). Multi-issue negotiation with deadlines, Journal of Artificial Intelligence Research, 27:1, (381-417), Online publication date: 1-Sep-2006.

Moerkotte G and Neumann T Analysis of two existing and one new dynamic programming algorithm for the generation of optimal bushy join trees without cross products Proceedings of the 32nd international conference on Very large data bases, (930-941)

Cohen S, Fadida I, Kanza Y, Kimelfeld B and Sagiv Y Full disjunctions Proceedings of the 32nd international conference on Very large data bases, (739-750)

Denny M and Franklin M Adaptive execution of variable-accuracy functions Proceedings of the 32nd international conference on Very large data bases, (547-558)

Krysta P and Loryś K (2006). Efficient approximation algorithms for the achromatic number, Theoretical Computer Science, 361:2, (150-171), Online publication date: 1-Sep-2006.

Steffen P and Giegerich R (2006). Table design in dynamic programming, Information and Computation, 204:9, (1325-1345), Online publication date: 1-Sep-2006.

Bell A and Haverkort B (2006). Distributed disk-based algorithms for model checking very large Markov chains, Formal Methods in System Design, 29:2, (177-196), Online publication date: 1-Sep-2006.

Bemporad A and Filippi C (2006). An Algorithm for Approximate Multiparametric Convex Programming, Computational Optimization and Applications, 35:1, (87-108), Online publication date: 1-Sep-2006.

Korenblit M and Shmerling E Algorithm and software for integration over a convex polyhedron Proceedings of the Second international conference on Mathematical Software, (273-283)

Desmedt Y, Wang Y and Burmester M Revisiting colored networks and privacy preserving censorship Proceedings of the First international conference on Critical Information Infrastructures Security, (140-150)

Chen F and Roşu G Parametric and termination-sensitive control dependence Proceedings of the 13th international conference on Static Analysis, (387-404)

Kik M Sorting long sequences in a single hop radio network Proceedings of the 31st international conference on Mathematical Foundations of Computer Science, (573-583)

Gargano L and Rescigno A Optimally fast data gathering in sensor networks Proceedings of the 31st international conference on Mathematical Foundations of Computer Science, (399-411)

Baeza-Yates R, Pereira Á and Ziviani N Understanding content reuse on the web Proceedings of the 8th Knowledge discovery on the web international conference on Advances in web mining and web usage analysis, (227-246)

Koren Y, North S and Volinsky C Measuring and extracting proximity in networks Proceedings of the 12th ACM SIGKDD international conference on Knowledge discovery and data mining, (245-255)

Knobbe A and Ho E Maximally informative k-itemsets and their efficient discovery Proceedings of the 12th ACM SIGKDD international conference on Knowledge discovery and data mining, (237-244)

Ramzan Z and Woodruff D Fast algorithms for the free riders problem in broadcast encryption Proceedings of the 26th annual international conference on Advances in Cryptology, (308-325)

Krovetz T Message authentication on 64-bit architectures Proceedings of the 13th international conference on Selected areas in cryptography, (327-341)

Lahiri S and Musuvathi M Solving sparse linear constraints Proceedings of the Third international joint conference on Automated Reasoning, (468-482)

Gamboa R and Cowles J Implementing a cost-aware evaluator for ACL2 expressions Proceedings of the sixth international workshop on the ACL2 theorem prover and its applications, (71-80)

Nebel M (2006). Fast string matching by using probabilities, Theoretical Computer Science, 359:1, (329-343), Online publication date: 14-Aug-2006.

Chen C, Lan J and Tang W (2006). An efficient algorithm to find a double-loop network that realizes a given L-shape, Theoretical Computer Science, 359:1, (69-76), Online publication date: 14-Aug-2006.

Cotton S and Maler O Fast and flexible difference constraint propagation for DPLL(T) Proceedings of the 9th international conference on Theory and Applications of Satisfiability Testing, (170-183)

Kang B, Kelarev A, Sale A and Williams R A new model for classifying DNA code inspired by neural networks and FSA Proceedings of the 9th Pacific Rim Knowledge Acquisition international conference on Advances in Knowledge Acquisition and Management, (187-198)

Sproston J and Donatelli S (2006). Backward Bisimulation in Markov Chain Model Checking, IEEE Transactions on Software Engineering, 32:8, (531-546), Online publication date: 1-Aug-2006.

Demetrescu C and Italiano G (2006). Fully dynamic all pairs shortest paths with real edge weights, Journal of Computer and System Sciences, 72:5, (813-837), Online publication date: 1-Aug-2006.

Huang W, Li Y, Li C and Xu R (2006). New heuristics for packing unequal circles into a circular container, Computers and Operations Research, 33:8, (2125-2142), Online publication date: 1-Aug-2006.

Lee W and Wong V (2006). E-Span and LPT for data aggregation in wireless sensor networks, Computer Communications, 29:13-14, (2506-2520), Online publication date: 1-Aug-2006.

Long S, Pieprzyk J, Wang H and Wong D (2006). Generalised Cumulative Arrays in Secret Sharing, Designs, Codes and Cryptography, 40:2, (191-209), Online publication date: 1-Aug-2006.

Aboul-Hosn K An axiomatization of arrays for kleene algebra with tests Proceedings of the 9th international conference on Relational Methods in Computer Science, and 4th international conference on Applications of Kleene Algebra, (63-77)

Tuval N and Gudes E Resolving Information Flow Conflicts in RBAC Systems 20th Annual IFIP WG 11.3 Working Conference on Data and Applications Security on Data and Applications Security XX - Volume 4127, (148-162)

Wang L, Yao C, Singhal A and Jajodia S Interactive Analysis of Attack Graphs Using Relational Queries 20th Annual IFIP WG 11.3 Working Conference on Data and Applications Security on Data and Applications Security XX - Volume 4127, (119-132)

Gopalakrishnan P, Li X and Pileggi L Architecture-aware FPGA placement using metric embedding Proceedings of the 43rd annual Design Automation Conference, (460-465)

Wang C, Gupta A and Ganai M Predicate learning and selective theory deduction for a difference logic solver Proceedings of the 43rd annual Design Automation Conference, (235-240)

Fraigniaud P, Ilcinkas D and Pelc A Oracle size Proceedings of the twenty-fifth annual ACM symposium on Principles of distributed computing, (179-187)

Elsenhans A and Jahnel J The asymptotics of points of bounded height on diagonal cubic and quartic threefolds Proceedings of the 7th international conference on Algorithmic Number Theory, (317-332)

Nicolae C and Nicolae G BestCut Proceedings of the 2006 Conference on Empirical Methods in Natural Language Processing, (275-283)

Bramsen P, Deshpande P, Lee Y and Barzilay R Inducing temporal graphs Proceedings of the 2006 Conference on Empirical Methods in Natural Language Processing, (189-198)

Gildea D, Satta G and Zhang H Factoring synchronous grammars by sorting Proceedings of the COLING/ACL on Main conference poster sessions, (279-286)

Dang V, Dash R, Rogers A and Jennings N Overlapping coalition formation for efficient data fusion in multi-sensor networks Proceedings of the 21st national conference on Artificial intelligence - Volume 1, (635-640)

Sankowski P Weighted bipartite matching in matrix multiplication time Proceedings of the 33rd international conference on Automata, Languages and Programming - Volume Part I, (274-285)

Mierswa I and Wurst M Information preserving multi-objective feature selection for unsupervised learning Proceedings of the 8th annual conference on Genetic and evolutionary computation, (1545-1552)

Ajwani D, Friedrich T and Meyer U An O(n) algorithm for online topological ordering Proceedings of the 10th Scandinavian conference on Algorithm Theory, (53-64)

Carlson J and Eppstein D The weighted maximum-mean subtree and other bicriterion subtree problems Proceedings of the 10th Scandinavian conference on Algorithm Theory, (400-410)

Dom M, Guo J, Niedermeier R and Wernicke S Minimum membership set covering and the consecutive ones property Proceedings of the 10th Scandinavian conference on Algorithm Theory, (339-350)

Amir A, Iliopoulos C, Kapah O and Porat E Approximate matching in weighted sequences Proceedings of the 17th Annual conference on Combinatorial Pattern Matching, (365-376)

Manne F and Xin Q Optimal gossiping with unit size messages in known topology radio networks Proceedings of the Third international conference on Combinatorial and Algorithmic Aspects of Networking, (125-134)

Duncan C, Kobourov S and Kumar V (2006). Optimal constrained graph exploration, ACM Transactions on Algorithms, 2:3, (380-402), Online publication date: 1-Jul-2006.

Murawski A and Ong C (2006). Fast verification of MLL proof nets via IMLL, ACM Transactions on Computational Logic, 7:3, (473-498), Online publication date: 1-Jul-2006.

Camponogara E, Zhou H and Talukdar S (2006). Altruistic agents in uncertain dynamic games, Journal of Computer and Systems Sciences International, 45:4, (536-552), Online publication date: 1-Jul-2006.

Mori G and Malik J (2006). Recovering 3D Human Body Configurations Using Shape Contexts, IEEE Transactions on Pattern Analysis and Machine Intelligence, 28:7, (1052-1062), Online publication date: 1-Jul-2006.

Chakrabarti D and Faloutsos C (2006). Graph mining, ACM Computing Surveys, 38:1, (2-es), Online publication date: 29-Jun-2006.

Kejariwal A, Saito H, Tian X, Girkar M, Li W, Banerjee U, Nicolau A and Polychronopoulos C Lightweight lock-free synchronization methods for multithreading Proceedings of the 20th annual international conference on Supercomputing, (361-371)

Agrawal S, Chu E and Narasayya V Automatic physical design tuning Proceedings of the 2006 ACM SIGMOD international conference on Management of data, (683-694)

Cera M, Pezzi G, Pilla M, Maillard N and Navaux P Scheduling dynamically spawned processes in MPI-2 Proceedings of the 12th international conference on Job scheduling strategies for parallel processing, (33-46)

Cormode G, Korn F, Muthukrishnan S and Srivastava D Space- and time-efficient deterministic algorithms for biased quantiles over data streams Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, (263-272)

Hanneke S An analysis of graph cut size for transductive learning Proceedings of the 23rd international conference on Machine learning, (393-399)

Davis J and Goadrich M The relationship between Precision-Recall and ROC curves Proceedings of the 23rd international conference on Machine learning, (233-240)

Carreira-Perpiñán M Fast nonparametric clustering with Gaussian blurring mean-shift Proceedings of the 23rd international conference on Machine learning, (153-160)

Kameshwaran S and Benyoucef L Branch on price Proceedings of the Second international conference on Algorithmic Aspects in Information and Management, (375-386)

Chen Z, Fu B and Zhu B The approximability of the exemplar breakpoint distance problem Proceedings of the Second international conference on Algorithmic Aspects in Information and Management, (291-302)

Gedda M and Svensson S Fuzzy distance based hierarchical clustering calculated using the a∗ algorithm Proceedings of the 11th international conference on Combinatorial Image Analysis, (101-115)

Martínez-Gallar J, Almeida F and Giménez D Mapping in heterogeneous systems with heuristic methods Proceedings of the 8th international conference on Applied parallel computing: state of the art in scientific computing, (1084-1093)

Jia L, Noubir G, Rajaraman R and Sundaram R GIST Proceedings of the Second IEEE international conference on Distributed Computing in Sensor Systems, (282-304)

Brodie B, Taylor D and Cytron R A Scalable Architecture For High-Throughput Regular-Expression Pattern Matching Proceedings of the 33rd annual international symposium on Computer Architecture, (191-202)

Zhuang X, Serrano M, Cain H and Choi J Accurate, efficient, and adaptive calling context profiling Proceedings of the 27th ACM SIGPLAN Conference on Programming Language Design and Implementation, (263-271)

Zhuang X, Serrano M, Cain H and Choi J (2006). Accurate, efficient, and adaptive calling context profiling, ACM SIGPLAN Notices, 41:6, (263-271), Online publication date: 11-Jun-2006.

Joisha P Compiler optimizations for nondeferred reference Proceedings of the 5th international symposium on Memory management, (150-161)

Babenko M Acyclic bidirected and skew-symmetric graphs Proceedings of the First international computer science conference on Theory and Applications, (23-34)

Du S and Joshi J Supporting authorization query and inter-domain role mapping in presence of hybrid role hierarchy Proceedings of the eleventh ACM symposium on Access control models and technologies, (228-236)

Helmert M New complexity results for classical planning benchmarks Proceedings of the Sixteenth International Conference on International Conference on Automated Planning and Scheduling, (52-61)

Fidler M and Recker S (2006). Conjugate network calculus, Computer Networks: The International Journal of Computer and Telecommunications Networking, 50:8, (1026-1039), Online publication date: 6-Jun-2006.

Hong W, Gu X, Qiu F, Jin M and Kaufman A Conformal virtual colon flattening Proceedings of the 2006 ACM symposium on Solid and physical modeling, (85-93)

Chew L Exact computation of protein structure similarity Proceedings of the twenty-second annual symposium on Computational geometry, (468-474)

Barzilay R and Lapata M Aggregation via set partitioning for natural language generation Proceedings of the main conference on Human Language Technology Conference of the North American Chapter of the Association of Computational Linguistics, (359-366)

De Lucia A, Francese R, Scanniello G and Tortora G (2006). Identifying cloned navigational patterns in web applications, Journal of Web Engineering, 5:2, (150-174), Online publication date: 1-Jun-2006.

Lobo A and Baliga G (2006). NP-completeness for all computer science undergraduates, Journal of Computing Sciences in Colleges, 21:6, (53-63), Online publication date: 1-Jun-2006.

Malewicz G, Rosenberg A and Yurkewych M (2006). Toward a Theory for Scheduling Dags in Internet-Based Computing, IEEE Transactions on Computers, 55:6, (757-768), Online publication date: 1-Jun-2006.

Kao J and Marculescu R (2006). On Optimization of E-Textile Systems Using Redundancy and Energy-Aware Routing, IEEE Transactions on Computers, 55:6, (745-756), Online publication date: 1-Jun-2006.

Chen Y and Huang T (2006). A new approach for discovering fuzzy quantitative sequential patterns in sequence databases, Fuzzy Sets and Systems, 157:12, (1641-1661), Online publication date: 1-Jun-2006.

Tong S and Chang C (2006). Harmonic DiffServ, Computer Communications, 29:10, (1780-1797), Online publication date: 1-Jun-2006.

Dujmovic V, Fellows M, Hallett M, Kitching M, Liotta G, Mccartin C, Nishimura N, Ragde P, Rosamond F, Suderman M, Whitesides S and Wood D (2006). A Fixed-Parameter Approach to 2-Layer Planarization, Algorithmica, 45:2, (159-182), Online publication date: 1-Jun-2006.

Juillerat N and Hirsbrunner B FOOD Proceedings of the 2006 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the fifth SoMeT_06, (452-461)

Ye C, Cheung S and Chan W Publishing and composition of atomicity-equivalent services for B2B collaboration Proceedings of the 28th international conference on Software engineering, (351-360)

Boitmanis K, Freivalds K, Lediņš P and Opmanis R Fast and simple approximation of the diameter and radius of a graph Proceedings of the 5th international conference on Experimental Algorithms, (98-108)

Dmitriev P, Eiron N, Fontoura M and Shekita E Using annotations in enterprise search Proceedings of the 15th international conference on World Wide Web, (811-817)

Boella G, Sauro L and van der Torre L Strengthening Admissible Coalitions Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy, (195-199)

Fatima S, Wooldridge M and Jennings N On efficient procedures for multi-issue negotiation Proceedings of the 2006 AAMAS workshop and TADA/AMEC 2006 conference on Agent-mediated electronic commerce: automated negotiation and strategy design for electronic markets, (31-45)

Manisterski E, David E, Kraus S and Jennings N Forming efficient agent groups for completing complex tasks Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems, (834-841)

Lee I, Clifford R and Kim S Algorithms on extended (δ, γ)-matching Proceedings of the 2006 international conference on Computational Science and Its Applications - Volume Part III, (1137-1142)

Chen U, Wang C and Lin W Average schedule length and resource selection policies on computational grids Proceedings of the First international conference on Advances in Grid and Pervasive Computing, (63-72)

Flesca S, Furfaro F and Greco S (2006). Weighted path queries on semistructured databases, Information and Computation, 204:5, (679-696), Online publication date: 1-May-2006.

Brodie B, Taylor D and Cytron R (2006). A Scalable Architecture For High-Throughput Regular-Expression Pattern Matching, ACM SIGARCH Computer Architecture News, 34:2, (191-202), Online publication date: 1-May-2006.

Boguslavskii A and Sokolov S (2006). Detecting objects in images in real-time computer vision systems using structured geometric models, Programming and Computing Software, 32:3, (177-187), Online publication date: 1-May-2006.

Huang Z and Shen C (2006). Multibeam Antenna-Based Topology Control with Directional Power Intensity for Ad Hoc Networks, IEEE Transactions on Mobile Computing, 5:5, (508-517), Online publication date: 1-May-2006.

Lin X, Xu J, Zhang Q, Lu H, Yu J, Zhou X and Yuan Y (2006). Approximate Processing of Massive Continuous Quantile Queries over High-Speed Data Streams, IEEE Transactions on Knowledge and Data Engineering, 18:5, (683-698), Online publication date: 1-May-2006.

Ito Y, Nakano K and Yamagishi Y Efficient hardware algorithms for n choose k counters Proceedings of the 20th international conference on Parallel and distributed processing, (262-262)

Gibbons J Datatype-generic programming Proceedings of the 2006 international conference on Datatype-generic programming, (1-71)

Capron G Static analysis of time bounded reactive properties of Boolean symbols Proceedings of the 2006 ACM symposium on Applied computing, (1827-1834)

Elias S, Easwarakumar K and Chbeir R Dynamic consistency checking for temporal and spatial relations in multimedia presentations Proceedings of the 2006 ACM symposium on Applied computing, (1380-1384)

Miura S and Sugimoto M Supporting children's rhythm learning using vibration devices CHI '06 Extended Abstracts on Human Factors in Computing Systems, (1127-1132)

Huang C, Guan C and Chuang Y A key-address mapping sort algorithm Proceedings of the 5th WSEAS international conference on Applied computer science, (352-357)

Mtenzi F and Wan Y The minimum-energy broadcast problem in symmetric wireless ad hoc networks Proceedings of the 5th WSEAS international conference on Applied computer science, (68-76)

Gutin G, Rafiey A, Yeo A and Tso M (2006). Level of repair analysis and minimum cost homomorphisms of graphs, Discrete Applied Mathematics, 154:6, (881-889), Online publication date: 15-Apr-2006.

Koivisto M (2006). Optimal 2-constraint satisfaction via sum--product algorithms, Information Processing Letters, 98:1, (24-28), Online publication date: 15-Apr-2006.

Koivisto M (2006). Optimal 2-constraint satisfaction via sum-product algorithms, Information Processing Letters, 98:1, (24-28), Online publication date: 15-Apr-2006.

Cong G, Cui B, Li Y and Zhang Z Summarizing frequent patterns using profiles Proceedings of the 11th international conference on Database Systems for Advanced Applications, (171-186)

Liu C and Chang Y Floorplan and power/ground network co-synthesis for fast design convergence Proceedings of the 2006 international symposium on Physical design, (86-93)

Su B, Chang Y and Hu J An optimal jumper insertion algorithm for antenna avoidance/fixing on general routing trees with obstacles Proceedings of the 2006 international symposium on Physical design, (56-63)

Chor B and Tuller T Biological networks Proceedings of the 10th annual international conference on Research in Computational Molecular Biology, (30-44)

Gu P and Vishkin U (2006). Case study of gate-level logic simulation on an extremely fine-grained chip multiprocessor, Journal of Embedded Computing, 2:2, (181-190), Online publication date: 1-Apr-2006.

Hong B and Prasanna V (2006). Maximum lifetime data sensing and extraction in energy constrained networked sensor systems, Journal of Parallel and Distributed Computing, 66:4, (566-577), Online publication date: 1-Apr-2006.

Lloyd E, Liu R and Ravi S (2006). Approximating the minimum number of maximum power users in ad hoc networks, Mobile Networks and Applications, 11:2, (129-142), Online publication date: 1-Apr-2006.

Paul B and Roy K (2006). Impact of Body Bias on Delay Fault Testing of Sub-100 nm CMOS Circuits, Journal of Electronic Testing: Theory and Applications, 22:2, (115-124), Online publication date: 1-Apr-2006.

Ginat D and Armoni M (2006). Reversing, ACM SIGCSE Bulletin, 38:1, (469-473), Online publication date: 31-Mar-2006.

Xue J and Knoop J A fresh look at PRE as a maximum flow problem Proceedings of the 15th international conference on Compiler Construction, (139-154)

Kahan S and Konecny P "MAMA!" Proceedings of the eleventh ACM SIGPLAN symposium on Principles and practice of parallel programming, (178-186)

Mitra S, Lynch N and Liberzon D Verifying average dwell time by solving optimization problems Proceedings of the 9th international conference on Hybrid Systems: computation and control, (476-490)

Ghiasi S and Huang P Probabilistic Delay Budgeting for Soft Realtime Applications Proceedings of the 7th International Symposium on Quality Electronic Design, (141-146)

Bruening D, Kiriansky V, Garnett T and Banerji S Thread-Shared Software Code Caches Proceedings of the International Symposium on Code Generation and Optimization, (28-38)

Christodoulou E, Dalamagas T and Sellis T NaviMoz Proceedings of the 2006 international conference on Current Trends in Database Technology, (801-813)

Cheng J, Yu J, Lin X, Wang H and Yu P Fast computation of reachability labeling for large graphs Proceedings of the 10th international conference on Advances in Database Technology, (961-979)

Ganai M, Talupur M and Gupta A SDSAT Proceedings of the 12th international conference on Tools and Algorithms for the Construction and Analysis of Systems, (135-150)

Habermehl P, Iosif R and Vojnar T Automata-Based verification of programs with tree updates Proceedings of the 12th international conference on Tools and Algorithms for the Construction and Analysis of Systems, (350-364)

Giesen J, Schuberth E and Stojaković M Approximate sorting Proceedings of the 7th Latin American conference on Theoretical Informatics, (524-531)

Cortes C, Mohri M, Rastogi A and Riley M Efficient computation of the relative entropy of probabilistic automata Proceedings of the 7th Latin American conference on Theoretical Informatics, (323-336)

Ustun V, Yilmaz L and Smith J A conceptual model for agent-based simulation of physical security systems Proceedings of the 44th annual ACM Southeast Conference, (365-370)

Yasmin N Incremental computation of shortest paths in semi-dynamic graphs using software components Proceedings of the 44th annual ACM Southeast Conference, (96-101)

Hilaire X and Oommen J The averaged mappings problem Proceedings of the 44th annual ACM Southeast Conference, (24-29)

Frederickson G and Solis-Oba R (2006). Efficient algorithms for robustness in resource allocation and scheduling problems, Theoretical Computer Science, 352:1, (250-265), Online publication date: 7-Mar-2006.

Hosseinabady M, Banaiyan A, Bojnordi M and Navabi Z A concurrent testing method for NoC switches Proceedings of the conference on Design, automation and test in Europe: Proceedings, (1171-1176)

Cherroun H, Darte A and Feautrier P Scheduling under resource constraints using dis-equations Proceedings of the conference on Design, automation and test in Europe: Proceedings, (1067-1072)

Ginat D and Armoni M Reversing Proceedings of the 37th SIGCSE technical symposium on Computer science education, (469-473)

Miné A (2006). The octagon abstract domain, Higher-Order and Symbolic Computation, 19:1, (31-100), Online publication date: 1-Mar-2006.

Goldstein D and Kobayashi K On the complexity of the “most general” firing squad synchronization problem Proceedings of the 23rd Annual conference on Theoretical Aspects of Computer Science, (696-711)

Fortnow L, Lee T and Vereshchagin N Kolmogorov complexity with error Proceedings of the 23rd Annual conference on Theoretical Aspects of Computer Science, (137-148)

Cheng G and Ansari N (2006). Finding a least hop(s) path subject to multiple additive constraints, Computer Communications, 29:3, (392-401), Online publication date: 1-Feb-2006.

Deng L and Wong M An exact algorithm for the statistical shortest path problem Proceedings of the 2006 Asia and South Pacific Design Automation Conference, (965-970)

Ajwani D, Dementiev R and Meyer U A computational study of external-memory BFS algorithms Proceedings of the seventeenth annual ACM-SIAM symposium on Discrete algorithm, (601-610)

Restrepo M and Williamson D A simple GAP-canceling algorithm for the generalized maximum flow problem Proceedings of the seventeenth annual ACM-SIAM symposium on Discrete algorithm, (534-543)

Althaus E and Naujoks R Computing steiner minimum trees in Hamming metric Proceedings of the seventeenth annual ACM-SIAM symposium on Discrete algorithm, (172-181)

Swadi K, Taha W, Kiselyov O and Pasalic E A monadic approach for avoiding code duplication when staging memoized functions Proceedings of the 2006 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, (160-169)

Quesada L, Van Roy P, Deville Y and Collet R Using dominators for solving constrained path problems Proceedings of the 8th international conference on Practical Aspects of Declarative Languages, (73-87)

Even G On teaching fast adder designs Theoretical Computer Science, (313-347)

Dinitz Y Dinitz' algorithm Theoretical Computer Science, (218-240)

Dix J, Kraus S and Subrahmanian V (2006). Heterogeneous temporal probabilistic agents, ACM Transactions on Computational Logic, 7:1, (151-198), Online publication date: 1-Jan-2006.

Sohn B and Bajaj C (2006). Time-Varying Contour Topology, IEEE Transactions on Visualization and Computer Graphics, 12:1, (14-25), Online publication date: 1-Jan-2006.

Zhang Z and Yang Y (2006). Optimal Scheduling in Buffered WDM Interconnects with Limited Range Wavelength Conversion Capability, IEEE Transactions on Computers, 55:1, (71-82), Online publication date: 1-Jan-2006.

Ghiasi S, Bozorgzadeh E, Nguyen K and Sarrafzadeh M (2006). Efficient Timing Budget Management for Accuracy Improvement in a Collaborative Object Tracking System, Journal of VLSI Signal Processing Systems, 42:1, (43-55), Online publication date: 1-Jan-2006.

Parameswaran V and Chellappa R (2006). View Invariance for Human Action Recognition, International Journal of Computer Vision, 66:1, (83-101), Online publication date: 1-Jan-2006.

Cohen R, Fraigniaud P, Ilcinkas D, Korman A and Peleg D Labeling schemes for tree representation Proceedings of the 7th international conference on Distributed Computing, (13-24)

Klein R, Knauer C, Narasimhan G and Smid M Exact and approximation algorithms for computing the dilation spectrum of paths, trees, and cycles Proceedings of the 16th international conference on Algorithms and Computation, (849-858)

Georgakopoulos G, Kavvadias D and Sioutis L Nash equilibria in all-optical networks Proceedings of the First international conference on Internet and Network Economics, (1033-1045)

Lim Y and Ahn S Improvement of the naive group key distribution approach for mobile ad hoc networks Proceedings of the First international conference on Mobile Ad-hoc and Sensor Networks, (763-772)

Patney R, Baton S and Filer N Server supported routing Proceedings of the First international conference on Mobile Ad-hoc and Sensor Networks, (21-30)

Attiya H, Hay D and Welch J Optimal clock synchronization under energy constraints in wireless ad-hoc networks Proceedings of the 9th international conference on Principles of Distributed Systems, (221-234)

Maximov A and Johansson T Fast computation of large distributions and its cryptographic applications Proceedings of the 11th international conference on Theory and Application of Cryptology and Information Security, (313-332)

Brickell J and Shmatikov V Privacy-Preserving graph algorithms in the semi-honest model Proceedings of the 11th international conference on Theory and Application of Cryptology and Information Security, (236-252)

Yang H, Govindarajan R, Gao G and Hu Z (2005). Improving power efficiency with compiler-assisted cache replacement, Journal of Embedded Computing, 1:4, (487-499), Online publication date: 1-Dec-2005.

Guillon C, Rastello F, Bidault T and Bouchez F (2005). Procedure placement using temporal-ordering information: Dealing with code size expansion, Journal of Embedded Computing, 1:4, (437-459), Online publication date: 1-Dec-2005.

epek O and Sung S (2005). A quadratic time algorithm to maximize the number of just-in-time jobs on identical parallel machines, Computers and Operations Research, 32:12, (3265-3271), Online publication date: 1-Dec-2005.

Assiter K (2005). Accessibility of Analysis of Algorithms, Journal of Computing Sciences in Colleges, 21:2, (185-194), Online publication date: 1-Dec-2005.

Lin C and Zhou H (2005). Wire retiming as fixpoint computation, IEEE Transactions on Very Large Scale Integration (VLSI) Systems, 13:12, (1340-1348), Online publication date: 1-Dec-2005.

Jin R, Vaidyanathan K, Yang G and Agrawal G (2005). Communication and Memory Optimal Parallel Data Cube Construction, IEEE Transactions on Parallel and Distributed Systems, 16:12, (1105-1119), Online publication date: 1-Dec-2005.

Meunier P, Findler R, Steckler P and Wand M (2005). Selectors Make Set-Based Analysis Too Hard, Higher-Order and Symbolic Computation, 18:3-4, (245-269), Online publication date: 1-Dec-2005.

Liu F, Lu X and Peng Y An efficient heuristic algorithm for constructing delay- and degree-bounded application-level multicast tree Proceedings of the 4th international conference on Grid and Cooperative Computing, (1131-1142)

Mikic-Rakic M, Malek S and Medvidovic N Improving availability in large, distributed component-based systems via redeployment Proceedings of the Third international working conference on Component Deployment, (83-98)

Keogh E, Lin J and Fu A HOT SAX Proceedings of the Fifth IEEE International Conference on Data Mining, (226-233)

Lugiez D, Niebert P and Zennou S (2005). A partial order semantics approach to the clock explosion problem of timed automata, Theoretical Computer Science, 345:1, (27-59), Online publication date: 21-Nov-2005.

Ragno R, Burges C and Herley C Inferring similarity between music objects with application to playlist generation Proceedings of the 7th ACM SIGMM international workshop on Multimedia information retrieval, (73-80)

Gu N, Yang J and Zhang Q Consistency maintenance based on the mark & retrace technique in groupware systems Proceedings of the 2005 international ACM SIGGROUP conference on Supporting group work, (264-273)

Ávila B and Lins R A fast orientation and skew detection algorithm for monochromatic document images Proceedings of the 2005 ACM symposium on Document engineering, (118-126)

Kantabutra S, Jindaluang W and Techa-angkoon P It’s elementary, my dear watson Proceedings of the Third international conference on Parallel and Distributed Processing and Applications, (252-262)

Kim H, Guibas L and Shin S (2005). Efficient Collision Detection among Moving Spheres with Unknown Trajectories, Algorithmica, 43:3, (195-210), Online publication date: 1-Nov-2005.

Banerjee A and Naumann D (2005). Ownership confinement ensures representation independence for object-oriented programs, Journal of the ACM, 52:6, (894-960), Online publication date: 1-Nov-2005.

Moore S and Siller C (2005). Availability of end-to-end ideal QoS in IP packet networks, Computer Communications, 28:18, (2047-2057), Online publication date: 1-Nov-2005.

Kostenko V and Gur'Yanov E (2005). An Algorithm for Scheduling Exchanges over a Bus with Centralized Control and an Analysis of Its Efficiency, Programming and Computing Software, 31:6, (340-346), Online publication date: 1-Nov-2005.

Plaskota L and Wasilkowski G (2005). Adaption allows efficient integration of functions with unknown singularities, Numerische Mathematik, 102:1, (123-144), Online publication date: 1-Nov-2005.

Patel R and Mastorakis N Locating mobile agents in a wide distributed system Proceedings of the 7th WSEAS International Conference on Mathematical Methods and Computational Techniques In Electrical Engineering, (96-109)

Kumar S and Crowley P Segmented hash Proceedings of the 2005 ACM symposium on Architecture for networking and communications systems, (91-103)

Bein D, Datta A and Villain V Snap-Stabilizing optimal binary search tree Proceedings of the 7th international conference on Self-Stabilizing Systems, (1-17)

Callejo-Rodríguez M, Andrés-Colás J, García-de-Blas G, Ramón-Salguero F and Enríquez-Gabeiras J A decentralized traffic management approach for ambient networks environments Proceedings of the 16th IFIP/IEEE Ambient Networks international conference on Distributed Systems: operations and Management, (145-156)

Feng J, Ouyang Z, Su F and Cai A An exact ridge matching algorithm for fingerprint verification Proceedings of the 2005 international conference on Advances in Biometric Person Authentication, (103-110)

Park C, Lee M and Kim D New computation paradigm for modular exponentiation using a graph model Proceedings of the Third international conference on StochasticAlgorithms: foundations and applications, (170-179)

Gil J and Maman I Micro patterns in Java code Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (97-116)

Avants B, Epstein C and Gee J Geodesic image interpolation Proceedings of the Third international conference on Variational, Geometric, and Level Set Methods in Computer Vision, (247-258)

Peyré G and Cohen L Heuristically driven front propagation for geodesic paths extraction Proceedings of the Third international conference on Variational, Geometric, and Level Set Methods in Computer Vision, (173-185)

Amador J (2005). Sequential clustering by statistical methodology, Pattern Recognition Letters, 26:14, (2152-2163), Online publication date: 15-Oct-2005.

Gil J and Maman I (2005). Micro patterns in Java code, ACM SIGPLAN Notices, 40:10, (97-116), Online publication date: 12-Oct-2005.

Anderegg L, Cieliebak M and Prencipe G Efficient algorithms for detecting regular point configurations Proceedings of the 9th Italian conference on Theoretical Computer Science, (23-35)

Tseng Y, Wang Y and Cheng K An integrated mobile surveillance and wireless sensor (iMouse) system and its detection delay analysis Proceedings of the 8th ACM international symposium on Modeling, analysis and simulation of wireless and mobile systems, (178-181)

Weinbach Y and Elber R (2005). Revisiting and parallelizing SHAKE, Journal of Computational Physics, 209:1, (193-206), Online publication date: 10-Oct-2005.

McDonald R, Pereira F, Ribarov K and Hajič J Non-projective dependency parsing using spanning tree algorithms Proceedings of the conference on Human Language Technology and Empirical Methods in Natural Language Processing, (523-530)

Taskar B, Lacoste-Julien S and Klein D A discriminative matching approach to word alignment Proceedings of the conference on Human Language Technology and Empirical Methods in Natural Language Processing, (73-80)

Doerr B, Friedrich T, Klein C and Osbild R Rounding of sequences and matrices, with applications Proceedings of the Third international conference on Approximation and Online Algorithms, (96-109)

Sankowski P Shortest paths in matrix multiplication time Proceedings of the 13th annual European conference on Algorithms, (770-778)

Ausiello G, Franciosa P and Italiano G Small stretch spanners on dynamic graphs Proceedings of the 13th annual European conference on Algorithms, (532-543)

Alfieri A, van de Velde S and Woeginger G Roll cutting in the curtain industry Proceedings of the 13th annual European conference on Algorithms, (283-292)

Ward D and Somenzi F Automatic generation of hints for symbolic traversal Proceedings of the 13 IFIP WG 10.5 international conference on Correct Hardware Design and Verification Methods, (207-221)

Lasker K, Dror O, Nussinov R and Wolfson H Discovery of protein substructures in EM maps Proceedings of the 5th International conference on Algorithms in Bioinformatics, (423-434)

Ghiasi S Efficient Implementation Selection via Time Budgeting Complexity Analysis and Leakage Optimization Case Study Proceedings of the 2005 International Conference on Computer Design, (127-129)

Sistla A and Zhou M Combining static analysis and model checking for systems employing commutative functions Proceedings of the 25th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems, (68-82)

Song H, Dharmapurikar S, Turner J and Lockwood J (2005). Fast hash table lookup using extended bloom filter, ACM SIGCOMM Computer Communication Review, 35:4, (181-192), Online publication date: 1-Oct-2005.

Pinar A and Hendrickson B (2005). Improving Load Balance with Flexibly Assignable Tasks, IEEE Transactions on Parallel and Distributed Systems, 16:10, (956-965), Online publication date: 1-Oct-2005.

Shi Y, Song Y and Zhang A (2005). A Shrinking-Based Clustering Approach for Multidimensional Data, IEEE Transactions on Knowledge and Data Engineering, 17:10, (1389-1403), Online publication date: 1-Oct-2005.

Bagnara R, Hill P, Ricci E and Zaffanella E (2005). Precise widening operators for convex polyhedra, Science of Computer Programming, 58:1-2, (28-56), Online publication date: 1-Oct-2005.

Yeh T and Reinman G Fast and fair Proceedings of the 2005 international conference on Compilers, architectures and synthesis for embedded systems, (237-248)

Lahiri S and Musuvathi M An efficient decision procedure for UTVPI constraints Proceedings of the 5th international conference on Frontiers of Combining Systems, (168-183)

Kasperski A and Zieliński P A possibilistic approach to combinatorial optimization problems on fuzzy-valued matroids Proceedings of the 6th international conference on Fuzzy Logic and Applications, (46-52)

Baader F, Karabaev E, Lutz C and Theißen M A new n-ary existential quantifier in description logics Proceedings of the 28th annual German conference on Advances in Artificial Intelligence, (18-33)

Guo H Mode-directed fixed point computation Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning, (253-265)

Elber G Global curve analysis via a dimensionality lifting scheme Proceedings of the 11th IMA international conference on Mathematics of Surfaces, (184-200)

Sandnes F and Sinnen O (2005). A new strategy for multiprocessor scheduling of cyclic task graphs, International Journal of High Performance Computing and Networking, 3:1, (62-71), Online publication date: 1-Sep-2005.

Oltean M (2005). Evolving Evolutionary Algorithms Using Linear Genetic Programming, Evolutionary Computation, 13:3, (387-410), Online publication date: 1-Sep-2005.

Besta M and Stomp F (2005). A complete mechanization of correctness of a string-preprocessing algorithm, Formal Methods in System Design, 27:1-2, (5-27), Online publication date: 1-Sep-2005.

Bargeron D, Viola P and Simard P Boosting-based Transductive Learning for Text Detection Proceedings of the Eighth International Conference on Document Analysis and Recognition, (1166-1171)

Chellapilla K, Simard P and Nickolov R Fast Optical Character Recognition through Glyph Hashing for Document Conversion Proceedings of the Eighth International Conference on Document Analysis and Recognition, (829-834)

Tao Y, Cheng R, Xiao X, Ngai W, Kao B and Prabhakar S Indexing multi-dimensional uncertain data with arbitrary probability density functions Proceedings of the 31st international conference on Very large data bases, (922-933)

Jin L, Li C, Koudas N and Tung A Indexing mixed types for approximate retrieval Proceedings of the 31st international conference on Very large data bases, (793-804)

Chen L, Gupta A and Kurul M Stack-based algorithms for pattern matching on DAGs Proceedings of the 31st international conference on Very large data bases, (493-504)

Mandhani B and Suciu D Query caching and view selection for XML databases Proceedings of the 31st international conference on Very large data bases, (469-480)

Bădică C and Bădică A Logic wrappers and XSLT transformations for tuples extraction from HTML Proceedings of the Third international conference on Database and XML Technologies, (177-191)

Song H, Dharmapurikar S, Turner J and Lockwood J Fast hash table lookup using extended bloom filter Proceedings of the 2005 conference on Applications, technologies, architectures, and protocols for computer communications, (181-192)

Madou M, Anckaert B, Moseley P, Debray S, De Sutter B and De Bosschere K Software protection through dynamic code mutation Proceedings of the 6th international conference on Information Security Applications, (194-206)

Musuvathi M and Dill D An incremental heap canonicalization algorithm Proceedings of the 12th international conference on Model Checking Software, (28-42)

Khurshid S, García I and Suen Y Repairing structurally complex data Proceedings of the 12th international conference on Model Checking Software, (123-138)

Li F, Cheng D, Hadjieleftheriou M, Kollios G and Teng S On trip planning queries in spatial databases Proceedings of the 9th international conference on Advances in Spatial and Temporal Databases, (273-290)

Wang Y, Liu Z and Zhou L Automatic 3d motion synthesis with time-striding hidden markov model Proceedings of the 4th international conference on Advances in Machine Learning and Cybernetics, (558-567)

Ono A and Nakano S Constant time generation of linear extensions Proceedings of the 15th international conference on Fundamentals of Computation Theory, (445-453)

Dawyndt P, Vancanneyt M, De Meyer H and Swings J (2005). Knowledge Accumulation and Resolution of Data Inconsistencies during the Integration of Microbial Information Sources, IEEE Transactions on Knowledge and Data Engineering, 17:8, (1111-1126), Online publication date: 1-Aug-2005.

Senellart P Identifying websites with flow simulation Proceedings of the 5th international conference on Web Engineering, (124-129)

Robu V, Somefun D and La Poutré J Modeling complex multi-issue negotiations using utility graphs Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems, (280-287)

Gasieniec L, Peleg D and Xin Q Faster communication in known topology radio networks Proceedings of the twenty-fourth annual ACM symposium on Principles of distributed computing, (129-137)

Dimopoulos M and Linardis P Search space pruning techniques in ATPG for VLSI circuits Proceedings of the 9th International Conference on Circuits, (1-6)

Franceschini G and Grossi R Optimal in-place sorting of vectors and records Proceedings of the 32nd international conference on Automata, Languages and Programming, (90-102)

Agmon N, Kaminka G and Kraus S Team member reallocation via tree pruning Proceedings of the 20th national conference on Artificial intelligence - Volume 1, (35-40)

Lahiri S, Ball T and Cook B Predicate abstraction via symbolic decision procedures Proceedings of the 17th international conference on Computer Aided Verification, (24-38)

Bonet B and Geffner H (2005). mGPT, Journal of Artificial Intelligence Research, 24:1, (933-944), Online publication date: 1-Jul-2005.

Xiang H, Tang X and Wong M (2005). An algorithm for integrated pin assignment and buffer planning, ACM Transactions on Design Automation of Electronic Systems, 10:3, (561-572), Online publication date: 1-Jul-2005.

Keselman Y and Dickinson S (2005). Generic Model Abstraction from Examples, IEEE Transactions on Pattern Analysis and Machine Intelligence, 27:7, (1141-1156), Online publication date: 1-Jul-2005.

Elfeky M, Aref W and Elmagarmid A (2005). Periodicity Detection in Time Series Databases, IEEE Transactions on Knowledge and Data Engineering, 17:7, (875-887), Online publication date: 1-Jul-2005.

Zhao C, Dey S and Bai X (2005). Soft-Spot Analysis, IEEE Design & Test, 22:4, (362-375), Online publication date: 1-Jul-2005.

Dai Q and Wu J (2005). Computation of Minimal Uniform Transmission Range in Ad Hoc Wireless Networks, Cluster Computing, 8:2-3, (127-133), Online publication date: 1-Jul-2005.

Wang L and Olariu S (2005). Cluster Maintenance in Mobile Ad-hoc Networks, Cluster Computing, 8:2-3, (111-118), Online publication date: 1-Jul-2005.

Jansen T and Schellbach U Theoretical analysis of a mutation-based evolutionary algorithm for a tracking problem in the lattice Proceedings of the 7th annual conference on Genetic and evolutionary computation, (841-848)

Fomin F, Mazoit F and Todinca I Computing branchwidth via efficient triangulations and blocks Proceedings of the 31st international conference on Graph-Theoretic Concepts in Computer Science, (374-384)

Korach E and Razgon M Optimal hypergraph tree-realization Proceedings of the 31st international conference on Graph-Theoretic Concepts in Computer Science, (261-270)

Gutin G, Rafiey A, Yeo A and Tso M Level of repair analysis and minimum cost homomorphisms of graphs Proceedings of the First international conference on Algorithmic Applications in Management, (427-439)

Wang H, Parthasarathy S, Ghoting A, Tatikonda S, Buehrer G, Kurc T and Saltz J Design of a next generation sampling service for large scale data analysis applications Proceedings of the 19th annual international conference on Supercomputing, (91-100)

van Hee K, Serebrenik A, Sidorova N and Voorhoeve M Soundness of resource-constrained workflow nets Proceedings of the 26th international conference on Applications and Theory of Petri Nets, (250-267)

Fraundorfer F, Winter M and Bischof H MSCC Proceedings of the 14th Scandinavian conference on Image Analysis, (45-54)

Marinov D, Khurshid S, Bugrara S, Zhang L and Rinard M Optimizations for compiling declarative models into boolean formulas Proceedings of the 8th international conference on Theory and Applications of Satisfiability Testing, (187-202)

Clifford P, Clifford R and Iliopoulos C Faster algorithms for δ,γ-matching and related problems Proceedings of the 16th annual conference on Combinatorial Pattern Matching, (68-78)

Manea F Timed accepting hybrid networks of evolutionary processors Proceedings of the First international work-conference on the Interplay Between Natural and Artificial Computation conference on Artificial Intelligence and Knowledge Engineering Applications: a bioinspired approach - Volume Part II, (122-132)

Lee J, Oh J and Hwang S STRG-Index Proceedings of the 2005 ACM SIGMOD international conference on Management of data, (718-729)

Ganguly S, Garofalakis M, Kumar A and Rastogi R Join-distinct aggregate estimation over update streams Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, (259-270)

Hachenberger P and Kettner L Boolean operations on 3D selective Nef complexes Proceedings of the 2005 ACM symposium on Solid and physical modeling, (163-174)

Raman E and August D Recursive data structure profiling Proceedings of the 2005 workshop on Memory system performance, (5-14)