Search results for "constructions"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
68	Baruch Awerbuch, Bonnie Berger, Lenore Cowen, David Peleg	Near-Linear Cost Sequential and Distribured Constructions of Sparse Neighborhood Covers	FOCS	1993	DBLP DOI BibTeX RDF	near-linear cost sequential constructions, distributed constructions, sparse neighborhood covers, dynamic approximate shortest paths, distance-preserving graph spanners, network synchronizer constructions, adaptive routing, sequential algorithms, breadth-first-search, network decompositions
53	Rafael Pass, Hoeteck Wee	Black-Box Constructions of Two-Party Protocols from One-Way Functions.	TCC	2009	DBLP DOI BibTeX RDF	black-box constructions, zero-knowledge arguments, trapdoor commitments, parallel coin-tossing, non-malleable commitments, secure two-party computation
52	Jay Cheng	Constructions of Optical 2-to-1 FIFO Multiplexers With a Limited Number of Recirculations.	IEEE Trans. Inf. Theory	2008	DBLP DOI BibTeX RDF
52	Amir Herzberg	On Tolerant Cryptographic Constructions.	CT-RSA	2005	DBLP DOI BibTeX RDF
49	Daniel Joscák, Jirí Tuma	Multi-block Collisions in Hash Functions Based on 3C and 3C+ Enhancements of the Merkle-Damgård Construction.	ICISC	2006	DBLP DOI BibTeX RDF	multi-block collision attack, 3C and 3C+ constructions, hash functions
48	Ittai Abraham, Gregory V. Chockler, Idit Keidar, Dahlia Malkhi	Byzantine disk paxos: optimal resilience with byzantine shared memory.	Distributed Comput.	2006	DBLP DOI BibTeX RDF	T-tolerant object implementations, Lower bounds, Consensus, Byzantine failures, Wait freedom, Shared-memory emulations
47	Huafei Zhu	Black-Box Constructions for Fully-Simulatable Oblivious Transfer Protocols.	CANS	2008	DBLP DOI BibTeX RDF	Black-box constructions, defensible adversary, malicious adversary, oblivious transfer protocols
47	Frédéric Blanqui, Jean-Pierre Jouannaud, Pierre-Yves Strub	Building Decision Procedures in the Calculus of Inductive Constructions.	CSL	2007	DBLP DOI BibTeX RDF	Calculus of Inductive Constructions, Decision procedures, Theorem provers
46	James H. Anderson, Mark Moir	Universal Constructions for Large Objects.	IEEE Trans. Parallel Distributed Syst.	1999	DBLP DOI BibTeX RDF	Concurrency, wait-free, lock-free, shared objects, nonblocking synchronization
46	James H. Anderson, Mark Moir	Universal Constructions for Large Objects.	WDAG	1995	DBLP DOI BibTeX RDF
42	Andromaque-Virginie Pantazara	Syntaxe dérivationnelle du grec moderne: Les constructions verbales à un complément prépositionnel et les constructions nominales et adjectivales prédicatives associées. (Derivational Syntax of Modern Greek / Derivational Syntax of Modern Greek: Verbal Constructions with one Prepositional Complement and the Related Nominal and Adjectival Predicative Constructions).		2003	RDF
42	Bernard Chazelle, Wolfgang Johann Heinrich Mulzer	Markov incremental constructions.	SCG	2008	DBLP DOI BibTeX RDF	clarkson-shor bound, randomized incremental constructions, expander graphs
42	Jaume Pujol, Josep Rifà, Faina I. Solov'eva	Quaternary Plotkin Constructions and Quaternary Reed-Muller Codes.	AAECC	2007	DBLP DOI BibTeX RDF	Plotkin constructions, Z4-linear codes, Reed-Muller codes, Quaternary codes
42	Boaz Barak, Guy Kindler, Ronen Shaltiel, Benny Sudakov, Avi Wigderson	Simulating independence: new constructions of condensers, ramsey graphs, dispersers, and extractors.	STOC	2005	DBLP DOI BibTeX RDF	dispersers condenser, constructions, extractors, explicit, ramsey graphs
42	Gang Chen	Coercive subtyping for the calculus of constructions.	POPL	2003	DBLP DOI BibTeX RDF	calculus of constructions, semantics of coercions, transitivity elimination, subtyping, coercion
42	Moni Naor, Omer Reingold	Number-theoretic Constructions of Efficient Pseudo-random Functions.	FOCS	1997	DBLP DOI BibTeX RDF	number-theoretic constructions, cryptography, cryptographic primitives, constant depth circuits, pseudo-random functions, threshold gates
40	Jay Cheng, Cheng-Shang Chang, Tsz-Hsuan Chao, Duan-Shin Lee, Ching-Ming Lien	On Constructions of Optical Queues with a Limited Number of Recirculations.	INFOCOM	2008	DBLP DOI BibTeX RDF
40	Amir J. Salomon, Ofer Amrani	Reed-Muller codes and Barnes-Wall lattices: Generalized multilevel constructions and representation over GF(2q).	Des. Codes Cryptogr.	2007	DBLP DOI BibTeX RDF	AMS Classification 68P30, 94B12, 94B05
40	Dario Catalano, Yevgeniy Dodis, Ivan Visconti	Mercurial Commitments: Minimal Assumptions and Efficient Constructions.	TCC	2006	DBLP DOI BibTeX RDF
38	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
36	Christian Dax, Felix Klaedtke	Alternation Elimination by Complementation (Extended Abstract).	LPAR	2008	DBLP DOI BibTeX RDF
36	Krzysztof Pietrzak, Johan Sjödin	Range Extension for Weak PRFs; The Good, the Bad, and the Ugly.	EUROCRYPT	2007	DBLP DOI BibTeX RDF
36	Eli Ben-Sasson, Madhu Sudan 0001	Simple PCPs with poly-log rate and query complexity.	STOC	2005	DBLP DOI BibTeX RDF	PCPP, probabilistically checkable proofs, PCP, locally testable codes
36	Venkatesan Guruswami, Piotr Indyk	Near-optimal linear-time codes for unique decoding and new list-decodable codes over smaller alphabets.	STOC	2002	DBLP DOI BibTeX RDF
36	Ana Bove, Peter Dybjer, Andrés Sicard-Ramírez	Embedding a logical theory of constructions in Agda.	PLPV	2009	DBLP DOI BibTeX RDF	general recursion, logical theory of constructions, type theory
34	Hsiao-feng Lu	Constructions of Multiblock Space-Time Coding Schemes That Achieve the Diversity-Multiplexing Tradeoff.	IEEE Trans. Inf. Theory	2008	DBLP DOI BibTeX RDF
34	Predrag Janicic, Pedro Quaresma	Automatic Verification of Regular Constructions in Dynamic Geometry Systems.	Automated Deduction in Geometry	2006	DBLP DOI BibTeX RDF
34	William Aiello, Stuart Haber, Ramarathnam Venkatesan	New Constructions for Secure Hash Functions.	FSE	1998	DBLP DOI BibTeX RDF
34	Markus Michels, Markus Stadler	Generic Constructions for Secure and Efficient Confirmer Signature Schemes.	EUROCRYPT	1998	DBLP DOI BibTeX RDF	Designated confirmer signature schemes, undeniable signature schemes, provable security, commitment schemes
34	Kenneth D. Boese, Andrew B. Kahng, Bernard A. McCoy, Gabriel Robins	Near-optimal critical sink routing tree constructions.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1995	DBLP DOI BibTeX RDF
32	Kirsten Abbot-Smith, Heike Behrens	How Known Constructions Influence the Acquisition of Other Constructions: The German Passive and Future Constructions.	Cogn. Sci.	2006	DBLP DOI BibTeX RDF
31	Mohamed Mahdi Malik, Jean Royauté	A Predicate Database for Assisting the Design of a Lexicon-Grammar of Predicative Nouns.	LTC	2007	DBLP DOI BibTeX RDF	Predicate noun phrase, Lexicon-grammar, Argument role, Nominal and verbal constructions, Database, Nominalization
31	Marcos Kawazoe Aguilera, Svend Frølund, Vassos Hadzilacos, Stephanie Lorraine Horn, Sam Toueg	Abortable and query-abortable objects and their efficient implementation.	PODC	2007	DBLP DOI BibTeX RDF	abortable types, non-triviality, universal constructions, shared memory, memory contention, obstruction-freedom
31	Ran Raz	Extractors with weak random seeds.	STOC	2005	DBLP DOI BibTeX RDF	random sources, extractors, pseudorandomness, condensers, mergers, randomness extraction, explicit constructions, Ramsey graphs
30	K. Raj Kumar, Giuseppe Caire	Space-Time Codes From Structured Lattices.	IEEE Trans. Inf. Theory	2009	DBLP DOI BibTeX RDF
30	Sergey Yekhanin	Towards 3-query locally decodable codes of subexponential length.	J. ACM	2008	DBLP DOI BibTeX RDF	private information retrieval, Locally decodable codes, Mersenne primes
30	Sergey Yekhanin	Towards 3-query locally decodable codes of subexponential length.	STOC	2007	DBLP DOI BibTeX RDF	private information retrieval, locally decodable codes, Mersenne primes
30	Claude Carlet	On Bent and Highly Nonlinear Balanced/Resilient Functions and Their Algebraic Immunities.	AAECC	2006	DBLP DOI BibTeX RDF	Boolean function, stream cipher, resiliency, nonlinearity, algebraic attack, algebraic degree
30	Dario Catalano, Ivan Visconti	Hybrid Trapdoor Commitments and Their Applications.	ICALP	2005	DBLP DOI BibTeX RDF
30	Lars R. Knudsen	The Security of Feistel Ciphers with Six Rounds or Less.	J. Cryptol.	2002	DBLP DOI BibTeX RDF
30	Giovanni Di Crescenzo	Equivocable and Extractable Commitment Schemes.	SCN	2002	DBLP DOI BibTeX RDF
30	K. van den Eynde, E. Broeders, C. Eggermont, L. Vangilbergen	The pronominal approach in NLP: A pronominal feature analysis of coordination in French.	Mach. Transl.	1988	DBLP DOI BibTeX RDF
30	Joonsang Baek, Willy Susilo, Jianying Zhou 0001	New constructions of fuzzy identity-based encryption.	AsiaCCS	2007	DBLP DOI BibTeX RDF	efficient constructions, fuzzy identity-based encryption
30	Rosario Gennaro, Luca Trevisan	Lower Bounds on the Efficiency of Generic Cryptographic Constructions.	FOCS	2000	DBLP DOI BibTeX RDF	generic cryptographic constructions, universal one-way hash functions, black-box access, Impagliazzo-Rudich model, cryptography, lower bounds, random number generation, file organisation, pseudo-random generators, one-way permutations
28	Hiroaki Nakamura, Kei Yoshimoto, Yoshiki Mori, Masahiro Kobayashi	Multiple Subject Constructions in Japanese: A Dynamic Syntax Account.	JSAI	2008	DBLP DOI BibTeX RDF	Multiple Subject Construction, relational noun, major subject, Dynamic Syntax, time-linear parsing
28	Alexandra Boldyreva, Serge Fehr, Adam O'Neill	On Notions of Security for Deterministic Encryption, and Efficient Constructions without Random Oracles.	CRYPTO	2008	DBLP DOI BibTeX RDF
28	Avraham Ben-Aroya, Oded Schwartz, Amnon Ta-Shma	Quantum Expanders: Motivation and Constructions.	CCC	2008	DBLP DOI BibTeX RDF	Quantum Expanders, Quantum Statistical Zero-Knowledge
28	Jay Cheng	Constructions of Fault-Tolerant Optical 2-to-1 FIFO Multiplexers.	IEEE Trans. Inf. Theory	2007	DBLP DOI BibTeX RDF
28	H.-F. Lu, M. C. Chiu	Constructions of Asymptotically Optimal Space-Frequency Codes for MIMO-OFDM Systems.	IEEE Trans. Inf. Theory	2007	DBLP DOI BibTeX RDF
28	Lihua Liu, Hao Shen	Explicit constructions of separating hash families from algebraic curves over finite fields.	Des. Codes Cryptogr.	2006	DBLP DOI BibTeX RDF	AMS Classification 05D05, 05D40
28	Jianmin Wang, Jianxing Yin	Constructions for Perfect 5-Deletion-Correcting Codes of Length 7.	IEEE Trans. Inf. Theory	2006	DBLP DOI BibTeX RDF
28	Yuval Ishai, Eyal Kushilevitz, Yehuda Lindell, Erez Petrank	Black-box constructions for secure computation.	STOC	2006	DBLP DOI BibTeX RDF	theory of cryptography, oblivious transfer, secure computation, black-box reductions
28	Orna Kupferman, Moshe Y. Vardi	Complementation Constructions for Nondeterministic Automata on Infinite Words.	TACAS	2005	DBLP DOI BibTeX RDF
28	Gabriela Araujo-Pardo, Juan José Montellano-Ballesteros	Cages: constructions and new upper bounds.	ISPAN	2005	DBLP DOI BibTeX RDF
28	Conor McBride, Healfdene Goguen, James McKinna	A Few Constructions on Constructors.	TYPES	2004	DBLP DOI BibTeX RDF
28	Frédéric Blanqui	Inductive Types in the Calculus of Algebraic Constructions.	TLCA	2003	DBLP DOI BibTeX RDF
28	Piotr Indyk	Explicit constructions of selectors and related combinatorial structures, with applications.	SODA	2002	DBLP BibTeX RDF
28	Geoffrey C. Shephard	Cyclic Product Theorems for Polygons (II) Constructions using Conic Sections.	Discret. Comput. Geom.	2001	DBLP DOI BibTeX RDF
28	Alexandre Miquel	The Implicit Calculus of Constructions.	TLCA	2001	DBLP DOI BibTeX RDF
28	Jürgen Bierbrauer, Holger Schellwat	Almost Independent and Weakly Biased Arrays: Efficient Constructions and Cryptologic Applications.	CRYPTO	2000	DBLP DOI BibTeX RDF	Low bias, almost independent arrays, Hermitian codes, Suzuki codes, Weil-Carlitz-Uchiyama bound, exponential sum method, Zyablov bound, authentication, Fourier transform, hashing, resiliency, Reed-Solomon codes
28	Munpyo Hong	Multiple-subject Constructions in the Multilingual MT-System CAT2.	AMTA	1998	DBLP DOI BibTeX RDF
28	Bernhard Möller, Andrzej Tarlecki, Martin Wirsing	Algebraic Specification with Built-in Domain Constructions.	CAAP	1988	DBLP DOI BibTeX RDF
28	Gérard P. Huet	Induction Principles Formalized in the Calculus of Constructions.	TAPSOFT, Vol.1	1987	DBLP DOI BibTeX RDF
25	Frédéric Cazals, Aditya G. Parameswaran, Sylvain Pion	Robust construction of the three-dimensional flow complex.	SCG	2008	DBLP DOI BibTeX RDF	euclidean distance function, lazy constructions, surface reconstruction, cascading, morse-smale complex, medial axis approximation
25	Zeev Dvir, Amir Shpilka	Towards Dimension Expanders over Finite Fields.	CCC	2008	DBLP DOI BibTeX RDF	Cayley graphs, expanders, explicit constructions
25	Emir Pasalic, Walid Taha, Tim Sheard	Tagless staged interpreters for typed languages.	ICFP	2002	DBLP DOI BibTeX RDF	calculus of constructions, definitional interpreters, domain-specific languages, multi-stage programming
24	Christopher Umans	Reconstructive Dispersers and Hitting Set Generators.	Algorithmica	2009	DBLP DOI BibTeX RDF	Hitting set generator, Derandomization, Disperser
24	Ahmad-Reza Sadeghi, Thomas Schneider 0003	Generalized Universal Circuits for Secure Evaluation of Private Functions with Application to Data Classification.	ICISC	2008	DBLP DOI BibTeX RDF	universal circuits, secure evaluation of private functions, private data classification, neural networks, privacy
24	David Goldenberg, Susan Hohenberger, Moses D. Liskov, Elizabeth Crump Schwartz, Hakan Seyalioglu	On Tweaking Luby-Rackoff Blockciphers.	ASIACRYPT	2007	DBLP DOI BibTeX RDF
24	Kevin R. B. Butler, Patrick D. McDaniel, William Aiello	Optimizing BGP security by exploiting path stability.	CCS	2006	DBLP DOI BibTeX RDF	path stability, security, routing, BGP
24	Charles J. Alpert, Andrew B. Kahng, Cliff C. N. Sze, Qinke Wang	Timing-driven Steiner trees are (practically) free.	DAC	2006	DBLP DOI BibTeX RDF	arborescence, timing-driven, rectilinear Steiner tree
24	Michael Löwe, Harald König, Christoph Schulz 0002	Algebraic Properties of Interfaces.	Formal Methods in Software and Systems Modeling	2005	DBLP DOI BibTeX RDF
24	Patrizia Paggio	Representing Information Structure in a Formal Grammar of Danish.	JSAI Workshops	2005	DBLP DOI BibTeX RDF
24	A. Roger Hammons Jr.	Space-Time Code Designs Based on the Generalized Binary Rank Criterion with Applications to Cooperative Diversity.	WCC	2005	DBLP DOI BibTeX RDF
24	Christopher Umans	Reconstructive Dispersers and Hitting Set Generators.	APPROX-RANDOM	2005	DBLP DOI BibTeX RDF
24	Emanuele Viola	On Constructing Parallel Pseudorandom Generators from One-Way Functions.	CCC	2005	DBLP DOI BibTeX RDF	Pseudorandom generator construction, one-way function, black-box, restriction, constant-depth circuit, noise sensitivity, hardness amplification
24	Myra B. Cohen, Charles J. Colbourn, Alan C. H. Ling	Augmenting Simulated Annealing to Build Interaction Test Suites.	ISSRE	2003	DBLP DOI BibTeX RDF
24	Vivek Shikaripura, Ajay D. Kshemkalyani	A Simple, Memory-Efficient Bounded Concurrent Timestamping Algorithm.	ISAAC	2002	DBLP DOI BibTeX RDF
22	Eyal Kaplan, Moni Naor, Omer Reingold	Derandomized Constructions of k-Wise (Almost) Independent Permutations.	Algorithmica	2009	DBLP DOI BibTeX RDF	Card shuffling, Connectivity, Block ciphers, Random walk, Pseudo-randomness
22	Chao Li, Qiang Li, San Ling	On the constructions of constant-composition codes from perfect nonlinear functions.	Sci. China Ser. F Inf. Sci.	2009	DBLP DOI BibTeX RDF	constant-composition codes, perfect nonlinear functions, quadratic forms
22	Wai Ho Mow	Recursive Constructions of Detecting Matrices for Multiuser Coding: A Unifying Approach.	IEEE Trans. Inf. Theory	2009	DBLP DOI BibTeX RDF
22	Panagiota Fatourou, Nikolaos D. Kallimanis	The RedBlue Adaptive Universal Constructions.	DISC	2009	DBLP DOI BibTeX RDF
22	Jonathan Katz, Arkady Yerukhimovich	On Black-Box Constructions of Predicate Encryption from Trapdoor Permutations.	ASIACRYPT	2009	DBLP DOI BibTeX RDF
22	Mahdi Cheraghchi	Noise-Resilient Group Testing: Limitations and Constructions.	FCT	2009	DBLP DOI BibTeX RDF
22	Takahiro Matsuda 0002, Kanta Matsuura, Jacob C. N. Schuldt	Efficient Constructions of Signcryption Schemes and Signcryption Composability.	INDOCRYPT	2009	DBLP DOI BibTeX RDF	multi-user security, signcryption, generic construction
22	Sosina Martirosyan, Tran van Trung	Explicit constructions for perfect hash families.	Des. Codes Cryptogr.	2008	DBLP DOI BibTeX RDF	AMS Classification 05B05
22	Jianmin Wang 0003	Some combinatorial constructions for optimal perfect deletion-correcting codes.	Des. Codes Cryptogr.	2008	DBLP DOI BibTeX RDF	05B30, AMS Classifications 94B65
22	Bruno Barras, Bruno Bernardo	The Implicit Calculus of Constructions as a Programming Language with Dependent Types.	FoSSaCS	2008	DBLP DOI BibTeX RDF
22	Joonsang Baek, Jianying Zhou 0001, Feng Bao 0001	Generic Constructions of Stateful Public Key Encryption and Their Applications.	ACNS	2008	DBLP DOI BibTeX RDF
22	Lijun Ji	Constructions for large sets of L -intersecting Steiner triple systems.	Des. Codes Cryptogr.	2007	DBLP DOI BibTeX RDF	05B07, AMS Classification 05B05
22	Haitao Cao 0001, Lijun Ji, Lie Zhu	Constructions for generalized Steiner systems GS (3, 4, v , 2).	Des. Codes Cryptogr.	2007	DBLP DOI BibTeX RDF	AMS Classification 05B05
22	San Ling, Ferruh Özbudak	Constructions and bounds on linear error-block codes.	Des. Codes Cryptogr.	2007	DBLP DOI BibTeX RDF	11T71, AMS Classifications 94B05
22	Bessie C. Hu, Duncan S. Wong, Qiong Huang 0001, Guomin Yang, Xiaotie Deng	Time Capsule Signature: Efficient and Provably Secure Constructions.	EuroPKI	2007	DBLP DOI BibTeX RDF	Time Capsule Signature
22	Venkatesan Guruswami	List Decoding and Pseudorandom Constructions.	AAECC	2007	DBLP DOI BibTeX RDF
22	B. A. Sethuraman, Frédérique E. Oggier	Constructions of Orthonormal Lattices and Quaternion Division Algebras for Totally Real Number Fields.	AAECC	2007	DBLP DOI BibTeX RDF
22	Alfredo De Santis, Anna Lisa Ferrara, Barbara Masucci	New constructions for provably-secure time-bound hierarchical key assignment schemes.	SACMAT	2007	DBLP DOI BibTeX RDF	access control, provable security, key assignment
22	Dazu Huang, Zhigang Chen 0001, Ying Guo	Quantum Error-Correction Codes Based on Multilevel Constructions of Hadamard Matrices.	ICIC (1)	2007	DBLP DOI BibTeX RDF	quantum computation, quantum information, Hadamard transform, Quantum error correction code
22	Alexandre Miquel	Classical Program Extraction in the Calculus of Constructions.	CSL	2007	DBLP DOI BibTeX RDF
22	Hung Q. Ngo 0001, Dazhen Pan, Chunming Qiao	Constructions and analyses of nonblocking WDM switches based on arrayed waveguide grating and limited wavelength conversion.	IEEE/ACM Trans. Netw.	2006	DBLP DOI BibTeX RDF	limited-range wavelength converters, non-blocking WDM cross-connects
22	Charles J. Colbourn, Sosina Martirosyan, Tran van Trung, Robert A. Walker	Roux-type constructions for covering arrays of strengths three and four.	Des. Codes Cryptogr.	2006	DBLP DOI BibTeX RDF	AMS Classification 05B40, 68N30, 05B15