Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
16 | Gio Wiederhold |
The Impossibility of Global Consistency. |
OMICS |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Zhanyi Hu, Fuchao Wu, Guanghui Wang 0001 |
The impossibility of affine reconstruction from perspective image pairs obtained by a translating camera with varying parameters. |
Pattern Recognit. Lett. |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Ueli Maurer, Renato Renner, Clemens Holenstein |
Indifferentiability, Impossibility Results on Reductions, and Applications to the Random Oracle Methodology. |
IACR Cryptol. ePrint Arch. |
2003 |
DBLP BibTeX RDF |
|
16 | Elchanan Mossel |
On the Impossibility of Reconstructing Ancestral Data and Phylogenies. |
J. Comput. Biol. |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Bo Brinkman, Moses Charikar |
On the Impossibility of Dimension Reduction in l1. |
FOCS |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Yehuda Lindell |
Brief announcement: impossibility results for concurrent secure two-party computation. |
PODC |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Miki Kato, Shinji Ohseto |
Toward general impossibility theorems in pure exchange economies. |
Soc. Choice Welf. |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Mikel Larrea, Antonio Fernández 0001, Sergio Arévalo |
On the Impossibility of Implementing Perpetual Failure Detectors in Partially Synchronous Systems. |
PDP |
2002 |
DBLP DOI BibTeX RDF |
uniform reliable broadcast, perpetual accuracy, consensus, failure detectors, crash failures, partial synchrony |
16 | David Kempe 0001, Jon M. Kleinberg |
Protocols and Impossibility Results for Gossip-Based Communication Mechanisms. |
FOCS |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Jon M. Kleinberg |
An Impossibility Theorem for Clustering. |
NIPS |
2002 |
DBLP BibTeX RDF |
|
16 | Marc Fischlin |
On the Impossibility of Constructing Non-interactive Statistically-Secret Protocols from Any Trapdoor One-Way Function. |
CT-RSA |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Valentino Dardanoni |
A pedagogical proof of Arrow's Impossibility Theorem. |
Soc. Choice Welf. |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Roberto Baldoni, Jean-Michel Hélary, Achour Mostéfaoui, Michel Raynal |
Impossibility of scalar clock-based communication-induced checkpointing protocols ensuring the RDT property. |
Inf. Process. Lett. |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Yael Gertner, Tal Malkin, Omer Reingold |
On the Impossibility of Basing Trapdoor Functions on Trapdoor Predicates. |
FOCS |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Yevgeniy Dodis |
Impossibility of Black-Box Reduction from Non-Adaptively to Adaptively Secure Coin-Flipping |
Electron. Colloquium Comput. Complex. |
2000 |
DBLP BibTeX RDF |
|
16 | David H. Wolpert |
On the computational capabilities of physical systems part I: the impossibility of infallible computation |
CoRR |
2000 |
DBLP BibTeX RDF |
|
16 | John H. Reif |
On the Impossibility of Interaction-Free Quantum Sensing for Small I/O Bandwidth. |
Inf. Comput. |
2000 |
DBLP DOI BibTeX RDF |
|
16 | S. Ramesh 0001, Chandrashekar M. Shetty |
Impossibility of Synchronization in the Presence of Preemption. |
Parallel Process. Lett. |
1998 |
DBLP DOI BibTeX RDF |
|
16 | Hoi Fung Chau, Hoi-Kwong Lo |
Making An Empty Promise With A Quantum Computer (Or, A Brief Review on the Impossibility of Quantum Bit Commitment). |
IACR Cryptol. ePrint Arch. |
1998 |
DBLP BibTeX RDF |
|
16 | Maurice Pouzet |
A projection property and Arrow's impossibility theorem. |
Discret. Math. |
1998 |
DBLP DOI BibTeX RDF |
|
16 | Guohong Cao, Mukesh Singhal |
On the Impossibility of Min-Process Non-Blocking Checkpointing and An Efficient Checkpointing Algorithm for Mobile Computing Systems. |
ICPP |
1998 |
DBLP DOI BibTeX RDF |
|
16 | Costas Busch, Marios Mavronicolas |
Impossibility Results for Weak Threshold Networks. |
Inf. Process. Lett. |
1997 |
DBLP DOI BibTeX RDF |
|
16 | Joffroy Beauquier, Synnöve Kekkonen-Moneta |
Fault-tolerance and self-stabilization: impossibility results and solutions using self-stabilizing failure detectors. |
Int. J. Syst. Sci. |
1997 |
DBLP DOI BibTeX RDF |
|
16 | Rosaria Conte, Cristiano Castelfranchi, Roberto Pedone |
The Impossibility of Modelling Cooperation in PD-Game. |
ModelAge Workshop |
1997 |
DBLP DOI BibTeX RDF |
|
16 | Gadi Taubenfeld, Shlomo Moran |
Possibility and Impossibility Results in a Shared Memory Environment. |
Acta Informatica |
1996 |
DBLP DOI BibTeX RDF |
|
16 | K. T. Arasu 0001, Alexander Pott |
Impossibility of a Certain Cyclotomic Equation with Applications to Difference Sets. |
Des. Codes Cryptogr. |
1996 |
DBLP DOI BibTeX RDF |
|
16 | Pierre Hansen, Fred S. Roberts |
An Impossibility Result in Axiomatic Location Theory. |
Math. Oper. Res. |
1996 |
DBLP DOI BibTeX RDF |
|
16 | Aleta Ricciardi |
Impossibility of (Repeated) Reliable Broadcast (Abstract). |
PODC |
1996 |
DBLP DOI BibTeX RDF |
|
16 | Tushar Deepak Chandra, Vassos Hadzilacos, Sam Toueg, Bernadette Charron-Bost |
On the Impossibility of Group Membership. |
PODC |
1996 |
DBLP DOI BibTeX RDF |
|
16 | Jin-yi Cai, Suresh Chari |
On the Impossibility of Amplifying the Independence of Random Variables. |
Random Struct. Algorithms |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Uriel Feige, Joe Kilian |
Impossibility results for recycling random bits in two-prover proof systems. |
STOC |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Guozhu Dong, Leonid Libkin, Limsoon Wong |
On Impossibility of Decremental Recomputation of Recursive Queries in Relational Calculus and SQL. |
DBPL |
1995 |
DBLP BibTeX RDF |
|
16 | Gadi Taubenfeld, Shmuel Katz, Shlomo Moran |
Impossibility Results in the Presence of Multiple Faulty Processes |
Inf. Comput. |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Yih-Kuen Tsay, Rajive L. Bagrodia |
Some Impossibility Results in Interprocess Synchronization. |
Distributed Comput. |
1993 |
DBLP DOI BibTeX RDF |
|
16 | Alan D. Fekete, Nancy A. Lynch, Yishay Mansour, John Spinelli |
The Impossibility of Implementing Reliable Communication in the Face of Crashes. |
J. ACM |
1993 |
DBLP DOI BibTeX RDF |
connection reset, lower bounds |
16 | Herbert J. Carlin, Pier Paolo Civalleri |
On darlington's realization of matrix-valued non-rational functions and the impossibility of selective flat gain. |
Int. J. Circuit Theory Appl. |
1993 |
DBLP DOI BibTeX RDF |
|
16 | Elizabeth Borowsky, Eli Gafni |
Generalized FLP impossibility result for t-resilient asynchronous computations. |
STOC |
1993 |
DBLP DOI BibTeX RDF |
|
16 | Keith Rapley |
A Plausible Impossibility: Supporting Top Executives with Information Systems. |
Human, Organizational, and Social Dimensions of Information Systems Development |
1993 |
DBLP BibTeX RDF |
|
16 | Oliver Schoett |
Two Impossibility Theorems on Behaviour Specification of Abstract Data Types. |
Acta Informatica |
1992 |
DBLP DOI BibTeX RDF |
|
16 | Prasad Jayanti, Sam Toueg |
Some Results on the Impossibility, Universality, and Decidability of Consensus. |
WDAG |
1992 |
DBLP DOI BibTeX RDF |
|
16 | Larry Wos |
The Impossibility of the Automation of Logical Reasoning. |
CADE |
1992 |
DBLP DOI BibTeX RDF |
|
16 | Maurice Herlihy |
Impossibility Results for Asynchronous PRAM (Extended Abstract). |
SPAA |
1991 |
DBLP DOI BibTeX RDF |
|
16 | D. C. Handscomb |
Impossibility of a Conic Through Six Points. |
SIAM Rev. |
1990 |
DBLP DOI BibTeX RDF |
|
16 | David Makinson |
The Gärdenfors impossibility theorem in non-monotonic contexts. |
Stud Logica |
1990 |
DBLP DOI BibTeX RDF |
|
16 | Dorit S. Hochbaum |
On the Impossibility of Strongly Polynomial Algorithms for the Allocation Problem and its Extensions. |
IPCO |
1990 |
DBLP BibTeX RDF |
|
16 | Gerhard Friedrich, Georg Gottlob, Wolfgang Nejdl |
Physical Impossibility Instead of Fault Models. |
AAAI |
1990 |
DBLP BibTeX RDF |
|
16 | Alan D. Fekete, Nancy A. Lynch |
The Need for Headers: An Impossibility Result for Communication over Unreliable Channels. |
CONCUR |
1990 |
DBLP DOI BibTeX RDF |
|
16 | James L. McInnes, Benny Pinkas |
On the Impossibility of Private Key Cryptography with Weakly Random Keys. |
CRYPTO |
1990 |
DBLP DOI BibTeX RDF |
|
16 | Dominique de Caen, D. G. Hoffman |
Impossibility of Decomposing the Complete Graph on n Points into n-1 Isomorphic Complete Bipartite Graphs. |
SIAM J. Discret. Math. |
1989 |
DBLP DOI BibTeX RDF |
|
16 | Gadi Taubenfeld, Shlomo Moran |
Possibility and Impossibility Results in a Shared Memory Environment. |
WDAG |
1989 |
DBLP DOI BibTeX RDF |
|
16 | Yuliang Zheng 0001, Tsutomu Matsumoto, Hideki Imai |
Impossibility and Optimality Results on Constructing Pseudorandom Permutations (Extended Abstract). |
EUROCRYPT |
1989 |
DBLP DOI BibTeX RDF |
|
16 | Nancy A. Lynch |
A Hundred Impossibility Proofs for Distributed Computing. |
PODC |
1989 |
DBLP DOI BibTeX RDF |
|
16 | F. W. Gorgy |
On the Impossibility of Transformation of All True Formulas Of Markov's Language L1 into True Formulas of His Language ℝ. |
Math. Log. Q. |
1988 |
DBLP DOI BibTeX RDF |
|
16 | Robert J. MacG. Dawson |
On the impossibility of packing space with different cubes. |
J. Comb. Theory, Ser. A |
1988 |
DBLP DOI BibTeX RDF |
|
16 | Nancy A. Lynch, Yishay Mansour, Alan D. Fekete |
Data Link Layer: Two Impossibility Results. |
PODC |
1988 |
DBLP DOI BibTeX RDF |
|
16 | Maurice Herlihy |
Impossibility and Universality Results for Wait-Free Synchronization. |
PODC |
1988 |
DBLP DOI BibTeX RDF |
|
16 | Shlomo Moran, Yaron Wolfstahl |
Extended Impossibility Results for Asynchronous Complete Networks. |
Inf. Process. Lett. |
1987 |
DBLP DOI BibTeX RDF |
|
16 | Douglas R. Woodall |
An impossibility theorem for electoral systems. |
Discret. Math. |
1987 |
DBLP DOI BibTeX RDF |
|
16 | Michael J. Fischer, Nancy A. Lynch, Michael Merritt |
Easy Impossibility Proofs for Distributed Consensus Problems. |
Distributed Comput. |
1986 |
DBLP DOI BibTeX RDF |
|
16 | Satoshi Okawa, Sadaki Hirose, Masaaki Yoneda |
On the Impossibility of the Homomorphic Characterization of Context-Sensitive Languages. |
Theor. Comput. Sci. |
1986 |
DBLP DOI BibTeX RDF |
|
16 | Danny Dolev, Joseph Y. Halpern, H. Raymond Strong |
On the Possibility and Impossibility of Achieving Clock Synchronization. |
J. Comput. Syst. Sci. |
1986 |
DBLP DOI BibTeX RDF |
|
16 | Andre Scedrov |
On the impossibility of explicit upper bounds on lengths of some provably finite algorithms in computable analysis. |
Ann. Pure Appl. Log. |
1986 |
DBLP DOI BibTeX RDF |
|
16 | Marek Karpinski, Rutger Verbeek |
On the Power of Two-Way Random Generators and the Impossibility of Deterministic Poly-Space Simulation |
Inf. Control. |
1986 |
DBLP DOI BibTeX RDF |
|
16 | Michael J. Fischer, Nancy A. Lynch, Mike Paterson |
Impossibility of Distributed Consensus with One Faulty Process |
J. ACM |
1985 |
DBLP DOI BibTeX RDF |
|
16 | Michael J. Fischer, Nancy A. Lynch, Michael Merritt |
Easy Impossibility Proofs for Distributed Consensus Problems. |
PODC |
1985 |
DBLP DOI BibTeX RDF |
|
16 | Danny Dolev, Joseph Y. Halpern, H. Raymond Strong |
On the Possibility and Impossibility of Achieving Clock Synchronization |
STOC |
1984 |
DBLP DOI BibTeX RDF |
|
16 | Michael J. Fischer, Nancy A. Lynch, Mike Paterson |
Impossibility of Distributed Consensus with One Faulty Process. |
PODS |
1983 |
DBLP DOI BibTeX RDF |
|
16 | William G. Bridges, Sam Toueg |
On the impossibility of Directed Moore Graphs. |
J. Comb. Theory, Ser. B |
1980 |
DBLP DOI BibTeX RDF |
|
16 | Richard Routley |
Repairing proofs of Arrow's general impossibility theorem and enlarging the scope of the theorem. |
Notre Dame J. Formal Log. |
1979 |
DBLP DOI BibTeX RDF |
|
16 | Arthur C. Fleck |
On the impossibility of content exchange through the by-name parameter transmission mechanism. |
ACM SIGPLAN Notices |
1976 |
DBLP DOI BibTeX RDF |
|
16 | Ján Plesník |
One method for proving the impossibility of certain Moore graphs. |
Discret. Math. |
1974 |
DBLP DOI BibTeX RDF |
|
16 | Alistair H. Lachlan |
The Impossibility of finding Relative Complements for Recursively Enumerable Degrees. |
J. Symb. Log. |
1966 |
DBLP DOI BibTeX RDF |
|
10 | Sven Seuken, Denis Xavier Charles, Max Chickering, Sidd Puri |
Market design & analysis for a P2P backup system. |
EC |
2010 |
DBLP DOI BibTeX RDF |
exchange market, online backup, p2p, market design |
10 | Shaddin Dughmi, Arpita Ghosh |
Truthful assignment without money. |
EC |
2010 |
DBLP DOI BibTeX RDF |
truthfulness without money, mechanism design |
10 | Eric A. Brewer |
A certain freedom: thoughts on the CAP theorem. |
PODC |
2010 |
DBLP DOI BibTeX RDF |
cap theorem |
10 | Shiva Prasad Kasiviswanathan, Mark Rudelson, Adam D. Smith, Jonathan R. Ullman |
The price of privately releasing contingency tables and the spectra of random matrices with correlated rows. |
STOC |
2010 |
DBLP DOI BibTeX RDF |
reconstruction attacks, data privacy, differential privacy, random matrices |
10 | Elizabeth Barnes |
Indeterminacy, identity and counterparts: Evans reconsidered. |
Synth. |
2009 |
DBLP DOI BibTeX RDF |
Vague identity, Ontic vagueness, Counterpart theory, Indeterminacy |
10 | François Bonnet 0001, Michel Raynal |
Conditions for Set Agreement with an Application to Synchronous Systems. |
J. Comput. Sci. Technol. |
2009 |
DBLP DOI BibTeX RDF |
lower bound, efficiency, condition, synchronous system, agreement problem |
10 | Chin Soon Lee |
Ranking functions for size-change termination. |
ACM Trans. Program. Lang. Syst. |
2009 |
DBLP DOI BibTeX RDF |
?-Automaton, multiple recursion, size-change termination, determinization, ranking function, termination analysis |
10 | Dan Alistarh, Seth Gilbert, Rachid Guerraoui, Corentin Travers |
Of Choices, Failures and Asynchrony: The Many Faces of Set Agreement. |
ISAAC |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Claude Castelluccia, Aurélien Francillon, Daniele Perito, Claudio Soriente |
On the difficulty of software-based attestation of embedded devices. |
CCS |
2009 |
DBLP DOI BibTeX RDF |
indisputable code execution, return-oriented programming, software-based attestation, swatt, wireless sensor networks, embedded systems, code compression |
10 | Amir M. Ben-Amram |
Size-Change Termination, Monotonicity Constraints and Ranking Functions. |
CAV |
2009 |
DBLP DOI BibTeX RDF |
|
10 | François Bonnet 0001, Michel Raynal |
Looking for the Weakest Failure Detector for k-Set Agreement in Message-Passing Systems: Is ${\it \Pi}_k${\it \Pi}_k the End of the Road? |
SSS |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Yury Lifshits, Shengyu Zhang 0002 |
Combinatorial algorithms for nearest neighbors, near-duplicates and small-world design. |
SODA |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Marco Canini, Wei Li 0009, Andrew W. Moore 0002, Raffaele Bolla |
GTVS: Boosting the Collection of Application Traffic Ground Truth. |
TMA |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Thomas Meinl, Benjamin Blau |
Web service derivatives. |
WWW |
2009 |
DBLP DOI BibTeX RDF |
incomplete markets, web services, wavelets, derivatives, services mashups |
10 | Jurek Czyzowicz, Arnaud Labourel, Andrzej Pelc |
Optimality and Competitiveness of Exploring Polygons by Mobile Robots. |
ESA |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Daniel Leivant |
On the Completeness of Dynamic Logic. |
FoSSaCS |
2009 |
DBLP DOI BibTeX RDF |
inductive completeness, relative completeness, arithmetical completeness, Dynamic logic |
10 | Fangzhen Lin |
Two Applications of Computer-Aided Theorem Discovery and Verification. |
KSEM |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Gaëtan Mourmant |
A necessary clarification of the unfolding model of voluntary turnover. |
CPR |
2009 |
DBLP DOI BibTeX RDF |
job turnover, unfolding model of job turnover, classification |
10 | Juan Carlos García, Stefan Beyer, Pablo Galdámez |
A Stability Criteria Membership Protocol for Ad Hoc Networks. |
OTM Conferences (1) |
2009 |
DBLP DOI BibTeX RDF |
stability criteria, distributed systems, ad hoc networks, consensus, group membership |
10 | M. Julia Flores, José A. Gámez 0001, Ana M. Martínez, José Miguel Puerta |
HODE: Hidden One-Dependence Estimator. |
ECSQARU |
2009 |
DBLP DOI BibTeX RDF |
AODE, SPODE, Classification, Bayesian Networks, Bayesian Classifiers, ODE |
10 | Ioannis Chatzigiannakis, Othon Michail, Paul G. Spirakis |
Brief Announcement: Decidable Graph Languages by Mediated Population Protocols. |
DISC |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Achour Mostéfaoui |
What Agreement Problems Owe Michel. |
DISC |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Jean-Michel Hélary |
Computing, Observing, Controlling, Checkpointing: Symbiosis Is Even Better Than Agreement! |
DISC |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Louis Salvail, Christian Schaffner, Miroslava Sotáková |
On the Power of Two-Party Quantum Cryptography. |
ASIACRYPT |
2009 |
DBLP DOI BibTeX RDF |
two-party primitives, quantum protocols, oblivious transfer, quantum information theory |
10 | Andrew Baumann, Paul Barham 0001, Pierre-Évariste Dagand, Tim Harris 0001, Rebecca Isaacs, Simon Peter 0001, Timothy Roscoe, Adrian Schüpbach, Akhilesh Singhania |
The multikernel: a new OS architecture for scalable multicore systems. |
SOSP |
2009 |
DBLP DOI BibTeX RDF |
scalability, message passing, multicore processors |
10 | Paolo Penna, Carmine Ventre |
Optimal collusion-resistant mechanisms with verification. |
EC |
2009 |
DBLP DOI BibTeX RDF |
transferable utilities, algorithmic mechanism design, collusion |
10 | Kai-Yuen Cheong, Takeshi Koshiba, Shohei Nishiyama |
Strengthening the Security of Distributed Oblivious Transfer. |
ACISP |
2009 |
DBLP DOI BibTeX RDF |
oblivious transfer, information theoretic security, secret sharing scheme |
10 | Eike Kiltz, Krzysztof Pietrzak |
On the Security of Padding-Based Encryption Schemes - or - Why We Cannot Prove OAEP Secure in the Standard Model. |
EUROCRYPT |
2009 |
DBLP DOI BibTeX RDF |
Padding-based encryption, ideal trapdoor permutations, black-box, OAEP |