|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 26 occurrences of 23 keywords
|
|
|
Results
Found 53 publication records. Showing 50 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
118 | Sai Zeng, Russell S. Peak, Angran Xiao, Suresh K. Sitaraman |
ZAP: a knowledge-based FEA modeling method for highly coupled variable topology multi-body problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eng. Comput. ![In: Eng. Comput. 24(4), pp. 359-381, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Design-analysis integration, CAD-FEA interoperability, Product information model, Highly coupled variable topology multi-body (HCVTMB), GeoTran-HC |
113 | David Walker 0001, Lester W. Mackey, Jay Ligatti, George A. Reis, David I. August |
Static typing for a faulty lambda calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming, ICFP 2006, Portland, Oregon, USA, September 16-21, 2006, pp. 38-49, 2006, ACM, 1-59593-309-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
transient hardware faults, fault tolerance, type systems, lambda calculus, reliable computing, typed intermediate languages, soft faults |
102 | Yunlei Zhao, Chan H. Lee, Yiming Zhao, Hong Zhu 0004 |
Some Observations on Zap and Its Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACNS ![In: Applied Cryptography and Network Security, Second International Conference, ACNS 2004, Yellow Mountain, China, June 8-11, 2004, Proceedings, pp. 180-193, 2004, Springer, 3-540-22217-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Zap, public-coin honest verifier zero-knowledge, deniable authentication, timed commitment, witness indistinguishability |
55 | Hiroyuki Kyan, Jun-ichi Inoue |
Modeling television commercial advertisement markets: To zap or not to zap, that is the question for sponsors of TV programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SII ![In: IEEE/SICE International Symposium on System Integration, SII 2012, Fukuoka, Japan, December 16-18, 2012, pp. 816-823, 2012, IEEE, 978-1-4673-1496-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
52 | Xiaotie Deng, Chan H. Lee, Yunlei Zhao, Hong Zhu 0004 |
Reduction Zero-Knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCN ![In: Security in Communication Networks, Third International Conference, SCN 2002, Amalfi, Italy, September 11-13, 2002. Revised Papers, pp. 303-317, 2002, Springer, 3-540-00420-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
zap, zero-knowledge, bit commitment, non-interactive zero-knowledge, witness indistinguishability |
50 | Thomas Ball, Shuvendu K. Lahiri, Madanlal Musuvathi |
Zap: Automated Theorem Proving for Software Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic for Programming, Artificial Intelligence, and Reasoning, 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings, pp. 2-22, 2005, Springer, 3-540-30553-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
45 | Chikara Sasaki, Atsushi Tagami, Teruyuki Hasegawa, Shigehiro Ano |
Rapid Channel Zapping for IPTV Broadcasting with Additional Multicast Stream. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICC ![In: Proceedings of IEEE International Conference on Communications, ICC 2008, Beijing, China, 19-23 May 2008, pp. 1760-1766, 2008, IEEE. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
43 | Alexander Zap, Tobias Joppen, Johannes Fürnkranz |
Deep Ordinal Reinforcement Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1905.02005, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
43 | Alexander Zap, Tobias Joppen, Johannes Fürnkranz |
Deep Ordinal Reinforcement Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECML/PKDD (3) ![In: Machine Learning and Knowledge Discovery in Databases - European Conference, ECML PKDD 2019, Würzburg, Germany, September 16-20, 2019, Proceedings, Part III, pp. 3-18, 2019, Springer, 978-3-030-46132-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
43 | Stephen McAuley, Stephen Hill, Adam Martinez, Ryusuke Villemin, Matt Pettineo, Dimitar Lazarov, David Neubelt, Brian Karis, Christophe Hery, Naty Hoffman, Hakan Zap Andersson |
Physically based shading in theory and practice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGGRAPH Courses ![In: International Conference on Computer Graphics and Interactive Techniques, SIGGRAPH 2013, Anaheim, CA, USA, July 21-25, 2013, Courses, pp. 22:1-22:8, 2013, ACM, 978-1-4503-2339-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
43 | Kirt Witte, Christian Bloch, Hilmar Koch, Zap Andersson, Gary M. Davis |
High dynamic range imaging for artists. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGGRAPH Classes ![In: International Conference on Computer Graphics and Interactive Techniques, SIGGRAPH 2008, Los Angeles, California, USA, August 11-15, 2008, Classes, pp. 34:1-34:6, 2008, ACM, 978-1-4503-7845-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
29 | Cynthia Dwork, Larry J. Stockmeyer |
2-round zero knowledge and proof auditors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STOC ![In: Proceedings on 34th Annual ACM Symposium on Theory of Computing, May 19-21, 2002, Montréal, Québec, Canada, pp. 322-331, 2002, ACM, 1-58113-495-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
advice bound, timed protocol, zap, cryptography, zero knowledge, interactive proof systems |
29 | Cynthia Dwork, Moni Naor |
Zaps and Their Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 41st Annual Symposium on Foundations of Computer Science, FOCS 2000, 12-14 November 2000, Redondo Beach, California, USA, pp. 283-293, 2000, IEEE Computer Society, 0-7695-0850-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
zap, witness-indistinguishable protocol, shared random string model, verifiable pseudo-random bit generators, concurrent deniable authentication, computational complexity, cryptography, NP completeness, theorem proving, public keys, zero-knowledge proofs, verifier, concurrent zero knowledge |
28 | Corrado Calì, Thomas K. Berger, Michele Pignatelli, Alan Carleton, Henry Markram, Michele Giugliano |
Inferring connection proximity in networks of electrically coupled cells by subthreshold frequency response analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Neurosci. ![In: J. Comput. Neurosci. 24(3), pp. 330-345, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Gap-junctions, Electrical coupling, ZAP current, Layer VI, Networks, Cortex, Interneurons, Impedance |
28 | Joel Frohlich, Tim Bayne, Julia Sophia Crone, Alessandra DallaVecchia, Asger Kirkeby-Hinrup, Pedro A. M. Mediano, Julia Moser, Karolina Talar, Alireza Gharabaghi, Hubert Preissl |
Not with a "zap" but with a "beep": Measuring the origins of perinatal experience. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeuroImage ![In: NeuroImage 273, pp. 120057, June 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
28 | Suliman Alazmi, Daniel Conte de Leon |
Customizing OWASP ZAP: A Proven Method for Detecting SQL Injection Vulnerabilities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BigDataSecurity/HPSC/IDS ![In: 9th Intl Conference on Big Data Security on Cloud, BigDataSecurity, IEEE Intl Conference on High Performance and Smart Computing, HPSC and IEEE Intl Conference on Intelligent Data and Security IDS 2023, New York, NY, USA, May 6-8, 2023, pp. 102-106, 2023, IEEE, 979-8-3503-1293-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
28 | Caio Kalil Lauand, Ana Busic, Sean P. Meyn |
Inverse Free Zap Stochastic Approximation Extended Abstract. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Allerton ![In: 59th Annual Allerton Conference on Communication, Control, and Computing, Allerton 2023, Monticello, IL, USA, September 26-29, 2023, pp. 1-4, 2023, IEEE, 979-8-3503-2814-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
28 | Ningyi Zhang, Sebastián Gómez-Lozano, Ross Armstrong, Hui Liu, Alfonso Vargas-Macías |
External Load of Flamenco Zap-3 Footwork Test: Use of PlayerLoad Concept with Triaxial Accelerometry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 22(13), pp. 4847, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
28 | Shuhang Chen, Adithya M. Devraj, Ana Busic, Sean P. Meyn |
Zap Q-Learning for Optimal Stopping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACC ![In: 2020 American Control Conference, ACC 2020, Denver, CO, USA, July 1-3, 2020, pp. 3920-3925, 2020, IEEE, 978-1-5386-8266-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
28 | Xiaofan He, Richeng Jin, Huaiyu Dai |
Glide and Zap Q-Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFOCOM Workshops ![In: 39th IEEE Conference on Computer Communications, INFOCOM Workshops 2020, Toronto, ON, Canada, July 6-9, 2020, pp. 1147-1152, 2020, IEEE, 978-1-7281-8695-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
28 | Saikrishna Badrinarayanan, Rex Fernando, Aayush Jain, Dakshita Khurana, Amit Sahai |
Statistical ZAP Arguments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCRYPT (3) ![In: Advances in Cryptology - EUROCRYPT 2020 - 39th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Zagreb, Croatia, May 10-14, 2020, Proceedings, Part III, pp. 642-667, 2020, Springer, 978-3-030-45726-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
28 | Shuhang Chen, Adithya M. Devraj, Fan Lu, Ana Busic, Sean P. Meyn |
Zap Q-Learning With Nonlinear Function Approximation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeurIPS ![In: Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, NeurIPS 2020, December 6-12, 2020, virtual., 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
28 | Shuhang Chen, Adithya M. Devraj, Ana Busic, Sean P. Meyn |
Zap Q-Learning With Nonlinear Function Approximation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1910.05405, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
28 | Shuhang Chen, Adithya M. Devraj, Ana Busic, Sean P. Meyn |
Zap~Q-Learning for Optimal Stopping Time Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1904.11538, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
28 | Abhishek Jain 0002, Zhengzhong Jin |
Statistical Zap Arguments from Quasi-Polynomial LWE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2019, pp. 839, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
28 | Saikrishna Badrinarayanan, Rex Fernando, Aayush Jain, Dakshita Khurana, Amit Sahai |
Statistical ZAP Arguments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2019, pp. 780, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
28 | Adithya M. Devraj, Ana Busic, Sean P. Meyn |
Zap Meets Momentum: Stochastic Approximation Algorithms with Optimal Convergence Rate. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1809.06277, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
28 | Yuri Chervonyi, Dragos Harabor, Brian Zhang, Josh Sacks |
Zap: Making Predictions Based on Online User Behavior. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1807.06046, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
28 | Alan Akbik, Roland Vollgraf |
ZAP: An Open-Source Multilingual Annotation Projection Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LREC ![In: Proceedings of the Eleventh International Conference on Language Resources and Evaluation, LREC 2018, Miyazaki, Japan, May 7-12, 2018., 2018, European Language Resources Association (ELRA). The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
28 | Tim Duente, Max Pfeiffer, Michael Rohs |
Zap++: a 20-channel electrical muscle stimulation system for fine-grained wearable force feedback. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MobileHCI ![In: Proceedings of the 19th International Conference on Human-Computer Interaction with Mobile Devices and Services, MobileHCI 2017, Vienna, Austria, September 4-7, 2017, pp. 1:1-1:13, 2017, ACM, 978-1-4503-5075-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
28 | Adithya M. Devraj, Sean P. Meyn |
Zap Q-Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NIPS ![In: Advances in Neural Information Processing Systems 30: Annual Conference on Neural Information Processing Systems 2017, December 4-9, 2017, Long Beach, CA, USA, pp. 2235-2244, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
28 | AliAkbar Nikoukar, I-Shyan Hwang, Andrew Tanny Liem, Jhong-Yue Lee |
Mitigating the IPTV Zap Time in Enhanced EPON Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JOCN ![In: JOCN 8(6), pp. 451-461, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
28 | Roland G. Huber, Hao Fan, Peter J. Bond |
The Structural Basis for Activation and Inhibition of ZAP-70 Kinase Domain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLoS Comput. Biol. ![In: PLoS Comput. Biol. 11(10), 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
28 | Benjamin A. Ellingson, Matthew T. Geballe, Stanislaw Wlodek, Christopher I. Bayly, A. Geoffrey Skillman, Anthony Nicholls |
Efficient calculation of SAMPL4 hydration free energies using OMEGA, SZYBKI, QUACPAC, and Zap TK. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Aided Mol. Des. ![In: J. Comput. Aided Mol. Des. 28(3), pp. 289-298, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
28 | Menard Nyirenda, Patrick Albert Chikumba |
Consumer Adoption of Mobile Payment Systems in Malawi: Case of Airtel Malawi ZAP in Blantyre City. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFRICOMM ![In: e-Infrastructure and e-Services for Developing Countries - 5th International Conference, AFRICOMM 2013, Blantyre, Malawi, November 25-27, 2013, Revised Selected Papers, pp. 178-187, 2013, Springer, 978-3-319-08367-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
28 | Daniel Bailey, Yuh-Rong Chen, Sridhar Radhakrishnan, Suleyman Karabuk |
Multi-source IPTV networks: Zap time and bandwidth optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICNC ![In: International Conference on Computing, Networking and Communications, ICNC 2013, San Diego, CA, USA, January 28-31, 2013, pp. 665-670, 2013, IEEE Computer Society, 978-1-4673-5287-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
28 | Matthew Long, Sridhar Radhakrishnan, Suleyman Karabuk, John K. Antonio |
On zap time minimization in IPTV networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICNC ![In: International Conference on Computing, Networking and Communications, ICNC 2012, Maui, HI, USA, January 30 - February 2, 2012, pp. 713-718, 2012, IEEE Computer Society, 978-1-4673-0008-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
28 | Paulo Roberto Junior, Mauro Fonseca, Anelise Munaretto, Aline Carneiro Viana, Artur Ziviani |
ZAP: a distributed channel assignment algorithm for cognitive radio networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EURASIP J. Wirel. Commun. Netw. ![In: EURASIP J. Wirel. Commun. Netw. 2011, pp. 27, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
28 | Pål Evensen, Hein Meling |
A paradigm comparison for collecting TV channel statistics from high-volume channel zap events. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEBS ![In: Proceedings of the Fifth ACM International Conference on Distributed Event-Based Systems, DEBS 2011, New York, NY, USA, July 11-15, 2011, pp. 317-326, 2011, ACM, 978-1-4503-0423-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
28 | Benjamin A. Ellingson, A. Geoffrey Skillman, Anthony Nicholls |
Analysis of SM8 and Zap TK calculations and their geometric sensitivity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Aided Mol. Des. ![In: J. Comput. Aided Mol. Des. 24(4), pp. 335-342, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
28 | Shaoquan Jiang |
Dwork-Naor ZAP and Its Application in Deniable Authentication, Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inscrypt ![In: Information Security and Cryptology - 6th International Conference, Inscrypt 2010, Shanghai, China, October 20-24, 2010, Revised Selected Papers, pp. 443-454, 2010, Springer, 978-3-642-21517-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
28 | Yigal Bejerano, Pramod V. Koppol |
Improving Zap Response Time for IPTV. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFOCOM ![In: INFOCOM 2009. 28th IEEE International Conference on Computer Communications, Joint Conference of the IEEE Computer and Communications Societies, 19-25 April 2009, Rio de Janeiro, Brazil, pp. 1971-1979, 2009, IEEE, 978-1-4244-3513-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
28 | Steven Osman, Dinesh Subhraveti, Gong Su, Jason Nieh |
The Design and Implementation of Zap: A System for Migrating Computing Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OSDI ![In: 5th Symposium on Operating System Design and Implementation (OSDI 2002), Boston, Massachusetts, USA, December 9-11, 2002, 2002, USENIX Association, 978-1-4503-0111-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
28 | Gianluca Boselli, Stan Meeuwsen, Ton J. Mouthaan, Fred G. Kuper |
Investigations on double-diffused MOS transistors under ESD zap conditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microelectron. Reliab. ![In: Microelectron. Reliab. 41(3), pp. 395-405, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
28 | Donald T. Comer |
Zener Zap Anti-Fuse Trim in VLSI Circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI Design ![In: VLSI Design 5(1), pp. 89-100, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
28 | Ronald W. J. J. Saeijs, Kees van Berkel 0001 |
The design of the VLSI image-generator ZaP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCD ![In: Computer Design: VLSI in Computers and Processors, ICCD 1988., Proceedings of the 1988 IEEE International Conference on, Rye Brook, NY, USA, October 3-5, 1988, pp. 163-166, 1988, IEEE, 0-8186-0872-2. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
23 | G. John Janakiraman, Jose Renato Santos, Dinesh Subhraveti, Yoshio Turner |
Cruz: Application-Transparent Distributed Checkpoint-Restart on Standard Operating Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSN ![In: 2005 International Conference on Dependable Systems and Networks (DSN 2005), 28 June - 1 July 2005, Yokohama, Japan, Proceedings, pp. 260-269, 2005, IEEE Computer Society, 0-7695-2282-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Greta Yorsh, Madanlal Musuvathi |
A Combination Method for Generating Interpolants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-20, 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings, pp. 353-368, 2005, Springer, 3-540-28005-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Florian Block, Albrecht Schmidt 0001, Nicolas Villar, Hans-Werner Gellersen |
Towards a Playful User Interface for Home Entertainment Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUSAI ![In: Ambient Intelligence: Second European Symposium, EUSAI 2004, Eindhoven, The Netherlands, November 8-11, 2004. Proceedings, pp. 207-217, 2004, Springer, 3-540-23721-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
23 | Yunlei Zhao, Xiaotie Deng, Chan H. Lee, Hong Zhu 0004 |
Resettable Zero-Knowledge in the Weak Public-Key Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCRYPT ![In: Advances in Cryptology - EUROCRYPT 2003, International Conference on the Theory and Applications of Cryptographic Techniques, Warsaw, Poland, May 4-8, 2003, Proceedings, pp. 123-139, 2003, Springer, 3-540-14039-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #50 of 50 (100 per page; Change: )
|
|