The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase k-strong (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1951-1967 (15) 1968-1970 (19) 1971-1973 (24) 1974-1975 (18) 1976-1977 (25) 1978 (20) 1979 (22) 1980-1981 (41) 1982 (23) 1983 (23) 1984 (36) 1985 (33) 1986 (31) 1987 (50) 1988 (55) 1989 (60) 1990 (91) 1991 (92) 1992 (101) 1993 (117) 1994 (137) 1995 (149) 1996 (156) 1997 (199) 1998 (227) 1999 (296) 2000 (395) 2001 (479) 2002 (600) 2003 (697) 2004 (885) 2005 (1166) 2006 (1361) 2007 (1394) 2008 (1520) 2009 (1086) 2010 (405) 2011 (327) 2012 (389) 2013 (391) 2014 (379) 2015 (366) 2016 (427) 2017 (437) 2018 (505) 2019 (540) 2020 (561) 2021 (657) 2022 (655) 2023 (727) 2024 (198)
Publication types (Num. hits)
article(7922) book(2) data(1) incollection(94) inproceedings(10517) phdthesis(65) proceedings(6)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 10796 occurrences of 5606 keywords

Results
Found 18731 publication records. Showing 18607 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
56Amir Epstein, Michal Feldman, Yishay Mansour Strong equilibrium in cost sharing connection games. Search on Bibsonomy EC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF cost sharing games, strong equilibrium, strong price of anarchy, game theory, Nash equilibrium, network design, price of anarchy, coalitions
55Cindy Eisner, Dana Fisman, John Havlicek A topological characterization of weakness. Search on Bibsonomy PODC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF safety component, semantically weak and strong formulas, syntactically weak and strong formulas, temporal weakness and strength, weak and strong components, safety, liveness
45Ola Rozenfeld, Moshe Tennenholtz Strong and Correlated Strong Equilibria in Monotone Congestion Games. Search on Bibsonomy WINE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Strong Equilibrium, Congestion Games
44Hiroyuki Iwata, Tomokazu Yoneda, Satoshi Ohtake, Hideo Fujiwara A DFT Method for RTL Data Paths Based on Partially Strong Testability to Guarantee Complete Fault Efficiency. Search on Bibsonomy Asian Test Symposium The full citation details ... 2005 DBLP  DOI  BibTeX  RDF strong testability, partially strong testability, complete fault efficiency, design-for-testability, data paths
43Rebecca S. Lipner, Gary W. Strong, Karen E. O'Neill Strong The Relationship Between Task Structure and Choice of Navigational Aid in Human Computer Interface Design. Search on Bibsonomy HCI (1) The full citation details ... 1993 DBLP  BibTeX  RDF
43Gary W. Strong, Karen F. O'Neill Strong Visual Guidance for Information Navigation: A Computer-Human Interface Design Principle Derived from Cognitive Neuroscience. Search on Bibsonomy Interact. Comput. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
43Florian T. Schneider, Vijay Menon 0002, Tatiana Shpeisman, Ali-Reza Adl-Tabatabai Dynamic optimization for efficient strong atomicity. Search on Bibsonomy OOPSLA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF virtual machines, code generation, transactional memory, compiler optimizations, dynamic optimizations, strong atomicity
43Xinyi Huang 0001, Willy Susilo, Yi Mu 0001, Futai Zhang Short (Identity-Based) Strong Designated Verifier Signature Schemes. Search on Bibsonomy ISPEC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF strong designated verifier signature scheme, random oracle model, short signature, identity based, designated verifier signature
41Lionel Paris, Richard Ostrowski, Pierre Siegel, Lakhdar Sais From Horn Strong Backdoor Sets to Ordered Strong Backdoor Sets. Search on Bibsonomy MICAI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
40Joffroy Beauquier, Sylvie Delaët, Sammy Haddad A 1-Strong Self-stabilizing Transformer. Search on Bibsonomy SSS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF k-strong, Transformer, Self-stabilization, Fault Containment
40Wolfgang K. Giloi, C. Hastedt, Friedrich Schön, Wolfgang Schröder-Preikschat A Distributed Implementation of Shared Virtual Memory with Strong and Weak Coherence. Search on Bibsonomy EDMCC The full citation details ... 1991 DBLP  DOI  BibTeX  RDF virtual shared memory architecture, strong and weak data coherence, communication hardware, parallelizing compilers, Distributed memory architecture
38Hai-Yang Li, Sheng-Gang Li Congruences and ideals in pseudoeffect algebras. Search on Bibsonomy Soft Comput. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Pseudoeffect algebras, Riesz ideals, Normal weak Riesz ideals, Strong congruences, Riesz strong congruences, Congruences, Ideals
37V. Jeyakumar 0001 A note on strong duality in convex semidefinite optimization: necessary and sufficient conditions. Search on Bibsonomy Optim. Lett. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Semidefinite optimization, Strong duality, Convex programming, Constraint qualifications
37Soumaya Marzouk, Maher Ben Jemaa, Mohamed Jmaiel A serialization based approach for strong mobility of shared object. Search on Bibsonomy PPPJ The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Java thread, shared object migration, strong mobility, distributed applications, Java-RMI, serialization, source code transformation
37Maria C. F. Ferreira, Delia Kesner, Laurence Puel lambda-Calculi with Explicit Substitutions Preserving Strong Normalization. Search on Bibsonomy Appl. Algebra Eng. Commun. Comput. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Preservation of strong normalization, ?-Calculus, Explicit substitutions
34Sigal Gottlieb, David I. Ketcheson, Chi-Wang Shu High Order Strong Stability Preserving Time Discretizations. Search on Bibsonomy J. Sci. Comput. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Multistep methods, Spectral deferred correction methods, Runge-Kutta methods, High order accuracy, Time discretization, Strong stability preserving
34Martín Abadi, Tim Harris 0001, Mojtaba Mehrara Transactional memory with strong atomicity using off-the-shelf memory protection hardware. Search on Bibsonomy PPoPP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF transactional memory, stm, memory protection, strong atomicity
34Emmanuel Bresson, Mark Manulis Securing group key exchange against strong corruptions. Search on Bibsonomy AsiaCCS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF authenticated group key exchange, strong corruptions, mutual authentication, contributiveness, insider attacks
34Abdolmajid Mousavi, Behrouz Homayoun Far, Armin Eberlein, Behrouz Heidari Strong Safe Realizability of Message Sequence Chart Specifications. Search on Bibsonomy FSEN The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Strong safe realizability, stuck states, emergent scenarios
34Raj Kumar Rajendran, Vishal Misra, Dan Rubenstein Brief announcement: strong detection of misconfigurations. Search on Bibsonomy PODC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF strong detection, routing, anomaly detection, distance-vector, misconfiguration
34Yuh-Jzer Joung, Scott A. Smolka Strong Interaction Fairness Via Randomization. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF strong interaction fairness, weak interaction fairness, committee coordination, distributed algorithms, Randomized algorithms, multiparty interaction
34Philip M. Johnson, Carleton A. Moore Investigating strong collaboration with the Annotated Egret Navigator. Search on Bibsonomy WETICE The full citation details ... 1995 DBLP  DOI  BibTeX  RDF strong collaboration, Annotated Egret Navigator, structured hypertext document, graduate seminar, indirect authoring mechanisms, direct authoring mechanisms, context-sensitive change information, intermediate work products, groupware, hypermedia, database integrity, agent-based architecture
33Nir Andelman, Michal Feldman, Yishay Mansour Strong price of anarchy. Search on Bibsonomy SODA The full citation details ... 2007 DBLP  BibTeX  RDF
33Mario Bravetti, Gianluigi Zavattaro A Theory for Strong Service Compliance. Search on Bibsonomy COORDINATION The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
33V. Jeyakumar 0001 The strong conical hull intersection property for convex programming. Search on Bibsonomy Math. Program. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification 41A65, 90C30, 41A29
33Francis Y. L. Chin, Henry C. M. Leung, Siu-Ming Yiu, Tak Wah Lam, Roni Rosenfeld, Wai Wan Tsang, David K. Smith 0001, Y. Jiang Finding motifs for insufficient number of sequences with strong binding to transcription facto. Search on Bibsonomy RECOMB The full citation details ... 2004 DBLP  DOI  BibTeX  RDF binding energy, DNA microarray, transcription factor, motif finding
32Seiki Akama Three-Valued Constructive Logic and Logic Programs. Search on Bibsonomy ISMVL The full citation details ... 1995 DBLP  DOI  BibTeX  RDF three-valued constructive logic, three valued constructive logic, strong negation 3N, N completion, intuitive semantics, N completion semantics, computational complexity, semantics, logic programming, logic programs, ternary logic, model theory, strong negation, negation as failure
32Guo-Huang Hsu, Jimmy J. M. Tan A Local Diagnosability Measure for Multiprocessor Systems. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF local diagnosability, strong local diagnosability property, PMC model
31Amos Fiat, Haim Kaplan, Meital Levy, Svetlana Olonetsky Strong Price of Anarchy for Machine Load Balancing. Search on Bibsonomy ICALP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Strong Nash equilibria, Load balancing, Game theory, Price of Anarchy
31Jin-Oh Jeon, Su-Bong Ryu, Sang-Jo Park, Min-Sup Kang Strong Authentication Protocol for RFID Tag Using SHA-1 Hash Algorithm. Search on Bibsonomy ICCSA (1) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Strong authentication protocol, SHA-1 hash algorithm, Three-way challenge response, ISO/IEC 1800-3 standard, Digital Codec design, RFID Tag
31Bing Yang, Huaping Hu, Xiangwen Duan, Shiyao Jin An Intelligent Network-Warning Model with Strong Survivability. Search on Bibsonomy CANS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Strong Survivability, Network-Warning, Intelligence, Equality
31M. Hossein Sheikh Attar, M. Tamer Özsu Alternative Architectures and Protocols for Providing Strong Consistency in Dynamic Web Applications. Search on Bibsonomy World Wide Web The full citation details ... 2006 DBLP  DOI  BibTeX  RDF caching dynamic web, mid-tier database caching, web caching, strong consistency, database caching
31Sigal Gottlieb, Steven J. Ruuth Optimal Strong-Stability-Preserving Time-Stepping Schemes with Fast Downwind Spatial Discretizations. Search on Bibsonomy J. Sci. Comput. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF total-variation-diminishing, linear multistep methods, Runge-Kutta methods, time discretization, Strong-stability-preserving
31Norihiro Kamide Phase Semantics and Petri Net Interpretation for Resource-Sensitive Strong Negation. Search on Bibsonomy J. Log. Lang. Inf. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF electric circuit, linear logic with strong negation, Petri net with inhibitor arc, phase semantics, medical diagnosis
31Debrup Chakraborty, Palash Sarkar 0001 A New Mode of Encryption Providing a Tweakable Strong Pseudo-random Permutation. Search on Bibsonomy FSE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF tweakable encryption, strong pseudo-random permutation, mode of operation
31Wei-Chi Ku A hash-based strong-password authentication scheme without using smart cards. Search on Bibsonomy ACM SIGOPS Oper. Syst. Rev. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF password-file compromise attack, strong password, user authentication, replay attack, denial-of-service attack
31Ya-Fen Chang, Chin-Chen Chang 0001 A secure and efficient strong-password authentication protocol. Search on Bibsonomy ACM SIGOPS Oper. Syst. Rev. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF strong password, smart card, password authentication, mutual authentication, denial-of-service attack, stolen-verifier attack
31Venkata Duvvuri, Prashant J. Shenoy, Renu Tewari Adaptive Leases: A Strong Consistency Mechanism for the World Wide Web. Search on Bibsonomy IEEE Trans. Knowl. Data Eng. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Web proxy servers, Web caching, cache consistency, leases, strong consistency
31Rafael Ayala, Eladio Domínguez, Angel R. Francés, Antonio Quintero A Digital Lighting Function for Strong 26-Surfaces. Search on Bibsonomy DGCI The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Lighting function, strong 26-surface, digital surface
31Ernst-Rüdiger Olderog Strong bisimilarity on nets: a new concept for comparing net semantics. Search on Bibsonomy REX Workshop The full citation details ... 1988 DBLP  DOI  BibTeX  RDF Strong bisimilarity, labelled place/transitions nets, causal nets, process terms, COSY, operational and compositional net semantics, CSP, CCS, safeness
29Arthur W. Apter Diamond, square, and level by level equivalence. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Supercompact cardinal, Strongly compact cardinal, Strong cardinal, Diamond, Level by level equivalence between strong compactness and supercompactness, Square
29Jørgen Bang-Jensen, Anders Yeo Decomposing k-arc-Strong Tournaments Into Strong Spanning Subdigraphs. Search on Bibsonomy Comb. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification (2000): 05C20, 05C70, 05C38, 05C40
29Nathan Grasso Bronson, Christos Kozyrakis, Kunle Olukotun Feedback-directed barrier optimization in a strongly isolated STM. Search on Bibsonomy POPL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF bytecode rewriting, deoptimization, strong isolation, weak isolation, transactional memory, hot swap
29Ken Kaneiwa Description Logics with Contraries, Contradictories, and Subcontraries. Search on Bibsonomy New Gener. Comput. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Constructive Description Logic, Terminological Knowledge Representation, Strong Negation, Negative Information
28Stephen Ponzio, Ray Strong Semisynchrony and Real-Time (Extended Abstract). Search on Bibsonomy WDAG The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
27ZuTao Zhang, Jiashu Zhang A novel strong tracking finite-difference extended Kalman filter for nonlinear eye tracking. Search on Bibsonomy Sci. China Ser. F Inf. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF strong tracking finite-difference extended Kalman filter (STFDEKF), extended Kalman filter (EKF), suboptimal fading factor, eye tracking
27Bogdan Staruch HSP-type Characterization of Strong Equational Classes of Partial Algebras. Search on Bibsonomy Stud Logica The full citation details ... 2009 DBLP  DOI  BibTeX  RDF strong equational class, equation, equational logic, partial algebra
27Matthew Spinks, Robert Veroff Constructive Logic with Strong Negation is a Substructural Logic. II. Search on Bibsonomy Stud Logica The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Nelson algebra, algebra, residuated lattice, substructural logic, strong negation, Constructive logic
27Matthew Spinks, Robert Veroff Constructive Logic with Strong Negation is a Substructural Logic. I. Search on Bibsonomy Stud Logica The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Nelson algebra, FL ew -algebra, residuated lattice, substructural logic, strong negation, Constructive logic
27Gerard R. Renardel de Lavalette, Barteld P. Kooi, Rineke Verbrugge Strong Completeness and Limited Canonicity for PDL. Search on Bibsonomy J. Log. Lang. Inf. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Canonical model, Model disharmony, Propositional dynamic logic, Strong completeness
27Go Ohtake, Goichiro Hanaoka, Kazuto Ogawa An Efficient Strong Key-Insulated Signature Scheme and Its Application. Search on Bibsonomy EuroPKI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF strong key-insulated signature, key leakage, DL assumption, random oracle model, adaptive security
27Kai Xiong, Zhen Xiang, Jianhong Ge Evaluation of the Human Eye Glare after Strong Exposure. Search on Bibsonomy BMEI (1) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Glare, Glare evaluation, Recovery time, Strong exposure
27Keiichirou Kusakari, Masahiko Sakai Enhancing dependency pair method using strong computability in simply-typed term rewriting. Search on Bibsonomy Appl. Algebra Eng. Commun. Comput. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Simply-typed term rewriting system, Plain function- passing, Strong computability, Termination, Dependency pair
27JaeCheol Ha, Sang-Jae Moon, Juan Manuel González Nieto, Colin Boyd Low-Cost and Strong-Security RFID Authentication Protocol. Search on Bibsonomy EUC Workshops The full citation details ... 2007 DBLP  DOI  BibTeX  RDF strong-privacy, authentication, traceability, RFID system, indistinguishability
27Soumaya Marzouk, Maher Ben Jemaa, Mohamed Jmaiel A Serialisation Based Approach for Processes Strong Mobility. Search on Bibsonomy DAIS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Strong Mobility, Java Thread, Distributed systems, Source code transformation, Serialisation
27Chi Cao Minh, Martin Trautmann, JaeWoong Chung, Austen McDonald, Nathan Grasso Bronson, Jared Casper, Christos Kozyrakis, Kunle Olukotun An effective hybrid transactional memory system with strong isolation guarantees. Search on Bibsonomy ISCA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF strong isolation, parallel programming, transactional memory, multi-core architectures
27Ziheng Zhou, Adam Prügel-Bennett, Robert I. Damper A Bayesian Framework for Extracting Human Gait Using Strong Prior Knowledge. Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF strong prior, hidden Markov model, Bayesian framework, articulated motion, human gait
27Rudolf Ahlswede, Ning Cai 0001 A Strong Converse Theorem for Quantum Multiple Access Channels. Search on Bibsonomy GTIT-C The full citation details ... 2006 DBLP  DOI  BibTeX  RDF classical quantum multiple access channel, strong converse, wringing technique, non–stationary memoryless classical quantum channel
27Hideyuki Ichihara, Tomoo Inoue, Naoki Okamoto, Toshinori Hosokawa, Hideo Fujiwara An Effective Design for Hierarchical Test Generation Based on Strong Testability. Search on Bibsonomy Asian Test Symposium The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Hierarchical test generation, strong testability, datapath, test plan
27Huafei Zhu Constructing Committed Signatures from Strong-RSA Assumption in the Standard Complexity Model. Search on Bibsonomy Public Key Cryptography The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Committed signatures, strong RSA assumption, fair exchange protocols
27Geir Agnarsson, Magnús M. Halldórsson Strong Colorings of Hypergraphs. Search on Bibsonomy WAOA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF strong coloring, composition width, approximation, hypergraph
27Andrea Capotorti, L. Galli, Barbara Vantaggi Locally strong coherence and inference with lower-upper probabilities. Search on Bibsonomy Soft Comput. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Lower-upper probabilities, Locally strong coherence, Inference
27Sigal Gottlieb, Lee-Ad Gottlieb Strong Stability Preserving Properties of Runge-Kutta Time Discretization Methods for Linear Constant Coefficient Operators. Search on Bibsonomy J. Sci. Comput. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Runge-Kutta methods, high order accuracy, time discretization, Strong stability preserving
27Robert W. Irving, David F. Manlove, Sandy Scott Strong Stability in the Hospitals/Residents Problem. Search on Bibsonomy STACS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF stable matching problem, hospitals/ residents problem, lower bound, NP-completeness, polynomial-time algorithm, strong stability
27Li Yang, J. S. Yuan A decoupling technique for CMOS strong-coupled structures. Search on Bibsonomy ACM Great Lakes Symposium on VLSI The full citation details ... 2003 DBLP  DOI  BibTeX  RDF fast-timing simulation, gate modeling, strong coupled components, waveform relaxation, decoupling, look-up table, feedback loop, hysteresis
27Benjamin Grégoire, Xavier Leroy A compiled implementation of strong reduction. Search on Bibsonomy ICFP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF beta-equivalence, calculus of constructions, normalization by evaluation, strong reduction, virtual machine, abstract machine, Coq
27Mehmet Hakan Karaata Self-Stabilizing Strong Fairness under Weak Fairness. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF strong fairness, schedulers, Distributed systems, fairness, self-stabilization
27Josep Maria Font, Ramon Jansana Leibniz filters and the strong version of a protoalgebraic logic. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Leibniz filter, Strong version, Leibniz operator, Transfer theorem, Modal logics, Many-valued logics, Algebraizable logic, Quantum logics, Abstract algebraic logic, Protoalgebraic logic
27Byoungcheon Lee, Heesun Kim, Kwangjo Kim Secure Mobile Agent Using Strong Non-designated Proxy Signature. Search on Bibsonomy ACISP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Secure mobile agent, strong non-designated proxy signature, multi-proxy signature
27Jasmine Burguet, Rémy Malgouyres Strong Thinning and Polyhedrization of the Surface of a Voxel Object. Search on Bibsonomy DGCI The full citation details ... 2000 DBLP  DOI  BibTeX  RDF strong homotopy, polyhedrization, parallel algorithm, thinning, digital surface
27Avishai Mandelbaum, William A. Massey, Martin I. Reiman Strong approximations for Markovian service networks. Search on Bibsonomy Queueing Syst. Theory Appl. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF strong approximations, fluid approximations, queues with abandonment, queues with retrials, nonstationary queues, queueing networks, priority queues, diffusion approximations, Jackson networks, multiserver queues
27Hanqin Zhang, Guang-Hui Hsu Strong approximations for priority queues; head-of-the-line-first discipline. Search on Bibsonomy Queueing Syst. Theory Appl. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF strong approximation, Priority queue, Wiener process
27Rupert Paget Strong Markov Random Field Model. Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF contingency table analysis, texture, Markov processes, nonparametric statistics, model development
27Yevgeniy Dodis, Jonathan Katz, Shouhuai Xu, Moti Yung Strong Key-Insulated Signature Schemes. Search on Bibsonomy Public Key Cryptography The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
27Maria C. F. Ferreira, Delia Kesner, Laurence Puel Lambda-Calculi with Explicit Substitutions and Composition Which Preserve Beta-Strong Normalization. Search on Bibsonomy ALP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
26Jin Li 0002, Kwangjo Kim, Fangguo Zhang, Duncan S. Wong Generic Security-Amplifying Methods of Ordinary Digital Signatures. Search on Bibsonomy ACNS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Weak Chosen Message Attack, q-SDH Assumption, Signature, Strong-RSA Assumption, Strong Unforgeability
26S. Karunanithi, Arthur D. Friedman Some New Types of Logical Completeness. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1978 DBLP  DOI  BibTeX  RDF weak completeness, Combinational functions, complement completeness, dual completeness, logic primitives, necessary and sufficient conditions for c-completeness, strong c-completeness, weak c-completeness, strong completeness
25Kaoru Kurosawa, Katja Schmidt-Samoa New Online/Offline Signature Schemes Without Random Oracles. Search on Bibsonomy Public Key Cryptography The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Online/offline signatures, trapdoor hash, division intractability, strong RSA assumption
25Mustafa Demirci Constructions of fuzzy functions based on fuzzy equalities. Search on Bibsonomy Soft Comput. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Strong fuzzy function, Fuzzy equivalence, Fuzzy partition, Fuzzy equality, Fuzzy function
25Ghajendran Poovanandran, Wen Chean Teh Strong (2 ⋅ t) and Strong (3 ⋅ t) Transformations for Strong M-Equivalence. Search on Bibsonomy Int. J. Found. Comput. Sci. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
25Ghajendran Poovanandran, Wen Chean Teh Strong 2.t and Strong 3.t Transformations for Strong M-equivalence. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
25Gildas Avoine, Xavier Carpent, Benjamin Martin 0002 Strong Authentication and Strong Integrity (SASI) Is Not That Strong. Search on Bibsonomy RFIDSec The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
24Aleksander Wojdyga Short Proofs of Strong Normalization. Search on Bibsonomy MFCS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF permutative reductions, lambda calculus, system F, CPS-translation, strong normalization
24Ping Yu 0006, Stephen R. Tate An Online/Offline Signature Scheme Based on the Strong RSA Assumption. Search on Bibsonomy AINA Workshops (1) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Online/Offline Signing, Suitable Hash Function, Digital Signature, Random Oracle, Strong RSA Assumption
24Stefan Blom, Simona Orzan A distributed algorithm for strong bisimulation reduction of state spaces. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Strong bisimulation, Distributed tools, Multirelational coarsest partition problem, Model checking, State space reduction
24Norihiro Kamide Quantized Linear Logic, Involutive Quantales and Strong Negation. Search on Bibsonomy Stud Logica The full citation details ... 2004 DBLP  DOI  BibTeX  RDF involutive quantales, quantization principle, linear logic, strong negation
24Inmaculada Higueras On Strong Stability Preserving Time Discretization Methods. Search on Bibsonomy J. Sci. Comput. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF monotonicity, Runge-Kutta methods, strong-stability preserving, SSP
24Wei-Chi Ku, Hao-Chuan Tsai, Shuai-Min Chen Two simple attacks on Lin-Shen-Hwang's strong-password authentication protocol. Search on Bibsonomy ACM SIGOPS Oper. Syst. Rev. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF strong password, password authentication, replay attack, denial-of-service attack, stolen-verifier attack
24Steven J. Ruuth, Raymond J. Spiteri Two Barriers on Strong-Stability-Preserving Time Discretization Methods. Search on Bibsonomy J. Sci. Comput. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF total variation diminishing, Runge-Kutta methods, high-order accuracy, time discretization, strong stability preserving
24M. G. Charalambous Strong Nearness Frames Having Enough Cauchy Filters. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF sums and direct limits of frames, strong nearness frames, Cauchy filters, Cauchy points, uniform frames
24Roberto Di Cosmo, Stefano Guerrini Strong Normalization of Proof Nets Modulo Structural Congruences. Search on Bibsonomy RTA The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Linear Logic, Proof Nets, Strong Normalization
24Wolfgang Bibel, Elmar Eder Decomposition of tautologies into regular formulas and strong completeness of connection-graph resolution. Search on Bibsonomy J. ACM The full citation details ... 1997 DBLP  DOI  BibTeX  RDF connection-graph resolution, decomposition of unsatisfiable formulas, semantic trees, regular graphs, strong completeness
24Steve Chien, Alistair Sinclair Strong and Pareto Price of Anarchy in Congestion Games. Search on Bibsonomy ICALP (1) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
24Scott C. Douglas, Jan Eriksson, Visa Koivunen Equivariant Algorithms for Estimating the Strong-Uncorrelating Transform in Complex Independent Component Analysis. Search on Bibsonomy ICA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
24Yu-Tian Zhang, Qi Luo Oscillation and Strong Oscillation for Impulsive Neutral Parabolic Differential Systems with Delays. Search on Bibsonomy ICIC (2) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
24Jirí Srba Strong bisimilarity of simple process algebras: complexity lower bounds. Search on Bibsonomy Acta Informatica The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
24Ronen Shaltiel Towards Proving Strong Direct Product Theorems. Search on Bibsonomy CCC The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
24Peter Triantafillou, Carl Neilson Achieving Strong Consistency in a Distributed File System. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF consistency semantics, concurrency, caching, replication, Availability, recovery, distributed file systems
24Phan Minh Dung On the strong completion of logic programs. Search on Bibsonomy ALP The full citation details ... 1990 DBLP  DOI  BibTeX  RDF predicate completion, two-valued logic, Logic programming, negation, three-valued logic, stable models, circumscription, well-founded models
23Denis Caromel Keynote 1 - Strong Programming Model for Strong Weak Mobility: The ProActive Parallel Suite. Search on Bibsonomy MDM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 18607 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
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