The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for OPL with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1999-2001 (20) 2002-2008 (15) 2009-2018 (5)
Publication types (Num. hits)
article(16) inproceedings(24)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 13 occurrences of 11 keywords

Results
Found 40 publication records. Showing 40 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
101Sheng Sun, Larry McMurchie, Carl Sechen A High-Performance 64-bit Adder Implemented in Output Prediction Logic. Search on Bibsonomy ARVLSI The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
90Christopher Alm, Ruben Wolf, Joachim Posegga The OPL Access Control Policy Language. Search on Bibsonomy TrustBus The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
81Larry McMurchie, Su Kio, Gin Yee, Tyler Thorp, Carl Sechen Output Prediction Logic: A High-Performance CMOS Design Technique. Search on Bibsonomy ICCD The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
81Stephen H. Muggleton, Christopher H. Bryant Theory Completion Using Inverse Entailment. Search on Bibsonomy ILP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
61Pierre Flener, Brahim Hnich, Zeynep Kiziltan Compiling High-Level Type Constructors in Constraint Programming. Search on Bibsonomy PADL The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
61Christos A. Yfoulis, A. Muir, Peter E. Wellstead, N. B. O. L. Pettit Stabilization of Orthogonal Piecewise Linear Systems: Robustness Analysis and Design. Search on Bibsonomy HSCC The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
54Toni Mancini, Davide Micaletto, Fabio Patrizi, Marco Cadoli Evaluating ASP and Commercial Solvers on the CSPLib. Search on Bibsonomy Constraints An Int. J. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Declarative constraint modelling, Problem reformulation, Experimental evaluation among solvers, OPL, Constraint programming, Answer Set Programming
40Hakem Beitollahi, Geert Deconinck An overlay protection layer against Denial-of-Service attacks. Search on Bibsonomy IPDPS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
40Jie Hu, Xianzhong Xie, Xing Xu Performance Analysis of Power Allocation with QoS Constraints in BLAST System. Search on Bibsonomy EUROMICRO-SEAA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
40Armagan Tarim, Suresh Manandhar, Toby Walsh Stochastic Constraint Programming: A Scenario-Based Approach. Search on Bibsonomy Constraints An Int. J. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Constraint satisfaction, Constraint programming, Reasoning under uncertainty
40Xinyu Guo, Carl Sechen High Speed Redundant Adder and Divider in Output Prediction Logic. Search on Bibsonomy ISVLSI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
40Marco Cadoli, Toni Mancini Exploiting Functional Dependencies in Declarative Problem Specifications. Search on Bibsonomy JELIA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
34Christopher Alm, Roland Illig Translating High-Level Authorization Constraints to XACML. Search on Bibsonomy SERVICES The full citation details ... 2010 DBLP  DOI  BibTeX  RDF OPL, RBAC, Translation, XACML, Separation of Duty
30Ana Carolina Almeida, Daniel Schwabe, Sérgio Lifschitz, Maria Luiza Machado Campos CM-OPL: An Ontology Pattern Language for Configuration Management Task. Search on Bibsonomy ONTOBRAS The full citation details ... 2018 DBLP  BibTeX  RDF
30Glaice Kelly da Silva Quirino, Monalessa Perini Barcellos, Ricardo de Almeida Falbo OPL-ML: A Modeling Language for Representing Ontology Pattern Languages. Search on Bibsonomy ER Workshops The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
30Priti Parikh, Jie Zheng 0001, Flora J. Logan-Klumpler, Christian J. Stoeckert Jr., Christos Louis, Pantelis Topalis, Anna V. Protasio, Amit P. Sheth, Mark Carrington, Matthew Berriman, Satya Sanket Sahoo The Ontology for Parasite Lifecycle (OPL): towards a consistent vocabulary of lifecycle stages in parasitic organisms. Search on Bibsonomy J. Biomed. Semant. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
30Angela Abell The New OPL Sourcebook: A Guide for Solo and Small Libraries (3rd ed.). Search on Bibsonomy Program The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
30Necmeddin Tanriöver, E. Medetogullari Comment on Inventory policy for products with price and time-dependent demands(J Opl Res Soc (2005) 56, 870-873). Search on Bibsonomy J. Oper. Res. Soc. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
30Pascal Van Hentenryck Constraint and Integer Programming in OPL. Search on Bibsonomy INFORMS J. Comput. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
30J. N. Floyer Comment on Johnston (2000): Commentary on Burgin and Wild (1967): Stock control - experience and usable theory. J Opl Res Soc 51: 1111. Search on Bibsonomy J. Oper. Res. Soc. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
30Suresh K. Goyal Optimal production stopping and restarting times for an EOQ model with deteriorating items. A commentary on Yan and Cheng (1998). J Opl Res Soc 49: 1288-1295. Search on Bibsonomy J. Oper. Res. Soc. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
30Mohamad Y. Jaber, Maurice Bonney A comment on Zhou YW and Lau H-S (1998). Optimal production lot sizing model considering the bounded learning case and shortages backordered. J Opl Res Soc 49: 1206-1211. Search on Bibsonomy J. Oper. Res. Soc. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
30I. Munro A contibution to the Ormerod/Jackson debate. J Opl Res Soc 51: 882-886JORS wars: a step into no mans land. Search on Bibsonomy J. Oper. Res. Soc. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
30S.-P. Wang A note on Chang H-J and Dye C-Y (1999). An EOQ model for deteriorating items with time varying demand and partial backlogging. J Opl Res Soc 50: 1176-1182. Search on Bibsonomy J. Oper. Res. Soc. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
30R. Ganeshan A comment on: Geetha K K and Archary K K (2000)Are more suppliers better?: generalizing the Guo and Ganeshan procedure. J Opl Res Soc 51: 1179-1183. Search on Bibsonomy J. Oper. Res. Soc. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
30S. Sinha A comment on Anandalingam (1988). A mathematical programming model of decentralized multi-level systems. J Opl Res Soc 39: 1021-1033. Search on Bibsonomy J. Oper. Res. Soc. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
30Christiane Bracchi, Christophe Gefflot, Frederic Paulin Combining Propagation Information and Search Tree Visualization using ILOG OPL Studio. Search on Bibsonomy WLPE The full citation details ... 2001 DBLP  BibTeX  RDF
30Pascal Van Hentenryck, Laurent Perron, Jean-Francois Puget Search and strategies in OPL. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF search, combinatorial optimization, constraint programming, modeling languages
30Graham Rand 'The solution of massive generalized set partitioning problems in aircrew rostering' D M Ryan (1992). J. Opl Res Soc 43(5): 459-467. Search on Bibsonomy J. Oper. Res. Soc. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
30C. J. L. Yewlett A Commentary on: Stringer J (1967) Operational research for "multi-organisations" Opl Res Q., 18: 105-120. Search on Bibsonomy J. Oper. Res. Soc. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
30Pascal Van Hentenryck A Preview of OPL. Search on Bibsonomy PACPL The full citation details ... 2000 DBLP  BibTeX  RDF
30Pascal Van Hentenryck, Laurent Michel OPL Script: Composing and Controlling Models. Search on Bibsonomy New Trends in Constraints The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
30Pascal Van Hentenryck, Laurent Michel, Laurent Perron, Jean-Charles Régin Constraint Programming in OPL. Search on Bibsonomy PPDP The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
30Pascal Van Hentenryck, Laurent Michel, Philippe Laborie, Wim Nuijten, Jerome Rogerie Combinatorial Optimization in OPL Studio. Search on Bibsonomy EPIA The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
20Sergio Greco, Cristian Molinaro, Irina Trubitsyna Implementation and Experimentation of the Logic Language NP Datalog. Search on Bibsonomy DEXA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
20Sergio Greco, Irina Trubitsyna, Ester Zumpano NP Datalog: A Logic Language for NP Search and Optimization Queries. Search on Bibsonomy IDEAS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
20Sheng Sun, Yi Han, Xinyu Guo, Kian Haur Chong, Larry McMurchie, Carl Sechen 409ps 4.7 FO4 64b Adder Based on Output Prediction Logic in 0.18um CMOS. Search on Bibsonomy ISVLSI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
20Garret Swart, Benjamin Aziz, Simon N. Foley, John Herbert Trading Off Security in a Service Oriented Architecture. Search on Bibsonomy DBSec The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
20Toni Mancini, Marco Cadoli Detecting and Breaking Symmetries by Reasoning on Problem Specifications. Search on Bibsonomy SARA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
20Marc R. C. van Dongen Computing the Frequency of Partial Orders. Search on Bibsonomy CP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #40 of 40 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license