|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1404 occurrences of 649 keywords
|
|
|
Results
Found 2636 publication records. Showing 2636 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
36 | Wei Li, Jing Si, Jianhua Xing, Yongjing Zhang, Deli Liu, Zhiyuan Sui |
Unified Attribute-Based Encryption Scheme for Industrial Internet of Things. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSP ![In: 5th IEEE International Conference on Cryptography, Security and Privacy, CSP 2021, Zhuhai, China, January 8-10, 2021, pp. 12-16, 2021, IEEE, 978-1-7281-8621-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
36 | Xiaojian Zhang, Liandong Chen, Jie Fan, Xiangqun Wang, Qi Wang |
Power IoT security protection architecture based on zero trust framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSP ![In: 5th IEEE International Conference on Cryptography, Security and Privacy, CSP 2021, Zhuhai, China, January 8-10, 2021, pp. 166-170, 2021, IEEE, 978-1-7281-8621-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
36 | Haoyu Gao, Leixiao Li, Hao Lin 0003, Jianxiong Wan, Dan Deng, Jie Li |
DECH: A Novel Attack Pattern of Cloud Environment and Its Countermeasures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSP ![In: 5th IEEE International Conference on Cryptography, Security and Privacy, CSP 2021, Zhuhai, China, January 8-10, 2021, pp. 117-122, 2021, IEEE, 978-1-7281-8621-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
36 | Xinghua Cheng, Zhilin Li 0001 |
Using Boltzmann Entropy to Measure Scrambling Degree of Grayscale Images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSP ![In: 5th IEEE International Conference on Cryptography, Security and Privacy, CSP 2021, Zhuhai, China, January 8-10, 2021, pp. 181-185, 2021, IEEE, 978-1-7281-8621-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
36 | Md Abir Hasan, Orion Sky Lawlor, Nusrat Jahan |
Forensic Analysis of Binary Structures of Video Files. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSP ![In: 5th IEEE International Conference on Cryptography, Security and Privacy, CSP 2021, Zhuhai, China, January 8-10, 2021, pp. 200-204, 2021, IEEE, 978-1-7281-8621-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
36 | Michelle Poelman, Sarfraz Iqbal |
Investigating the Compliance of the GDPR: Processing Personal Data On A Blockchain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSP ![In: 5th IEEE International Conference on Cryptography, Security and Privacy, CSP 2021, Zhuhai, China, January 8-10, 2021, pp. 38-44, 2021, IEEE, 978-1-7281-8621-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
36 | Gaofeng Zhao, Rui Liu, Yang Li, Jin Huang, Mingxuan Zhang, Weiwei Miao |
Multi-user broadcast authenticaiton in Power LTE Private Network with Compressed Bloom Filter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSP ![In: 5th IEEE International Conference on Cryptography, Security and Privacy, CSP 2021, Zhuhai, China, January 8-10, 2021, pp. 161-165, 2021, IEEE, 978-1-7281-8621-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
36 | Hanlin Long, Zhicheng Tian, Yang Liu 0039 |
Detecting Android Malware Based on Dynamic Feature Sequence and Attention Mechanism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSP ![In: 5th IEEE International Conference on Cryptography, Security and Privacy, CSP 2021, Zhuhai, China, January 8-10, 2021, pp. 129-133, 2021, IEEE, 978-1-7281-8621-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
36 | Daniel Köhler, Eric Klieme, Matthias Kreuseler, Feng Cheng 0002, Christoph Meinel |
Assessment of Remote Biometric Authentication Systems: Another Take on the Quest to Replace Passwords. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSP ![In: 5th IEEE International Conference on Cryptography, Security and Privacy, CSP 2021, Zhuhai, China, January 8-10, 2021, pp. 22-31, 2021, IEEE, 978-1-7281-8621-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
36 | Dominic Pirker, Thomas Fischer, Harald Witschnig, Christian Steger |
velink - A Blockchain-based Shared Mobility Platform for Private and Commercial Vehicles utilizing ERC-721 Tokens. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSP ![In: 5th IEEE International Conference on Cryptography, Security and Privacy, CSP 2021, Zhuhai, China, January 8-10, 2021, pp. 62-67, 2021, IEEE, 978-1-7281-8621-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
36 | Youwu Zhou, Mingjun Liu, Aimin Ye |
A Scheme of Key Distribution in Smart Grid. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSP ![In: 5th IEEE International Conference on Cryptography, Security and Privacy, CSP 2021, Zhuhai, China, January 8-10, 2021, pp. 1-6, 2021, IEEE, 978-1-7281-8621-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
36 | Xinyun Yan, Chishe Wang, Dahui Hao, Min Chen |
License Plate Detection Using Bayesian Method Based on Edge Features. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSP ![In: 5th IEEE International Conference on Cryptography, Security and Privacy, CSP 2021, Zhuhai, China, January 8-10, 2021, pp. 205-211, 2021, IEEE, 978-1-7281-8621-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
36 | Yan Zheng, Weiyu Dong, Jiangtao Zhao |
ZeroDVS: Trace-Ability and Security Detection of Container Image Based on Inheritance Graph. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSP ![In: 5th IEEE International Conference on Cryptography, Security and Privacy, CSP 2021, Zhuhai, China, January 8-10, 2021, pp. 186-192, 2021, IEEE, 978-1-7281-8621-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
36 | Naqliyah Zainuddin, Maslina Daud, Sabariah Ahmad, Mayasarah Maslizan, Syafiqa Anneisa Leng Abdullah |
A Study on Privacy Issues in Internet of Things (IoT). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSP ![In: 5th IEEE International Conference on Cryptography, Security and Privacy, CSP 2021, Zhuhai, China, January 8-10, 2021, pp. 96-100, 2021, IEEE, 978-1-7281-8621-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
36 | Changqing Wang, Xiangyu Yang, Quancheng Du, Jiaxiang Wang |
Outage Performance of Satellite-UAV Network Framework based on NOMA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSP ![In: 5th IEEE International Conference on Cryptography, Security and Privacy, CSP 2021, Zhuhai, China, January 8-10, 2021, pp. 171-175, 2021, IEEE, 978-1-7281-8621-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
36 | Jaouhar Fattahi, Mohamed Mejri |
SpaML: a Bimodal Ensemble Learning Spam Detector based on NLP Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSP ![In: 5th IEEE International Conference on Cryptography, Security and Privacy, CSP 2021, Zhuhai, China, January 8-10, 2021, pp. 107-112, 2021, IEEE, 978-1-7281-8621-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
36 | Krishn Kumar Gupt, Meghana Kshirsagar 0002, Joseph P. Sullivan, Conor Ryan |
Automatic Test Case Generation for Vulnerability Analysis of Galois Field Arithmetic Circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSP ![In: 5th IEEE International Conference on Cryptography, Security and Privacy, CSP 2021, Zhuhai, China, January 8-10, 2021, pp. 32-37, 2021, IEEE, 978-1-7281-8621-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
36 | Yang Yang, Xuehui Du, Zhi Yang |
PRADroid: Privacy Risk Assessment for Android Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSP ![In: 5th IEEE International Conference on Cryptography, Security and Privacy, CSP 2021, Zhuhai, China, January 8-10, 2021, pp. 90-95, 2021, IEEE, 978-1-7281-8621-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
36 | Turlough Neary, Damien Woods, Anthony Karel Seda, Niall Murphy (eds.) |
Proceedings International Workshop on The Complexity of Simple Programs, CSP 2008, Cork, Ireland, 6-7th December 2008. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSP ![The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
36 | Maurice Margenstern |
On the injectivity of the global function of a cellular automaton in the hyperbolic plane (extended abstract) ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSP ![In: Proceedings International Workshop on The Complexity of Simple Programs, CSP 2008, Cork, Ireland, 6-7th December 2008., pp. 153-163, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
36 | Sergey Verlan, Yurii Rogozhin |
New Choice for Small Universal Devices: Symport/Antiport P Systems ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSP ![In: Proceedings International Workshop on The Complexity of Simple Programs, CSP 2008, Cork, Ireland, 6-7th December 2008., pp. 235-241, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
36 | Markus Holzer 0001, Martin Kutrib, Andreas Malcher |
Multi-Head Finite Automata: Characterizations, Concepts and Open Problems ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSP ![In: Proceedings International Workshop on The Complexity of Simple Programs, CSP 2008, Cork, Ireland, 6-7th December 2008., pp. 93-107, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
36 | Alexander Krassovitskiy, Yurii Rogozhin, Sergey Verlan |
Computational Power of P Systems with Small Size Insertion and Deletion Rules ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSP ![In: Proceedings International Workshop on The Complexity of Simple Programs, CSP 2008, Cork, Ireland, 6-7th December 2008., pp. 108-117, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
36 | Olivier Bournez, Jérémie Chalopin, Johanne Cohen, Xavier Koegler |
Playing With Population Protocols ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSP ![In: Proceedings International Workshop on The Complexity of Simple Programs, CSP 2008, Cork, Ireland, 6-7th December 2008., pp. 3-15, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
36 | Cristian S. Calude |
Simplicity via Provability for Universal Prefix-free Turing Machines ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSP ![In: Proceedings International Workshop on The Complexity of Simple Programs, CSP 2008, Cork, Ireland, 6-7th December 2008., pp. 16-21, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
36 | Grégory Lafitte |
Busy beavers gone wild ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSP ![In: Proceedings International Workshop on The Complexity of Simple Programs, CSP 2008, Cork, Ireland, 6-7th December 2008., pp. 123-129, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
36 | Manfred Kudlek |
Some Considerations on Universality ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSP ![In: Proceedings International Workshop on The Complexity of Simple Programs, CSP 2008, Cork, Ireland, 6-7th December 2008., pp. 118-122, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
36 | Matthew J. Patitz, Scott M. Summers |
Self-Assembly of Infinite Structures ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSP ![In: Proceedings International Workshop on The Complexity of Simple Programs, CSP 2008, Cork, Ireland, 6-7th December 2008., pp. 215-225, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
36 | Fred Lunnon |
The Pagoda Sequence: a Ramble through Linear Complexity, Number Walls, D0L Sequences, Finite State Automata, and Aperiodic Tilings ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSP ![In: Proceedings International Workshop on The Complexity of Simple Programs, CSP 2008, Cork, Ireland, 6-7th December 2008., pp. 130-148, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
36 | Philippe Moser |
A General Notion of Useful Information ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSP ![In: Proceedings International Workshop on The Complexity of Simple Programs, CSP 2008, Cork, Ireland, 6-7th December 2008., pp. 164-171, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
36 | Jérôme Durand-Lose |
Small Turing universal signal machines ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSP ![In: Proceedings International Workshop on The Complexity of Simple Programs, CSP 2008, Cork, Ireland, 6-7th December 2008., pp. 70-80, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
36 | Matthew Cook 0001 |
A Concrete View of Rule 110 Computation ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSP ![In: Proceedings International Workshop on The Complexity of Simple Programs, CSP 2008, Cork, Ireland, 6-7th December 2008., pp. 31-55, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
36 | Eric Goles Ch., Pierre-Etienne Meunier, Ivan Rapaport, Guillaume Theyssier |
Communications in cellular automata ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSP ![In: Proceedings International Workshop on The Complexity of Simple Programs, CSP 2008, Cork, Ireland, 6-7th December 2008., pp. 81-92, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
36 | Nicolas Ollinger |
Intrinsically Universal Cellular Automata ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSP ![In: Proceedings International Workshop on The Complexity of Simple Programs, CSP 2008, Cork, Ireland, 6-7th December 2008., pp. 199-204, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
36 | Nicolas Ollinger, Gaétan Richard |
A Particular Universal Cellular Automaton ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSP ![In: Proceedings International Workshop on The Complexity of Simple Programs, CSP 2008, Cork, Ireland, 6-7th December 2008., pp. 205-214, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
36 | Alexander Okhotin |
Representing a P-complete problem by small trellis automata ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSP ![In: Proceedings International Workshop on The Complexity of Simple Programs, CSP 2008, Cork, Ireland, 6-7th December 2008., pp. 185-198, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
36 | Jack H. Lutz |
A Divergence Formula for Randomness and Dimension (Short Version) ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSP ![In: Proceedings International Workshop on The Complexity of Simple Programs, CSP 2008, Cork, Ireland, 6-7th December 2008., pp. 149-152, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
36 | Niall Murphy, Damien Woods |
On acceptance conditions for membrane systems: characterisations of L and NL ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSP ![In: Proceedings International Workshop on The Complexity of Simple Programs, CSP 2008, Cork, Ireland, 6-7th December 2008., pp. 172-184, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
36 | David Doty, Matthew J. Patitz, Scott M. Summers |
Limitations of Self-Assembly at Temperature One (extended abstract) ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSP ![In: Proceedings International Workshop on The Complexity of Simple Programs, CSP 2008, Cork, Ireland, 6-7th December 2008., pp. 67-69, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
36 | Klaus Sutner |
Computational Processes and Incompleteness ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSP ![In: Proceedings International Workshop on The Complexity of Simple Programs, CSP 2008, Cork, Ireland, 6-7th December 2008., pp. 226-234, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
36 | Matteo Cavaliere, Peter Leupold |
Complexity through the Observation of Simple Systems ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSP ![In: Proceedings International Workshop on The Complexity of Simple Programs, CSP 2008, Cork, Ireland, 6-7th December 2008., pp. 22-30, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
36 | Liesbeth De Mol |
On the boundaries of solvability and unsolvability in tag systems. Theoretical and Experimental Results ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSP ![In: Proceedings International Workshop on The Complexity of Simple Programs, CSP 2008, Cork, Ireland, 6-7th December 2008., pp. 56-66, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
36 | Carsten Sühl |
An Overview of the Integrated Formalism RT-Z. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 13(2), pp. 94-110, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Embedded systems, Real-time, Formal methods, Z, Timed CSP |
36 | Ahlem Ben Hassine, Khaled Ghédira |
Distributed Reinforcement of Arc-Consistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRICAI ![In: PRICAI 2002: Trends in Artificial Intelligence, 7th Pacific Rim International Conference on Artificial Intelligence, Tokyo, Japan, August 18-22, 2002, Proceedings, pp. 97-107, 2002, Springer, 3-540-44038-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Constraint Satisfaction Problems (CSP), Multi-Agent System, Arc-Consistency |
35 | Nick Moffat, Michael Goldsmith |
Assumption-Commitment Support for CSP Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 41(3-4), pp. 365-398, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Assumption-commitment, Model checking, Refinement, CSP, Compositional reasoning, Assume-guarantee |
35 | Samuel Colin, Arnaud Lanoix, Olga Kouchnarenko, Jeanine Souquières |
Using CSP||B Components: Application to a Platoon of Vehicles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMICS ![In: Formal Methods for Industrial Critical Systems, 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, Revised Selected Papers, pp. 103-118, 2008, Springer, 978-3-642-03239-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
verification, formal methods, specification, case study, CSP, B, compositional modelling |
35 | Wing Lok Yeung |
Mapping WS-CDL and BPEL into CSP for Behavioural Specification and Verification of Web Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOWS ![In: Fourth IEEE European Conference on Web Services (ECOWS 2006), 4-6 December 2006, Zürich, Switzerland, pp. 297-305, 2006, IEEE Computer Society, 0-7695-2737-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Choreography description language, model checking, formal methods, CSP, business process execution language |
35 | Zhi-qiang Jiang, Xi-lan Feng, Zhongyan Hu |
CSP-based Study on Distributed PDM and Consistency Control Technique for Aero-Subcontract Production. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMSCCS (1) ![In: Interdisciplinary and Multidisciplinary Research in Computer Science, IEEE CS Proceeding of the First International Multi-Symposium of Computer and Computational Sciences (IMSCCS|06), June 20-24, 2006, Zhejiang University, Hangzhou, China, Vol. 1, pp. 472-478, 2006, IEEE Computer Society, 0-7695-2581-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Aero-SP, DPDM, Distributed Design and Manufacturing, Consistency Control Technology, CSP |
35 | Neil Evans, Helen Treharne |
Investigating a file transfer protocol using CSP and B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 4(3), pp. 258-276, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
CSP, Compositional verification, B, Combining formalisms |
35 | John Derrick, Eerke A. Boiten |
Combining Component Specifications in Object-Z and CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 13(2), pp. 111-127, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Components, Refinement, CSP, Viewpoints, LOTOS, Object-Z |
35 | Steve A. Schneider |
Abstraction and Testing in CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 12(3), pp. 165-181, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Testing, Abstraction, Process algebra, CSP, Operational semantics, Failures semantics |
35 | Gavin Lowe, Jim Davies |
Using CSP to Verify Sequential Consistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Distributed Comput. ![In: Distributed Comput. 12(2-3), pp. 91-103, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Lazy caching protocol, Verification, Specification, CSP, Sequential consistency |
35 | A. W. Roscoe 0001 |
Modelling and verifying key-exchange protocols using CSP and FDR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSFW ![In: The Eighth IEEE Computer Security Foundations Workshop (CSFW '95), March 13-15, 1995, Kenmare, County Kerry, Ireland, pp. 98-107, 1995, IEEE Computer Society, 0-8186-7033-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
model-checking, formal specification, protocols, formal verification, process algebra, CSP, communicating sequential processes, FDR, key-exchange protocols |
35 | Andrew P. Moore |
The Specification and Verified Decomposition of System Requirements Using CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 16(9), pp. 932-948, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
verified decomposition, synchronization requirements, trace model, formal specification, formal method, specification, theorem proving, CSP, synchronisation, system requirements |
35 | Nakarin Suppakun, Songrit Maneewongvatana |
Automatic and Semi-automatic Approaches for Selecting Prominent Spatial Filters of CSP in BCI Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Brain Informatics ![In: Brain Informatics, International Conference, BI 2009, Beijing, China, October 22-24, 2009, Proceedings, pp. 203-213, 2009, Springer, 978-3-642-04953-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
35 | Moritz Kleine, Steffen Helke |
Low-Level Code Verification Based on CSP Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications, 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009, Revised Selected Papers, pp. 266-281, 2009, Springer, 978-3-642-10451-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
35 | John D. Carter, William B. Gardner |
Converting scenarios to CSP traces with Mise en Scene for requirements-based programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Innov. Syst. Softw. Eng. ![In: Innov. Syst. Softw. Eng. 4(1), pp. 45-70, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
35 | Hakim Belhaouari, Frédéric Peschanski |
Automated Generation of Test Cases from Contract-Oriented Specifications: A CSP-Based Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 11th IEEE High Assurance Systems Engineering Symposium, HASE 2008, Nanjing, China, December 3 - 5, 2008, pp. 219-228, 2008, IEEE Computer Society, 978-0-7695-3482-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
35 | Nick Moffat, Michael Goldsmith, Bill Roscoe |
A Representative Function Approach to Symmetry Exploitation for CSP Refinement Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings, pp. 258-277, 2008, Springer, 978-3-540-88193-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
35 | Sidney C. Nogueira, Augusto Sampaio, Alexandre Mota 0001 |
Guided Test Generation from CSP Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings, pp. 258-273, 2008, Springer, 978-3-540-85761-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
35 | Min Jiang 0005, Changle Zhou, Guoqing Wu, Fan Zhang |
A CSP-Based Approach for Solving Parity Game. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FAW ![In: Frontiers in Algorithmics, Second Annual International Workshop, FAW 2008, Changsha, China, June 19-21, 2008, Proceeedings, pp. 135-146, 2008, Springer, 978-3-540-69310-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
35 | Prasad Raghavendra |
Optimal algorithms and inapproximability results for every CSP? ![Search on Bibsonomy](Pics/bibsonomy.png) |
STOC ![In: Proceedings of the 40th Annual ACM Symposium on Theory of Computing, Victoria, British Columbia, Canada, May 17-20, 2008, pp. 245-254, 2008, ACM, 978-1-60558-047-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
dictatorship tests, rounding schemes, semidefinite programming, constraint satisfaction problem, unique games conjecture |
35 | Letu Yang, Michael Poppleton |
Automatic Translation from Combined B and CSP Specification to Java Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
B ![In: B 2007: Formal Specification and Development in B, 7th International Conference of B Users, Besançon, France, January 17-19, 2007, Proceedings, pp. 64-78, 2007, Springer, 3-540-68760-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
35 | Till Mossakowski, Markus Roggenbach |
Structured CSP - A Process Algebra as an Institution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques, 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers, pp. 92-110, 2006, Springer, 978-3-540-71997-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
35 | Jifeng He 0001, C. A. R. Hoare |
CSP Is a Retract of CCS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UTP ![In: Unifying Theories of Programming, First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers, pp. 38-62, 2006, Springer, 3-540-34750-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
35 | Xiaoguang Wang 0002, Stephen John Turner, Simon J. E. Taylor |
COTS Simulation Package (CSP) Interoperability -A Solution to Synchronous Entity Passing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADS ![In: 20th IEEE/ACM/SCS Workshop on Principles of Advanced and Distributed Simulation, PADS 2006, Singapore, May 23-26, 2006, pp. 201-210, 2006, IEEE Computer Society, 0-7695-2587-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
35 | William Simmonds, Tim Hawkins |
The Modelling and Analysis of OceanStore Elements Using the CSP Dependability Library. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TGC ![In: Trustworthy Global Computing, International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005, Revised Selected Papers, pp. 230-247, 2005, Springer, 3-540-30007-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
35 | Michael J. Butler, Shamim Ripon |
Executable Semantics for Compensating CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EPEW/WS-FM ![In: Formal Techniques for Computer Systems and Business Processes, European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005, Proceedings, pp. 243-256, 2005, Springer, 3-540-28701-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
35 | Diyaa-Addein Atiya, Steve King 0001 |
Extending Ravenscar with CSP Channels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technology - Ada-Europe 2005, 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005, Proceedings, pp. 79-90, 2005, Springer, 3-540-26286-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
35 | Hachemi Bennaceur |
A Comparison between SAT and CSP Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraints An Int. J. ![In: Constraints An Int. J. 9(2), pp. 123-138, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
constraint satisfaction, satisfiability |
35 | Frantisek Scuglik |
Formal Specification of Shared Variables Using CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 11th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2004), 24-27 May 2004, Brno, Czech Republic, pp. 211-217, 2004, IEEE Computer Society, 0-7695-2125-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
35 | Ana Cavalcanti 0001, Jim Woodcock 0001 |
A Tutorial Introduction to CSP in Unifying Theories of Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSSE ![In: Refinement Techniques in Software Engineering, First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures, pp. 220-268, 2004, Springer, 978-3-540-46253-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
35 | Olivier Roussel |
Another SAT to CSP Conversion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: 16th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2004), 15-17 November 2004, Boca Raton, FL, USA, pp. 558-565, 2004, IEEE Computer Society, 0-7695-2236-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
35 | Philippa J. Hopcroft, Guy H. Broadfoot |
Combining the Box Structure Development Method and CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 19th IEEE International Conference on Automated Software Engineering (ASE 2004), 20-25 September 2004, Linz, Austria, pp. 340-345, 2004, IEEE Computer Society, 0-7695-2131-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
35 | Carroll Morgan |
Of Probabilistic Wp and SP-and Compositionality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
25 Years Communicating Sequential Processes ![In: Communicating Sequential Processes: The First 25 Years, Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004, Revised Invited Papers, pp. 220-241, 2004, Springer, 3-540-25813-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
35 | Carlos Ansótegui, Jose Larrubia, Felip Manyà |
Boosting Chaff's Performance by Incorporating CSP Heuristics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2003, 9th International Conference, CP 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings, pp. 96-107, 2003, Springer, 3-540-20202-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
35 | Muan Yong Ng, Michael J. Butler |
Towards Formalizing UML State Diagrams in CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: 1st International Conference on Software Engineering and Formal Methods (SEFM 2003), 22-27 September 2003, Brisbane, Australia, pp. 138-, 2003, IEEE Computer Society, 0-7695-1949-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
35 | Amol Dattatraya Mali |
On Temporal Planning as CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: 14th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2002), 4-6 November 2002, Washington, DC, USA, pp. 75-82, 2002, IEEE Computer Society, 0-7695-1849-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
35 | Ping Gao, Robert Esser |
Polymorphic CSP Type Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSC ![In: 24th Australasian Computer Science Conference (ACSC 2001), 29 January - 1 February 2001, Gold Coast, Queensland, Australia, pp. 156-162, 2001, IEEE Computer Society, 0-7695-0963-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
35 | María Isabel Alfonso Galipienso, Federico Barber Sanchís |
A Mixed Closure-CSP Method to Solve Scheduling Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEA/AIE ![In: Engineering of Intelligent Systems, 14th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2001, Budapest, Hungary, June 4-7, 2001, Proceedings, pp. 559-570, 2001, Springer, 3-540-42219-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
35 | Toby Walsh |
SAT v CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2000, 6th International Conference, Singapore, September 18-21, 2000, Proceedings, pp. 441-456, 2000, Springer, 3-540-41053-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
35 | Steve A. Schneider |
Security Properties and CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
S&P ![In: 1996 IEEE Symposium on Security and Privacy, May 6-8, 1996, Oakland, CA, USA, pp. 174-187, 1996, IEEE Computer Society, 0-8186-7417-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
35 | Michael J. Butler |
Behavioural Extension for CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VDM Europe (1) ![In: VDM '91 - Formal Software Development, 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991, Proceedings, Volume 1: Conference Contributions, pp. 254-267, 1991, Springer, 3-540-54834-3. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
35 | |
2021 International Conference on Artificial Intelligence for Cyber Security Systems and Privacy (AI-CSP), El Oued, Algeria, November 20-21, 2021 ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI-CSP ![IEEE, 978-1-6654-6714-8 The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
35 | Zakaria Neili, Mohamed Fezari, Abdelghani Redjati, Kenneth Sundaraj |
VGG16, ResNet-50, and GoogLeNet Deep Learning Architecture for Breathing Sound Classification: A Comparative Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI-CSP ![In: 2021 International Conference on Artificial Intelligence for Cyber Security Systems and Privacy (AI-CSP), El Oued, Algeria, November 20-21, 2021, pp. 1-6, 2021, IEEE, 978-1-6654-6714-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
35 | Salah Eddine Agab, Roumaissa Ferhat, Fatma-Zohra Chelali |
Robust hand gesture recognition based on mWLD and LTeP descriptors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI-CSP ![In: 2021 International Conference on Artificial Intelligence for Cyber Security Systems and Privacy (AI-CSP), El Oued, Algeria, November 20-21, 2021, pp. 1-5, 2021, IEEE, 978-1-6654-6714-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
35 | Yousra Izountar, Samir Benbelkacem, Samir Otmane, Abdellah Khababa, Nadia Zenati, Mostefa Masmoudi |
Towards an adaptive Virtual Reality Serious Game System for Motor Rehabilitation based on Facial Emotion Recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI-CSP ![In: 2021 International Conference on Artificial Intelligence for Cyber Security Systems and Privacy (AI-CSP), El Oued, Algeria, November 20-21, 2021, pp. 1-5, 2021, IEEE, 978-1-6654-6714-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
35 | Ahmed Moumena |
A New Intelligent Jamming Attacks Detection using FCM clustering technique Based on Data Mining for Wireless Communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI-CSP ![In: 2021 International Conference on Artificial Intelligence for Cyber Security Systems and Privacy (AI-CSP), El Oued, Algeria, November 20-21, 2021, pp. 1-7, 2021, IEEE, 978-1-6654-6714-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
35 | Faical Khennoufa, Abdellatif Khelil |
Exact bit error rate of cooperative NOMA without diversity combining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI-CSP ![In: 2021 International Conference on Artificial Intelligence for Cyber Security Systems and Privacy (AI-CSP), El Oued, Algeria, November 20-21, 2021, pp. 1-5, 2021, IEEE, 978-1-6654-6714-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
35 | Habib Aissaoua, Abdelkader Laouid, Mostefa Kara |
Secure Consensus Clock Synchronization in Wireless Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI-CSP ![In: 2021 International Conference on Artificial Intelligence for Cyber Security Systems and Privacy (AI-CSP), El Oued, Algeria, November 20-21, 2021, pp. 1-6, 2021, IEEE, 978-1-6654-6714-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
35 | Khaled Chait, Abdelkader Laouid, Lamri Laouamer, Mostefa Kara |
A Multi-Key Based Lightweight Additive Homomorphic Encryption Scheme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI-CSP ![In: 2021 International Conference on Artificial Intelligence for Cyber Security Systems and Privacy (AI-CSP), El Oued, Algeria, November 20-21, 2021, pp. 1-6, 2021, IEEE, 978-1-6654-6714-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
35 | Anwar Noureddine Bahache, Noureddine Chikouche |
A comparative analysis of RFID authentication protocols for healthcare applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI-CSP ![In: 2021 International Conference on Artificial Intelligence for Cyber Security Systems and Privacy (AI-CSP), El Oued, Algeria, November 20-21, 2021, pp. 1-6, 2021, IEEE, 978-1-6654-6714-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
35 | Abdelwhab Ouahab, Fatima Belhadg |
A new Deep Learning Model for COVID-19 Identification using Chest X-ray and CT Scan images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI-CSP ![In: 2021 International Conference on Artificial Intelligence for Cyber Security Systems and Privacy (AI-CSP), El Oued, Algeria, November 20-21, 2021, pp. 1-4, 2021, IEEE, 978-1-6654-6714-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
35 | Kahina Amara, Nadia Zenati, Oualid Djekoune, Mohamed Anane, Ilhem Kheira Aissaoui, Hasna Rahma Bedla |
i-DERASSA: e-learning Platform based on Augmented and Virtual Reality interaction for Education and Training. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI-CSP ![In: 2021 International Conference on Artificial Intelligence for Cyber Security Systems and Privacy (AI-CSP), El Oued, Algeria, November 20-21, 2021, pp. 1-9, 2021, IEEE, 978-1-6654-6714-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
35 | Leila Boussaad, Aldjia Boucetta |
The aging effects on face recognition algorithms: the accuracy according to age groups and age gaps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI-CSP ![In: 2021 International Conference on Artificial Intelligence for Cyber Security Systems and Privacy (AI-CSP), El Oued, Algeria, November 20-21, 2021, pp. 1-6, 2021, IEEE, 978-1-6654-6714-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
35 | Mostefa Kara, Abdelkader Laouid, Ahcène Bounceur, Farid Lalem, Muath AlShaikh, Romaissa Kebache, Zaoui Sayah |
A Novel Delegated Proof of Work Consensus Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI-CSP ![In: 2021 International Conference on Artificial Intelligence for Cyber Security Systems and Privacy (AI-CSP), El Oued, Algeria, November 20-21, 2021, pp. 1-7, 2021, IEEE, 978-1-6654-6714-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
35 | Mostefa Masmoudi, Nadia Zenati, Samir Benbelkacem, Zineb Hadjadj, Oualid Djekoune, Mohamed Amine Guerroudji, Yousra Izountar |
Low-cost haptic glove for grasp precision improvement in Virtual Reality-Based Post-Stroke Hand Rehabilitation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI-CSP ![In: 2021 International Conference on Artificial Intelligence for Cyber Security Systems and Privacy (AI-CSP), El Oued, Algeria, November 20-21, 2021, pp. 1-3, 2021, IEEE, 978-1-6654-6714-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
35 | Hayet Benbrahim, Ali Behloul |
Fine-tuned Xception for Image Classification on Tiny ImageNet. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI-CSP ![In: 2021 International Conference on Artificial Intelligence for Cyber Security Systems and Privacy (AI-CSP), El Oued, Algeria, November 20-21, 2021, pp. 1-4, 2021, IEEE, 978-1-6654-6714-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
35 | Assia Ould Hamou, Fatma-Zohra Chelali |
Hand Gesture Recognition Based on LPQ and MRELBP Descriptors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI-CSP ![In: 2021 International Conference on Artificial Intelligence for Cyber Security Systems and Privacy (AI-CSP), El Oued, Algeria, November 20-21, 2021, pp. 1-6, 2021, IEEE, 978-1-6654-6714-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
35 | Sadok Hani, Pr Mohmmed Lakhdar Kiram, Abdelkader Laouid, Muath AlShaikh |
The impact of digital transformation on the work of the Algerian local administration during the Corona-Covid 19 Pandemic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI-CSP ![In: 2021 International Conference on Artificial Intelligence for Cyber Security Systems and Privacy (AI-CSP), El Oued, Algeria, November 20-21, 2021, pp. 1-6, 2021, IEEE, 978-1-6654-6714-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
Displaying result #201 - #300 of 2636 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ >>] |
|