Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
74 | Jehan-François Pâris |
Efficient Voting Protocols with Witnesses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDT ![In: ICDT'90, Third International Conference on Database Theory, Paris, France, December 12-14, 1990, Proceedings, pp. 305-317, 1990, Springer, 3-540-53507-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
voting, distributed file systems, replicated data, witnesses |
71 | Uriel Feige, Jeong Han Kim, Eran Ofek |
Witnesses for non-satisfiability of dense random 3CNF formulas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 47th Annual IEEE Symposium on Foundations of Computer Science (FOCS 2006), 21-24 October 2006, Berkeley, California, USA, Proceedings, pp. 497-508, 2006, IEEE Computer Society, 0-7695-2720-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
66 | Joanne Bechta Dugan, Gianfranco Ciardo |
Stochastic Petri Net Analysis of a Replicated File System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 15(4), pp. 394-401, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
performance reliability tradeoffs, stochastic Petri net model, replicated file system, voting algorithm, file status, majority protocols, Petri nets, fault tolerant computing, distributed databases, concurrency control, distributed environment, witnesses |
58 | Orna Kupferman, Sarai Sheinvald-Faragy |
Finding Shortest Witnesses to the Nonemptiness of Automata on Infinite Words. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2006 - Concurrency Theory, 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006, Proceedings, pp. 492-508, 2006, Springer, 3-540-37376-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
51 | Miguel E. Andrés, Pedro R. D'Argenio, Peter van Rossum |
Significant Diagnostic Counterexamples in Probabilistic Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing, 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008. Proceedings, pp. 129-148, 2008, Springer, 978-3-642-01701-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
51 | Sagar Chaki |
SAT-Based Software Certification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 12th International Conference, TACAS 2006 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006, Proceedings, pp. 151-166, 2006, Springer, 3-540-33056-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
51 | Ronen Shaltiel, Christopher Umans |
Pseudorandomness for Approximate Counting and Sampling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCC ![In: 20th Annual IEEE Conference on Computational Complexity (CCC 2005), 11-15 June 2005, San Jose, CA, USA, pp. 212-226, 2005, IEEE Computer Society, 0-7695-2364-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
51 | Robert Meolic, Alessandro Fantechi, Stefania Gnesi |
Witness and Counterexample Automata for ACTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Techniques for Networked and Distributed Systems - FORTE 2004, 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004, Proceedings, pp. 259-275, 2004, Springer, 3-540-23252-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
48 | Noga Alon, Zvi Galil, Oded Margalit, Moni Naor |
Witnesses for Boolean Matrix Multiplication and for Shortest Paths ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 33rd Annual Symposium on Foundations of Computer Science, Pittsburgh, Pennsylvania, USA, 24-27 October 1992, pp. 417-426, 1992, IEEE Computer Society, 0-8186-2900-2. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
subcubic methods, shortest paths, deterministic algorithm, transitive closure, witnesses, Boolean matrix multiplication |
48 | Perry Kim Sloope, Jehan-François Pâris, Darrell D. E. Long |
A simulation study of replication control protocols using volatile witnesses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Annual Simulation Symposium ![In: Proceedings 25th Annual Simulation Symposium (ANSS-25 1992), Orlando, Florida, USA, 1992, pp. 108-117, 1992, IEEE Computer Society, 0-8186-2765-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
replication control protocols, discrete event simulation, voting, witnesses, replicated data management |
45 | Yonatan Aumann, Moshe Lewenstein, Noa Lewenstein, Dekel Tsur |
Finding Witnesses by Peeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPM ![In: Combinatorial Pattern Matching, 18th Annual Symposium, CPM 2007, London, Canada, July 9-11, 2007, Proceedings, pp. 28-39, 2007, Springer, 978-3-540-73436-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
45 | Frédéric Besson, Thomas P. Jensen, Tiphaine Turpin |
Small Witnesses for Abstract Interpretation-Based Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems, 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007, Proceedings, pp. 268-283, 2007, Springer, 978-3-540-71314-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
45 | Heikki Hyyrö, Gonzalo Navarro 0001 |
Bit-Parallel Witnesses and Their Applications to Approximate String Matching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmica ![In: Algorithmica 41(3), pp. 203-231, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Backward DAWG matching, Myers bit-parallel algorithm, Average-optimal string matching allowing errors, Bit-parallelism |
45 | Susmit Sarkar, Brigitte Pientka, Karl Crary |
Small Proof Witnesses for LF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings, pp. 387-401, 2005, Springer, 3-540-29208-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
45 | Dinghao Wu, Andrew W. Appel, Aaron Stump |
Foundational proof checkers with small witnesses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 5th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 27-29 August 2003, Uppsala, Sweden, pp. 264-274, 2003, ACM, 1-58113-705-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
proof checker, proof-carrying code |
45 | Claus-Peter Schnorr, C. R. Subramanian 0001 |
Almost Optimal (on the average) Combinatorial Algorithms for Boolean Matrix Product Witnesses, Computing the Diameter (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
RANDOM ![In: Randomization and Approximation Techniques in Computer Science, Second International Workshop, RANDOM'98, Barcelona, Spain, October 8-10, 1998, Proceedings, pp. 218-231, 1998, Springer, 3-540-65142-X. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
40 | Zachary Abel, Jeffrey Bosboom, Michael J. Coulombe, Erik D. Demaine, Linus Hamilton, Adam Hesterberg, Justin Kopinsky, Jayson Lynch, Mikhail Rudoy, Clemens Thielen |
Who witnesses The Witness? Finding witnesses in The Witness is hard and sometimes impossible. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 839, pp. 41-102, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
40 | Zachary Abel, Jeffrey Bosboom, Erik D. Demaine, Linus Hamilton, Adam Hesterberg, Justin Kopinsky, Jayson Lynch, Mikhail Rudoy |
Who witnesses The Witness? Finding witnesses in The Witness is hard and sometimes impossible. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1804.10193, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
40 | Zachary Abel, Jeffrey Bosboom, Erik D. Demaine, Linus Hamilton, Adam Hesterberg, Justin Kopinsky, Jayson Lynch, Mikhail Rudoy |
Who witnesses The Witness? Finding witnesses in The Witness is hard and sometimes impossible. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FUN ![In: 9th International Conference on Fun with Algorithms, FUN 2018, June 13-15, 2018, La Maddalena, Italy, pp. 3:1-3:21, 2018, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-067-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
40 | Rasheed Hussain, Fizza Abbas, Junggab Son, Donghyun Kim 0001, Sangjin Kim, Heekuck Oh |
Vehicle Witnesses as a Service: Leveraging Vehicles as Witnesses on the Road in VANET Clouds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CloudCom (1) ![In: IEEE 5th International Conference on Cloud Computing Technology and Science, CloudCom 2013, Bristol, United Kingdom, December 2-5, 2013, Volume 1, pp. 439-444, 2013, IEEE Computer Society, 978-0-7695-5095-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
38 | László A. Végh, András A. Benczúr |
Primal-dual approach for directed vertex connectivity augmentation and generalizations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Algorithms ![In: ACM Trans. Algorithms 4(2), pp. 20:1-20:21, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Vertex connectivity augmentation, combinatorial algorithm |
38 | Chih Hao Ku 0001, Alicia Iriberri, Gondy Leroy |
Natural language processing and e-Government: crime information extraction from heterogeneous data sources. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DG.O ![In: Proceedings of the 9th Annual International Conference on Digital Government Research, Partnerships for Public Innovation, DG.O 2008, Montreal, Canada, May 18-21, 2008, pp. 162-170, 2008, Digital Government Research Center, 978-1-60558-099-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
natural language processing, information extraction |
38 | Ian F. Blake, Aldar C.-F. Chan |
Conditionally Verifiable Signature. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INDOCRYPT ![In: Progress in Cryptology - INDOCRYPT 2006, 7th International Conference on Cryptology in India, Kolkata, India, December 11-13, 2006, Proceedings, pp. 206-220, 2006, Springer, 3-540-49767-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
38 | László A. Végh, András A. Benczúr |
Primal-dual approach for directed vertex connectivity augmentation and generalizations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SODA ![In: Proceedings of the Sixteenth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2005, Vancouver, British Columbia, Canada, January 23-25, 2005, pp. 186-194, 2005, SIAM, 0-89871-585-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
38 | Orna Kupferman, Moshe Y. Vardi |
Vacuity detection in temporal model checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 4(2), pp. 224-233, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Vacuous satisfaction, Model checking |
38 | Bin Yu 0006, Munindar P. Singh |
Detecting deception in reputation management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: The Second International Joint Conference on Autonomous Agents & Multiagent Systems, AAMAS 2003, July 14-18, 2003, Melbourne, Victoria, Australia, Proceedings, pp. 73-80, 2003, ACM, 1-58113-683-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
weighted majority algorithm, reputation, deception, belief functions, trust networks |
38 | Orna Kupferman, Moshe Y. Vardi |
Vacuity Detection in Temporal Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHARME ![In: Correct Hardware Design and Verification Methods, 10th IFIP WG 10.5 Advanced Research Working Conference, CHARME '99, Bad Herrenalb, Germany, September 27-29, 1999, Proceedings, pp. 82-96, 1999, Springer, 3-540-66559-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
33 | Gérard D. Cohen |
Separation and Witnesses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWCC ![In: Coding and Cryptology, Second International Workshop, IWCC 2009, Zhangjiajie, China, June 1-5, 2009. Proceedings, pp. 12-21, 2009, Springer, 978-3-642-01813-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
33 | Orna Kupferman, Nir Piterman |
Lower Bounds on Witnesses for Nonemptiness of Universal Co-Büchi Automata. ![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. 182-196, 2009, Springer, 978-3-642-00595-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
33 | Kyung-Yong Chwa, Byung-Cheol Jo, Christian Knauer, Esther Moet, René van Oostrum, Chan-Su Shin |
Guarding Art Galleries by Guarding Witnesses. ![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. 352-363, 2004, Springer, 3-540-24131-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
33 | Vince Grolmusz, Gábor Tardos |
A Note on Non-Deterministic Communication Complexity with Few Witnesses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Comput. Syst. ![In: Theory Comput. Syst. 36(4), pp. 387-391, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
28 | Arie Gurfinkel, Marsha Chechik |
Generating Counterexamples for Multi-valued Model-Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FME ![In: FME 2003: Formal Methods, International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003, Proceedings, pp. 503-521, 2003, Springer, 3-540-40828-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
De Morgan algebras, model-checking, CTL, counterexamples, witnesses |
25 | Charlie D. Frowd, Vicki Bruce, Melanie Pitchford, Carol Gannon, Mark Robinson, Colin Tredoux, Jo Park, Alex H. McIntyre, Peter J. B. Hancock |
Evolving the memory of a criminal's face: methods to search a face space more effectively. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 14(1), pp. 81-90, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
Face generation, Face perception, Genetic algorithms, PCA, Evolution |
25 | Andrzej Lingas |
A Fast Output-Sensitive Algorithm for Boolean Matrix Multiplication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESA ![In: Algorithms - ESA 2009, 17th Annual European Symposium, Copenhagen, Denmark, September 7-9, 2009. Proceedings, pp. 408-419, 2009, Springer, 978-3-642-04127-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
25 | Aggelos Kiayias, Hong-Sheng Zhou |
Zero-Knowledge Proofs with Witness Elimination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Public Key Cryptography ![In: Public Key Cryptography - PKC 2009, 12th International Conference on Practice and Theory in Public Key Cryptography, Irvine, CA, USA, March 18-20, 2009. Proceedings, pp. 124-138, 2009, Springer, 978-3-642-00467-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
25 | Jan Camenisch, Markulf Kohlweiss, Claudio Soriente |
An Accumulator Based on Bilinear Maps and Efficient Revocation for Anonymous Credentials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Public Key Cryptography ![In: Public Key Cryptography - PKC 2009, 12th International Conference on Practice and Theory in Public Key Cryptography, Irvine, CA, USA, March 18-20, 2009. Proceedings, pp. 481-500, 2009, Springer, 978-3-642-00467-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
revocation, anonymous credentials, dynamic accumulators |
25 | Philippe Camacho, Alejandro Hevia, Marcos A. Kiwi, Roberto Opazo |
Strong Accumulators from Collision-Resistant Hashing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISC ![In: Information Security, 11th International Conference, ISC 2008, Taipei, Taiwan, September 15-18, 2008. Proceedings, pp. 471-486, 2008, Springer, 978-3-540-85884-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Collision-resistant Hashing, e-Invoice, Accumulators |
25 | Alicia Iriberri, Gondy Leroy |
Natural Language Processing and e-Government: Extracting Reusable Crime Report Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IRI ![In: Proceedings of the IEEE International Conference on Information Reuse and Integration, IRI 2007, 13-15 August 2007, Las Vegas, Nevada, USA, pp. 221-226, 2007, IEEE Systems, Man, and Cybernetics Society. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
25 | Charlie D. Frowd, Vicki Bruce, Alex H. McIntyre, Peter J. B. Hancock |
Adding Holistic Dimensions to a Facial Composite System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGR ![In: Seventh IEEE International Conference on Automatic Face and Gesture Recognition (FGR 2006), 10-12 April 2006, Southampton, UK, pp. 183-188, 2006, IEEE Computer Society, 0-7695-2503-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Paolo Boldi, Sebastiano Vigna |
Efficient Lazy Algorithms for Minimal-Interval Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIRE ![In: String Processing and Information Retrieval, 13th International Conference, SPIRE 2006, Glasgow, UK, October 11-13, 2006, Proceedings, pp. 134-149, 2006, Springer, 3-540-45774-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Rakesh M. Verma, Ara Hayrapetyan |
A new decidability technique for ground term rewriting systems with applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 6(1), pp. 102-123, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
standard forms, unique normalization, decision procedures, rewriting, Confluence, pumping lemma |
25 | Sebastian Böcker, Zsuzsanna Lipták |
Efficient mass decomposition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), Santa Fe, New Mexico, USA, March 13-17, 2005, pp. 151-157, 2005, ACM, 1-58113-964-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
coin change problem, integer decomposition, weighted strings, mass spectrometry |
25 | Filip Perich, Anupam Joshi, Yelena Yesha, Timothy W. Finin |
Neighborhood-Consistent Transaction Management for Pervasive Computing Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA ![In: Database and Expert Systems Applications, 14th International Conference, DEXA 2003, Prague, Czech Republic, September 1-5, 2003, Proceedings, pp. 276-286, 2003, Springer, 3-540-40806-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
25 | Hyoung Seok Hong, Sung Deok Cha, Insup Lee 0001, Oleg Sokolsky, Hasan Ural |
Data Flow Testing as Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: Proceedings of the 25th International Conference on Software Engineering, May 3-10, 2003, Portland, Oregon, USA, pp. 232-243, 2003, IEEE Computer Society, 0-7695-1877-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
25 | Andrzej Lingas |
A Geometric Approach to Boolean Matrix Multiplication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISAAC ![In: Algorithms and Computation, 13th International Symposium, ISAAC 2002 Vancouver, BC, Canada, November 21-23, 2002, Proceedings, pp. 501-510, 2002, Springer, 3-540-00142-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
25 | Roger Dingledine, Michael J. Freedman, David Hopwood, David Molnar |
A Reputation System to Increase MIX-Net Reliability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Information Hiding ![In: Information Hiding, 4th International Workshop, IHW 2001, Pittsburgh, PA, USA, April 25-27, 2001, Proceedings, pp. 126-141, 2001, Springer, 3-540-42733-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
25 | Eric S. Lee, Thomas Whalen |
Computer Image Retrieval by Features: Selecting the Best Facial Features for Suspect Identification Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIKM ![In: Proceedings of the Third International Conference on Information and Knowledge Management (CIKM'94), Gaithersburg, Maryland, USA, November 29 - December 2, 1994, pp. 105-111, 1994, ACM. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
computer image retrieval, feature retrieval, suspect identification, information retrieval |
25 | Eric S. Lee, Thomas Whalen |
Computer image retrieval by features: suspect identification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INTERCHI ![In: Human-Computer Interaction, INTERACT '93, IFIP TC13 International Conference on Human-Computer Interaction, 24-29 April 1993, Amsterdam, The Netherlands, jointly organised with ACM Conference on Human Aspects in Computing Systems CHI'93, pp. 494-499, 1993, ACM, 0-89791-575-5. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
computer image retrieval, feature retrieval, information retrieval |
20 | Krishnendu Chatterjee, Amir Kafshdar Goharshady, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Dorde Zikelic |
Sound and Complete Witnesses for Template-based Verification of LTL Properties on Polynomial Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.05386, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
20 | Paulína Ayaziová, Jan Strejcek |
Witch 3: Validation of Violation Witnesses in the Witness Format 2.0 - (Competition Contribution). ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS (3) ![In: Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part III, pp. 341-346, 2024, Springer, 978-3-031-57255-5. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
20 | Raphaël Monat, Marco Milanese, Francesco Parolini, Jérôme Boillot, Abdelraouf Ouadjaout, Antoine Miné |
Mopsa-C: Improved Verification for C Programs, Simple Validation of Correctness Witnesses (Competition Contribution). ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS (3) ![In: Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part III, pp. 387-392, 2024, Springer, 978-3-031-57255-5. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
20 | Xiao Hu 0005, Stavros Sintos |
Finding Smallest Witnesses for Conjunctive Queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDT ![In: 27th International Conference on Database Theory, ICDT 2024, March 25-28, 2024, Paestum, Italy, pp. 24:1-24:20, 2024, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-312-6. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
20 | Marco Milanese, Antoine Miné |
Generation of Violation Witnesses by Under-Approximating Abstract Interpretation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI (1) ![In: Verification, Model Checking, and Abstract Interpretation - 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part I, pp. 50-73, 2024, Springer, 978-3-031-50523-2. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
20 | Yisong Wang, Thomas Eiter, Yuanlin Zhang 0002, Fangzhen Lin |
Witnesses for Answer Sets of Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 24(2), pp. 15:1-15:46, April 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Marcus Pöckelmann, André Medek, Jörg Ritter 0002, Paul Molitor |
LERA - an interactive platform for synoptical representations of multiple text witnesses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Digit. Scholarsh. Humanit. ![In: Digit. Scholarsh. Humanit. 38(1), pp. 330-346, April 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Xiao Hu 0005, Stavros Sintos |
Finding Smallest Witnesses for Conjunctive Queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2311.18157, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Wenjie Liu 0001, Zixian Li, Wen-Bo Li, Qi Yang |
Public verifiable measurement-only blind quantum computation based on entanglement witnesses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2310.02922, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Hajime Machida |
A Study on Centralizing Monoids with Majority Operation Witnesses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Ann. Comput. Sci. ![In: Sci. Ann. Comput. Sci. 33(1), pp. 79-92, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Wenjie Liu 0001, Zixian Li, Wen-Bo Li, Qi Yang |
Public verifiable measurement-only blind quantum computation based on entanglement witnesses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Quantum Inf. Process. ![In: Quantum Inf. Process. 22(3), pp. 137, March 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Kirsty Phillips, Ulrike Hahn, Toby D. Pilditch |
Evaluating testimony from multiple witnesses: consistent undervaluing and selective devaluing of corroborating reports. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CogSci ![In: Proceedings of the 45th Annual Meeting of the Cognitive Science Society, CogSci 2023, Sydney, NSW, Australia, July 26-29, 2023, 2023, cognitivesciencesociety.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
20 | Hamouma Moumen, Badreddine Benreguia, Ahcène Bounceur, Leila Saadi |
Limiting the Spread of Fake News on Social Networks by Users as Witnesses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCC ![In: IEEE Symposium on Computers and Communications, ISCC 2023, Gammarth, Tunisia, July 9-12, 2023, pp. 663-668, 2023, IEEE, 979-8-3503-0048-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Mike Behrisch, Leon Renkin |
Computing Witnesses for Centralising Monoids on a Three-Element Set. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFCA ![In: Formal Concept Analysis - 17th International Conference, ICFCA 2023, Kassel, Germany, July 17-21, 2023, Proceedings, pp. 109-126, 2023, Springer, 978-3-031-35948-4. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Jean-Marie Lagniez, Pierre Marquis |
Boosting Definability Bipartition Computation Using SAT Witnesses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence - 18th European Conference, JELIA 2023, Dresden, Germany, September 20-22, 2023, Proceedings, pp. 697-711, 2023, Springer, 978-3-031-43618-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Janis Dähne, Marcus Pöckelmann, Jörg Ritter 0002 |
Word Clouds with Spatial Stable Word Positions across Multiple Text Witnesses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DH ![In: Annual International Conference of the Alliance of Digital Humanities Organizations, DH 2022, Graz, Austria, July 10-14, 2023, Conference Abstracts, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Mike Behrisch |
All Centralising Monoids with Majority Witnesses on a Four-element Set. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Multiple Valued Log. Soft Comput. ![In: J. Multiple Valued Log. Soft Comput. 38(1-2), pp. 23-56, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
20 | Janis Dähne, Marcus Pöckelmann, Jörg Ritter 0002, Paul Molitor |
Putting collation of text witnesses on a formal basis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Digit. Scholarsh. Humanit. ![In: Digit. Scholarsh. Humanit. 37(2), pp. 375-390, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Charles Li |
helayo: Reconstructing Sanskrit texts from manuscript witnesses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Open Source Softw. ![In: J. Open Source Softw. 7(71), pp. 4022, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Dylan Hyatt-Denesik, Afrouz Jabal Ameli, Laura Sanità |
Choose your witnesses wisely. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2211.12431, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Thorsten Wißmann, Stefan Milius, Lutz Schröder |
Quasilinear-time Computation of Generic Modal Witnesses for Behavioural Inequivalence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2203.11175, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | P. Dingus, C. Zhu, C. Gonatas |
Untangling the Dueling Expert Witnesses: Comparing Ensemble Methods in Pennsylvania's Redistricting Plans. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2208.12609, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Thorsten Wißmann, Stefan Milius, Lutz Schröder |
Quasilinear-time Computation of Generic Modal Witnesses for Behavioural Inequivalence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 18(4), 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Dirk Beyer 0001, Matthias Dangl, Daniel Dietsch, Matthias Heizmann, Thomas Lemberger 0002, Michael Tautschnig |
Verification Witnesses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 31(4), pp. 57:1-57:69, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Yannick Saouter |
New results for witnesses of Robin's criterion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Comput. ![In: Math. Comput. 91(334), pp. 909-920, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Jeffrey Bergfalk, Vera Fischer, Corey Bacal Switzer |
Projective well orders and coanalytic witnesses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 173(8), pp. 103135, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Oliver Schreer, Markus Worchel, Rodrigo Diaz, Sylvain Renault, Wieland Morgenstern, Ingo Feldmann, Marcus Zepp, Anna Hilsmann, Peter Eisert |
Preserving Memories of Contemporary Witnesses Using Volumetric Video. ![Search on Bibsonomy](Pics/bibsonomy.png) |
i-com ![In: i-com 21(1), pp. 71-82, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Lachlan Urquhart, Diana Miranda, Lena Podoletz |
Policing the smart home: The internet of things as 'invisible witnesses'. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Polity ![In: Inf. Polity 27(2), pp. 233-246, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Holger Dell, John Lapinskas, Kitty Meeks |
Approximately Counting and Sampling Small Witnesses Using a Colorful Decision Oracle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Comput. ![In: SIAM J. Comput. 51(4), pp. 849-899, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Rafael Figueiredo, Samih Eisa, Miguel L. Pardal |
SureRepute: Reputation System for Crowdsourced Location Witnesses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NCA ![In: 21st IEEE International Symposium on Network Computing and Applications, NCA 2022, Boston, MA, USA, December 14-16, 2022, pp. 261-268, 2022, IEEE, 979-8-3503-9730-7. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | João Tiago, Samih Eisa, Miguel L. Pardal |
SureSpace: orchestrating beacons and witnesses to certify device location. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: SAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, April 25 - 29, 2022, pp. 164-173, 2022, ACM, 978-1-4503-8713-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Daniel Kolb |
Design Choices for Embodied Conversational Agents to Preserve Testimonies by Contemporary Witnesses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: CHI '22: CHI Conference on Human Factors in Computing Systems, New Orleans, LA, USA, 29 April 2022 - 5 May 2022, Extended Abstracts, pp. 54:1-54:5, 2022, ACM, 978-1-4503-9156-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Azadeh Farzan, Danya Lette, Victor Nicolet |
Recursion synthesis with unrealizability witnesses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13 - 17, 2022, pp. 244-259, 2022, ACM, 978-1-4503-9265-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Jera Hensel, Constantin Mensendiek, Jürgen Giesl |
AProVE: Non-Termination Witnesses for C Programs - (Competition Contribution). ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS (2) ![In: Tools and Algorithms for the Construction and Analysis of Systems - 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part II, pp. 403-407, 2022, Springer, 978-3-030-99526-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Beniamino Di Martino, Salvatore D'Angelo, Antonio Esposito 0001, Pietro Lupi |
Anomalous Witnesses and Registrations Detection in the Italian Justice System Based on Big Data and Machine Learning Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AINA (3) ![In: Advanced Information Networking and Applications - Proceedings of the 36th International Conference on Advanced Information Networking and Applications (AINA-2022), Volume 3, pp. 183-192, 2022, Springer, 978-3-030-99618-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Simon Jantsch |
Certificates and Witnesses for Probabilistic Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2022 |
RDF |
|
20 | Huan Zhou 0006, Xue Ouyang, Jinshu Su, Cees de Laat, Zhiming Zhao |
Enforcing trustworthy cloud SLA with witnesses: A game theory-based model using smart contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurr. Comput. Pract. Exp. ![In: Concurr. Comput. Pract. Exp. 33(14), 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Mike Behrisch, Edith Vargas-García |
Centralising Monoids with Low-Arity Witnesses on a Four-Element Set. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 13(8), pp. 1471, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Mayuko Kori, Ichiro Hasuo, Shin-ya Katsumata |
Fibrational Initial Algebra-Final Coalgebra Coincidence over Initial Algebras: Turning Verification Witnesses Upside Down. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2105.04817, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
20 | Barbara Guidi, Andrea Michienzi, Laura Ricci |
Analysis of Witnesses in the Steem Blockchain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mob. Networks Appl. ![In: Mob. Networks Appl. 26(5), pp. 2099-2110, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Dirk Pattinson, Mina Mohammadian |
Constructive Domains with Classical Witnesses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 17(1), 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
20 | Bang-Hai Wang, Zi-Heng Ding, Zhihao Ma, Shao-Ming Fei |
Common Coherence Witnesses and Common Coherent States. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Entropy ![In: Entropy 23(9), pp. 1136, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Miroslaw Kowaluk, Andrzej Lingas |
Quantum and Approximation Algorithms for Maximum Witnesses of Boolean Matrix Products. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALDAM ![In: Algorithms and Discrete Applied Mathematics - 7th International Conference, CALDAM 2021, Rupnagar, India, February 11-13, 2021, Proceedings, pp. 440-451, 2021, Springer, 978-3-030-67898-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Christian Konrad 0001 |
Frequent Elements with Witnesses in Data Streams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: PODS'21: Proceedings of the 40th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, Virtual Event, China, June 20-25, 2021., pp. 83-95, 2021, ACM, 978-1-4503-8381-3. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Daniel Kolb, Dieter August Kranzlmüller |
Preserving Conversations with Contemporary Holocaust Witnesses: Evaluation of Interactions with a Digital 3D Testimony. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: CHI '21: CHI Conference on Human Factors in Computing Systems, Virtual Event / Yokohama Japan, May 8-13, 2021, Extended Abstracts., pp. 257:1-257:6, 2021, ACM, 978-1-4503-8095-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Ali Asadi, Krishnendu Chatterjee, Hongfei Fu 0001, Amir Kafshdar Goharshady, Mohammad Mahdavi |
Polynomial reachability witnesses via Stellensätze. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Virtual Event, Canada, June 20-25, 2021., pp. 772-787, 2021, ACM, 978-1-4503-8391-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Mike Behrisch |
Centralising monoids with conservative majority operations as witnesses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 51st IEEE International Symposium on Multiple-Valued Logic, ISMVL 2021, Nur-Sultan, Kazakhstan, May 25-27, 2021, pp. 56-61, 2021, IEEE, 978-1-7281-9224-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Mayuko Kori, Ichiro Hasuo, Shin-ya Katsumata |
Fibrational Initial Algebra-Final Coalgebra Coincidence over Initial Algebras: Turning Verification Witnesses Upside Down. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: 32nd International Conference on Concurrency Theory, CONCUR 2021, August 24-27, 2021, Virtual Conference., pp. 21:1-21:22, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-203-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Handan Kilinç Alper, Jeffrey Burdges |
Two-Round Trip Schnorr Multi-signatures via Delinearized Witnesses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRYPTO (1) ![In: Advances in Cryptology - CRYPTO 2021 - 41st Annual International Cryptology Conference, CRYPTO 2021, Virtual Event, August 16-20, 2021, Proceedings, Part I, pp. 157-188, 2021, Springer, 978-3-030-84241-3. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Sana Asif, Byungjin Jun, Fabián E. Bustamante, John P. Rula |
Networked systems as witnesses: association between content demand, human mobility and an infection spread. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Internet Measurement Conference ![In: IMC '21: ACM Internet Measurement Conference, Virtual Event, USA, November 2-4, 2021, pp. 487-506, 2021, ACM, 978-1-4503-9129-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Michele Dall'Arno, Sarah Brandsen, Francesco Buscemi |
Explicit Construction of Optimal Witnesses for Input-Output Correlations Attainable by Quantum Channels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Open Syst. Inf. Dyn. ![In: Open Syst. Inf. Dyn. 27(4), pp. 2050017:1-2050017:23, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Elin A. Björling, Kyle Thomas, Emma J. Rose 0001, Maya Cakmak |
Exploring Teens as Robot Operators, Users and Witnesses in the Wild. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Frontiers Robotics AI ![In: Frontiers Robotics AI 7, pp. 5, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|