Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
15 | Andrei A. Krokhin, Dániel Marx |
On the Hardness of Losing Weight. |
ICALP (1) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Yuanlin Zhang 0002, Roland H. C. Yap, Chendong Li, Satyanarayana Marisetti |
Efficient Algorithms for Functional Constraints. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Hakim Belhaouari, Frédéric Peschanski |
A Constraint Logic Programming Approach to Automated Testing. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Simon J. E. Taylor, Stephen John Turner, Steffen Straßburger |
Guidelines for commercial off-the-shelf Simulation Package interoperability. |
WSC |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Alberto Portilla, Genoveva Vargas-Solar, Luciano García-Bañuelos, Christine Collet, José-Luis Zechinelli-Martini |
Verifying Atomicity Requirements of Services Coordination Using B. |
ENC |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Sami Al-Maqtari, Habib Abdulrab |
Controller Agents for Constraints Solving: Implementation and Use of CACS Prototype. |
ICTAI (1) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Esben Rune Hansen |
Encoding CSPs with Zero-Suppressed Decision Diagrams. |
ICTAI (1) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Satish Mishra, Bernd-Holger Schlingloff |
Compliance of CMMI Process Area with Specification Based Development. |
SERA |
2008 |
DBLP DOI BibTeX RDF |
Software Quality Guarantees, Process Models and Process Management, Process Support Tools, Model Driven Engineering, Software Engineering Processes |
15 | Jordi Castro 0001, Daniel Baena |
Using a Mathematical Programming Modeling Language for Optimal CTA. |
Privacy in Statistical Databases |
2008 |
DBLP DOI BibTeX RDF |
controlled tabular adjustment, mixed-integer linear programming, statistical disclosure control, Benders decomposition |
15 | Malek Mouhoub, Chang Feng |
Efficient Handling of Relational Database Combinatorial Queries Using CSPs. |
IEA/AIE |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Venkatesan Guruswami, Prasad Raghavendra |
Constraint Satisfaction over a Non-Boolean Domain: Approximation Algorithms and Unique-Games Hardness. |
APPROX-RANDOM |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Rob Verhoeven, Francien Dechesne |
Verifying Multi-party Authentication Using Rank Functions and PVS. |
Formal Aspects in Security and Trust |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Aleksandar S. Dimovski, Ranko Lazic 0001 |
Compositional software verification based on game semantics and process algebra. |
Int. J. Softw. Tools Technol. Transf. |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Sivan Sabato, Yehuda Naveh |
Preprocessing Expression-Based Constraint Satisfaction Problems for Stochastic Local Search. |
CPAIOR |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Moses Charikar, Konstantin Makarychev, Yury Makarychev |
Near-optimal algorithms for maximum constraint satisfaction problems. |
SODA |
2007 |
DBLP BibTeX RDF |
|
15 | Hyun-Don Kim, Kazunori Komatani, Tetsuya Ogata, Hiroshi G. Okuno |
Auditory and visual integration based localization and tracking of humans in daily-life environments. |
IROS |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Hyun-Don Kim, Kazunori Komatani, Tetsuya Ogata, Hiroshi G. Okuno |
Auditory and Visual Integration based Localization and Tracking of Multiple Moving Sounds in Daily-life Environments. |
RO-MAN |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Malek Mouhoub, Amrudee Sukpan |
Solving conditional and composite constraint satisfaction problems. |
SAC |
2007 |
DBLP DOI BibTeX RDF |
local search, constraint satisfaction, arc consistency |
15 | Dániel Marx |
Can you beat treewidth? |
FOCS |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Haibin Sun, Xin Chen |
Efficient Algorithms for Spatial Configuration Information Retrieval. |
BIS |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Malek Mouhoub, Amrudee Sukpan |
Managing Conditional and Composite CSPs. |
Canadian AI |
2007 |
DBLP DOI BibTeX RDF |
Local Search, Constraint Satisfaction, Arc Consistency |
15 | Tie Bao, Shufen Liu, Feng Yan, Yaorui Wu, Xiaochun Li, Zhanguo Zhang, Shuying Zhang |
Network Data Collection Formal Analysis Based on Communication Sequential Process. |
CSCWD |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Daniel J. Hulme, Robin Hirsch, Bernard F. Buxton, R. Beau Lotto |
A New Reduction from 3SAT to n-Partite Graphs. |
FOCI |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Jing Li 0062, Jifeng He 0001, Huibiao Zhu, Geguang Pu |
Modeling and Verifying Web Services Choreography Using Process Algebra. |
SEW |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Ingo Brückner |
Slicing Concurrent Real-Time System Specifications for Verification. |
IFM |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Haibin Sun |
Research on Technologies of Spatial Configuration Information Retrieval. |
International Conference on Computational Science (2) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Grant Schindler, Frank Dellaert, Sing Bing Kang |
Inferring Temporal Order of Images From 3D Structure. |
CVPR |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Xuan-Ha Vu, Barry O'Sullivan |
Semiring-Based Constraint Acquisition. |
ICTAI (1) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Jean-Philippe Métivier, Patrice Boizumault, Samir Loudni |
All Different: Softening AllDifferent in Weighted CSPs. |
ICTAI (1) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Philippe Jégou, Samba Ndiaye, Cyril Terrioux |
Dynamic Management of Heuristics for Solving Structured CSPs. |
CP |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Belaid Benhamou, Mohamed Réda Saïdi |
Local Symmetry Breaking During Search in CSPs. |
CP |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Christophe Lecoutre, Lakhdar Sais, Sébastien Tabary, Vincent Vidal 0001 |
Exploiting Past and Future: Pruning by Inconsistent Partial State Dominance. |
CP |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Stephan A. Hartmann, Thomas A. Runkler |
Online Optimization of a Color Sorting Assembly Buffer Using Ant Colony Optimization. |
OR |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Wilson Ifill, Steve A. Schneider, Helen Treharne |
Augmenting B with Control Annotations. |
B |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Oscar García Morchon, Heribert Baldus, Tobias Heer, Klaus Wehrle |
Cooperative security in distributed sensor networks. |
CollaborateCom |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Tomás Werner |
What is decreased by the max-sum arc consistency algorithm? |
ICML |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Kenneth M. Bayer, Martin Michalowski, Berthe Y. Choueiry, Craig A. Knoblock |
Reformulating Constraint Satisfaction Problems to Improve Scalability. |
SARA |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Xuan-Ha Vu, Barry O'Sullivan |
Generalized Constraint Acquisition. |
SARA |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Santiago Macho González, Pedro Meseguer |
Boosting MUS Extraction. |
SARA |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Ying Xiao 0001, Krishnaiyan Thulasiraman, Guoliang Xue |
QoS Routing in Communication Networks: Approximation Algorithms Based on the Primal Simplex Method of Linear Programming. |
IEEE Trans. Computers |
2006 |
DBLP DOI BibTeX RDF |
linear programming, routing protocols, graph algorithms, communication networks, QoS routing, simplex method, Constrained shortest path |
15 | Josep Argelich, Felip Manyà |
Exact Max-SAT solvers for over-constrained problems. |
J. Heuristics |
2006 |
DBLP DOI BibTeX RDF |
Soft constraints, Solvers, Max-SAT |
15 | Richard J. Wallace, Nic Wilson |
Conditional Lexicographic Orders in Constraint Satisfaction Problems. |
CPAIOR |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Malcolm Tyrrell, Joseph M. Morris, Andrew Butterfield, Arthur Hughes |
A Lattice-Theoretic Model for an Algebra of Communicating Sequential Processes. |
ICTAC |
2006 |
DBLP DOI BibTeX RDF |
denotational models, communicating sequential processes, nondeterminacy |
15 | Haruo Oishi, Tatsuya Nakatani, Kenichi Tayama, Shiro Ogasawara, Tetsuya Yamamura |
OSS Architecture for Flexible and Efficient Process Control. |
NOMS |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Angela F. Freitas, Ana Cavalcanti 0001 |
Automatic Translation from Circus to Java. |
FM |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Alexander D. Scott, Gregory B. Sorkin |
An LP-Designed Algorithm for Constraint Satisfaction. |
ESA |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Marcel Oliveira, Ana Cavalcanti 0001, Jim Woodcock 0001 |
Unifying Theories in ProofPower-Z. |
UTP |
2006 |
DBLP DOI BibTeX RDF |
Unifying Theories of Programming, theorem prover |
15 | Navonil Mustafee, Simon J. E. Taylor, Korina Katsaliaki, Sally C. Brailsford |
NBS Supply Chain Simulation using Simul8 and HLA. |
PADS |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Xu Wang 0001, Marta Z. Kwiatkowska |
On process-algebraic verification of asynchronous circuits. |
ACSD |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Qingyun Yang, Jigui Sun, Juyang Zhang, Chunjie Wang |
A Hybrid Particle Swarm Optimization for Binary CSPs. |
ICIC (3) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Youping Yu, Shuqin Cai, Zhigao Liu |
Developing New Customer Services for MDEs in e-time: A Platform-based Approach and Its Support System. |
ICEBE |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Fahiem Bacchus |
CSPs: Adding Structure to SAT. |
SAT |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Weijin Jiang, Yusheng Xu |
A Novel Multi-agent Automated Negotiation Model Based on Associated Intent. |
PRIMA |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Li-bao Zhang, Xian-zhong Han |
New Region of Interest Medical Image Coding for JPEG2000: Compensation-Based Partial Bitplane Alternating Shift. |
IWICPAS |
2006 |
DBLP DOI BibTeX RDF |
bitplane shift, image coding, medical image, region of interest, JPEG2000 |
15 | Shu-Hsing Chung, Chun-Ying Huang, Amy Hsin-I Lee |
Using Constraint Satisfaction Approach to Solve the Capacity Allocation Problem for Photolithography Area. |
ICCSA (3) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Thanasis Balafoutis, Kostas Stergiou 0001 |
Algorithms for Stochastic CSPs. |
CP |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Alex Ferguson, Barry O'Sullivan |
Relaxations and Explanations for Quantified Constraint Satisfaction Problems. |
CP |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Santiago Macho González, Carlos Ansótegui, Pedro Meseguer |
Boosting Open CSPs. |
CP |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Barbara M. Smith |
Constraint Programming Models for Graceful Graphs. |
CP |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Cédric Pralet, Thomas Schiex, Gérard Verfaillie |
Decomposition of Multi-operator Queries on Semiring-Based Graphical Models. |
CP |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Kun Wei, James Heather |
A Theorem-Proving Approach to Verification of Fair Non-repudiation Protocols. |
Formal Aspects in Security and Trust |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Lei Chang, Dongqing Yang, Shiwei Tang, Tengjiao Wang 0003 |
Mining Compressed Sequential Patterns. |
ADMA |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Ying Xiao 0001, Krishnaiyan Thulasiraman, Guoliang Xue |
GEN-LARAC: A Generalized Approach to the Constrained Shortest Path Problem Under Multiple Additive Constraints. |
ISAAC |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Weijin Jiang, Yusheng Xu, Ding Hao, Shangyou Zhen |
Research on Multi-agent System Automated Negotiation Theory and Model. |
NPC |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Víctor Dalmau |
Generalized Majority-Minority Operations are Tractable. |
LICS |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Bin Ma 0002, Kaizhong Zhang |
On the Longest Common Rigid Subsequence Problem. |
CPM |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Jochen Hoenicke, Patrick Maier 0001 |
Model-Checking of Specifications Integrating Processes, Data and Time. |
FM |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Tony Lambert, Carlos Castro 0001, Éric Monfroy, María Cristina Riff, Frédéric Saubion |
Hybridization of Genetic Algorithms and Constraint Propagation for the BACP. |
ICLP |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Boon-Ping Gan, Peter Lendermann, Malcolm Yoke Hean Low, Stephen John Turner, Xiaoguang Wang 0002, Simon J. E. Taylor |
Interoperating autosched AP using the high level architecture. |
WSC |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Steve Dunne, Stacey Conroy |
Process Refinement in B. |
ZB |
2005 |
DBLP DOI BibTeX RDF |
|
15 | John D. Carter, Ming Xu, William B. Gardner |
Rapid Prototyping of Embedded Software Using Selective Formalism. |
IEEE International Workshop on Rapid System Prototyping |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Hubie Chen |
Quantified Constraint Satisfaction, Maximal Constraint Languages, and Symmetric Polymorphisms. |
STACS |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Amit Kumar Gupta, Saeid Nooshabadi, David S. Taubman |
Efficient VLSI architecture for buffer used in EBCOT of JPEG2000 encoder. |
ISCAS (5) |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Holger Rasch, Heike Wehrheim |
Checking the Validity of Scenarios in UML Models. |
FMOODS |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Andrei A. Krokhin, Benoît Larose |
Maximum Constraint Satisfaction on Diamonds. |
CP |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Yaling Zheng, Berthe Y. Choueiry |
Applying Decomposition Methods to Crossword Puzzle Problems. |
CP |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Josef Zlomek, Roman Barták |
Full Arc Consistency in WCSP and in Constraint Hierarchies with Finite Domains. |
CP |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Tiziana Ligorio, Susan L. Epstein |
Partial Redundant Modeling. |
CP |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Kostas Stergiou 0001 |
Repair-Based Methods for Quantified CSPs. |
CP |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Lucian Leahu, Carla P. Gomes |
LP as a Global Search Heuristic Across Different Constrainedness Regions. |
CP |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Hiromitsu Hattori, Takayuki Ito 0001, Tadachika Ozono, Toramatsu Shintani |
A Nurse Scheduling System Based on Dynamic Constraint Satisfaction Problem. |
IEA/AIE |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Hubie Chen, Víctor Dalmau |
From Pebble Games to Tractability: An Ambidextrous Consistency Algorithm for Quantified Constraint Satisfaction. |
CSL |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Cédric Fournet, C. A. R. Hoare, Sriram K. Rajamani, Jakob Rehof |
Stuck-Free Conformance. |
CAV |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Marcel Oliveira, Ana Cavalcanti 0001 |
From Circus to JCSP. |
ICFEM |
2004 |
DBLP DOI BibTeX RDF |
concurrency, object-orientation, program development |
15 | Stephen Somogyi, Thomas F. Wenisch, Nikolaos Hardavellas, Jangwoo Kim, Anastassia Ailamaki, Babak Falsafi |
Memory coherence activity prediction in commercial workloads. |
WMPI |
2004 |
DBLP DOI BibTeX RDF |
coherence misses, coherence prediction, sharing patterns, trace-based prediction, commercial workloads |
15 | Richard J. Wallace, Eugene C. Freuder, Marius Minca |
Possibilistic Reasoning and Privacy/Efficiency Tradeoffs in Multi-agent Systems. |
MICAI |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Qianyi Zhang, Georgios Theodoropoulos 0001 |
Modelling SAMIPS: A Synthesisable Asynchronous MIPS Processor. |
Annual Simulation Symposium |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Camilo Rueda, Frank D. Valencia |
Non-viability Deductions in Arc-Consistency Computation. |
ICLP |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Roman Barták |
Effective Modeling with Constraints. |
INAP/WLP |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Hubie Chen |
Quantified Constraint Satisfaction and 2-Semilattice Polymorphisms. |
CP |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Christopher Jefferson |
Choosing Efficient Representations of Abstract Variables. |
CP |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Steven D. Prestwich |
Full Dynamic Substitutability by SAT Encoding. |
CP |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Nikos Mamoulis, Kostas Stergiou 0001 |
Algorithms for Quantified Constraint Satisfaction Problems. |
CP |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Marius-Calin Silaghi |
Meeting Scheduling Guaranteeing n/2-Privacy and Resistant to Statistical Analysis (Applicable to any DisCSP). |
Web Intelligence |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Ola Angelsmark, Johan Thapper |
Algorithms for the Maximum Hamming Distance Problem. |
CSCLP |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Javier Larrosa, Rina Dechter |
Boosting Search with Variable Elimination in Constraint Optimization and Constraint Satisfaction Problems. |
Constraints An Int. J. |
2003 |
DBLP DOI BibTeX RDF |
bucket elimination, constraint satisfaction, branch and bound, soft constraints, constraint optimization |
15 | Guy H. Broadfoot, Philippa J. Broadfoot |
Academia and industry meet: Some experiences of formal methods in practice. |
APSEC |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Mark B. Josephs |
An Analysis of Determinacy Using a Trace-Theoretic Model of Asynchronous Circuits. |
ASYNC |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Walid Taha, Michael Florentin Nielsen |
Environment classifiers. |
POPL |
2003 |
DBLP DOI BibTeX RDF |
type systems, modal logic, type safety, linear temporal logic, multi-stage programming |
15 | Irfan Zakiuddin, Michael Goldsmith, Paul Whittaker, Paul H. B. Gardiner |
A Methodology for Model-Checking Ad-hoc Networks. |
SPIN |
2003 |
DBLP DOI BibTeX RDF |
|