Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Sudhindu Bikash Mandal, Amlan Chakrabarti, Susmita Sur-Kolay |
Synthesis Techniques for Ternary Quantum Logic. |
ISMVL |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Michiro Kondo, Mayuka F. Kawaguchi, Masaaki Miyakoshi, Osamu Watari |
Weak Uninorm Based Logic and Its Filter Theory. |
ISMVL |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Igor N. Aizenberg |
Learning of the Non-threshold Functions of Multiple-Valued Logic by a Single Multi-valued Neuron with a Periodic Activation Function. |
ISMVL |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Hajime Machida, Jovanka Pantovic, Ivo G. Rosenberg |
Galois Connection for Hyperclones. |
ISMVL |
2010 |
DBLP DOI BibTeX RDF |
hyperoperation, hyperclones, Galois connection |
1 | Hajime Machida, Ivo G. Rosenberg |
Endoprimal Monoids and Witness Lemma in Clone Theory. |
ISMVL |
2010 |
DBLP DOI BibTeX RDF |
endoprimal monoid, clone, centralizer |
1 | Daniel Stamate |
Queries with Multivalued Logic-Based Semantics for Imperfect Information Fusion. |
ISMVL |
2010 |
DBLP DOI BibTeX RDF |
information fusion, multivalued logics, query equivalence, imperfect information, bilattices |
1 | João Marques-Silva 0001 |
Minimal Unsatisfiability: Models, Algorithms and Applications (Invited Paper). |
ISMVL |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Marek A. Perkowski, Nouraddin Alhagi, Martin Lukac, Neha Saxena, Scott Blakely |
Synthesis of Small Reversible and Pseudo-Reversible Circuits Using Y-Gates and Inverse Y-Gates. |
ISMVL |
2010 |
DBLP DOI BibTeX RDF |
pseudo-reversible logic gates, reversible circuits |
1 | Carlos Caleiro, João Marcos 0001 |
Two Many Values: An Algorithmic Outlook on Suszko's Thesis. |
ISMVL |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Dietlinde Lau, Karsten Schölzel |
A Classification of Partial Boolean Clones. |
ISMVL |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Claudio Moraga |
Spectral Techniques: The First Decade of the XXI Century (Invited Paper). |
ISMVL |
2010 |
DBLP DOI BibTeX RDF |
non-Abelian groups, Spectral Techniques |
1 | Stanislav Stankovic, Jaakko Astola, D. Michael Miller, Radomir S. Stankovic |
Heterogeneous Decision Diagrams for Applications in Harmonic Analysis on Finite Non-Abelian Groups. |
ISMVL |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Radomir S. Stankovic, Jaakko Astola, Claudio Moraga |
Remarks on Applicability of Spectral Representations on Finite Non-Abelian Groups in the Design for Regularity. |
ISMVL |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Masanori Natsui, Takashi Arimitsu, Takahiro Hanyu |
Low-Energy Pipelined Multiple-Valued Current-Mode Circuit with 8-Level Static Current-Source Control. |
ISMVL |
2010 |
DBLP DOI BibTeX RDF |
|
1 | David J. Rosenbaum 0001, Marek A. Perkowski |
Mapping Binary Functions to a Practical Adiabatic Quantum Computer. |
ISMVL |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Hector Freytes, Roberto Giuntini, Giuseppe Sergioli, Antonio Aricò |
Representing Fuzzy Structures in Quantum Computation with Mixed States. |
ISMVL |
2010 |
DBLP DOI BibTeX RDF |
quantum operations, fuzzy logic, Quantum computation |
1 | Arnon Avron, Jonathan Ben-Naim, Beata Konikowska |
Logics of Reasonable Information Sources. |
ISMVL |
2010 |
DBLP DOI BibTeX RDF |
many-valued logics, proof systems, information sources, non-deterministic matrices |
1 | Miguel Couceiro, Erkko Lehtonen |
Classes of Operations Closed under Permutation, Cylindrification and Composition. |
ISMVL |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Josep Argelich, Alba Cabiscol, Inês Lynce, Felip Manyà |
New Insights into Encodings from MaxCSP into Partial MaxSAT. |
ISMVL |
2010 |
DBLP DOI BibTeX RDF |
MaxCSP, Partial MaxSAT, Encodings |
1 | Satyendra R. Datla, Mitchell A. Thornton |
Quaternary Voltage-Mode Logic Cells and Fixed-Point Multiplication Circuits. |
ISMVL |
2010 |
DBLP DOI BibTeX RDF |
quaternary logic, arithmetic logic circuits |
1 | Pilar Dellunde |
Revisiting Ultraproducts in Fuzzy Predicate Logics. |
ISMVL |
2010 |
DBLP DOI BibTeX RDF |
Ultraproducts, reduced products, fuzzy predicate logics, reduced semantics |
1 | Libor Behounek, Petr Cintula, Ulrich Bodenhofer, Susanne Saminger-Platz, Peter Sarkoci |
On a Graded Notion of t-Norm and Dominance. |
ISMVL |
2010 |
DBLP DOI BibTeX RDF |
Fuzzy Class Theory, graded property, dominance, t-norm |
1 | Tsutomu Sasao |
On the Number of Products to Represent Interval Functions by SOPs with Four-Valued Variables. |
ISMVL |
2010 |
DBLP DOI BibTeX RDF |
|
1 | D. Michael Miller, Robert Wille, Rolf Drechsler |
Reducing Reversible Circuit Cost by Adding Lines. |
ISMVL |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Vincent C. Gaudet, Warren J. Gross |
Switching Activity in Stochastic Decoders. |
ISMVL |
2010 |
DBLP DOI BibTeX RDF |
stochastic decoding, low-power design, iterative decoding, LDPC |
1 | Dan A. Simovici, Dan Pletea, Rosanne Vetro |
Information-Theoretical Mining of Determining Sets for Partially Defined Functions. |
ISMVL |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Elena Dubrova, Maxim Teslenko, Ming Liu |
Finding Attractors in Synchronous Multiple-Valued Networks Using SAT-Based Bounded Model Checking. |
ISMVL |
2010 |
DBLP DOI BibTeX RDF |
multiple-valued network, SAT, bounded model checking, gene regulatory network, attractor |
1 | Stefan Frehse, Robert Wille, Rolf Drechsler |
Efficient Simulation-Based Debugging of Reversible Logic. |
ISMVL |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Mirko Navara, Milan Petrík, Peter Sarkoci |
Reconstruction of Additive Generators from Partial Derivatives of Continuous Archimedean t-Norms. |
ISMVL |
2010 |
DBLP DOI BibTeX RDF |
continuous Archimedean triangular norm, additive generator, fuzzy logic, reconstruction, many-valued logic, conjunction |
1 | Nouraddin Alhagi, Maher Hawash, Marek A. Perkowski |
Synthesis of Reversible Circuits with No Ancilla Bits for Large Reversible Functions Specified with Bit Equations. |
ISMVL |
2010 |
DBLP DOI BibTeX RDF |
MMD, MMDS, MMDSN, Large Reversible Circuits, 30-bit, Hasse diagram, line blocking, ancilla bit, Logic Synthesis |
1 | Naoki Sugiyama, Hiroshi Noto, Yoshito Nishigami, Ryosuke Oda, Takao Waho |
A Low-Power Successive Approximation Analog-to-Digital Converter Based on 2-Bit/Step Comparison. |
ISMVL |
2010 |
DBLP DOI BibTeX RDF |
successive approximation, low-power, analog-to-digital converter, multiple-valued |
1 | Henri Prade, Gilles Richard |
Multiple-Valued Logic Interpretations of Analogical, Reverse Analogical, and Paralogical Proportions. |
ISMVL |
2010 |
DBLP DOI BibTeX RDF |
logical proportions, multi valued logic, analogical reasoning |
1 | Antonio Di Nola, Tommaso Flaminio |
Generating the Variety of SMV-Algebras. |
ISMVL |
2010 |
DBLP DOI BibTeX RDF |
hyper real states, MV-algebras, internal states |
1 | Arnon Avron, Anna Zamansky |
Non-deterministic Multi-valued Logics--A Tutorial. |
ISMVL |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Umberto Straccia |
An Ontology Mediated Multimedia Information Retrieval System. |
ISMVL |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Atsushi Matsumoto, Naoya Onizawa, Takahiro Hanyu |
One-Color Two-Phase Asynchronous Communication Links Based on Multiple-Valued Simultaneous Control. |
ISMVL |
2010 |
DBLP DOI BibTeX RDF |
asynchronous transmission, current-mode, multiple-valued |
1 | Manuela Busaniche, Leonardo Manuel Cabrer |
Completions in Subvarieties of BL-Algebras. |
ISMVL |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Hadi Hosseini, Gerhard W. Dueck |
Toffoli Gate Implementation Using the Billiard Ball Model. |
ISMVL |
2010 |
DBLP DOI BibTeX RDF |
Toffoli Gates, Billiard Ball Model, Logic Design, Reversible Logic |
1 | Akitaka Ishikawa, Nobuaki Okada, Michitaka Kameyama |
Low-Power Multiple-Valued Reconfigurable VLSI Based on Superposition of Bit-Serial Data and Current-Source Control Signals. |
ISMVL |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Tomás Kroupa |
Note on Construction of Probabilities on Many-Valued Events via Schauder Bases and Inverse Limits. |
ISMVL |
2010 |
DBLP DOI BibTeX RDF |
Lukasiewicz logic, MV-algebra, state |
1 | Shinobu Nagayama, Tsutomu Sasao, Jon T. Butler |
Floating-Point Numeric Function Generators Based on Piecewise-Split EVMDDs. |
ISMVL |
2010 |
DBLP DOI BibTeX RDF |
Memory-based floating-point numeric function generators, piecewise-split EVMDDs |
1 | Pietro Codara, Ottavio M. D'Antona, Vincenzo Marra |
The Euler Characteristic of a Formula in Godel Logic. |
ISMVL |
2010 |
DBLP DOI BibTeX RDF |
Gödel Logic, Valuation, Euler Characteristic |
1 | Enrico Marchioni, George Metcalfe |
Interpolation Properties for Uninorm Based Logics. |
ISMVL |
2010 |
DBLP DOI BibTeX RDF |
Uninorm Based Logics, Deductive Interpolation, Quantifier Elimination, Craig Interpolation |
1 | Davide Ciucci, Didier Dubois |
Truth-Functionality, Rough Sets and Three-Valued Logics. |
ISMVL |
2010 |
DBLP DOI BibTeX RDF |
truth functionality, Rough sets, three-valued logics |
1 | Yngvar Berg |
Low Voltage Semi Floating-Gate Binary to Multiple-Value and Multiple-Value to Binary Converters. |
ISMVL |
2010 |
DBLP DOI BibTeX RDF |
CMOS, low-voltage, converters |
1 | Alexander Finder, Rolf Drechsler |
An Evolutionary Algorithm for Optimization of Pseudo Kronecker Expressions. |
ISMVL |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Claudia Muresan |
Co-stone Residuated Lattices. |
ISMVL |
2010 |
DBLP DOI BibTeX RDF |
reticulation, Stone algebras, strongly Stone hull, residuated lattice |
1 | David Picado-Muiño |
A Graded Inference Approach Based on Infinite-Valued Lukasiewicz Semantics. |
ISMVL |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Miguel Couceiro, Lucien Haddad |
Finitely Generated Maximal Partial Clones and Their Intersections. |
ISMVL |
2010 |
DBLP DOI BibTeX RDF |
partial clones, finitely generated partial clones, Clones |
1 | Félix Bou |
Infinite-Valued Lukasiewicz Logic Based on Principal Lattice Filters. |
ISMVL |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Yuichi Baba, Naofumi Homma, Atsushi Miyamoto, Takafumi Aoki |
Design of Tamper-Resistant Registers for Multiple-Valued Cryptographic Processors. |
ISMVL |
2010 |
DBLP DOI BibTeX RDF |
cryptographic processors, side-channel attacks, multiple-valued logic, RSA cryptosystem |
1 | Karsten Schölzel |
Number of Maximal Partial Clones. |
ISMVL |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Sa'ed Abed, Otmane Aït Mohamed |
MDGs Reduction Technique Based on the HOL Theorem Prover. |
ISMVL |
2010 |
DBLP DOI BibTeX RDF |
Soundness, Reduction Techniques, Multiway Decision Graphs, HOL Theorem Prover |
1 | Miguel Couceiro, Erkko Lehtonen |
The Arity Gap of Polynomial Functions over Bounded Distributive Lattices. |
ISMVL |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Stefano Aguzzoli, Simone Bova |
Schauder Hats for the Two-Variable Fragment of BL. |
ISMVL |
2010 |
DBLP DOI BibTeX RDF |
Free BL-algebras, Schauder Hats, Normal Forms, BL-algebras |
1 | Yasushi Yuminaka, Kyohei Kawano |
A Ternary Partial-Response Signaling Scheme for Capacitively Coupled Interface. |
ISMVL |
2010 |
DBLP DOI BibTeX RDF |
Partial-Response Signaling, Duobinary, Dicode, Capacitively Coupled Interface, Equalizer |
1 | |
40th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2010, Barcelona, Spain, 26-28 May 2010 |
ISMVL |
2010 |
DBLP BibTeX RDF |
|
1 | Hiroki Nakahara, Tsutomu Sasao, Munehiro Matsuura |
A Comparison of Architectures for Various Decision Diagram Machines. |
ISMVL |
2010 |
DBLP DOI BibTeX RDF |
QDD, QRBDD, QRMDD, Heterogeneous MDD, Homogeneous MDD, Branching Machine, MDD, BDD |
1 | Stefano Aguzzoli, Brunella Gerla, Vincenzo Marra |
The Automorphism Group of Finite Godel Algebras. |
ISMVL |
2010 |
DBLP DOI BibTeX RDF |
Godel logic, Godel algebra, Automorphism group |
1 | Yasaman Sanaee, Gerhard W. Dueck |
ESOP-Based Toffoli Network Generation with Transformations. |
ISMVL |
2010 |
DBLP DOI BibTeX RDF |
Toffoli Gates, Logic Design, Reversible Logic, ESOP |
1 | Ashur Rafiev, Julian P. Murphy, Alexandre Yakovlev |
Secure Design Flow for Asynchronous Multi-valued Logic Circuits. |
ISMVL |
2010 |
DBLP DOI BibTeX RDF |
Reed-Muller, design flow, asynchronous design |
1 | Van-Nam Huynh, Yoshiteru Nakamori, Chenyi Hu, Vladik Kreinovich |
On Decision Making under Interval Uncertainty: A New Justification of Hurwicz Optimism-Pessimism Approach and its Use in Group Decision Making. |
ISMVL |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Boris A. Romov |
Positive Primitive Structures. |
ISMVL |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Naoya Onizawa, Takahiro Hanyu |
Robust Multiple-Valued Current-Mode Circuit Components Based on Adaptive Reference-Voltage Control. |
ISMVL |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Reiko Sakashita, Atsuko Uchinuno, Kazuko Kamiizumi, Keiko Tei, Noriko Awaya |
Web-Based Nursing Care Quality Improvement System with Fuzzy Recommendation System. |
ISMVL |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Golnar Khodabndehloo, Mitra Mirhassani, Majid Ahmadi |
16-level Current-Mode Multiple-Valued Dynamic Memory with Increased Noise Margin. |
ISMVL |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Milton E. R. Romero, Evandro Mazina Martins, Ricardo Ribeiro dos Santos |
Multiple Valued Logic Algebra for the Synthesis of Digital Circuits. |
ISMVL |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Motoi Inaba, Koichi Tanno, Ryota Sawada, Hisashi Tanaka, Hiroki Tamura |
Optimization of Current-Mode MVD-ORNS Arithmetic Circuits. |
ISMVL |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Naotake Kamiura, Ayumu Saitoh, Teijiro Isokawa, Nobuyuki Matsui |
A Two-Pronged Approach of Power-Aware Voltage Scheduling for Real-Time Task Graphs in Multi-processor Systems. |
ISMVL |
2009 |
DBLP DOI BibTeX RDF |
|
1 | David Y. Feinstein, Mitchell A. Thornton |
On the Guidance of Reversible Logic Synthesis by Dynamic Variable Reordering. |
ISMVL |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Tomoko Ninomiya, Masao Mukaidono |
Clarifying the Systems of Axioms Based on the Method of Indeterminate Coefficients. |
ISMVL |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Naoki Tsuchiya, Hiroshi Nakajima |
A Study of Practical Causality Acquisition among Vital Signals. |
ISMVL |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Jaakko Astola, Radomir S. Stankovic |
Application of Covering Codes for Reduced Representations of Logic Functions. |
ISMVL |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Hong Ye, Syoji Kobashi, Yutaka Hata, Kazuhiko Taniguchi, Kazunari Asari |
Biometric System by Foot Pressure Change Based on Neural Network. |
ISMVL |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Noboru Takagi |
Non-convex Fuzzy Truth Values and De Morgan Bisemilattices. |
ISMVL |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Karsten Schölzel |
The Minimal Covering of Maximal Partial Clones in 4-valued Logic. |
ISMVL |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Seiya Kasai, Yuta Shiratori, Kensuke Miura, Nan-Jian Wu |
Multi-path Switching Device Utilizing a Multi-terminal Nanowire Junction for MDD-Based Logic Circuit. |
ISMVL |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Hiroshi Sakai, Hiroshi Kimura, Michinori Nakata |
An Overview of a Software Tool in Rough Non-deterministic Information Analysis. |
ISMVL |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Hosam A. Aleem, David H. Green, Ferda Mavituna |
Representing the Genetic Code as a Function on a Galois Field Using the Reed-Muller Expansion. |
ISMVL |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Patrik Eklund, Maria A. Galán, Jari Kortelainen, Lawrence Neff Stout |
Paradigms for Non-classical Substitutions. |
ISMVL |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Ramón Béjar, Cèsar Fernández, Carles Mateu, Nuria Pascual |
Bounding the Phase Transition on Edge Matching Puzzles. |
ISMVL |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Syoji Kobashi, Yuko Fujimoto, Masayo Ogawa, Kumiko Ando, Reiichi Ishikura, Seturo Imawaki, Shozo Hirota, Yutaka Hata |
Fuzzy Logic Assisted Quantification of Gyral Deformation Index Using Magnetic Resonance Images for the Infantile Brain. |
ISMVL |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Andrei A. Bulatov |
Counting Problems and Clones of Functions. |
ISMVL |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Dan A. Simovici, Selim Mimaroglu |
Mining Approximative Descriptions of Sets Using Rough Sets. |
ISMVL |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Ali Razib, Scott Dick, Vincent C. Gaudet |
Design of a High-Speed Fuzzy Logic Controller Based on Log-Domain Arithmetic. |
ISMVL |
2009 |
DBLP DOI BibTeX RDF |
|
1 | André Sülflow, Robert Wille, Görschwin Fey, Rolf Drechsler |
Evaluation of Cardinality Constraints on SMT-Based Debugging. |
ISMVL |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Hajime Machida, Ivo G. Rosenberg |
On Endoprimal Monoids in Clone Theory. |
ISMVL |
2009 |
DBLP DOI BibTeX RDF |
|
1 | David J. Rosenbaum 0001, Marek A. Perkowski |
Efficient Implementation of Controlled Operations for Multivalued Quantum Logic. |
ISMVL |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Michinori Nakata, Hiroshi Sakai |
Applying Rough Sets to Information Tables Containing Missing Values. |
ISMVL |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Karsten Schölzel |
Minimal Coverings of Maximal Partial Clones. |
ISMVL |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Takako Soma, Takashi Soma |
Ternary Logic by 3rd Subharmonics and its Application to Multiway Switches. |
ISMVL |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Gustav Nordh, Bruno Zanuttini |
Frozen Boolean Partial Co-clones. |
ISMVL |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Shinobu Nagayama, Tsutomu Sasao, Jon T. Butler |
Floating-Point Numerical Function Generators Using EVMDDs for Monotone Elementary Functions. |
ISMVL |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Nobuaki Okada, Michitaka Kameyama |
Multiple-Valued Reconfigurable VLSI Processor Based on Superposition of Data and Control Signals. |
ISMVL |
2009 |
DBLP DOI BibTeX RDF |
|
1 | |
ISMVL 2009, 39th International Symposium on Multiple-Valued Logic, 21-23 May 2009, Naha, Okinawaw, Japan |
ISMVL |
2009 |
DBLP BibTeX RDF |
|
1 | Yasuo Kudo, Tetsuya Murai |
Attribute Reduction as Calculation of Focus in Granular Reasoning. |
ISMVL |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Mozammel H. A. Khan |
Scalable Architectures for Design of Reversible Quaternary Multiplexer and Demultiplexer Circuits. |
ISMVL |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Mayuka F. Kawaguchi, Masaaki Miyakoshi |
Generalized Extended t-Norms as t-Norms of Type 2. |
ISMVL |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Tsutomu Sasao, Hiroki Nakahara, Munehiro Matsuura, Yoshifumi Kawamura, Jon T. Butler |
A Quaternary Decision Diagram Machine and the Optimization of its Code. |
ISMVL |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Ashur Rafiev, Julian P. Murphy, Alexandre Yakovlev |
Quaternary Reed-Muller Expansions of Mixed Radix Arguments in Cryptographic Circuits. |
ISMVL |
2009 |
DBLP DOI BibTeX RDF |
|