Search results for "assumptions"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
58	Ahmad-Reza Sadeghi, Michael Steiner 0001	Assumptions Related to Discrete Logarithms: Why Subtleties Make a Real Difference.	EUROCRYPT	2001	DBLP DOI BibTeX RDF	Cryptographic Assumptions, Square Exponent, Inverse Exponent, Discrete Logarithms, Complexity Theory, Diffie-Hellman, Generic Algorithms
54	Robert D. King, Charles D. Turnitsa	The landscape of assumptions.	SpringSim	2008	DBLP DOI BibTeX RDF	ontology, assumptions
54	Paola Inverardi, Alexander L. Wolf, Daniel Yankelevich	Static checking of system behaviors using derived component assumptions.	ACM Trans. Softw. Eng. Methodol.	2000	DBLP DOI BibTeX RDF	chemical abstract machine model, static analysis, component-based systems, assumptions
48	Keith W. Miller 0001, Larry J. Morell, Robert E. Noonan, Stephen K. Park, David M. Nicol, Branson W. Murrill, Jeffrey M. Voas	Estimating the Probability of Failure When Testing Reveals No Failures.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	failure probability estimation, random testing results, input distribution, prior assumptions, failure estimate, discrete sample space statistical model, Bayesian prior assumptions, life-critical applications, probability, program testing, Bayes methods, formulas
46	Michael Szydlo	A Note on Chosen-Basis Decisional Diffie-Hellman Assumptions.	Financial Cryptography	2006	DBLP DOI BibTeX RDF	Chosen basis, Decisional Diffie-Hellman, Interactive assumptions
46	Sebastián Uchitel, Daniel Yankelevich	Enhancing Architectural Mismatch Detection with Assumptions.	ECBS	2000	DBLP DOI BibTeX RDF	Verification, Software architectures, Safety Properties, Assumptions
44	Kimberly D. Voll, Tom P. Yeh, Verónica Dahl	An assumptive logic programming methodology for parsing.	ICTAI	2000	DBLP DOI BibTeX RDF	assumptive logic programming methodology, continuation based linear assumptions, timeless assumptions, datalog grammars, terse treatments, language processing phenomena, concise parser, numbered word boundaries, left-corner parsing, constituent coordination, AI, logic programming, theorem proving, DATALOG, error correction, grammars, test cases, charting, error diagnosis, proof of concept, logic grammars
44	Adriano Valenzano, Paolo Montuschi, Luigi Ciminiera	Some Properties of Timed Token Medium Access Protocols.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	timed token medium access protocols, non-real-time traffic, worst-case values, average token rotation time, synchronous traffic, generic periodic pattern, heavy conditions, theoretical lower bounds, real networks, asynchronous overrun problem, multiple priority classes, worst-case assumptions, best-case assumptions, timed-token protocol parameters, network installation, protocols, throughput, local area network, real-time traffic, token networks, electronic messaging
43	Paolo Atzeni, Douglas Stott Parker Jr.	Assumptions in Relational Database Theory.	PODS	1982	DBLP DOI BibTeX RDF
39	Maria Eleftheriou, Marios Mavronicolas	Linearizability in the Presence of Drifting Clocks and Under Different Delay Assumptions.	DISC	1999	DBLP DOI BibTeX RDF
39	Bernhard Josko	Modelchecking of CTL Formulae under Liveness Assumptions.	ICALP	1987	DBLP DOI BibTeX RDF
39	Jaimee Brown, Juan Manuel González Nieto, Colin Boyd	Efficient CCA-Secure Public-Key Encryption Schemes from RSA-Related Assumptions.	INDOCRYPT	2006	DBLP DOI BibTeX RDF	RSA assumptions, public key encryption, chosen-ciphertext security
39	Samir Chouali, Jacques Julliand, Pierre-Alain Masson, Françoise Bellegarde	PLTL-partitioned model checking for reactive systems under fairness assumptions.	ACM Trans. Embed. Comput. Syst.	2005	DBLP DOI BibTeX RDF	PLTL model checking, Refinement design, fairness assumptions, out-of-core model checking
39	Michel Abdalla, Bogdan Warinschi	On the Minimal Assumptions of Group Signature Schemes.	ICICS	2004	DBLP DOI BibTeX RDF	minimal assumptions, Group signatures, one-way functions, trapdoor permutations
35	Jeffrey C. Carver, John Van Voorhis, Victor R. Basili	Understanding the Impact of Assumptions on Experimental Validity.	ISESE	2004	DBLP DOI BibTeX RDF
35	Claude Crépeau, Joe Kilian	Weakening Security Assumptions and Oblivious Transfer (Abstract).	CRYPTO	1988	DBLP DOI BibTeX RDF
35	Michel Abdalla, David Pointcheval	Interactive Diffie-Hellman Assumptions with Applications to Password-Based Authentication.	Financial Cryptography	2005	DBLP DOI BibTeX RDF	Password-based authentication, multi-party protocols, Diffie-Hellman assumptions
34	Björn Niehaves, Karsten Klose, Ralf Knackstedt, Jörg Becker 0001	Epistemological Perspectives on IS-Development - A Consensus-Oriented Approach on Conceptual Modeling.	Wissensmanagement (LNCS Volume)	2005	DBLP DOI BibTeX RDF	IS research, epistemological assumptions, epistemological framework, consensus-oriented approach, conceptual modeling, IS development
32	Mikhail V. Solodov	Global convergence of an SQP method without boundedness assumptions on any of the iterative sequences.	Math. Program.	2009	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 90C30, 65K05
32	Charles B. Haley, Robin C. Laney, Jonathan D. Moffett, Bashar Nuseibeh	Using trust assumptions with security requirements.	Requir. Eng.	2006	DBLP DOI BibTeX RDF
32	Charles B. Haley, Robin C. Laney, Jonathan D. Moffett, Bashar Nuseibeh	The Effect of Trust Assumptions on the Elaboration of Security Requirements.	RE	2004	DBLP DOI BibTeX RDF
32	Claudio Bettini, Xiaoyang Sean Wang, Elisa Bertino, Sushil Jajodia	Semantic Assumptions and Query Evaluation in Temporal Databases.	SIGMOD Conference	1995	DBLP DOI BibTeX RDF	MQL
31	Giovanni Di Crescenzo	Minimal Assumptions and Round Complexity for Concurrent Zero-Knowledge in the Bare Public-Key Model.	COCOON	2009	DBLP DOI BibTeX RDF	Bare Public-Key Model, Complexity Assumptions, Round Complexity, Zero-Knowledge Protocols, Concurrent Zero-Knowledge
31	William S. Cooper	Some Inconsistencies and Misidentified Modeling Assumptions in Probabilistic Information Retrieval.	ACM Trans. Inf. Syst.	1995	DBLP DOI BibTeX RDF	bibliographic searching, modeling, consistency, logic, document retrieval, independence, assumptions
31	Inmaculada Higueras	On Simplifying Assumptions of Runge-Kutta Methods for Index 2 Differential Algebraic Problems.	Computing	1995	DBLP DOI BibTeX RDF	Differential-algebraic systems, order conditions, simplifying assumptions, Runge-Kutta methods
31	Robert A. Wagner	Finiteness assumptions and intellectual isolation of computer scientists.	Commun. ACM	1970	DBLP DOI BibTeX RDF	Algol vs. Fortran, finite word size, finiteness assumptions, integer variable range, intellectual isolation, memory finiteness
31	Pham Ngoc Hung, Toshiaki Aoki, Takuya Katayama	A Minimized Assumption Generation Method for Component-Based Software Verification.	ICTAC	2009	DBLP DOI BibTeX RDF	minimal assumption, model checking, learning algorithm, modular verification, assume-guarantee reasoning
30	Omkant Pandey, Rafael Pass, Vinod Vaikuntanathan	Adaptive One-Way Functions and Applications.	CRYPTO	2008	DBLP DOI BibTeX RDF	Cryptographic Assumptions, Non-malleable Commitment, Non-malleable Zero-knowledge
28	David Malone, Ian Dangerfield, Douglas J. Leith	Verification of Common 802.11 MAC Model Assumptions.	PAM	2007	DBLP DOI BibTeX RDF
28	Achour Mostéfaoui, Michel Raynal, Corentin Travers	Time-Free and Timer-Based Assumptions Can Be Combined to Obtain Eventual Leadership.	IEEE Trans. Parallel Distributed Syst.	2006	DBLP DOI BibTeX RDF	time-free assumption, timer-based assumption, fault tolerance, distributed algorithm, Asynchronous system, leader election, process crash, hybrid protocol
28	Henning Christiansen 0001, Verónica Dahl	HYPROLOG: A New Logic Programming Language with Assumptions and Abduction.	ICLP	2005	DBLP DOI BibTeX RDF
28	Boaz Barak, Ran Canetti, Jesper Buus Nielsen, Rafael Pass	Universally Composable Protocols with Relaxed Set-Up Assumptions.	FOCS	2004	DBLP DOI BibTeX RDF
28	David Kotz, Calvin C. Newport, Robert S. Gray, Jason Liu 0001, Yougu Yuan, Chip Elliott	Experimental evaluation of wireless simulation assumptions.	MSWiM	2004	DBLP DOI BibTeX RDF	ad hoc network, mobile computing, wireless network, MANET, measurement, experiment, 802.11, network simulation, Wi-Fi
28	Ron Sun, Dehu Qi	Rationality Assumptions and Optimality of Co-learning.	PRIMA	2000	DBLP DOI BibTeX RDF
28	Tatsuaki Okamoto, Kazuo Ohta	How to Simultaneously Exchange Secrets by General Assumptions.	CCS	1994	DBLP DOI BibTeX RDF
28	Tatsuaki Okamoto	On the Relationship among Cryptographic Physical Assumptions.	ISAAC	1993	DBLP DOI BibTeX RDF
27	Jürg Kohlas, Christian Eichenberger	Uncertain Information.	Formal Theories of Information	2009	DBLP DOI BibTeX RDF
27	Vera Hollink, Maarten van Someren, Bob J. Wielinga	Navigation behavior models for link structure optimization.	User Model. User Adapt. Interact.	2007	DBLP DOI BibTeX RDF	Link structure optimization, Web site efficiency, Navigation menus, Model selection, User behavior models
27	Claudio de la Riva, Javier Tuya	Modular Model Checking of Software Specifications with Simultaneous Environment Generation.	ATVA	2004	DBLP DOI BibTeX RDF
27	Maria Calzarossa, Domenico Ferrari	A Sensitivity Study of the Clustering Approach to Workload Modeling.	SIGMETRICS	1985	DBLP DOI BibTeX RDF
26	Benoît Chevallier-Mames, Marc Joye	Chosen-Ciphertext Secure RSA-Type Cryptosystems.	ProvSec	2009	DBLP DOI BibTeX RDF	RSA-based encryption schemes, instance-independence assumptions, one-time mappable chameleon hashing, standard model, public-key encryption, Chosen-ciphertext security
26	Georgios K. Giannikis, Aspassia Daskalopulu	The role of assumption identification in autonomous agent reasoning.	AAMAS (2)	2009	DBLP BibTeX RDF	agents, autonomy, default logic, assumptions
26	Antonio Fernández 0001, Ernesto Jiménez, Michel Raynal, Gilles Trédan	A Timing Assumption and a t-Resilient Protocol for Implementing an Eventual Leader Service in Asynchronous Shared Memory Systems.	ISORC	2007	DBLP DOI BibTeX RDF	Timer property, Timing assumptions, Fault-tolerance, Shared memory, System model, Asynchronous system, Process crash, Atomic register, Omega, Eventual leader
26	Hoeteck Wee	Lower Bounds for Non-interactive Zero-Knowledge.	TCC	2007	DBLP DOI BibTeX RDF	set-up assumptions, lower bounds, Non-interactive zero-knowledge
26	Shuhua Wu, Yuefei Zhu	Efficient Augmented Password-Based Encrypted Key Exchange Protocol.	MSN	2006	DBLP DOI BibTeX RDF	encrypted key exchange, password, Diffie-Hellman assumptions
26	Ben C. Moszkowski	Compositional reasoning about projected and infinite time.	ICECCS	1995	DBLP DOI BibTeX RDF	multiple time granularities, parallel programming, concurrency, temporal logic, temporal logic, concurrency control, theorem proving, multiprocessing systems, deadlock, commitments, concurrent system, assumptions, Interval Temporal Logic
26	Scott A. Vander Wiel, Lawrence G. Votta	Assessing Software Designs Using Capture-Recapture Methods.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	capture-recapture methods, wildlife population estimation, broken assumptions, jackknife estimators, software quality, software reliability, statistical analysis, software designs, maximum likelihood estimators, maximum likelihood estimation, Monte Carlo simulation, software quality assurance, statistical estimation, design reviews
25	Mäjt Wik, Daniel Curto-Millet, Tomas Lindroth	Modes of Engagement: Problematizing Managerial Assumptions of Participation in Public Sector Digital Transformation: Problematizing managerial assumptions of participation in public sector digital transformation.	DG.O	2023	DBLP DOI BibTeX RDF
25	Steffen Zschaler, Awais Rashid	Aspect assumptions: a retrospective study of AspectJ developers' assumptions about aspect usage.	AOSD	2011	DBLP DOI BibTeX RDF
25	Eric W. K. Tsang	Commentary - Assumptions, Explanation, and Prediction in Marketing Science: "It's the Findings, Stupid, Not the Assumptions".	Mark. Sci.	2009	DBLP DOI BibTeX RDF
24	Miklós Ajtai	Oblivious RAMs without cryptogrpahic assumptions.	STOC	2010	DBLP DOI BibTeX RDF	RAM, oblivious
24	Jelena Marincic, Angelika Mader, Roel J. Wieringa	Classifying Assumptions Made during Requirements Verification of Embedded Systems.	REFSQ	2008	DBLP DOI BibTeX RDF
24	Jose Kooken, Tobias Ley, Robert de Hoog	How Do People Learn at the Workplace? Investigating Four Workplace Learning Assumptions.	EC-TEL	2007	DBLP DOI BibTeX RDF	multi-method approach, learning bottlenecks, task driven learning, informal learning, workplace learning
24	Jack P. C. Kleijnen	White noise assumptions revisited: regression metamodels and experimental designs in practice.	WSC	2006	DBLP DOI BibTeX RDF
24	Vishal Suthar, Shantanu Dutt	Mixed PLB and Interconnect BIST for FPGAs Without Fault-Free Assumptions.	VTS	2006	DBLP DOI BibTeX RDF
24	Giovanni Di Crescenzo, Renwei Ge, Gonzalo R. Arce	Improved topology assumptions for threshold cryptography in mobile ad hoc networks.	SASN	2005	DBLP DOI BibTeX RDF	distributed cryptography, mobile ad hoc networks, threshold cryptography, threshold signatures
24	Patricia Lago, Hans van Vliet	Explicit assumptions enrich architectural models.	ICSE	2005	DBLP DOI BibTeX RDF	software architecture, knowledge management, documentation, architecture model, assumption
24	Charles B. Haley, Robin C. Laney, Jonathan D. Moffett, Bashar Nuseibeh	Picking Battles: The Impact of Trust Assumptions on the Elaboration of Security Requirements.	iTrust	2004	DBLP DOI BibTeX RDF
24	Dimitra Giannakopoulou, Corina S. Pasareanu, Jamieson M. Cobleigh	Assume-Guarantee Verification of Source Code with Design-Level Assumptions.	ICSE	2004	DBLP DOI BibTeX RDF
24	Jamieson M. Cobleigh, Dimitra Giannakopoulou, Corina S. Pasareanu	Learning Assumptions for Compositional Verification.	TACAS	2003	DBLP DOI BibTeX RDF
24	Jordi Cortadella, Michael Kishinevsky, Steven M. Burns, Alex Kondratyev, Luciano Lavagno, Ken S. Stevens, Alexander Taubin, Alexandre Yakovlev	Lazy transition systems and asynchronous circuit synthesis withrelative timing assumptions.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2002	DBLP DOI BibTeX RDF
24	Andy Yan, Rebecca Cheng, Steven J. E. Wilton	On the sensitivity of FPGA architectural conclusions to experimental assumptions, tools, and techniques.	FPGA	2002	DBLP DOI BibTeX RDF
24	Valentin Razmov, Daniel R. Simon	Practical Automated Filter Generation to Explicitly Enforce Implicit Input Assumptions.	ACSAC	2001	DBLP DOI BibTeX RDF
24	Giovanni Di Crescenzo	Removing Complexity Assumptions from Concurrent Zero-Knowledge Proofs.	COCOON	2000	DBLP DOI BibTeX RDF
24	Jordi Cortadella, Michael Kishinevsky, Steven M. Burns, Ken S. Stevens	Synthesis of asynchronous control circuits with automatically generated relative timing assumptions.	ICCAD	1999	DBLP DOI BibTeX RDF
24	Thomas J. Froehlich	User assumptions about information retrieval systems: ethical concerns.	Ethics in Computer Age	1994	DBLP DOI BibTeX RDF
23	Daniel von Dincklage, Amer Diwan	Optimizing programs with intended semantics.	OOPSLA	2009	DBLP DOI BibTeX RDF	intended semantics, optimization
23	Kosheek Sewchurran, Elsje Scott	Learning and making sense of project phenomena in information systems education.	ICIS	2009	DBLP DOI BibTeX RDF
23	Bella Dubrov, Yuval Ishai	On the randomness complexity of efficient sampling.	STOC	2006	DBLP DOI BibTeX RDF	information theoretic cryptography, randomness complexity, compression, derandomization, pseudorandom generators, secure computation
22	Eli Gafni, Petr Kuznetsov	The weakest failure detector for solving k-set agreement.	PODC	2009	DBLP DOI BibTeX RDF	BG-simulation, synchrony assumptions, weakest failure detector, failure detectors, k-set agreement
22	Ian F. Alexander	10 Small Steps to Better Requirements.	IEEE Softw.	2006	DBLP DOI BibTeX RDF	mission, requirements, scenarios, projects, priorities, conflicts, stakeholders, goals, scope, assumptions, justifications, acceptance criteria
22	J. Ramón Gil-García, Theresa A. Pardo	Multiple methods and multiple paradigms for digital government research: understanding the promises and challenges.	DG.O	2005	DBLP BibTeX RDF	combination of methods, muti-method approaches, philosophical assumptions, research methods, mixed methods
22	Michel Abdalla, David Pointcheval	Simple Password-Based Encrypted Key Exchange Protocols.	CT-RSA	2005	DBLP DOI BibTeX RDF	encrypted key exchange, Password, Diffie-Hellman assumptions
22	Brian Randell	On Failures and Faults.	FME	2003	DBLP DOI BibTeX RDF	fault assumptions, Dependability, formal concepts
22	Matthias Nicola, Matthias Jarke	Performance Modeling of Distributed and Replicated Databases.	IEEE Trans. Knowl. Data Eng.	2000	DBLP DOI BibTeX RDF	interdatabase communication, modeling assumptions, measurements, benchmarks, distributed databases, replication, Performance models, queueing theory
22	Ronan Gaugne	A Static Analysis for Program Understanding and Debugging.	ASE	1997	DBLP DOI BibTeX RDF	static pointer analysis technique, C subset, user-defined assertions, static assertions, hypothetical assertions, circular structures, reverse engineering, program understanding, program debugging, automatic verification, assumptions, recursive data structures
22	Axel van Lamsweerde, Robert Darimont, Philippe Massonet	Goal-directed elaboration of requirements for a meeting scheduler: problems and lessons learnt.	RE	1995	DBLP DOI BibTeX RDF	goal-directed elaboration, requirements engineering languages, nontrivial benchmark, complex requirements engineering tasks, distributed meeting scheduler system, KAOS goal directed language, goal identification, deidelization, interfering goals, abstract descriptions, retractable assumptions, hybrid acquisition strategies, scheduling, formal specification, groupware, case study, specification languages, requirements traceability, formal reasoning, meeting scheduler
22	Fabio Grandi 0001, Maria Rita Scalas	Block Access Estimation for Clustered Data Using a Finite LRU Buffer.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	block access estimation, data access cost evaluation, clustered data, finite LRU buffer, clustering effect, buffer memory, real systems, comprehensive cost model, clustered data retrieval, uniform data clustering assumptions, predictive power, query processing, database management systems, database systems, buffer storage, information retrieval systems, computational costs
22	Brigitte Plateau, Karim Atif	Stochastic Automata Network For Modeling Parallel Systems.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	parallel activities, synchronization points, modular state-transition representation, Markovian assumptions, tensor algebra operators, performance evaluation, parallel algorithms, parallel architectures, parallel system, SAN, decomposition technique, stochastic automata, stochastic automata network, state-space explosion, transition matrix, storage cost
20	Susan Hohenberger, Brent Waters	Realizing Hash-and-Sign Signatures under Standard Assumptions.	EUROCRYPT	2009	DBLP DOI BibTeX RDF
20	Kai-Yuen Cheong, Takeshi Koshiba	Reducing Complexity Assumptions for Oblivious Transfer.	IWSEC	2009	DBLP DOI BibTeX RDF	trapdoor one-way functions, oblivious transfer
20	Brent Waters	Dual System Encryption: Realizing Fully Secure IBE and HIBE under Simple Assumptions.	CRYPTO	2009	DBLP DOI BibTeX RDF
20	François Ingelrest, David Simplot-Ryl	Maximizing the Delivery of MPR Broadcasting Under Realistic Physical Layer Assumptions.	J. Comput. Sci. Technol.	2008	DBLP DOI BibTeX RDF	multipoint relay broadcasting, realistic physical layer, sensor network, ad hoc network
20	Marcos Kawazoe Aguilera, Carole Delporte-Gallet, Hugues Fauconnier, Sam Toueg	On implementing omega in systems with weak reliability and synchrony assumptions.	Distributed Comput.	2008	DBLP DOI BibTeX RDF
20	Wonhong Nam, P. Madhusudan, Rajeev Alur	Automatic symbolic compositional verification by learning assumptions.	Formal Methods Syst. Des.	2008	DBLP DOI BibTeX RDF	Regular language learning, Formal verification, Symbolic model checking, Compositional verification, Assume-guarantee reasoning, Hypergraph partitioning
20	Andreas Podelski, Andrey Rybalchenko, Thomas Wies	Heap Assumptions on Demand.	CAV	2008	DBLP DOI BibTeX RDF
20	Oktay Türetken, Özden Özcan Top, Baris Özkan, Onur Demirörs	The Impact of Individual Assumptions on Functional Size Measurement.	IWSM/Metrikon/Mensura	2008	DBLP DOI BibTeX RDF	COSMIC FSM, IFPUG FPA, MkII FPA, Functional Size Measurement
20	Simon Tjell, João M. Fernandes	Expressing Environment Assumptions and Real-time Requirements for a Distributed Embedded System with Shared Variables.	DIPES	2008	DBLP DOI BibTeX RDF
20	Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann	Environment Assumptions for Synthesis.	CONCUR	2008	DBLP DOI BibTeX RDF
20	Jeffrey S. Pierce, Randy Pausch	Generating 3D interaction techniques by identifying and breaking assumptions.	Virtual Real.	2007	DBLP DOI BibTeX RDF	Virtual reality, Interaction techniques, 3D interaction, Generative methods
20	Xiaodong Li, Sarita V. Adve, Pradip Bose, Jude A. Rivers	Architecture-Level Soft Error Analysis: Examining the Limits of Common Assumptions.	DSN	2007	DBLP DOI BibTeX RDF
20	Carmit Hazay, Jonathan Katz, Chiu-Yuen Koo, Yehuda Lindell	Concurrently-Secure Blind Signatures Without Random Oracles or Setup Assumptions.	TCC	2007	DBLP DOI BibTeX RDF
20	Tal Malkin, Ryan Moriarty, Nikolai Yakovenko	Generalized Environmental Security from Number Theoretic Assumptions.	TCC	2006	DBLP DOI BibTeX RDF
20	Fabien Laguillaumie, Benoît Libert, Jean-Jacques Quisquater	Universal Designated Verifier Signatures Without Random Oracles or Non-black Box Assumptions.	SCN	2006	DBLP DOI BibTeX RDF
20	Anil Bazaz, James D. Arthur, Joseph G. Tront	Modeling Security Vulnerabilities: A Constraints and Assumptions Perspective.	DASC	2006	DBLP DOI BibTeX RDF
20	Rajeev Alur, P. Madhusudan, Wonhong Nam	Symbolic Compositional Verification by Learning Assumptions.	CAV	2005	DBLP DOI BibTeX RDF
20	Emanuela Busetti, Giuliana Dettori, Paola Forcheri, Maria Grazia Ierardi	Devising a Typology of LOs Based on Pedagogical Assumptions.	ICWL	2005	DBLP DOI BibTeX RDF
20	Iftach Haitner, Omer Horvitz, Jonathan Katz, Chiu-Yuen Koo, Ruggero Morselli, Ronen Shaltiel	Reducing Complexity Assumptions for Statistically-Hiding Commitment.	EUROCRYPT	2005	DBLP DOI BibTeX RDF
20	Farn Wang	Model-Checking Distributed Real-Time Systems with States, Events, and Multiple Fairness Assumptions.	AMAST	2004	DBLP DOI BibTeX RDF	model-checking, verification, real-time, Distributed, fairness, events
20	Mihir Bellare, Adriana Palacio	The Knowledge-of-Exponent Assumptions and 3-Round Zero-Knowledge Protocols.	CRYPTO	2004	DBLP DOI BibTeX RDF