Search results for "witnesses"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
74	Jehan-François Pâris	Efficient Voting Protocols with Witnesses.	ICDT	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.	FOCS	2006	DBLP DOI BibTeX RDF
66	Joanne Bechta Dugan, Gianfranco Ciardo	Stochastic Petri Net Analysis of a Replicated File System.	IEEE Trans. Software Eng.	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.	CONCUR	2006	DBLP DOI BibTeX RDF
51	Miguel E. Andrés, Pedro R. D'Argenio, Peter van Rossum	Significant Diagnostic Counterexamples in Probabilistic Model Checking.	Haifa Verification Conference	2008	DBLP DOI BibTeX RDF
51	Sagar Chaki	SAT-Based Software Certification.	TACAS	2006	DBLP DOI BibTeX RDF
51	Ronen Shaltiel, Christopher Umans	Pseudorandomness for Approximate Counting and Sampling.	CCC	2005	DBLP DOI BibTeX RDF
51	Robert Meolic, Alessandro Fantechi, Stefania Gnesi	Witness and Counterexample Automata for ACTL.	FORTE	2004	DBLP DOI BibTeX RDF
48	Noga Alon, Zvi Galil, Oded Margalit, Moni Naor	Witnesses for Boolean Matrix Multiplication and for Shortest Paths	FOCS	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.	Annual Simulation Symposium	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.	CPM	2007	DBLP DOI BibTeX RDF
45	Frédéric Besson, Thomas P. Jensen, Tiphaine Turpin	Small Witnesses for Abstract Interpretation-Based Proofs.	ESOP	2007	DBLP DOI BibTeX RDF
45	Heikki Hyyrö, Gonzalo Navarro 0001	Bit-Parallel Witnesses and Their Applications to Approximate String Matching.	Algorithmica	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.	ICLP	2005	DBLP DOI BibTeX RDF
45	Dinghao Wu, Andrew W. Appel, Aaron Stump	Foundational proof checkers with small witnesses.	PPDP	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).	RANDOM	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.	Theor. Comput. Sci.	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.	CoRR	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.	FUN	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.	CloudCom (1)	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.	ACM Trans. Algorithms	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.	DG.O	2008	DBLP BibTeX RDF	natural language processing, information extraction
38	Ian F. Blake, Aldar C.-F. Chan	Conditionally Verifiable Signature.	INDOCRYPT	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.	SODA	2005	DBLP BibTeX RDF
38	Orna Kupferman, Moshe Y. Vardi	Vacuity detection in temporal model checking.	Int. J. Softw. Tools Technol. Transf.	2003	DBLP DOI BibTeX RDF	Vacuous satisfaction, Model checking
38	Bin Yu 0006, Munindar P. Singh	Detecting deception in reputation management.	AAMAS	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.	CHARME	1999	DBLP DOI BibTeX RDF
33	Gérard D. Cohen	Separation and Witnesses.	IWCC	2009	DBLP DOI BibTeX RDF
33	Orna Kupferman, Nir Piterman	Lower Bounds on Witnesses for Nonemptiness of Universal Co-Büchi Automata.	FoSSaCS	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.	ISAAC	2004	DBLP DOI BibTeX RDF
33	Vince Grolmusz, Gábor Tardos	A Note on Non-Deterministic Communication Complexity with Few Witnesses.	Theory Comput. Syst.	2003	DBLP DOI BibTeX RDF
28	Arie Gurfinkel, Marsha Chechik	Generating Counterexamples for Multi-valued Model-Checking.	FME	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.	Soft Comput.	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.	ESA	2009	DBLP DOI BibTeX RDF
25	Aggelos Kiayias, Hong-Sheng Zhou	Zero-Knowledge Proofs with Witness Elimination.	Public Key Cryptography	2009	DBLP DOI BibTeX RDF
25	Jan Camenisch, Markulf Kohlweiss, Claudio Soriente	An Accumulator Based on Bilinear Maps and Efficient Revocation for Anonymous Credentials.	Public Key Cryptography	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.	ISC	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.	IRI	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.	FGR	2006	DBLP DOI BibTeX RDF
25	Paolo Boldi, Sebastiano Vigna	Efficient Lazy Algorithms for Minimal-Interval Semantics.	SPIRE	2006	DBLP DOI BibTeX RDF
25	Rakesh M. Verma, Ara Hayrapetyan	A new decidability technique for ground term rewriting systems with applications.	ACM Trans. Comput. Log.	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.	SAC	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.	DEXA	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.	ICSE	2003	DBLP DOI BibTeX RDF
25	Andrzej Lingas	A Geometric Approach to Boolean Matrix Multiplication.	ISAAC	2002	DBLP DOI BibTeX RDF
25	Roger Dingledine, Michael J. Freedman, David Hopwood, David Molnar	A Reputation System to Increase MIX-Net Reliability.	Information Hiding	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.	CIKM	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.	INTERCHI	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.	CoRR	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).	TACAS (3)	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).	TACAS (3)	2024	DBLP DOI BibTeX RDF
20	Xiao Hu 0005, Stavros Sintos	Finding Smallest Witnesses for Conjunctive Queries.	ICDT	2024	DBLP DOI BibTeX RDF
20	Marco Milanese, Antoine Miné	Generation of Violation Witnesses by Under-Approximating Abstract Interpretation.	VMCAI (1)	2024	DBLP DOI BibTeX RDF
20	Yisong Wang, Thomas Eiter, Yuanlin Zhang 0002, Fangzhen Lin	Witnesses for Answer Sets of Logic Programs.	ACM Trans. Comput. Log.	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.	Digit. Scholarsh. Humanit.	2023	DBLP DOI BibTeX RDF
20	Xiao Hu 0005, Stavros Sintos	Finding Smallest Witnesses for Conjunctive Queries.	CoRR	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.	CoRR	2023	DBLP DOI BibTeX RDF
20	Hajime Machida	A Study on Centralizing Monoids with Majority Operation Witnesses.	Sci. Ann. Comput. Sci.	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.	Quantum Inf. Process.	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.	CogSci	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.	ISCC	2023	DBLP DOI BibTeX RDF
20	Mike Behrisch, Leon Renkin	Computing Witnesses for Centralising Monoids on a Three-Element Set.	ICFCA	2023	DBLP DOI BibTeX RDF
20	Jean-Marie Lagniez, Pierre Marquis	Boosting Definability Bipartition Computation Using SAT Witnesses.	JELIA	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.	DH	2023	DBLP DOI BibTeX RDF
20	Mike Behrisch	All Centralising Monoids with Majority Witnesses on a Four-element Set.	J. Multiple Valued Log. Soft Comput.	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.	Digit. Scholarsh. Humanit.	2022	DBLP DOI BibTeX RDF
20	Charles Li	helayo: Reconstructing Sanskrit texts from manuscript witnesses.	J. Open Source Softw.	2022	DBLP DOI BibTeX RDF
20	Dylan Hyatt-Denesik, Afrouz Jabal Ameli, Laura Sanità	Choose your witnesses wisely.	CoRR	2022	DBLP DOI BibTeX RDF
20	Thorsten Wißmann, Stefan Milius, Lutz Schröder	Quasilinear-time Computation of Generic Modal Witnesses for Behavioural Inequivalence.	CoRR	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.	CoRR	2022	DBLP DOI BibTeX RDF
20	Thorsten Wißmann, Stefan Milius, Lutz Schröder	Quasilinear-time Computation of Generic Modal Witnesses for Behavioural Inequivalence.	Log. Methods Comput. Sci.	2022	DBLP DOI BibTeX RDF
20	Dirk Beyer 0001, Matthias Dangl, Daniel Dietsch, Matthias Heizmann, Thomas Lemberger 0002, Michael Tautschnig	Verification Witnesses.	ACM Trans. Softw. Eng. Methodol.	2022	DBLP DOI BibTeX RDF
20	Yannick Saouter	New results for witnesses of Robin's criterion.	Math. Comput.	2022	DBLP DOI BibTeX RDF
20	Jeffrey Bergfalk, Vera Fischer, Corey Bacal Switzer	Projective well orders and coanalytic witnesses.	Ann. Pure Appl. Log.	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.	i-com	2022	DBLP DOI BibTeX RDF
20	Lachlan Urquhart, Diana Miranda, Lena Podoletz	Policing the smart home: The internet of things as 'invisible witnesses'.	Inf. Polity	2022	DBLP DOI BibTeX RDF
20	Holger Dell, John Lapinskas, Kitty Meeks	Approximately Counting and Sampling Small Witnesses Using a Colorful Decision Oracle.	SIAM J. Comput.	2022	DBLP DOI BibTeX RDF
20	Rafael Figueiredo, Samih Eisa, Miguel L. Pardal	SureRepute: Reputation System for Crowdsourced Location Witnesses.	NCA	2022	DBLP DOI BibTeX RDF
20	João Tiago, Samih Eisa, Miguel L. Pardal	SureSpace: orchestrating beacons and witnesses to certify device location.	SAC	2022	DBLP DOI BibTeX RDF
20	Daniel Kolb	Design Choices for Embodied Conversational Agents to Preserve Testimonies by Contemporary Witnesses.	CHI Extended Abstracts	2022	DBLP DOI BibTeX RDF
20	Azadeh Farzan, Danya Lette, Victor Nicolet	Recursion synthesis with unrealizability witnesses.	PLDI	2022	DBLP DOI BibTeX RDF
20	Jera Hensel, Constantin Mensendiek, Jürgen Giesl	AProVE: Non-Termination Witnesses for C Programs - (Competition Contribution).	TACAS (2)	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.	AINA (3)	2022	DBLP DOI BibTeX RDF
20	Simon Jantsch	Certificates and Witnesses for Probabilistic Model Checking.		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.	Concurr. Comput. Pract. Exp.	2021	DBLP DOI BibTeX RDF
20	Mike Behrisch, Edith Vargas-García	Centralising Monoids with Low-Arity Witnesses on a Four-Element Set.	Symmetry	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.	CoRR	2021	DBLP BibTeX RDF
20	Barbara Guidi, Andrea Michienzi, Laura Ricci	Analysis of Witnesses in the Steem Blockchain.	Mob. Networks Appl.	2021	DBLP DOI BibTeX RDF
20	Dirk Pattinson, Mina Mohammadian	Constructive Domains with Classical Witnesses.	Log. Methods Comput. Sci.	2021	DBLP BibTeX RDF
20	Bang-Hai Wang, Zi-Heng Ding, Zhihao Ma, Shao-Ming Fei	Common Coherence Witnesses and Common Coherent States.	Entropy	2021	DBLP DOI BibTeX RDF
20	Miroslaw Kowaluk, Andrzej Lingas	Quantum and Approximation Algorithms for Maximum Witnesses of Boolean Matrix Products.	CALDAM	2021	DBLP DOI BibTeX RDF
20	Christian Konrad 0001	Frequent Elements with Witnesses in Data Streams.	PODS	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.	CHI Extended Abstracts	2021	DBLP DOI BibTeX RDF
20	Ali Asadi, Krishnendu Chatterjee, Hongfei Fu 0001, Amir Kafshdar Goharshady, Mohammad Mahdavi	Polynomial reachability witnesses via Stellensätze.	PLDI	2021	DBLP DOI BibTeX RDF
20	Mike Behrisch	Centralising monoids with conservative majority operations as witnesses.	ISMVL	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.	CONCUR	2021	DBLP DOI BibTeX RDF
20	Handan Kilinç Alper, Jeffrey Burdges	Two-Round Trip Schnorr Multi-signatures via Delinearized Witnesses.	CRYPTO (1)	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.	Internet Measurement Conference	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.	Open Syst. Inf. Dyn.	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.	Frontiers Robotics AI	2020	DBLP DOI BibTeX RDF