Search results for "k-restrictions"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
55	Madiagne Diallo, Marcus Vinicius Pereira de Souza, Luis Eduardo Guedes, Reinaldo Castro Souza	Artificial DMUs and Contingent Weight Restrictions for the Analysis of Brazilian Retail Banks Efficiency.	OR	2007	DBLP DOI BibTeX RDF	Finance and Banking Multi-Criteria Decision Aids, Artificial DMUs, Contingent Weight Restrictions
55	Jian-Qiang Hu, Michael A. Zazanis	A sample path analysis of M/GI/1 queues with workload restrictions.	Queueing Syst. Theory Appl.	1993	DBLP DOI BibTeX RDF	Workload restrictions, finite dams, balking
46	Prabhu Ram, William Perrizo	Multidatabase global query optimization.	HICSS (3)	1995	DBLP DOI BibTeX RDF	multidatabase global query optimization, global data requests, autonomy restrictions, heterogeneity restrictions, independent local DBMS, schema level, instance level, domain translation table, multidatabase inter-site joins, query processing, SQL, distributed databases, system performance, data translation, nonprocedural languages
45	Pavel Parízek, Tomas Kalibera	Platform-Specific Restrictions on Concurrency in Model Checking of Java Programs.	FMICS	2009	DBLP DOI BibTeX RDF	restrictions of concurrency, model checking, embedded systems, Java programs, state explosion
45	Cássio V. S. Prazeres, César A. C. Teixeira, Maria da Graça Campos Pimentel	Semantic Web Services Discovery by Matching Temporal Restrictions.	SAINT	2008	DBLP DOI BibTeX RDF	temporal restrictions, service discovery, semantic web services, matching algorithm, remote experiments
45	Jörg Becker 0001, Christian Janiesch	Restrictions in Process Design: A Case Study on Workflows in Healthcare.	Business Process Management Workshops	2007	DBLP DOI BibTeX RDF	design restrictions, infection control, healthcare, workflow management, process management, Process design
41	Sid Stamm, Brandon Sterne, Gervase Markham	Reining in the web with content security policy.	WWW	2010	DBLP DOI BibTeX RDF	content restrictions, security policy, http, web security
40	Xue Yang 0001, Chuan-Hoo Tan, Hock-Hai Teo	User Response to Free Trial Restrictions: A Coping Perspective.	HCI (1)	2007	DBLP DOI BibTeX RDF	Free trial software (FTS), expectation-disconfirmation paradigm, coping theory
36	Jens H. Jahnke, Jörg Niere, Jörg P. Wadsack	Automated Quality Analysis of Component Software for Embedded Systems.	IWPC	2000	DBLP DOI BibTeX RDF	graph rewrite rules, Java, embedded systems, smart cards, quality assurance, pattern detection
36	Maurice Herlihy	Concurrency and Availability as Dual Properties of Replicated Atomic Data	J. ACM	1990	DBLP DOI BibTeX RDF
34	Adrian K. Agogino, Kagan Tumer	Handling Communication Restrictions and Team Formation in Congestion Games.	Auton. Agents Multi Agent Syst.	2006	DBLP DOI BibTeX RDF	MAS, Communication, Reinforcement learning, Teams
34	Ralf Küsters, Ralf Molitor	Structural Subsumption and Least Common Subsumers in a Description Logic with Existential and Number Restrictions.	Stud Logica	2005	DBLP DOI BibTeX RDF	least common subsumer, complexity, description logics
34	Luis M. de Campos, Francisco Javier García Castellano	On the Use of Restrictions for Learning Bayesian Networks.	ECSQARU	2005	DBLP DOI BibTeX RDF
34	Andreas Matheus	Declaration and enforcement of fine-grained access restrictions for a service-based geospatial data infrastructure.	SACMAT	2005	DBLP DOI BibTeX RDF	object-based access restriction, spatial access control, XACML, geospatial, ACM proceedings
34	Ralf Küsters, Ralf Molitor	Approximating Most Specific Concepts in Description Logics with Existential Restrictions.	KI/ÖGAI	2001	DBLP DOI BibTeX RDF
34	Pablo Gamallo 0001, Alexandre Agustini, José Gabriel Pereira Lopes	Selection Restrictions Acquisition from Corpora.	EPIA	2001	DBLP DOI BibTeX RDF
34	Fu-sheng Dai, Xian-he Shao	The Heuristic Route Algorithm of Multiple Restrictions Based on Quality of Service.	IIH-MSP	2008	DBLP DOI BibTeX RDF	route with multiple restrictions, route algorithm, communication network, QoS routing
31	William C. Ogden	The human factors of natural language query systems.	ACM Conference on Computer Science	1985	DBLP DOI BibTeX RDF
31	Maria Conceição A. Silva Portela, Emmanuel Thanassoulis	Zero weights and non-zero slacks: Different solutions to the same problem.	Ann. Oper. Res.	2006	DBLP DOI BibTeX RDF	Weight restrictions, Non-radial models, Efficient facets analysis, Data Envelopment Analysis (DEA)
31	Marie-Laure Reinberger, Walter Daelemans	Is Shallow Parsing Useful for Unsupervised Learning of Semantic Clusters?	CICLing	2003	DBLP DOI BibTeX RDF	selectional restrictions, co-composition, ontology, machine learning, Semantics, knowledge representation, text mining
29	D. Michael Goedecke, Georgiy V. Bobashev, Feng Yu	A stochastic equation-based model of the value of international air-travel restrictions for controlling pandemic flu.	WSC	2007	DBLP DOI BibTeX RDF
29	Steven Schockaert, Martine De Cock	Neighborhood restrictions in geographic IR.	SIGIR	2007	DBLP DOI BibTeX RDF	fuzzy footprints, geographic information retrieval
29	Ma. del Rocio Boone Rojas, Maya Carrillo Ruiz, María Beatríz Bernábe Loranca, Marco Antonio Soriano Ulloa	Treatment of Integrity Restrictions in Relational DBMS with Triggers.	CONIELECOMP	2006	DBLP DOI BibTeX RDF	integrity, relational model, triggers
29	Aditya Ganjam, Hui Zhang 0001	Connectivity restrictions in overlay multicast.	NOSSDAV	2004	DBLP DOI BibTeX RDF	peer-to-peer systems, firewall, overlay multicast, network address translator
29	Adrian K. Agogino, Kagan Tumer	Team formation and communication restrictions in collectives.	AAMAS	2003	DBLP DOI BibTeX RDF	MAS, reinforcement learning, q-learning
29	Fabio Grandi 0001	On Expressive Description Logics with Composition of Roles in Number Restrictions.	LPAR	2002	DBLP DOI BibTeX RDF
29	Thomas Arts, Juan José Sánchez Penas	Global scheduler properties derived from local restrictions.	Erlang Workshop	2002	DBLP DOI BibTeX RDF
29	Hai Zhou 0001, Martin D. F. Wong, I-Min Liu, Adnan Aziz	Simultaneous routing and buffer insertion with restrictions onbuffer locations.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2000	DBLP DOI BibTeX RDF
27	Magdaléna Tydrichová	Structural and algorithmic aspects of preference domain restrictions in collective decision making : contributions to the study of single-peaked and Euclidean preferences. (Aspects structurels et algorithmiques des restrictions de domaines de préférences dans la prise de décision collective : contributions à l'étude des préférences unimodales et Euclidiennes).		2023	RDF
27	Jean Baptiste Faddoul	Méthodes d'ensembles pour l'apprentissage multi-tâche avec des tâches hétérogènes et sans restrictions. (Ensemble Methods to Learn Multiple Heterogenous Tasks without Restrictions).		2012	RDF
27	Eduardo Moreno 0001	Graphes et cycles de de Bruijn dans des langages avec des restrictions. (De Bruijn graphs and sequences in languages with restrictions).		2005	RDF
26	Jia Xu	On Inspection and Verification of Software with Timing Requirements.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	current practices, preruntime scheduling, verification, Real-time, complexity, predictability, software, code, inspection, software structures, restrictions, timing requirements
26	Pei-Chi Wu	Using Plain Base32 ASCII-Compatible Encoding in the Local Part of E-mail Addresses.	SAINT	2002	DBLP DOI BibTeX RDF	Internationalized Domain Names (IDN), lexical restrictions, login names, base64, base32
26	Salvador Lucas	Needed Reductions with Context-Sensitive Rewriting.	ALP/HOA	1997	DBLP DOI BibTeX RDF	needed reductions, replacement restrictions, functional programming, strategies, term rewriting systems
26	Jürgen Schwille	Modeling product and process characteristics in software configuration management.	CSMR	1997	DBLP DOI BibTeX RDF	process characteristics, product characteristic modelling, Concert, project specific models, model restrictions, development history, software maintenance, process modeling, SCM, configuration management, software configuration management, software project, predicate calculus, entity relationship diagrams, change requests, seamless integration
26	José Miguel-Alonso, Agustin Arruabarrena, Ramón Beivide, José A. B. Fortes	An Empirical Evaluation of Techniques for Parallel Discrete-Event Simulation of Interconnection Networks.	PDP	1996	DBLP DOI BibTeX RDF	interconnnection networks, synchronous simulation, Intel Paragon multicomputer, model decomposition, collaborative logical processes, process synchronization overhead, causal restrictions, message-passing network models, performance threshold, load level, scalability, parallel programming, virtual machines, message passing, multiprocessor interconnection networks, discrete event simulation, synchronisation, software performance evaluation, workload, empirical evaluation, parallel discrete-event simulation, optimistic simulation, network size, model parameters, simulator performance, message length, conservative simulation, processor number
26	Rainer Leupers, Peter Marwedel	Time-constrained code compaction for DSPs.	ISSS	1995	DBLP DOI BibTeX RDF	code generation techniques, digital signal processing algorithms, encoding restrictions, exact timing behavior, hard real-time constraints, integer programming model, local code compaction, programmable DSP, rigid heuristics, time-constrained code compaction, real-time systems, timing, integer programming, instruction-level parallelism, source coding, automatic programming, digital signal processing chips, side-effects
26	Tracy Camp, Phil Kearns, Mohan Ahuja	Proof Rules for Flush Channels.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	flush channels, asynchronous communication constructs, datagrams, receipt-order restrictions, message-by-message basis, Hoare-style partial correctness verification methodology, concurrency, distributed processing, program verification, distributed program, virtual circuits
26	Brent Hailpern, Harold Ossher	Extending Objects to Support Multiple Interfaces and Access Control.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	enforceable access restrictions, system organization, access control, data structures, object-oriented programming, browsing, objects, views, granularity, multiple interfaces
26	Michael V. Mannino, Injun Choi, Don S. Batory	The Object-Oriented Functional Data Language.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	object-oriented functional data language, interactive strongly typed database programming language, O/sup 2/FDL, equational notation, strong typing, type restrictions, type variables, function interfaces, monotonic subtype rule, function redefinition, extended lambda -calculus, software engineering, software engineering, object oriented programming, object-oriented programming, functional programming, inheritance, operational semantics, object-oriented languages, relational algebra, encapsulation, high level languages, denotational semantics
26	Xiuming Huang	Semantic analysis in XTRA, an English - Chinese machine translation system.	Mach. Transl.	1988	DBLP DOI BibTeX RDF	selection restrictions, Preference Semantics, integration of syntax and semantics, relaxation of constraints, robustness, Machine translation, Chinese, lexical ambiguity
26	Marco Colombetti, Enrico Pagello	Programs, Computations and Temporal Features.	MFCS	1976	DBLP DOI BibTeX RDF	Predicate-Logic-like Programming Language, Control Structures Temporal Features, Restrictions
24	Martin Hoefer 0001, Alexander Souza	The Influence of Link Restrictions on (Random) Selfish Routing.	SAGT	2008	DBLP DOI BibTeX RDF
24	Yevgeny Kazakov, Ulrike Sattler, Evgeny Zolin	How Many Legs Do I Have? Non-Simple Roles in Number Restrictions Revisited.	LPAR	2007	DBLP DOI BibTeX RDF
24	Sylvain Boulmé, Marie-Laure Potet	Interpreting Invariant Composition in the B Method Using the Spec# Ownership Relation: A Way to Explain and Relax B Restrictions.	B	2007	DBLP DOI BibTeX RDF
24	Phi Anh Phan, Timothy J. Gale	Direct Adaptive Fuzzy Control with Less Restrictions on the Control Gain.	CIMCA/IAWTIC	2006	DBLP DOI BibTeX RDF
24	Yevgeny Kazakov	A Polynomial Translation from the Two-Variable Guarded Fragment with Number Restrictions to the Guarded Fragment.	JELIA	2004	DBLP DOI BibTeX RDF
24	Wojciech Rzasa, Zbigniew Suraj	A New Method for Determining of Extensions and Restrictions of Information Systems.	Rough Sets and Current Trends in Computing	2002	DBLP DOI BibTeX RDF
24	Gregory L. Katzman	Adobe Acrobat: an alternative electronic teaching file construction methodology independent of HTML restrictions.	J. Digit. Imaging	2001	DBLP DOI BibTeX RDF
24	Nils Klarlund	A Theory of Restrictions for Logics and Automata.	CAV	1999	DBLP DOI BibTeX RDF
24	Tomoya Taka, Tadanori Mizuno, Takashi Watanabe 0001	A Model of Mobile Agent Services Enhanced for Resource Restrictions and Security.	ICPADS	1998	DBLP DOI BibTeX RDF
24	Stefan Klingenbeck, Reiner Hähnle	Semantic Tableaux with Ordering Restrictions.	CADE	1994	DBLP DOI BibTeX RDF
21	Chris Hanson, Tim Berners-Lee, Lalana Kagal, Gerald J. Sussman, Daniel J. Weitzner	Data-Purpose Algebra: Modeling Data Usage Policies.	POLICY	2007	DBLP DOI BibTeX RDF
21	Matthias Tichy, Daniela Schilling, Holger Giese	Design of self-managing dependable systems with UML and fault tolerance patterns.	WOSS	2004	DBLP DOI BibTeX RDF
21	Roberto Basili 0001, Maria Teresa Pazienza, Paola Velardi	Acquisition of selectional patterns in sublanguages.	Mach. Transl.	1993	DBLP DOI BibTeX RDF
21	Joseph M. Hellerstein, Michael Stonebraker	Predicate Migration: Optimizing Queries with Expensive Predicates.	SIGMOD Conference	1993	DBLP DOI BibTeX RDF	SQL, C
21	V. J. de Jong	Symbolic dimension bound checking in a matrix language.	ICCL	1988	DBLP DOI BibTeX RDF
21	Cristina Rueda, Miguel Alejandro Fernández, Bonifacio Salvador	Bayes Discriminant Rules with Ordered Predictors.	J. Classif.	2009	DBLP DOI BibTeX RDF	Latent space, Misclassification probability, Order restrictions, Restricted estimation, Discriminant analysis
21	Kevin Wiesner, Marcus Foth, Mark Bilandzic	Unleashing creative writers: situated engagement with mobile narratives.	OZCHI	2009	DBLP DOI BibTeX RDF	placed-based community engagement, constraints, mobile interaction, restrictions, mobile media, locative media, urban informatics
21	Christina Alexandris	"Show and Tell": Using Semantically Processable Prosodic Markers for Spatial Expressions in an HCI System for Consumer Complaints.	HCI (3)	2007	DBLP DOI BibTeX RDF	Prosodic prominence, Selectional Restrictions, Indexical Interpretation for Emphasis, Ambiguity resolution, Spatial Expressions, Ontology, Deixis
21	Tullio Vardanega, Juan Zamorano, Juan Antonio de la Puente	On the Dynamic Semantics and the Timing Behavior of Ravenscar Kernels.	Real Time Syst.	2005	DBLP DOI BibTeX RDF	tasking restrictions, Real-time systems, concurrent programming, static timing analysis, response time analysis, Ravenscar Profile
21	Ji-Cherng Lin, Tetz C. Huang	An Efficient Fault-Containing Self-Stabilizing Algorithm for Finding a Maximal Independent Set.	IEEE Trans. Parallel Distributed Syst.	2003	DBLP DOI BibTeX RDF	Central demon, single transient fault, restrictions on guard conditions, primary variables, auxiliary secondary variables, stabilization time, contamination number, maximal independent set, fault-containment
21	Lidia Angulo Meza, Marcos Pereira Estellita Lins	Review of Methods for Increasing Discrimination in Data Envelopment Analysis.	Ann. Oper. Res.	2002	DBLP DOI BibTeX RDF	weight restrictions, Value Efficiency Analysis, cross-evaluation, super efficiency, multiple objectives model, Data Envelopment Analysis
21	Moni Naor, Leonard J. Schulman, Aravind Srinivasan	Splitters and Near-Optimal Derandomization.	FOCS	1995	DBLP DOI BibTeX RDF	splitters, near-optimal derandomization, fairly general method, k-restrictions, probabilistic bound, near-optimal constructions, fixed-subgraph finding algorithms, deterministic constructions, local-coloring protocol, computational complexity, learning, probability, computational linguistics, hardness of approximation, set cover, derandomization, randomised algorithms, exhaustive testing
21	Hans L. Bodlaender	Dynamic Programming on Graphs with Bounded Treewidth.	ICALP	1988	DBLP DOI BibTeX RDF	graph decision problems, restrictions of NP-complete problems, local condition compositions, dynamic programming, polynomial time algorithms, Treewidth, partial k-trees
19	Wentian Lu, Gerome Miklau	Auditing a Database under Retention Restrictions.	ICDE	2009	DBLP DOI BibTeX RDF
19	Franz Baader, Martin Knechtel, Rafael Peñaloza	A Generic Approach for Large-Scale Ontological Reasoning in the Presence of Access Restrictions to the Ontology's Axioms.	ISWC	2009	DBLP DOI BibTeX RDF
19	Cheran M. Vithanage, Justin P. Coon, Steve C. J. Parker	On capacity-optimal precoding for multiple antenna systems subject to EIRP restrictions.	IEEE Trans. Wirel. Commun.	2008	DBLP DOI BibTeX RDF
19	Nilay Noyan, Andrzej Ruszczynski	Valid inequalities and restrictions for stochastic programming problems with first order stochastic dominance constraints.	Math. Program.	2008	DBLP DOI BibTeX RDF	Disjunctive cuts, Stochastic programming, Valid inequalities, Conditional value at risk, Stochastic dominance
19	Sebastian Rudolph	Acquiring Generalized Domain-Range Restrictions.	ICFCA	2008	DBLP DOI BibTeX RDF
19	Emrah B. Edis, Ceyhun Araz, Irem Ozkarahan	Lagrangian-Based Solution Approaches for a Resource-Constrained Parallel Machine Scheduling Problem with Machine Eligibility Restrictions.	IEA/AIE	2008	DBLP DOI BibTeX RDF	Machine eligibility, Lagrangian relaxation, Resource constraints, Parallel machine scheduling, Subgradient optimization
19	Carlos R. del-Blanco, Fernando Jaureguizar, Luis Salgado, Narciso García	Target Detection Through Robust Motion Segmentation and Tracking Restrictions in Aerial Flir Images.	ICIP (5)	2007	DBLP DOI BibTeX RDF
19	Philippe Gambette, Stéphane Vialette	On Restrictions of Balanced 2-Interval Graphs.	WG	2007	DBLP DOI BibTeX RDF	2-interval graphs, graph classes, quasi-line graphs, circular interval graphs, scheduling, bioinformatics, line graphs, claw-free graphs
19	Geir Dahl, Njål Foldnes	LP based heuristics for the multiple knapsack problem with assignment restrictions.	Ann. Oper. Res.	2006	DBLP DOI BibTeX RDF	Randomized rounding, Traffic routing, Multiple knapsack problem
19	Masaaki Harada, Akihiro Munemasa	Some restrictions on weight enumerators of singly even self-dual codes.	IEEE Trans. Inf. Theory	2006	DBLP DOI BibTeX RDF
19	Ioannis T. Kassios	Dynamic Frames: Support for Framing, Dependencies and Sharing Without Restrictions.	FM	2006	DBLP DOI BibTeX RDF	object orientation, framing
19	Xin Yuan, Kevin W. McCullen, Fook-Luen Heng, Robert F. Walker, Jason Hibbeler, Robert J. Allen, Rani R. Narayan	Technology migration technique for designs with strong RET-driven layout restrictions.	ISPD	2005	DBLP DOI BibTeX RDF	RDR, RET-driven layout, restrictive design rules, technology migration
19	Linda Smail, Jean-Pierre Raoult	Successive Restrictions Algorithm in Bayesian Networks.	IDA	2005	DBLP DOI BibTeX RDF
19	Luis M. de Campos, Juan M. Fernández-Luna, Juan F. Huete	Improving the Context-Based Influence Diagram Model for Structured Document Retrieval: Removing Topological Restrictions and Adding New Evaluation Methods.	ECIR	2005	DBLP DOI BibTeX RDF
19	Apostolos Niaouris	An Algebra of Petri Nets with Arc-Based Time Restrictions.	ICTAC	2004	DBLP DOI BibTeX RDF	Net-based algebraic calculi, arc based time Petri nets, box algebra, SOS semantics, process algebras
19	Hong Liu 0008, Hongbin Zha, Fei Lin	Competition analysis system for soccer robots based on global vision and trajectory restrictions.	SMC (6)	2004	DBLP DOI BibTeX RDF
19	Gustav Hast	Approximating Max kCSP Using Random Restrictions.	APPROX-RANDOM	2004	DBLP DOI BibTeX RDF
19	Laura C. Rivero, Jorge Horacio Doorn, Viviana E. Ferraggine	Elicitation and conversion of hidden objects and restrictions in a database schema.	SAC	2002	DBLP DOI BibTeX RDF	database conceptual schema reengineering, denormalization, pure inclusion dependencies
19	Nathan Segerlind, Samuel R. Buss, Russell Impagliazzo	A Switching Lemma for Small Restrictions and Lower Bounds for k - DNF Resolution.	FOCS	2002	DBLP DOI BibTeX RDF
19	Alexandre Agustini, Pablo Gamallo 0001, José Gabriel Pereira Lopes	Assessment of Selection Restrictions Acquisition.	SBIA	2002	DBLP DOI BibTeX RDF
19	Arnold Beckmann	Resolution Refutations and Propositional Proofs with Height-Restrictions.	CSL	2002	DBLP DOI BibTeX RDF	Height of proofs, Length of proofs, Resolution refutation, Frege systems, Order induction principle, Cut introduction, MSC: Primary 03F20, Secondary 03F07, 68R99, Cut elimination, 68Q15, Bounded arithmetic, Propositional calculus
19	Hana Chockler, Uri Zwick	Which formulae shrink under random restrictions?	SODA	2001	DBLP BibTeX RDF
19	Said Hamdioui, Ad J. van de Goor	Testing Address Decoder Faults in Two-Port Memories: Fault Models, Tests, Consequences of Port Restrictions, and Test Strategy.	J. Electron. Test.	2000	DBLP DOI BibTeX RDF	multi-port memories, single-port memories, address decoder faults, read-only ports, write-only ports, fault models, fault coverage, march tests
19	René Alquézar, Francesc Serratosa, Alberto Sanfeliu	Distance between Attributed Graphs and Function-Described Graphs Relaxing 2nd Order Restrictions.	SSPR/SPR	2000	DBLP DOI BibTeX RDF
19	Said Hamdioui, Ad J. van de Goor	Consequences of port restrictions on testing two-port memories.	ITC	1998	DBLP DOI BibTeX RDF	Multi-port memories, single-port memories, memory fault models, weak faults, read-only and write-only ports, fault coverage, march tests, test length
19	Hans Daduna	On the stability of queueing systems under precedence restrictions for the service of customers.	Queueing Syst. Theory Appl.	1994	DBLP DOI BibTeX RDF	Stability theory, ergodic theory, parallel processing, database concurrency control
19	Andrea Bobbio, Miklós Telek	Computational Restrictions for SPN with Generally Distributed Transition Times.	EDCC	1994	DBLP DOI BibTeX RDF
19	Giuseppe De Giacomo, Maurizio Lenzerini	Description Logics with Inverse Roles, Functional Restrictions, and N-ary Relations.	JELIA	1994	DBLP DOI BibTeX RDF
19	Sergei I. Kovalov	Some restrictions on distance distribution of optimal binary codes.	Algebraic Coding	1993	DBLP DOI BibTeX RDF
19	Richard Hull 0001, Jianwen Su	On Accessing Object-Oriented Databases: Expressive Power, Complexity, and Restrictions (Extended Abstract).	SIGMOD Conference	1989	DBLP DOI BibTeX RDF
19	Friedhelm Meyer auf der Heide	Fast algorithms for N-dimensional restrictions of hard problems.	J. ACM	1988	DBLP DOI BibTeX RDF
15	Wihem Arsac, Luca Compagna, Samuel Paul Kaluvuri, Serena Elisa Ponta	Security validation tool for business processes.	SACMAT	2011	DBLP DOI BibTeX RDF
15	Jesús Aranda, Frank D. Valencia, Cristian Versari	On the Expressive Power of Restriction and Priorities in CCS with Replication.	FoSSaCS	2009	DBLP DOI BibTeX RDF
15	Shuvendu K. Lahiri, Shaz Qadeer	Complexity and Algorithms for Monomial and Clausal Predicate Abstraction.	CADE	2009	DBLP DOI BibTeX RDF
15	UmaMaheswari C. Devi, James H. Anderson	A schedulable utilization bound for the multiprocessor EPDF\mathsf{EPDF} Pfair algorithm.	Real Time Syst.	2008	DBLP DOI BibTeX RDF	Multiprocessors, Real-time scheduling, Utilization bound, Pfair