Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
107 | Nawal Guermouche, Salima Benbernou, Emmanuel Coquery, Mohand-Said Hacid |
Privacy-Aware Web Service Protocol Replaceability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWS ![In: 2007 IEEE International Conference on Web Services (ICWS 2007), July 9-13, 2007, Salt Lake City, Utah, USA, pp. 1048-1055, 2007, IEEE Computer Society, 0-7695-2924-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
90 | Vigyan Singhal, Carl Pixley, Adnan Aziz, Shaz Qadeer, Robert K. Brayton |
Sequential optimization in the absence of global reset. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Design Autom. Electr. Syst. ![In: ACM Trans. Design Autom. Electr. Syst. 8(2), pp. 222-251, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Sequential logic synthesis, no-reset latches, safe replaceability |
70 | Daniel Brand, Reinaldo A. Bergamaschi, Leon Stok |
Be careful with don't cares. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: Proceedings of the 1995 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 1995, San Jose, California, USA, November 5-9, 1995, pp. 83-86, 1995, IEEE Computer Society / ACM, 0-8186-7213-7. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
specifications, logic design, logic CAD, correctness, replaceability, don't cares |
67 | Julien Ponge, Boualem Benatallah, Fabio Casati, Farouk Toumani |
Fine-Grained Compatibility and Replaceability Analysis of Timed Web Service Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ER ![In: Conceptual Modeling - ER 2007, 26th International Conference on Conceptual Modeling, Auckland, New Zealand, November 5-9, 2007, Proceedings, pp. 599-614, 2007, Springer, 978-3-540-75562-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
59 | Vigyan Singhal, Carl Pixley, Adnan Aziz, Robert K. Brayton |
Theory of safe replacements for sequential circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 20(2), pp. 249-265, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
50 | Boualem Benatallah, Hamid R. Motahari Nezhad |
ServiceMosaic project: modeling, analysis and management of web services interactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APCCM ![In: Conceptual Modelling 2006, Third Asia-Pacific Conference on Conceptual Modelling (APCCM 2005), Hobart, Tasmania, Australia, January 16-19 2006, pp. 7-9, 2006, Australian Computer Society, 1-920-68235-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
web services, adaptation, compatibility, replaceability, business protocols |
48 | Khalid Belhajjame |
Semantic Replaceability of eScience Web Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
eScience ![In: Third International Conference on e-Science and Grid Computing, e-Science 2007, 10-13 December 2007, Bangalore, India, pp. 449-456, 2007, IEEE Computer Society, 0-7695-3064-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
48 | Hironori Washizaki, Yoshiaki Fukazawa |
A Retrieval Technique for Software Components Using Directed Replaceability Similarity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOIS ![In: Object-Oriented. Information Systems, 8th International Conference, OOIS 2002, Montpellier, France, September 2-5, 2002, Proceedings, pp. 298-310, 2002, Springer, 3-540-44087-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
40 | Meurig Beynon |
Replacement in Monotone Boolean Networks: An Algebraic Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: Foundations of Software Technology and Theoretical Computer Science, Fourth Conference, Bangalore, India, December 13-15, 1984, Proceedings, pp. 165-178, 1984, Springer, 3-540-13883-8. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
28 | Sheng-Jung Yu, Inigo Incer, Alberto L. Sangiovanni-Vincentelli |
Contract Replaceability for Ensuring Independent Design using Assume-Guarantee Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 21st ACM-IEEE International Symposium on Formal Methods and Models for System Design, MEMOCODE 2023, Hamburg, Germany, September 21-22, 2023, pp. 111-121, 2023, ACM / IEEE, 979-8-4007-0318-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
28 | Peiyao Sheng, Gerui Wang, Kartik Nayak, Sreeram Kannan, Pramod Viswanath |
Player-Replaceability and Forensic Support Are Two Sides of the Same (Crypto) Coin. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FC (1) ![In: Financial Cryptography and Data Security - 27th International Conference, FC 2023, Bol, Brač, Croatia, May 1-5, 2023, Revised Selected Papers, Part I, pp. 56-74, 2023, Springer, 978-3-031-47753-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
28 | Peiyao Sheng, Gerui Wang, Kartik Nayak, Sreeram Kannan, Pramod Viswanath |
Player-Replaceability and Forensic Support are Two Sides of the Same (Crypto) Coin. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2022, pp. 1513, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
28 | Christian Badertscher, Julia Hesse, Vassilis Zikas |
On the (Ir)Replaceability of Global Setups, or How (Not) to Use a Global Ledger. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TCC (2) ![In: Theory of Cryptography - 19th International Conference, TCC 2021, Raleigh, NC, USA, November 8-11, 2021, Proceedings, Part II, pp. 626-657, 2021, Springer, 978-3-030-90452-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
28 | Peter Taraba |
Word Replaceability Through Word Vectors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SN Comput. Sci. ![In: SN Comput. Sci. 1(3), pp. 141, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
28 | Christian Badertscher, Julia Hesse, Vassilis Zikas |
On the (Ir)Replaceability of Global Setups, or How (Not) to Use a Global Ledger. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2020, pp. 1489, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
28 | Adrija Bhattacharya, Sankhayan Choudhury, Agostino Cortesi |
Replaceability and negotiation in a cloud service ecosystem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Cloud Comput. ![In: J. Cloud Comput. 8, pp. 14, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
28 | Lalit Purohit, Sandeep Kumar 0004 |
Replaceability Based Web Service Selection Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HiPC ![In: 26th IEEE International Conference on High Performance Computing, Data, and Analytics, HiPC 2019, Hyderabad, India, December 17-20, 2019, pp. 113-122, 2019, IEEE, 978-1-7281-4535-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
28 | Richard Wallace |
Replaceability for Constraint Satisfaction Problems: Algorithms, Inference, and Complexity Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GCAI ![In: GCAI-2018, 4th Global Conference on Artificial Intelligence, Luxembourg, September 18-21, 2018, pp. 243-255, 2018, EasyChair. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
28 | Ringo Baumann |
On the Nature of Argumentation Semantics: Existence and Uniqueness, Expressibility, and Replaceability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 4(8), 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
28 | Georgia M. Kapitsaki |
Creating and utilizing section-level Web service tags in service replaceability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Serv. Oriented Comput. Appl. ![In: Serv. Oriented Comput. Appl. 11(3), pp. 285-299, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
28 | Hiroki Teranishi, Hiroyuki Shindo, Yuji Matsumoto 0001 |
Coordination Boundary Identification with Similarity and Replaceability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCNLP(1) ![In: Proceedings of the Eighth International Joint Conference on Natural Language Processing, IJCNLP 2017, Taipei, Taiwan, November 27 - December 1, 2017 - Volume 1: Long Papers, pp. 264-272, 2017, Asian Federation of Natural Language Processing, 978-1-948087-00-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
28 | Aaron Hunter 0001 |
On the Replaceability of Computational Agents in an Ethical Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAART (2) ![In: Proceedings of the 9th International Conference on Agents and Artificial Intelligence, ICAART 2017, Volume 2, Porto, Portugal, February 24-26, 2017., pp. 664-669, 2017, SciTePress, 978-989-758-220-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
28 | Eugene C. Freuder, Richard J. Wallace |
Replaceability and the Substitutability Hierarchy for Constraint Satisfaction Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GCAI ![In: GCAI 2017, 3rd Global Conference on Artificial Intelligence, Miami, FL, USA, 18-22 October 2017., pp. 51-63, 2017, EasyChair. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
28 | Hussein Al-Helal, Rose F. Gamble |
Introducing Replaceability into Web Service Composition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Serv. Comput. ![In: IEEE Trans. Serv. Comput. 7(2), pp. 198-209, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
28 | ZhangBing Zhou, Walid Gaaloul, Lei Shu 0001, Samir Tata, Sami Bhiri |
Assessing the replaceability of service protocols in mediated service interactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Future Gener. Comput. Syst. ![In: Future Gener. Comput. Syst. 29(1), pp. 287-299, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
28 | ZhangBing Zhou, Feng Gao 0003, Lei Shu 0001 |
Service Protocol Replaceability Assessment in Mediated Service Interactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICC ![In: Proceedings of IEEE International Conference on Communications, ICC 2011, Kyoto, Japan, 5-9 June, 2011, pp. 1-5, 2011, IEEE, 978-1-61284-232-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
28 | Arjan J. Mooij, Christian Stahl, Marc Voorhoeve |
Relating fair testing and accordance for service replaceability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Algebraic Methods Program. ![In: J. Log. Algebraic Methods Program. 79(3-5), pp. 233-244, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
28 | Dunlu Peng, Xiaoling Wang, Aoying Zhou |
Managing the Replaceability of Web Services Using Underlying Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Web Serv. Res. ![In: Int. J. Web Serv. Res. 7(1), pp. 46-64, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
28 | Emad Elabd, Emmanuel Coquery, Mohand-Said Hacid |
Checking Compatibility and Replaceability in Web Services Business Protocols with Access Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWS ![In: IEEE International Conference on Web Services, ICWS 2010, Miami, Florida, USA, July 5-10, 2010, pp. 409-416, 2010, IEEE Computer Society, 978-0-7695-4128-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
28 | Filippo Bonchi, Antonio Brogi, Sara Corfini, Fabio Gadducci |
A Net-based Approach to Web Services Publication and Replaceability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 94(3-4), pp. 305-330, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
28 | Chunyang Ye, Shing-Chi Cheung, Jun Wei 0001, Hua Zhong 0001, Tao Huang 0001 |
A study on the replaceability of context-aware middleware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Internetware ![In: Proceedings of the First Asia-Pacific Symposium on Internetware, Internetware 2009, Beijing, China, October 17 - 18, 2009, pp. 4, 2009, ACM, 978-1-60558-872-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
28 | Andres Flores, Macario Polo |
Testing-based Process for Evaluating Component Replaceability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VODCA@FOSAD ![In: Proceedings of the 3rd International Workshop on Views On Designing Complex Architectures, VODCA@FOSAD 2008, Bertinoro, Italy, August 30-31, 2008, pp. 101-115, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Bo Yang 0022, Zhongliang Jing |
The Replaceability of Sampling Matrix for Multidimensional Perfect Reconstruction Filter Banks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Wavelets Multiresolution Inf. Process. ![In: Int. J. Wavelets Multiresolution Inf. Process. 6(5), pp. 665-674, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Dunlu Peng, Qingkui Chen |
An Efficient Approach for Managing Replaceability of Web Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SKG ![In: Fourth International Conference on Semantics, Knowledge and Grid, SKG '08, Beijing, China, December 3-5, 2008, pp. 388-391, 2008, IEEE Computer Society, 978-0-7695-3401-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Wai Kuan Yip, Alwyn Goh, David Ngo Chek Ling, Andrew Teoh Beng Jin |
Cryptographic Keys from Dynamic Hand-Signatures with Biometric Secrecy Preservation and Replaceability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AutoID ![In: Proceedings of the Fourth IEEE Workshop on Automatic Identification Advanced Technologies (AutoID 2005), 16-18 October 2005, Buffalo, NY, USA, pp. 27-32, 2005, IEEE Computer Society, 0-7695-2475-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Boualem Benatallah, Fabio Casati, Julien Ponge, Farouk Toumani |
Compatibility and replaceability analysis for timed web service protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BDA ![In: 21èmes Journées Bases de Données Avancées, BDA 2005, Saint Malo, France, 17-20 octobre 2005, Actes (Informal Proceedings)., 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
28 | Hironori Washizaki, Yoshiaki Fukazawa |
Retrieving Software Components Using Directed Replaceability Distance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GCSE ![In: Generative and Component-Based Software Engineering, Third International Conference, GCSE 2001, Erfurt, Germany, September 9-13, 2001, Proceedings, pp. 153-162, 2001, Springer, 3-540-42546-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
28 | Vigyan Singhal, Carl Pixley |
The Verifiacation Problem for Safe Replaceability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994, Proceedings, pp. 311-323, 1994, Springer, 3-540-58179-0. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
28 | Carl Pixley, Vigyan Singhal, Adnan Aziz, Robert K. Brayton |
Multi-level synthesis for safe replaceability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: Proceedings of the 1994 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 1994, San Jose, California, USA, November 6-10, 1994, pp. 442-449, 1994, IEEE Computer Society / ACM, 0-89791-690-5. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
28 | Meurig Beynon |
Replaceability and Computational Equivalence for Monotone Boolean Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 22(4), pp. 433-449, 1985. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
20 | Filippo Bonchi, Antonio Brogi, Sara Corfini, Fabio Gadducci |
Compositional Specification of Web Services Via Behavioural Equivalence of Nets: A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Petri Nets ![In: Applications and Theory of Petri Nets, 29th International Conference, PETRI NETS 2008, Xi'an, China, June 23-27, 2008. Proceedings, pp. 52-71, 2008, Springer, 978-3-540-68745-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Jie Zhang 0002, Ali A. Ghorbani 0001 |
GUMSAWS: A Generic User Modeling Server for Adaptive Web Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CNSR ![In: Fifth Annual Conference on Communication Networks and Services Research (CNSR 2007), 14-17 May 2006, Fredericton, New Brunswick, Canada, pp. 117-124, 2007, IEEE Computer Society, 0-7695-2835-X. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Khalid Belhajjame |
Addressing the Issue of Service Volatility in Scientific Workflows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSOC ![In: Service-Oriented Computing - ICSOC 2007, Fifth International Conference, Vienna, Austria, September 17-20, 2007, Proceedings, pp. 377-382, 2007, Springer, 978-3-540-74973-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Omkar J. Tilak, Rajeev R. Raje |
Temporal Interaction Contracts for Components in a Distributed System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDOC ![In: 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007), 15-19 October 2007, Annapolis, Maryland, USA, pp. 339-352, 2007, IEEE Computer Society, 0-7695-2891-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Boualem Benatallah, Fabio Casati, Farouk Toumani, Julien Ponge, Hamid R. Motahari Nezhad |
Service Mosaic: A Model-Driven Framework for Web Services Life-Cycle Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Internet Comput. ![In: IEEE Internet Comput. 10(4), pp. 55-63, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
model-driven frameworks, Web services, service-oriented applications |
20 | Wai Kuan Yip, Alwyn Goh, David Ngo Chek Ling, Andrew Teoh Beng Jin |
Generation of Replaceable Cryptographic Keys from Dynamic Handwritten Signatures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICB ![In: Advances in Biometrics, International Conference, ICB 2006, Hong Kong, China, January 5-7, 2006, Proceedings, pp. 509-515, 2006, Springer, 3-540-31111-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Jozo J. Dujmovic, Wen Yuan Fang |
An Empirical Analysis of Assessment Errors for Weights and Andness in LSP Criteria. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MDAI ![In: Modeling Decisions for Artificial Intelligence, First International Conference, MDAI 2004, Barcelona, Spain, August 2-4, 2004, Proceedings, pp. 139-150, 2004, Springer, 3-540-22555-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Bhim Prasad Upadhyaya, Zhiming Liu 0001 |
Formal Support for Development of JavaBeans? Component Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 28th International Computer Software and Applications Conference (COMPSAC 2004), Design and Assessment of Trustworthy Software-Based Systems, 27-30 September 2004, Hong Kong, China, Proceedings, pp. 23-28, 2004, IEEE Computer Society, 0-7695-2209-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Martin Holena |
Extraction of Logical Rules from Data by Means of Piecewise-Linear Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discovery Science ![In: Discovery Science, 5th International Conference, DS 2002, Lübeck, Germany, November 24-26, 2002, Proceedings, pp. 192-205, 2002, Springer, 3-540-00188-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Yuji Kukimoto, Robert K. Brayton |
Timing-safe false path removal for combinational modules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: Proceedings of the 1999 IEEE/ACM International Conference on Computer-Aided Design, 1999, San Jose, California, USA, November 7-11, 1999, pp. 544-550, 1999, IEEE Computer Society, 0-7803-5832-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
20 | Mihir Bellare, Ran Canetti, Hugo Krawczyk |
Keying Hash Functions for Message Authentication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRYPTO ![In: Advances in Cryptology - CRYPTO '96, 16th Annual International Cryptology Conference, Santa Barbara, California, USA, August 18-22, 1996, Proceedings, pp. 1-15, 1996, Springer, 3-540-61512-1. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|