|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 289 occurrences of 237 keywords
|
|
|
Results
Found 902 publication records. Showing 902 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
125 | Miao Ma |
Mitigating Denial of Service Attacks with Password Puzzles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITCC (2) ![In: International Symposium on Information Technology: Coding and Computing (ITCC 2005), Volume 2, 4-6 April 2005, Las Vegas, Nevada, USA, pp. 621-626, 2005, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
113 | Martin Henz, Hoang-Minh Truong |
SudokuSat-A Tool for Analyzing Difficult Sudoku Puzzles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Tools and Applications with Artificial Intelligence ![In: Tools and Applications with Artificial Intelligence, pp. 25-35, 2009, Springer, 978-3-540-88068-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
113 | Ran Canetti, Shai Halevi, Michael Steiner 0001 |
Hardness Amplification of Weakly Verifiable Puzzles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TCC ![In: Theory of Cryptography, Second Theory of Cryptography Conference, TCC 2005, Cambridge, MA, USA, February 10-12, 2005, Proceedings, pp. 17-33, 2005, Springer, 3-540-24573-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
101 | Wu-chi Feng, Edward C. Kaiser, A. Luu |
Design and implementation of network puzzles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFOCOM ![In: INFOCOM 2005. 24th Annual Joint Conference of the IEEE Computer and Communications Societies, 13-17 March 2005, Miami, FL, USA, pp. 2372-2382, 2005, IEEE, 0-7803-8968-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
94 | Suratose Tritilanunt, Colin Boyd, Ernest Foo, Juan Manuel González Nieto |
Toward Non-parallelizable Client Puzzles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CANS ![In: Cryptology and Network Security, 6th International Conference, CANS 2007, Singapore, December 8-10, 2007, Proceedings, pp. 247-264, 2007, Springer, 978-3-540-76968-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Non-Parallelizable Cryptographic Puzzles, Client Puzzles, Denial of Service Attacks |
89 | Liqun Chen 0002, Paul Morrissey, Nigel P. Smart, Bogdan Warinschi |
Security Notions and Generic Constructions for Client Puzzles. ![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. 505-523, 2009, Springer, 978-3-642-10365-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
85 | Helmut Alt, Hans L. Bodlaender, Marc J. van Kreveld, Günter Rote, Gerard Tel |
Wooden Geometric Puzzles: Design and Hardness Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Comput. Syst. ![In: Theory Comput. Syst. 44(2), pp. 160-174, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Geometric puzzles, Complexity, Partition |
82 | Brent Waters, Ari Juels, J. Alex Halderman, Edward W. Felten |
New client puzzle outsourcing techniques for DoS resistance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCS ![In: Proceedings of the 11th ACM Conference on Computer and Communications Security, CCS 2004, Washington, DC, USA, October 25-29, 2004, pp. 246-256, 2004, ACM, 1-58113-961-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
DoS, denial-of-service, client puzzles |
73 | Benedek Nagy, Gerard Allwein |
Diagrams and Non-monotonicity in Puzzles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference, Third International Conference, Diagrams 2004, Cambridge, UK, March 22-24, 2004, Proceedings, pp. 82-96, 2004, Springer, 3-540-21268-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
diagrammatic reasoning, Puzzles, non-monotonic reasoning |
70 | XiaoFeng Wang 0001, Michael K. Reiter |
A multi-layer framework for puzzle-based denial-of-service defense. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Inf. Sec. ![In: Int. J. Inf. Sec. 7(4), pp. 243-263, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Denial of service, Network protocols, Client puzzles |
64 | Petri Ihantola, Ville Karavirta |
Open source widget for parson's puzzles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE ![In: Proceedings of the 15th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2010, Bilkent, Ankara, Turkey, June 26-30, 2010, pp. 302, 2010, ACM, 978-1-60558-729-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
parsons problems, cs1, automatic assessment |
64 | Timo Mantere, Janne Koljonen |
Solving, rating and generating Sudoku puzzles with GA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Congress on Evolutionary Computation ![In: Proceedings of the IEEE Congress on Evolutionary Computation, CEC 2007, 25-28 September 2007, Singapore, pp. 1382-1389, 2007, IEEE, 978-1-4244-1339-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
64 | Helmut Alt, Hans L. Bodlaender, Marc J. van Kreveld, Günter Rote, Gerard Tel |
Wooden Geometric Puzzles: Design and Hardness Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FUN ![In: Fun with Algorithms, 4th International Conference, FUN 2007, Castiglioncello, Italy, June 3-5, 2007, Proceedings, pp. 16-29, 2007, Springer, 978-3-540-72913-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
64 | SeungEun Cha, DaiYoung Kwon, Won-Gyu Lee |
Using puzzles: problem-solving and abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGITE Conference ![In: Proceedings of the 8th Conference on Information Technology Education, SIGITE 2007, Destin, Florida, USA, October 18-20, 2007, pp. 135-140, 2007, ACM, 978-1-59593-920-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
teaching/learning strategy, abstraction, programming, generalization, problem-solving, novice, puzzle |
64 | Wu-chang Feng |
The case for TCP/IP puzzles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Commun. Rev. ![In: Comput. Commun. Rev. 33(4), pp. 322-327, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
64 | David Goldberg 0001, Christopher Malon, Marshall W. Bern |
A global approach to automatic solution of jigsaw puzzles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCG ![In: Proceedings of the 18th Annual Symposium on Computational Geometry, Barcelona, Spain, June 5-7, 2002, pp. 82-87, 2002, ACM, 1-58113-504-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
fiducial points, shape matching, mesh smoothing |
61 | Rand Methfessel |
Implementing an Access and Object Oriented Paradigm in a Language That Supports Neither. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 22(4), pp. 83-93, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
C |
61 | Ivan Martinovic, Frank A. Zdarsky, Matthias Wilhelm 0001, Christian Wegmann, Jens B. Schmitt |
Wireless client puzzles in IEEE 802.11 networks: security by wireless. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WISEC ![In: Proceedings of the First ACM Conference on Wireless Network Security, WISEC 2008, Alexandria, VA, USA, March 31 - April 02, 2008, pp. 36-45, 2008, ACM, 978-1-59593-814-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
denial-of-service (DoS), wireless security, impersonation attacks, client puzzles |
61 | M. R. K. Krishna Rao |
Storytelling and puzzles in a software engineering course. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 37th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 2006, Houston, Texas, USA, March 3-5, 2006, pp. 418-422, 2006, ACM, 1-59593-259-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
active learning, storytelling, puzzles |
61 | Anany Levitin |
Analyze that: puzzles and analysis of algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 36th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 2005, St. Louis, Missouri, USA, February 23-27, 2005, pp. 171-175, 2005, ACM, 1-58113-997-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
pedagogy, algorithm analysis, puzzles |
52 | Sujata Doshi, Fabian Monrose, Aviel D. Rubin |
Efficient Memory Bound Puzzles Using Pattern Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACNS ![In: Applied Cryptography and Network Security, 4th International Conference, ACNS 2006, Singapore, June 6-9, 2006, Proceedings, pp. 98-113, 2006, 3-540-34703-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
52 | John Cigas, Wen-Jung Hsin |
Teaching proofs and algorithms in discrete mathematics with online visual logic puzzles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM J. Educ. Resour. Comput. ![In: ACM J. Educ. Resour. Comput. 5(2), pp. 2:1-2:12, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
education, Logic, proof |
52 | XiaoFeng Wang 0001, Michael K. Reiter |
Mitigating bandwidth-exhaustion attacks using congestion puzzles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCS ![In: Proceedings of the 11th ACM Conference on Computer and Communications Security, CCS 2004, Washington, DC, USA, October 25-29, 2004, pp. 257-267, 2004, ACM, 1-58113-961-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
denial of service, client puzzle |
52 | John M. D. Hill, Clark K. Ray, Jean R. S. Blair, Curtis A. Carver Jr. |
Puzzles and games: addressing different learning styles in teaching operating systems concepts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 34th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 2003, Reno, Nevada, USA, February 19-23, 2003, pp. 182-186, 2003, ACM, 1-58113-648-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
classroom games, operating systems, learning styles |
49 | Gilles Brassard, Louis Salvail |
Quantum Merkle Puzzles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICQNM ![In: Second International Conference on Quantum, Nano, and Micro Technologies, ICQNM 2008, February 10-15, 2008, Sainte Luce, Martinique, French Caribbean, pp. 76-79, 2008, IEEE Computer Society, 978-0-7695-3085-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Merkle Puzzles, Public Key Distribution, Quantum Cryptography |
47 | Thomas Gibson-Robinson, Philippa J. Hopcroft, Ranko Lazic 0001 (eds.) |
Concurrency, Security, and Puzzles - Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurrency, Security, and Puzzles ![Springer, 978-3-319-51045-3 The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
47 | Carroll Morgan |
A Demonic Lattice of Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurrency, Security, and Puzzles ![In: Concurrency, Security, and Puzzles - Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday, pp. 203-222, 2017, Springer, 978-3-319-51045-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
47 | Ranko Lazic 0001, Patrick Totzke |
What Makes Petri Nets Harder to Verify: Stack or Data? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurrency, Security, and Puzzles ![In: Concurrency, Security, and Puzzles - Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday, pp. 144-161, 2017, Springer, 978-3-319-51045-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
47 | Michael W. Mislove |
Discrete Random Variables Over Domains, Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurrency, Security, and Puzzles ![In: Concurrency, Security, and Puzzles - Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday, pp. 185-202, 2017, Springer, 978-3-319-51045-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
47 | Peter Y. A. Ryan |
A Brief History of Security Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurrency, Security, and Puzzles ![In: Concurrency, Security, and Puzzles - Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday, pp. 223-245, 2017, Springer, 978-3-319-51045-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
47 | Antti Valmari |
More Stubborn Set Methods for Process Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurrency, Security, and Puzzles ![In: Concurrency, Security, and Puzzles - Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday, pp. 246-271, 2017, Springer, 978-3-319-51045-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
47 | Jay Yantchev, Atanas N. Parashkevov |
Virtualization Based Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurrency, Security, and Puzzles ![In: Concurrency, Security, and Puzzles - Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday, pp. 294-318, 2017, Springer, 978-3-319-51045-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
47 | Henri Hansen |
Abstractions for Transition Systems with Applications to Stubborn Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurrency, Security, and Puzzles ![In: Concurrency, Security, and Puzzles - Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday, pp. 104-123, 2017, Springer, 978-3-319-51045-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
47 | Joshua D. Guttman |
Information Flow, Distributed Systems, and Refinement, by Example. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurrency, Security, and Puzzles ![In: Concurrency, Security, and Puzzles - Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday, pp. 88-103, 2017, Springer, 978-3-319-51045-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
47 | Gavin Lowe |
Analysing Lock-Free Linearizable Datatypes Using CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurrency, Security, and Puzzles ![In: Concurrency, Security, and Puzzles - Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday, pp. 162-184, 2017, Springer, 978-3-319-51045-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
47 | Chris Chilton, Marta Z. Kwiatkowska, Faron Moller, Xu Wang 0001 |
A Specification Theory of Real-Time Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurrency, Security, and Puzzles ![In: Concurrency, Security, and Puzzles - Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday, pp. 18-38, 2017, Springer, 978-3-319-51045-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
47 | Jifeng He 0001, Qin Li 0002 |
A Hybrid Relational Modelling Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurrency, Security, and Puzzles ![In: Concurrency, Security, and Puzzles - Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday, pp. 124-143, 2017, Springer, 978-3-319-51045-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
47 | Olga Chen, Catherine Meadows 0001, Gautam Trivedi |
Stealthy Protocols: Metrics and Open Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurrency, Security, and Puzzles ![In: Concurrency, Security, and Puzzles - Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday, pp. 1-17, 2017, Springer, 978-3-319-51045-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
47 | Thomas Gibson-Robinson, Guy H. Broadfoot, Gustavo Carvalho, Philippa J. Hopcroft, Gavin Lowe, Sidney C. Nogueira, Colin O'Halloran, Augusto Sampaio |
FDR: From Theory to Industrial Application. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurrency, Security, and Puzzles ![In: Concurrency, Security, and Puzzles - Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday, pp. 65-87, 2017, Springer, 978-3-319-51045-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
47 | Rob J. van Glabbeek |
A Branching Time Model of CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurrency, Security, and Puzzles ![In: Concurrency, Security, and Puzzles - Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday, pp. 272-293, 2017, Springer, 978-3-319-51045-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
47 | Simon Foster 0001, Jim Woodcock 0001 |
Towards Verification of Cyber-Physical Systems with UTP and Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurrency, Security, and Puzzles ![In: Concurrency, Security, and Puzzles - Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday, pp. 39-64, 2017, Springer, 978-3-319-51045-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
47 | Nikolay V. Shilov 0002, Kwang Yi |
Puzzles for Learning Model Checking, Model Checking for Programming Puzzles, Puzzles for Testing Model Checkers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM-Everywhere@FORTE/PSTV ![In: Formal Methods Elsewhere - a Satellite Workshop of FORTE-PSTV-2000 devoted to applications of formal methods to areas other than communication protocols and software engineering, FM-Elsewhere 2000, Pisa, Italy, October 2000, pp. 34-49, 2000, Elsevier. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
45 | Theodore Diament, Homin K. Lee, Angelos D. Keromytis, Moti Yung |
The dual receiver cryptosystem and its applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCS ![In: Proceedings of the 11th ACM Conference on Computer and Communications Security, CCS 2004, Washington, DC, USA, October 25-29, 2004, pp. 330-343, 2004, ACM, 1-58113-961-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
useful secure computation, digital signature, elliptic curves, public key, key escrow, puzzles, pairing-based cryptography |
45 | Clifford A. Pickover |
A note on visualizing the Omega Prism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Vis. Comput. ![In: Vis. Comput. 12(9), pp. 451-454, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Smooth numbers, Visualization, Perception, Lattices, Factorization, Puzzles |
40 | Yuji Sato, Hazuki Inoue |
Genetic operations to solve sudoku puzzles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO (Companion) ![In: Genetic and Evolutionary Computation Conference, GECCO 2010, Proceedings, Portland, Oregon, USA, July 7-11, 2010, Companion Material, pp. 2111-2112, 2010, ACM, 978-1-4503-0073-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
genetic algorithms, building blocks, genetic operation, sudoku |
40 | Erik D. Demaine |
Algorithms Meet Art, Puzzles, and Magic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESA ![In: Algorithms - ESA 2009, 17th Annual European Symposium, Copenhagen, Denmark, September 7-9, 2009. Proceedings, pp. 289, 2009, Springer, 978-3-642-04127-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
40 | Michael K. Reiter, Vyas Sekar, Chad Spensky, Zhenghao Zhang |
Making Peer-Assisted Content Distribution Robust to Collusion Using Bandwidth Puzzles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICISS ![In: Information Systems Security, 5th International Conference, ICISS 2009, Kolkata, India, December 14-18, 2009, Proceedings, pp. 132-147, 2009, Springer, 978-3-642-10771-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
40 | Erik D. Demaine |
Algorithms Meet Art, Puzzles, and Magic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADS ![In: Algorithms and Data Structures, 11th International Symposium, WADS 2009, Banff, Canada, August 21-23, 2009. Proceedings, pp. 193, 2009, Springer, 978-3-642-03366-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
40 | Carlos Ansótegui, Ramón Béjar, Cèsar Fernández, Carles Mateu |
Edge Matching Puzzles as Hard SAT/CSP Benchmarks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming, 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008. Proceedings, pp. 560-565, 2008, Springer, 978-3-540-85957-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
40 | Gregory R. Wheeler |
Two Puzzles Concerning Measures of Uncertainty and the Positive Boolean Connectives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EPIA Workshops ![In: Progress in Artificial Intelligence, 13th Portuguese Conference on Aritficial Intelligence, EPIA 2007, Workshops: GAIW, AIASTS, ALEA, AMITA, BAOSW, BI, CMBSB, IROBOT, MASTA, STCS, and TEMA, Guimarães, Portugal, December 3-7, 2007, Proceedings, pp. 170-180, 2007, Springer, 978-3-540-77000-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
40 | Robert R. Snapp |
A Puzzles-First approach to computer science. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE ![In: Proceedings of the 11th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2006, Bologna, Italy, June 26-28, 2006, pp. 310, 2006, ACM, 1-59593-055-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
40 | Wayne Wobcke |
An Analysis of Three Puzzles in the Logic of Intention. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australian Conference on Artificial Intelligence ![In: AI 2006: Advances in Artificial Intelligence, 19th Australian Joint Conference on Artificial Intelligence, Hobart, Australia, December 4-8, 2006, Proceedings, pp. 403-412, 2006, Springer, 3-540-49787-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
40 | Anany Levitin, Mary-Angela Papalaskari |
Using puzzles in teaching algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 33rd SIGCSE Technical Symposium on Computer Science Education, SIGCSE 2002, Cincinnati, Kentucky, USA, February 27 - March 3, 2002, pp. 292-296, 2002, ACM, 1-58113-473-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
37 | Yevgeniy Dodis, Russell Impagliazzo, Ragesh Jaiswal, Valentine Kabanets |
Security Amplification for InteractiveCryptographic Primitives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TCC ![In: Theory of Cryptography, 6th Theory of Cryptography Conference, TCC 2009, San Francisco, CA, USA, March 15-17, 2009. Proceedings, pp. 128-145, 2009, Springer, 978-3-642-00456-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
37 | Asma Cherif 0001, Abdessamad Imine |
Undo-Based Access Control for Distributed Collaborative Editors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDVE ![In: Cooperative Design, Visualization, and Engineering, 6th International Conference, CDVE 2009, Luxembourg, Luxembourg, September 20-23, 2009. Proceedings, pp. 101-108, 2009, Springer, 978-3-642-04264-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Selective Undo, Access Control, Operational Transformation, Collaborative Editors |
37 | Patrick P. Tsang, Sean W. Smith |
Combating Spam and Denial-of-Service Attacks with Trusted Puzzle Solvers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPEC ![In: Information Security Practice and Experience, 4th International Conference, ISPEC 2008, Sydney, Australia, April 21-23, 2008, Proceedings, pp. 188-202, 2008, Springer, 978-3-540-79103-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
37 | Mohammad Hassan Shirali-Shahreza, Mohammad Shirali-Shahreza |
Steganography in SMS by Sudoku puzzle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AICCSA ![In: The 6th ACS/IEEE International Conference on Computer Systems and Applications, AICCSA 2008, Doha, Qatar, March 31 - April 4, 2008, pp. 844-847, 2008, IEEE Computer Society, 978-1-4244-1967-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
37 | Teng-Wen Chang, Yuan-Bang Cheng |
Implementing an Interactive Collage Table System with Design Puzzle Exploration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (2) ![In: Human-Computer Interaction. Interaction Platforms and Techniques, 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part II, pp. 778-787, 2007, Springer, 978-3-540-73106-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
interactive collage table, design collage, multi-touch and sketch, design puzzle, design exploration |
37 | Ran Canetti, Shai Halevi, Michael Steiner 0001 |
Mitigating Dictionary Attacks on Password-Protected Local Storage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRYPTO ![In: Advances in Cryptology - CRYPTO 2006, 26th Annual International Cryptology Conference, Santa Barbara, California, USA, August 20-24, 2006, Proceedings, pp. 160-179, 2006, Springer, 3-540-37432-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
37 | Jiazhi Ou, Lui Min Oh, Susan R. Fussell, Tal Blum, Jie Yang 0001 |
Analyzing and predicting focus of attention in remote collaborative tasks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMI ![In: Proceedings of the 7th International Conference on Multimodal Interfaces, ICMI 2005, Trento, Italy, October 4-6, 2005, pp. 116-123, 2005, ACM, 1-59593-028-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
remote collaborative tasks, computer-supported cooperative work, eye tracking, focus of attention, keyword spotting |
37 | Robert A. Hearn, Erik D. Demaine |
The Nondeterministic Constraint Logic Model of Computation: Reductions and Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 29th International Colloquium, ICALP 2002, Malaga, Spain, July 8-13, 2002, Proceedings, pp. 401-413, 2002, Springer, 3-540-43864-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
37 | Suriadi Suriadi, Douglas Stebila, Andrew J. Clark, Hua Liu |
Defending Web Services against Denial of Service Attacks Using Client Puzzles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWS ![In: IEEE International Conference on Web Services, ICWS 2011, Washington, DC, USA, July 4-9, 2011, pp. 25-32, 2011, IEEE Computer Society, 978-1-4577-0842-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
web services, client puzzles, denial of service attacks |
37 | Ronen Gradwohl, Moni Naor, Benny Pinkas, Guy N. Rothblum |
Cryptographic and Physical Zero-Knowledge Proof Systems for Solutions of Sudoku Puzzles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Comput. Syst. ![In: Theory Comput. Syst. 44(2), pp. 245-268, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Cryptography, Zero-knowledge proofs, Puzzles |
37 | Rhyd Lewis |
Metaheuristics can solve sudoku puzzles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Heuristics ![In: J. Heuristics 13(4), pp. 387-401, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Metaheuristics, Phase-transition, Puzzles, Sudoku |
37 | Kevin J. Austin |
Puzzles (poster session): a tool for teaching knowledge based systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSE ![In: Proceedings of the ACM SIGCSE 4th Australasian Conference on Computer Science Education, ACSE 2000, Melbourne, Victoria, Australia, 2000, pp. 253, 2000, ACM, 1-58113-271-9. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
learning, knowledge based systems, interactive learning, puzzles |
33 | Richard E. Korf |
Linear-time disk-based implicit graph search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 55(6), pp. 26:1-26:40, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Rubik's Cube, magnetic disk storage, permutation encodings, sliding-tile puzzles, External memory, Towers of Hanoi |
33 | Zhen Lesley Xie, Alissa Nicole Antle, Nima Motamedi |
Are tangibles more fun?: comparing children's enjoyment and engagement using physical, graphical and tangible user interfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TEI ![In: Proceedings of the 2nd International Conference on Tangible and Embedded Interaction 2008, Bonn, Germany, February 18-20, 2008, pp. 191-198, 2008, ACM, 978-1-60558-004-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
interface style, children, tangible user interfaces, engagement, play, enjoyment, puzzles |
33 | Francis Sullivan |
Born to Compute. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Sci. Eng. ![In: Comput. Sci. Eng. 8(4), pp. 88, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
puzzles, Sudoku |
33 | Claude Castelluccia, Einar Mykletun, Gene Tsudik |
Improving secure server performance by re-balancing SSL/TLS handshakes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AsiaCCS ![In: Proceedings of the 2006 ACM Symposium on Information, Computer and Communications Security, ASIACCS 2006, Taipei, Taiwan, March 21-24, 2006, pp. 26-34, 2006, ACM, 1-59593-272-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
server-aided RSA, server-aided secure computation, load-balancing, denial-of-service, hardware accelerators, client puzzles |
33 | Richard E. Korf, Weixiong Zhang, Ignacio Thayer, Heath Hohwald |
Frontier search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 52(5), pp. 715-748, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
bidirectional search, sliding-tile puzzles, heuristic search, sequence alignment, Dijkstra's algorithm, breadth-first search, best-first search, A* algorithm, Towers of Hanoi |
33 | Ron Wakkary, Marek Hatala, Robb Lovell, Milena Droumeva |
An ambient intelligence platform for physical play. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Multimedia ![In: Proceedings of the 13th ACM International Conference on Multimedia, Singapore, November 6-11, 2005, pp. 764-773, 2005, ACM, 1-59593-044-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
sound ecology, user model, motion capture, ambient intelligence, embodied, auditory display, puzzles, responsive environment, physical play |
31 | Marie-Morgane Paumard |
Solving Jigsaw Puzzles with Deep Learning for Heritage. (Résolution automatique de puzzles par apprentissage profond). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2020 |
RDF |
|
31 | Ghous Amjad, Muhammad Shujaat Mirza, Christina Pöpper |
Forgetting with Puzzles: Using Cryptographic Puzzles to support Digital Forgetting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODASPY ![In: Proceedings of the Eighth ACM Conference on Data and Application Security and Privacy, CODASPY 2018, Tempe, AZ, USA, March 19-21, 2018, pp. 342-353, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
31 | Roderick Lottering, Robert Hans, Manoj Lall |
The Impact of Crossword Puzzles on Students' Performance: Does Pre-exposure to Puzzles Matter? ![Search on Bibsonomy](Pics/bibsonomy.png) |
TALE ![In: IEEE International Conference on Teaching, Assessment, and Learning for Engineering, TALE 2018, Wollongong, Australia, December 4-7, 2018, pp. 545-550, 2018, IEEE, 978-1-5386-6522-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
31 | Michael Brand |
No easy puzzles: Hardness results for jigsaw puzzles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 586, pp. 2-11, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
31 | Michael Brand |
No Easy Puzzles: A Hardness Result for Jigsaw Puzzles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FUN ![In: Fun with Algorithms - 7th International Conference, FUN 2014, Lipari Island, Sicily, Italy, July 1-3, 2014. Proceedings, pp. 64-73, 2014, Springer, 978-3-319-07889-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
31 | Yves Igor Jerschow, Martin Mauve |
Modular square root puzzles: Design of non-parallelizable and non-interactive client puzzles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Secur. ![In: Comput. Secur. 35, pp. 25-36, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
31 | Chao Yang 0003 |
Sliding puzzles and rotating puzzles on graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 311(14), pp. 1290-1294, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
31 | Hiroshi Higashida |
Machine-Made Puzzles and Hand-Made Puzzles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECS ![In: Cultural Computing - Second IFIP TC 14 Entertainment Computing Symposium, ECS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings, pp. 214-222, 2010, Springer, 978-3-642-15213-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
28 | Rui Zhang 0002, Goichiro Hanaoka, Hideki Imai |
A generic construction of useful client puzzles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AsiaCCS ![In: Proceedings of the 2009 ACM Symposium on Information, Computer and Communications Security, ASIACCS 2009, Sydney, Australia, March 10-12, 2009, pp. 70-79, 2009, ACM, 978-1-60558-394-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
identity based KEM, security notions, useful client puzzle |
28 | Emilio G. Ortíz-García, Sancho Salcedo-Sanz, Ángel M. Pérez-Bellido, Antonio Portilla-Figueras, Xin Yao 0001 |
Solving Very Difficult Japanese Puzzles with a Hybrid Evolutionary-Logic Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEAL ![In: Simulated Evolution and Learning, 7th International Conference, SEAL 2008, Melbourne, Australia, December 7-10, 2008. Proceedings, pp. 360-369, 2008, Springer, 978-3-540-89693-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Takenori Murakami, Fubito Toyama, Kenji Shoji, Juichi Miyamichi |
Assembly of puzzles by connecting between blocks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPR ![In: 19th International Conference on Pattern Recognition (ICPR 2008), December 8-11, 2008, Tampa, Florida, USA, pp. 1-4, 2008, IEEE Computer Society, 978-1-4244-2175-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Dennis E. Shasha |
Biocomputational puzzles: data, algorithms, and visualization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDBT ![In: EDBT 2008, 11th International Conference on Extending Database Technology, Nantes, France, March 25-29, 2008, Proceedings, pp. 2, 2008, ACM, 978-1-59593-926-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Patrick Schaller, Srdjan Capkun, David A. Basin |
BAP: Broadcast Authentication Using Cryptographic Puzzles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACNS ![In: Applied Cryptography and Network Security, 5th International Conference, ACNS 2007, Zhuhai, China, June 5-8, 2007, Proceedings, pp. 401-419, 2007, Springer, 978-3-540-72737-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
28 | Erik D. Demaine, Martin L. Demaine |
Puzzles, Art, and Magic with Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Comput. Syst. ![In: Theory Comput. Syst. 39(3), pp. 473-481, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Mahmut Samil Sagiroglu, Aytül Erçil |
A Texture Based Matching Approach for Automated Assembly of Puzzles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPR (3) ![In: 18th International Conference on Pattern Recognition (ICPR 2006), 20-24 August 2006, Hong Kong, China, pp. 1036-1041, 2006, IEEE Computer Society, 0-7695-2521-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Nikita Borisov |
Computational Puzzles as Sybil Defenses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Peer-to-Peer Computing ![In: Sixth IEEE International Conference on Peer-to-Peer Computing (P2P 2006), 2-4 October 2006, Cambridge, United Kingdom, pp. 171-176, 2006, IEEE Computer Society, 0-7695-2679-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Spyridon Revithis, William H. Wilson, Nadine Marcus |
IPSOM: A Self-organizing Map Spatial Model of How Humans Complete Interlocking Puzzles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australian Conference on Artificial Intelligence ![In: AI 2006: Advances in Artificial Intelligence, 19th Australian Joint Conference on Artificial Intelligence, Hobart, Australia, December 4-8, 2006, Proceedings, pp. 285-294, 2006, Springer, 3-540-49787-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Cognitive Modeling of Human Behaviour, Self-Organizing Map, Kohonen Map, Neural Network Applications |
28 | Michael Makridis, Nikos Papamarkos, Christodoulos Chamzas |
An Innovative Algorithm for Solving Jigsaw Puzzles Using Geometrical and Color Features. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIARP ![In: Progress in Pattern Recognition, Image Analysis and Applications, 10th Iberoamerican Congress on Pattern Recognition, CIARP 2005, Havana, Cuba, November 15-18, 2005, Proceedings, pp. 966-976, 2005, Springer, 3-540-29850-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Erik D. Demaine |
Puzzles, Art, and Magic with Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISAAC ![In: Algorithms and Computation, 15th International Symposium, ISAAC 2004, Hong Kong, China, December 20-22, 2004, Proceedings, pp. 1, 2004, Springer, 3-540-24131-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
28 | Geraint Price |
A General Attack Model on Hash-Based Client Puzzles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMACC ![In: Cryptography and Coding, 9th IMA International Conference, Cirencester, UK, December 16-18, 2003, Proceedings, pp. 319-331, 2003, Springer, 3-540-20663-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
28 | Péter Szeredi |
Teaching Constraints through Logic Puzzles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSCLP ![In: Recent Advances in Constraints, Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30 - July 2, 2003, Selected Papers, pp. 196-222, 2003, Springer, 3-540-21834-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
28 | John Minor Ross |
Guiding students through programming puzzles: value and examples of Java game assignments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGCSE Bull. ![In: ACM SIGCSE Bull. 34(4), pp. 94-98, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
28 | Fubito Toyama, Yukihiro Fujiki, Kenji Shoji, Juichi Miyamichi |
Assembly of Puzzles Using a Genetic Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPR (4) ![In: 16th International Conference on Pattern Recognition, ICPR 2002, Quebec, Canada, August 11-15, 2002., pp. 389-392, 2002, IEEE Computer Society, 0-7695-1695-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
28 | Lee Richard Bulmer, Peter M. Dew |
A study of collaboration using jigsaw puzzles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CVE ![In: Proceedings of the 4th International Conference on Collaborative Virtual Environments 2002, Bonn, Germany, September 30 - October 02, 2002, pp. 157-158, 2002, ACM. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
collaborative jigsaws, modeling collaborative situations, collaboration |
28 | Bruce Christianson, David Wheeler |
Merkle Puzzles Revisited - Finding Matching Elements Between Lists. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Security Protocols Workshop ![In: Security Protocols, 9th International Workshop, Cambridge, UK, April 25-27, 2001, Revised Papers, pp. 87-90, 2001, Springer, 3-540-44263-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
28 | Jozef Gruska, Hiroshi Imai |
Power, Puzzles and Properties of Entanglement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MCU ![In: Machines, Computations, and Universality, Third International Conference, MCU 2001, Chisinau, Moldova, May 23-27, 2001, Proceedings, pp. 25-68, 2001, Springer, 3-540-42121-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
28 | Tuomas Aura, Pekka Nikander, Jussipekka Leiwo |
DOS-Resistant Authentication with Client Puzzles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Security Protocols Workshop ![In: Security Protocols, 8th International Workshop, Cambridge, UK, April 3-5, 2000, Revised Papers, pp. 170-177, 2000, Springer, 3-540-42566-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
28 | Raymond M. Smullyan |
Puzzles and Paradoxes (Abstract). ![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. 208, 1992, Springer, 3-540-55602-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
24 | Jian Wang, Chunjiang Zhao 0001, Fang-qu Niu, Zhiqiang Wang |
Overcoming Geoinformatic Knowledge Fence: An Exploratory of Intelligent Geospatial Data Preparation within Spatial Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS (2) ![In: Computational Science - ICCS 2009, 9th International Conference, Baton Rouge, LA, USA, May 25-27, 2009, Proceedings, Part II, pp. 385-394, 2009, Springer, 978-3-642-01972-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
geo-ontology, geo-services, geography information metadata, spatial reasoning, spatial decision support |
Displaying result #1 - #100 of 902 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|