Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
16 | Gio Wiederhold |
The Impossibility of Global Consistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OMICS ![In: OMICS 7(1), pp. 17-20, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Pattern Recognit. Lett. ![In: Pattern Recognit. Lett. 24(16), pp. 2909-2911, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Ueli Maurer, Renato Renner, Clemens Holenstein |
Indifferentiability, Impossibility Results on Reductions, and Applications to the Random Oracle Methodology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2003, pp. 161, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
16 | Elchanan Mossel |
On the Impossibility of Reconstructing Ancestral Data and Phylogenies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Biol. ![In: J. Comput. Biol. 10(5), pp. 669-676, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Bo Brinkman, Moses Charikar |
On the Impossibility of Dimension Reduction in l1. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 44th Symposium on Foundations of Computer Science (FOCS 2003), 11-14 October 2003, Cambridge, MA, USA, Proceedings, pp. 514-523, 2003, IEEE Computer Society, 0-7695-2040-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Yehuda Lindell |
Brief announcement: impossibility results for concurrent secure two-party computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the Twenty-Second ACM Symposium on Principles of Distributed Computing, PODC 2003, Boston, Massachusetts, USA, July 13-16, 2003, pp. 200, 2003, ACM, 1-58113-708-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Miki Kato, Shinji Ohseto |
Toward general impossibility theorems in pure exchange economies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soc. Choice Welf. ![In: Soc. Choice Welf. 19(3), pp. 659-664, 2002. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDP ![In: 10th Euromicro Workshop on Parallel, Distributed and Network-Based Processing (PDP 2002), 9-11 January 2002, Canary Islands, Spain, pp. 99-, 2002, IEEE Computer Society, 0-7695-1444-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 43rd Symposium on Foundations of Computer Science (FOCS 2002), 16-19 November 2002, Vancouver, BC, Canada, Proceedings, pp. 471-480, 2002, IEEE Computer Society, 0-7695-1822-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Jon M. Kleinberg |
An Impossibility Theorem for Clustering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NIPS ![In: Advances in Neural Information Processing Systems 15 [Neural Information Processing Systems, NIPS 2002, December 9-14, 2002, Vancouver, British Columbia, Canada], pp. 446-453, 2002, MIT Press, 0-262-02550-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
16 | Marc Fischlin |
On the Impossibility of Constructing Non-interactive Statistically-Secret Protocols from Any Trapdoor One-Way Function. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CT-RSA ![In: Topics in Cryptology - CT-RSA 2002, The Cryptographer's Track at the RSA Conference, 2002, San Jose, CA, USA, February 18-22, 2002, Proceedings, pp. 79-95, 2002, Springer, 3-540-43224-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Valentino Dardanoni |
A pedagogical proof of Arrow's Impossibility Theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soc. Choice Welf. ![In: Soc. Choice Welf. 18(1), pp. 107-112, 2001. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 80(2), pp. 105-111, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Yael Gertner, Tal Malkin, Omer Reingold |
On the Impossibility of Basing Trapdoor Functions on Trapdoor Predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 42nd Annual Symposium on Foundations of Computer Science, FOCS 2001, 14-17 October 2001, Las Vegas, Nevada, USA, pp. 126-135, 2001, IEEE Computer Society, 0-7695-1390-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Yevgeniy Dodis |
Impossibility of Black-Box Reduction from Non-Adaptively to Adaptively Secure Coin-Flipping ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Colloquium Comput. Complex. ![In: Electron. Colloquium Comput. Complex. TR00, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
16 | David H. Wolpert |
On the computational capabilities of physical systems part I: the impossibility of infallible computation ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR physics/0005058, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
16 | John H. Reif |
On the Impossibility of Interaction-Free Quantum Sensing for Small I/O Bandwidth. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 163(1), pp. 103-122, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
16 | S. Ramesh 0001, Chandrashekar M. Shetty |
Impossibility of Synchronization in the Presence of Preemption. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Parallel Process. Lett. ![In: Parallel Process. Lett. 8(1), pp. 111-120, 1998. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 1998, pp. 17, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
16 | Maurice Pouzet |
A projection property and Arrow's impossibility theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 192(1-3), pp. 293-308, 1998. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPP ![In: 1998 International Conference on Parallel Processing (ICPP '98), 10-14 August 1998, Minneapolis, Minnesota, USA, Proceedings, pp. 37-44, 1998, IEEE Computer Society, 0-8186-8650-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
16 | Costas Busch, Marios Mavronicolas |
Impossibility Results for Weak Threshold Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 63(2), pp. 85-90, 1997. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Syst. Sci. ![In: Int. J. Syst. Sci. 28(11), pp. 1177-1187, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
16 | Rosaria Conte, Cristiano Castelfranchi, Roberto Pedone |
The Impossibility of Modelling Cooperation in PD-Game. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ModelAge Workshop ![In: Formal Models of Agents, ESPRIT Project ModelAge Final Workshop, Selected Papers, pp. 74-89, 1997, Springer, 3-540-67027-0. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
16 | Gadi Taubenfeld, Shlomo Moran |
Possibility and Impossibility Results in a Shared Memory Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 33(1), pp. 1-20, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
16 | K. T. Arasu 0001, Alexander Pott |
Impossibility of a Certain Cyclotomic Equation with Applications to Difference Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Des. Codes Cryptogr. ![In: Des. Codes Cryptogr. 8(1-2), pp. 23-27, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
16 | Pierre Hansen, Fred S. Roberts |
An Impossibility Result in Axiomatic Location Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Oper. Res. ![In: Math. Oper. Res. 21(1), pp. 195-208, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
16 | Aleta Ricciardi |
Impossibility of (Repeated) Reliable Broadcast (Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the Fifteenth Annual ACM Symposium on Principles of Distributed Computing, Philadelphia, Pennsylvania, USA, May 23-26, 1996, pp. 342, 1996, ACM, 0-89791-800-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
16 | Tushar Deepak Chandra, Vassos Hadzilacos, Sam Toueg, Bernadette Charron-Bost |
On the Impossibility of Group Membership. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the Fifteenth Annual ACM Symposium on Principles of Distributed Computing, Philadelphia, Pennsylvania, USA, May 23-26, 1996, pp. 322-330, 1996, ACM, 0-89791-800-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
16 | Jin-yi Cai, Suresh Chari |
On the Impossibility of Amplifying the Independence of Random Variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Random Struct. Algorithms ![In: Random Struct. Algorithms 7(4), pp. 301-310, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Uriel Feige, Joe Kilian |
Impossibility results for recycling random bits in two-prover proof systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STOC ![In: Proceedings of the Twenty-Seventh Annual ACM Symposium on Theory of Computing, 29 May-1 June 1995, Las Vegas, Nevada, USA, pp. 457-468, 1995, ACM, 0-89791-718-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DBPL ![In: Database Programming Languages (DBPL-5), Proceedings of the Fifth International Workshop on Database Programming Languages, Gubbio, Umbria, Italy, 6-8 September 1995, pp. 7, 1995, Springer, 3-540-76086-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
16 | Gadi Taubenfeld, Shmuel Katz, Shlomo Moran |
Impossibility Results in the Presence of Multiple Faulty Processes ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 113(2), pp. 173-198, September 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Yih-Kuen Tsay, Rajive L. Bagrodia |
Some Impossibility Results in Interprocess Synchronization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Distributed Comput. ![In: Distributed Comput. 6(4), pp. 221-231, 1993. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 40(5), pp. 1087-1107, 1993. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Circuit Theory Appl. ![In: Int. J. Circuit Theory Appl. 21(4), pp. 415-420, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
16 | Elizabeth Borowsky, Eli Gafni |
Generalized FLP impossibility result for t-resilient asynchronous computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STOC ![In: Proceedings of the Twenty-Fifth Annual ACM Symposium on Theory of Computing, May 16-18, 1993, San Diego, CA, USA, pp. 91-100, 1993, ACM, 0-89791-591-7. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
16 | Keith Rapley |
A Plausible Impossibility: Supporting Top Executives with Information Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Human, Organizational, and Social Dimensions of Information Systems Development ![In: Human, Organizational, and Social Dimensions of Information Systems Development, Proceedings of the IFIP WG8.2 Working Group Information Systems Development: Human, Social, and Organizational Aspects, Nordwijkerhout, The Netherlands, 17-19 May, 1993, pp. 375-380, 1993, North-Holland, 0-444-89983-9. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
16 | Oliver Schoett |
Two Impossibility Theorems on Behaviour Specification of Abstract Data Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 29(6/7), pp. 595-621, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
16 | Prasad Jayanti, Sam Toueg |
Some Results on the Impossibility, Universality, and Decidability of Consensus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WDAG ![In: Distributed Algorithms, 6th International Workshop, WDAG '92, Haifa, Israel, November 2-4, 1992, Proceedings, pp. 69-84, 1992, Springer, 3-540-56188-9. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
16 | Larry Wos |
The Impossibility of the Automation of Logical Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-11, 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992, Proceedings, pp. 1-3, 1992, Springer, 3-540-55602-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
16 | Maurice Herlihy |
Impossibility Results for Asynchronous PRAM (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPAA ![In: Proceedings of the 3rd Annual ACM Symposium on Parallel Algorithms and Architectures, SPAA '91, Hilton Head, South Carolina, USA, July 21-24, 1991, pp. 327-336, 1991, ACM, 0-89791-438-4. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
16 | D. C. Handscomb |
Impossibility of a Conic Through Six Points. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM Rev. ![In: SIAM Rev. 32(2), pp. 300-301, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
16 | David Makinson |
The Gärdenfors impossibility theorem in non-monotonic contexts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 49(1), pp. 1-6, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
16 | Dorit S. Hochbaum |
On the Impossibility of Strongly Polynomial Algorithms for the Allocation Problem and its Extensions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPCO ![In: Proceedings of the 1st Integer Programming and Combinatorial Optimization Conference, Waterloo, Ontorio, Canada, May 28-30 1990, pp. 261-273, 1990, University of Waterloo Press, 0-88898-099-X. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
16 | Gerhard Friedrich, Georg Gottlob, Wolfgang Nejdl |
Physical Impossibility Instead of Fault Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Proceedings of the 8th National Conference on Artificial Intelligence. Boston, Massachusetts, USA, July 29 - August 3, 1990, 2 Volumes., pp. 331-336, 1990, AAAI Press / The MIT Press, 0-262-51057-X. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
16 | Alan D. Fekete, Nancy A. Lynch |
The Need for Headers: An Impossibility Result for Communication over Unreliable Channels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '90, Theories of Concurrency: Unification and Extension, Amsterdam, The Netherlands, August 27-30, 1990, Proceedings, pp. 199-215, 1990, Springer, 3-540-53048-7. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
16 | James L. McInnes, Benny Pinkas |
On the Impossibility of Private Key Cryptography with Weakly Random Keys. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRYPTO ![In: Advances in Cryptology - CRYPTO '90, 10th Annual International Cryptology Conference, Santa Barbara, California, USA, August 11-15, 1990, Proceedings, pp. 421-435, 1990, Springer, 3-540-54508-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Discret. Math. ![In: SIAM J. Discret. Math. 2(1), pp. 48-50, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
16 | Gadi Taubenfeld, Shlomo Moran |
Possibility and Impossibility Results in a Shared Memory Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WDAG ![In: Distributed Algorithms, 3rd International Workshop, Nice, France, September 26-28, 1989, Proceedings, pp. 254-267, 1989, Springer, 3-540-51687-5. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
16 | Yuliang Zheng 0001, Tsutomu Matsumoto, Hideki Imai |
Impossibility and Optimality Results on Constructing Pseudorandom Permutations (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCRYPT ![In: Advances in Cryptology - EUROCRYPT '89, Workshop on the Theory and Application of of Cryptographic Techniques, Houthalen, Belgium, April 10-13, 1989, Proceedings, pp. 412-422, 1989, Springer, 3-540-53433-4. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
16 | Nancy A. Lynch |
A Hundred Impossibility Proofs for Distributed Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the Eighth Annual ACM Symposium on Principles of Distributed Computing, Edmonton, Alberta, Canada, August 14-16, 1989, pp. 1-28, 1989, ACM, 0-89791-326-4. The full citation details ...](Pics/full.jpeg) |
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 ℝ. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Log. Q. ![In: Math. Log. Q. 34(4), pp. 305-307, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
16 | Robert J. MacG. Dawson |
On the impossibility of packing space with different cubes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comb. Theory, Ser. A ![In: J. Comb. Theory, Ser. A 48(2), pp. 174-188, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
16 | Nancy A. Lynch, Yishay Mansour, Alan D. Fekete |
Data Link Layer: Two Impossibility Results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the Seventh Annual ACM Symposium on Principles of Distributed Computing, Toronto, Ontario, Canada, August 15-17, 1988, pp. 149-170, 1988, ACM, 0-89791-277-2. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
16 | Maurice Herlihy |
Impossibility and Universality Results for Wait-Free Synchronization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the Seventh Annual ACM Symposium on Principles of Distributed Computing, Toronto, Ontario, Canada, August 15-17, 1988, pp. 276-290, 1988, ACM, 0-89791-277-2. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
16 | Shlomo Moran, Yaron Wolfstahl |
Extended Impossibility Results for Asynchronous Complete Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 26(3), pp. 145-151, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
16 | Douglas R. Woodall |
An impossibility theorem for electoral systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 66(1-2), pp. 209-211, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
16 | Michael J. Fischer, Nancy A. Lynch, Michael Merritt |
Easy Impossibility Proofs for Distributed Consensus Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Distributed Comput. ![In: Distributed Comput. 1(1), pp. 26-39, 1986. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
16 | Satoshi Okawa, Sadaki Hirose, Masaaki Yoneda |
On the Impossibility of the Homomorphic Characterization of Context-Sensitive Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 44, pp. 225-228, 1986. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
16 | Danny Dolev, Joseph Y. Halpern, H. Raymond Strong |
On the Possibility and Impossibility of Achieving Clock Synchronization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Syst. Sci. ![In: J. Comput. Syst. Sci. 32(2), pp. 230-250, 1986. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 32, pp. 291-297, 1986. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Control. ![In: Inf. Control. 71(1/2), pp. 131-142, October/November 1986. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
16 | Michael J. Fischer, Nancy A. Lynch, Mike Paterson |
Impossibility of Distributed Consensus with One Faulty Process ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 32(2), pp. 374-382, April 1985. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
16 | Michael J. Fischer, Nancy A. Lynch, Michael Merritt |
Easy Impossibility Proofs for Distributed Consensus Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the Fourth Annual ACM Symposium on Principles of Distributed Computing, Minaki, Ontario, Canada, August 5-7, 1985, pp. 59-70, 1985, ACM, 0-89791-167-9. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
16 | Danny Dolev, Joseph Y. Halpern, H. Raymond Strong |
On the Possibility and Impossibility of Achieving Clock Synchronization ![Search on Bibsonomy](Pics/bibsonomy.png) |
STOC ![In: Proceedings of the 16th Annual ACM Symposium on Theory of Computing, April 30 - May 2, 1984, Washington, DC, USA, pp. 504-511, 1984, ACM. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
16 | Michael J. Fischer, Nancy A. Lynch, Mike Paterson |
Impossibility of Distributed Consensus with One Faulty Process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Second ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, March 21-23, 1983, Colony Square Hotel, Atlanta, Georgia, USA, pp. 1-7, 1983, ACM, 0-89791-097-4. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
16 | William G. Bridges, Sam Toueg |
On the impossibility of Directed Moore Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comb. Theory, Ser. B ![In: J. Comb. Theory, Ser. B 29(3), pp. 339-341, 1980. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
16 | Richard Routley |
Repairing proofs of Arrow's general impossibility theorem and enlarging the scope of the theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Notre Dame J. Formal Log. ![In: Notre Dame J. Formal Log. 20(4), pp. 879-890, 1979. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
16 | Arthur C. Fleck |
On the impossibility of content exchange through the by-name parameter transmission mechanism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 11(11), pp. 38-41, 1976. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
16 | Ján Plesník |
One method for proving the impossibility of certain Moore graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 8(4), pp. 363-376, 1974. The full citation details ...](Pics/full.jpeg) |
1974 |
DBLP DOI BibTeX RDF |
|
16 | Alistair H. Lachlan |
The Impossibility of finding Relative Complements for Recursively Enumerable Degrees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 31(3), pp. 434-454, 1966. The full citation details ...](Pics/full.jpeg) |
1966 |
DBLP DOI BibTeX RDF |
|
10 | Sven Seuken, Denis Xavier Charles, Max Chickering, Sidd Puri |
Market design & analysis for a P2P backup system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EC ![In: Proceedings 11th ACM Conference on Electronic Commerce (EC-2010), Cambridge, Massachusetts, USA, June 7-11, 2010, pp. 97-108, 2010, ACM, 978-1-60558-822-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
exchange market, online backup, p2p, market design |
10 | Shaddin Dughmi, Arpita Ghosh |
Truthful assignment without money. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EC ![In: Proceedings 11th ACM Conference on Electronic Commerce (EC-2010), Cambridge, Massachusetts, USA, June 7-11, 2010, pp. 325-334, 2010, ACM, 978-1-60558-822-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
truthfulness without money, mechanism design |
10 | Eric A. Brewer |
A certain freedom: thoughts on the CAP theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the 29th Annual ACM Symposium on Principles of Distributed Computing, PODC 2010, Zurich, Switzerland, July 25-28, 2010, pp. 335, 2010, ACM, 978-1-60558-888-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STOC ![In: Proceedings of the 42nd ACM Symposium on Theory of Computing, STOC 2010, Cambridge, Massachusetts, USA, 5-8 June 2010, pp. 775-784, 2010, ACM, 978-1-4503-0050-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
reconstruction attacks, data privacy, differential privacy, random matrices |
10 | Elizabeth Barnes |
Indeterminacy, identity and counterparts: Evans reconsidered. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 168(1), pp. 81-96, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Sci. Technol. ![In: J. Comput. Sci. Technol. 24(3), pp. 418-433, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
lower bound, efficiency, condition, synchronous system, agreement problem |
10 | Chin Soon Lee |
Ranking functions for size-change termination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 31(3), pp. 10:1-10:42, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISAAC ![In: Algorithms and Computation, 20th International Symposium, ISAAC 2009, Honolulu, Hawaii, USA, December 16-18, 2009. Proceedings, pp. 943-953, 2009, Springer, 978-3-642-10630-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCS ![In: Proceedings of the 2009 ACM Conference on Computer and Communications Security, CCS 2009, Chicago, Illinois, USA, November 9-13, 2009, pp. 400-409, 2009, ACM, 978-1-60558-894-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings, pp. 109-123, 2009, Springer, 978-3-642-02657-7. The full citation details ...](Pics/full.jpeg) |
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? ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings, pp. 149-164, 2009, Springer, 978-3-642-05117-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Yury Lifshits, Shengyu Zhang 0002 |
Combinatorial algorithms for nearest neighbors, near-duplicates and small-world design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SODA ![In: Proceedings of the Twentieth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2009, New York, NY, USA, January 4-6, 2009, pp. 318-326, 2009, SIAM, 978-0-89871-680-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TMA ![In: Traffic Monitoring and Analysis, First International Workshop, TMA 2009, Aachen, Germany, May 11, 2009. Proceedings, pp. 54-63, 2009, Springer, 978-3-642-01644-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Thomas Meinl, Benjamin Blau |
Web service derivatives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW ![In: Proceedings of the 18th International Conference on World Wide Web, WWW 2009, Madrid, Spain, April 20-24, 2009, pp. 271-280, 2009, ACM, 978-1-60558-487-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESA ![In: Algorithms - ESA 2009, 17th Annual European Symposium, Copenhagen, Denmark, September 7-9, 2009. Proceedings, pp. 263-274, 2009, Springer, 978-3-642-04127-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Daniel Leivant |
On the Completeness of Dynamic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computational Structures, 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings, pp. 78-91, 2009, Springer, 978-3-642-00595-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KSEM ![In: Knowledge Science, Engineering and Management, Third International Conference, KSEM 2009, Vienna, Austria, November 25-27, 2009. Proceedings, pp. 2, 2009, Springer, 978-3-642-10487-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Gaëtan Mourmant |
A necessary clarification of the unfolding model of voluntary turnover. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPR ![In: Proceedings of the 2009 ACM SIGMIS CPR Conference on Computer Personnel Research 2009, May 28-30, 2009, Limerick, Ireland, pp. 143-152, 2009, ACM, 978-1-60558-427-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM Conferences (1) ![In: On the Move to Meaningful Internet Systems: OTM 2009, Confederated International Conferences, CoopIS, DOA, IS, and ODBASE 2009, Vilamoura, Portugal, November 1-6, 2009, Proceedings, Part I, pp. 690-707, 2009, Springer, 978-3-642-05147-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECSQARU ![In: Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009. Proceedings, pp. 481-492, 2009, Springer, 978-3-642-02905-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DISC ![In: Distributed Computing, 23rd International Symposium, DISC 2009, Elche, Spain, September 23-25, 2009. Proceedings, pp. 239-240, 2009, Springer, 978-3-642-04354-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Achour Mostéfaoui |
What Agreement Problems Owe Michel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DISC ![In: Distributed Computing, 23rd International Symposium, DISC 2009, Elche, Spain, September 23-25, 2009. Proceedings, pp. 5, 2009, Springer, 978-3-642-04354-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Jean-Michel Hélary |
Computing, Observing, Controlling, Checkpointing: Symbiosis Is Even Better Than Agreement! ![Search on Bibsonomy](Pics/bibsonomy.png) |
DISC ![In: Distributed Computing, 23rd International Symposium, DISC 2009, Elche, Spain, September 23-25, 2009. Proceedings, pp. 3-4, 2009, Springer, 978-3-642-04354-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Louis Salvail, Christian Schaffner, Miroslava Sotáková |
On the Power of Two-Party Quantum Cryptography. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIACRYPT ![In: Advances in Cryptology - ASIACRYPT 2009, 15th International Conference on the Theory and Application of Cryptology and Information Security, Tokyo, Japan, December 6-10, 2009. Proceedings, pp. 70-87, 2009, Springer, 978-3-642-10365-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOSP ![In: Proceedings of the 22nd ACM Symposium on Operating Systems Principles 2009, SOSP 2009, Big Sky, Montana, USA, October 11-14, 2009, pp. 29-44, 2009, ACM, 978-1-60558-752-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
scalability, message passing, multicore processors |
10 | Paolo Penna, Carmine Ventre |
Optimal collusion-resistant mechanisms with verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EC ![In: Proceedings 10th ACM Conference on Electronic Commerce (EC-2009), Stanford, California, USA, July 6--10, 2009, pp. 147-156, 2009, ACM, 978-1-60558-458-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACISP ![In: Information Security and Privacy, 14th Australasian Conference, ACISP 2009, Brisbane, Australia, July 1-3, 2009, Proceedings, pp. 377-388, 2009, Springer, 978-3-642-02619-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCRYPT ![In: Advances in Cryptology - EUROCRYPT 2009, 28th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Cologne, Germany, April 26-30, 2009. Proceedings, pp. 389-406, 2009, Springer, 978-3-642-01000-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Padding-based encryption, ideal trapdoor permutations, black-box, OAEP |