|
|
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 |
42 | Martin E. Dyer, David Richerby |
On the complexity of #CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STOC ![In: Proceedings of the 42nd ACM Symposium on Theory of Computing, STOC 2010, Cambridge, Massachusetts, USA, 5-8 June 2010, pp. 725-734, 2010, ACM, 978-1-4503-0050-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
complexity dichotomy, constraint satisfaction problem, counting problems |
42 | Serge Gaspers, Gregory B. Sorkin |
A universally fastest algorithm for Max 2-Sat, Max 2-CSP, and everything in between. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SODA ![In: Proceedings of the Twentieth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2009, New York, NY, USA, January 4-6, 2009, pp. 606-615, 2009, SIAM, 978-0-89871-680-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
42 | Frédéric Lardeux, Éric Monfroy, Frédéric Saubion, Broderick Crawford, Carlos Castro 0001 |
SAT Encoding and CSP Reduction for Interconnected Alldiff Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICAI ![In: MICAI 2009: Advances in Artificial Intelligence, 8th Mexican International Conference on Artificial Intelligence, Guanajuato, Mexico, November 9-13, 2009. Proceedings, pp. 360-371, 2009, Springer, 978-3-642-05257-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
42 | Steve A. Schneider, Helen Treharne |
Changing System Interfaces Consistently: A New Refinement Strategy for CSP||B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings, pp. 103-117, 2009, Springer, 978-3-642-00254-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
42 | Josep Argelich, Alba Cabiscol, Inês Lynce, Felip Manyà |
Modelling Max-CSP as Partial Max-SAT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAT ![In: Theory and Applications of Satisfiability Testing - SAT 2008, 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings, pp. 1-14, 2008, Springer, 978-3-540-79718-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
42 | Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy, Felip Manyà |
Mapping CSP into Many-Valued SAT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAT ![In: Theory and Applications of Satisfiability Testing - SAT 2007, 10th International Conference, Lisbon, Portugal, May 28-31, 2007, Proceedings, pp. 10-15, 2007, Springer, 978-3-540-72787-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
42 | John D. Carter, William B. Gardner |
Mise en Scene: Converting Scenarios to CSP Traces in Support of Requirements-Based Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEW ![In: 31st Annual IEEE / NASA Software Engineering Workshop (SEW-31 2007), 6-8 March 2007, Loyola College, Columbia, MD, USA, pp. 41-52, 2007, IEEE Computer Society, 0-7695-2862-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
42 | Barbara M. Smith, Stefano Bistarelli, Barry O'Sullivan |
Constraint Symmetry for the Soft CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2007, 13th International Conference, CP 2007, Providence, RI, USA, September 23-27, 2007, Proceedings, pp. 872-879, 2007, Springer, 978-3-540-74969-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
42 | Michael Kleis, Kai Büttner, Sanaa Elmoumouhi, Georg Carle, Mikaël Salaün |
CSP, Cooperative Service Provisioning Using Peer-to-Peer Principles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSOS ![In: Self-Organizing Systems, Second International Workshop, IWSOS 2007, The Lake District, UK, September 11-13, 2007, Proceedings, pp. 73-87, 2007, Springer, 978-3-540-74916-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
42 | Incheon Paik, Daisuke Maruyama, Michael N. Huhns |
A Framework for Intelligent Web Services: Combined HTN and CSP Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWS ![In: 2006 IEEE International Conference on Web Services (ICWS 2006), 18-22 September 2006, Chicago, Illinois, USA, pp. 959-962, 2006, IEEE Computer Society, 0-7695-2669-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
42 | Yoshinao Isobe, Markus Roggenbach |
A Complete Axiomatic Semantics for the CSP Stable-Failures Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2006 - Concurrency Theory, 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006, Proceedings, pp. 158-172, 2006, Springer, 3-540-37376-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
42 | Ramón Béjar, Cèsar Fernández, Carles Mateu |
Statistical Modelling of CSP Solving Algorithms Performance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2005, 11th International Conference, CP 2005, Sitges, Spain, October 1-5, 2005, Proceedings, pp. 861, 2005, Springer, 3-540-29238-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
42 | David A. Cohen, Martin C. Cooper, Peter Jeavons 0001, Andrei A. Krokhin |
Identifying Efficiently Solvable Cases of Max CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 2004, 21st Annual Symposium on Theoretical Aspects of Computer Science, Montpellier, France, March 25-27, 2004, Proceedings, pp. 152-163, 2004, Springer, 3-540-21236-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
42 | Ana Cavalcanti 0001, Augusto Sampaio |
From CSP-OZ to Java with Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 16th International Parallel and Distributed Processing Symposium (IPDPS 2002), 15-19 April 2002, Fort Lauderdale, FL, USA, CD-ROM/Abstracts Proceedings, 2002, IEEE Computer Society, 0-7695-1573-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
refinement calculi, concurrency, program development |
42 | Peter H. Welch, Jo R. Aldous, Jon Foster |
CSP Networking for Java (JCSP.net). ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science (2) ![In: Computational Science - ICCS 2002, International Conference, Amsterdam, The Netherlands, April 21-24, 2002. Proceedings, Part II, pp. 695-708, 2002, Springer, 3-540-43593-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
42 | Ian MacColl, David A. Carrington |
Translating UAN into CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: 3rd IEEE International Conference on Formal Engineering Methods, ICFEM 2000, York, England, UK, September 4-7, 2000, Proceedings, pp. 121-132, 2000, IEEE Computer Society, 0-7695-0822-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
42 | Haykal Tej, Burkhart Wolff |
A Corrected Failure Divergence Model for CSP in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FME ![In: FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997, Proceedings, pp. 318-337, 1997, Springer, 3-540-63533-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
42 | Graeme Smith 0001 |
A Semantic Integration of Object-Z and CSP for the Specification of Concurrent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FME ![In: FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997, Proceedings, pp. 62-81, 1997, Springer, 3-540-63533-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
42 | Ursula Goltz, Wolfgang Reisig |
CSP-programs with individual tokens. ![Search on Bibsonomy](Pics/bibsonomy.png) |
European Workshop on Applications and Theory in Petri Nets ![In: Advances in Petri Nets 1984, European Workshop on Applications and Theory in Petri Nets, covers the last two years which include the workshop 1983 in Toulouse and the workshop 1984 in Aarhus, selected papers, pp. 169-196, 1984, Springer, 3-540-15204-0. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
42 | Stephen D. Brookes |
On the Relationship of CCS and CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 10th Colloquium, Barcelona, Spain, July 18-22, 1983, Proceedings, pp. 83-96, 1983, Springer, 3-540-12317-2. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
41 | Yevgeny Schreiber |
Cost-Driven Interactive CSP with Constraint Relaxation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2009, 15th International Conference, CP 2009, Lisbon, Portugal, September 20-24, 2009, Proceedings, pp. 707-722, 2009, Springer, 978-3-642-04243-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Cost-Driven Interactive CSP, ICSP, Functional Test Generation, Constraint Relaxation |
41 | Samuel Colin, Arnaud Lanoix, Olga Kouchnarenko, Jeanine Souquières |
Towards Validating a Platoon of Cristal Vehicles Using CSP||B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 12th International Conference, AMAST 2008, Urbana, IL, USA, July 28-31, 2008, Proceedings, pp. 139-144, 2008, Springer, 978-3-540-79979-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
CSP?B, distributed systems, formal methods, case study, platooning |
41 | Phillip J. Brooke, Richard F. Paige |
The Design of a Tool-Supported Graphical Notation for Timed CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002, Proceedings, pp. 299-318, 2002, Springer, 3-540-43703-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
process algebra, tool support, graphical notation, Timed CSP |
41 | Simeon Veloudis, Nimal Nissanke |
Modelling Coordinated Atomic Actions in Timed CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTRTFT ![In: Formal Techniques in Real-Time and Fault-Tolerant Systems, 6th International Symposium, FTRTFT 2000, Pune, India, September 20-22, 2000, Proceedings, pp. 228-239, 2000, Springer, 3-540-41055-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
CA actions, real-time systems, safety-critical systems, Timed CSP |
41 | Steve A. Schneider, Jim Davies, D. M. Jackson, George M. Reed, Joy N. Reed, A. W. Roscoe 0001 |
Timed CSP: Theory and Practice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REX Workshop ![In: Real-Time: Theory in Practice, REX Workshop, Mook, The Netherlands, June 3-7, 1991, Proceedings, pp. 640-675, 1991, Springer, 3-540-55564-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
Real-Time CSP, Timewise Refinement, Telephone Switching, Robotics, Concurrency, Temporal Logic, Specification and Verification, Control Software |
41 | David May 0001 |
CSP, occam and Transputers. ![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. 75-84, 2004, Springer, 3-540-25813-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
41 | Jonathan Lawrence |
Practical Application of CSP and FDR to Software Design. ![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. 151-174, 2004, Springer, 3-540-25813-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
41 | Steve A. Schneider, Rob Delicata |
Verifying Security Protocols: An Application of CSP. ![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. 243-263, 2004, Springer, 3-540-25813-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
39 | Kazuto Nishida, Kazumichi Shimizu, Michiro Yoshino, Hideo Koguchi, Nipon Taweejun |
Reliability evaluation of ultra-thin CSP using new flip-chip bonding technology--double-sided CSP and single-sided CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microelectron. Reliab. ![In: Microelectron. Reliab. 43(12), pp. 2065-2075, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
37 | Mihnea Marinescu, Benjamin Goldberg |
Partial-Evaluation Techniques for Concurrent Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '97), Amsterdam, The Netherlands, June 12-13, 1997, pp. 47-62, 1997, ACM, 0-89791-917-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
concurrency, CSP, CSP, partial evaluation, nondeterminism, binding-time analysis |
37 | Abigail Parisaca Vargas, Ana Gabriela Garis, Silvia Lizeth Tapia Tarifa, Chris George |
Model Checking LTL Formulae in RAISE with FDR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings, pp. 231-245, 2009, Springer, 978-3-642-00254-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
model checking, formal methods, refinement, tools, CSP, LTL, FDR, RAISE, RSL |
37 | Michael Möller 0002, Ernst-Rüdiger Olderog, Holger Rasch, Heike Wehrheim |
Integrating a formal method into a software engineering process with UML and Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 20(2), pp. 161-204, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Java, Modelling, Model checking, UML, Formal specification, CSP, Contracts, Object-Z, Runtime checking |
37 | Rodrigo Ramos, Augusto Sampaio, Alexandre Mota 0001 |
Framework composition conformance via refinement checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), Fortaleza, Ceara, Brazil, March 16-20, 2008, pp. 119-125, 2008, ACM, 978-1-59593-753-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
conformance notions, framework composition, refinement, CSP |
37 | Ana Cavalcanti 0001, Phil Clayton, Colin O'Halloran |
Control Law Diagrams in Circus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2005: Formal Methods, International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings, pp. 253-268, 2005, Springer, 3-540-27882-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
refinement, CSP, Z, Simulink |
37 | Jun Sun 0001, Jin Song Dong |
Synthesis of Distributed Processes from Scenario-Based Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2005: Formal Methods, International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings, pp. 415-431, 2005, Springer, 3-540-27882-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Synthesis, CSP, LSC |
37 | Helen Treharne, Steve A. Schneider, Marchia Bramble |
Composing Specifications Using Communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZB ![In: ZB 2003: Formal Specification and Development in Z and B, Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings, pp. 58-78, 2003, Springer, 3-540-40253-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Composing Specifications, Concurrency, CSP, B-Method, Combining Formalisms |
37 | Helen Treharne, Steve A. Schneider |
How to Drive a B Machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZB ![In: ZB 2000: Formal Specification and Development in Z and B, First International Conference of B and Z Users, York, UK, August 29 - September 2, 2000, Proceedings, pp. 188-208, 2000, Springer, 3-540-67944-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Programming Calculi, Embedded Systems, CSP, B-Method, Combining Formalisms |
37 | John J. Zic |
Extensions to communicating sequential processes to allow protocol performance specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Commun. Rev. ![In: Comput. Commun. Rev. 17(5), pp. 217-227, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
CSP |
36 | Barbara M. Smith |
Observations on Symmetry Breaking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2009, 15th International Conference, CP 2009, Lisbon, Portugal, September 20-24, 2009, Proceedings, pp. 5, 2009, Springer, 978-3-642-04243-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
36 | Kai Keng Ang, Zhengyang Chin, Haihong Zhang, Cuntai Guan |
Filter Bank Common Spatial Pattern (FBCSP) in Brain-Computer Interface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCNN ![In: Proceedings of the International Joint Conference on Neural Networks, IJCNN 2008, part of the IEEE World Congress on Computational Intelligence, WCCI 2008, Hong Kong, China, June 1-6, 2008, pp. 2390-2397, 2008, IEEE, 978-1-4244-1820-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
36 | Yat Chiu Law, Jimmy Ho-Man Lee, Barbara M. Smith |
Automatic Generation of Redundant Models for Permutation Constraint Satisfaction Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraints An Int. J. ![In: Constraints An Int. J. 12(4), pp. 469-505, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Model redundancy, Constraint satisfaction |
36 | László Egri, Benoît Larose, Pascal Tesson |
Symmetric Datalog and Constraint Satisfaction Problems in Logspace. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 22nd IEEE Symposium on Logic in Computer Science (LICS 2007), 10-12 July 2007, Wroclaw, Poland, Proceedings, pp. 193-202, 2007, IEEE Computer Society, 0-7695-2908-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
36 | Benoît Larose, Pascal Tesson |
Universal Algebra and Hardness Results for Constraint Satisfaction Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 34th International Colloquium, ICALP 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings, pp. 267-278, 2007, Springer, 978-3-540-73419-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
36 | Yat Chiu Law, Jimmy H. M. Lee |
Symmetry Breaking Constraints for Value Symmetries in Constraint Satisfaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraints An Int. J. ![In: Constraints An Int. J. 11(2-3), pp. 221-267, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Value symmetries, Constraint satisfaction, Symmetry breaking |
36 | Stefan S. Dantchev, Florent R. Madelaine |
Bounded-Degree Forbidden Patterns Problems Are Constraint Satisfaction Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSR ![In: Computer Science - Theory and Applications, First International Symposium on Computer Science in Russia, CSR 2006, St. Petersburg, Russia, June 8-12, 2006, Proceedings, pp. 159-170, 2006, Springer, 3-540-34166-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Constraint Satisfaction, Duality, Monadic Second Order Logic, Logic in Computer Science, Graph Homomorphism |
36 | Manuel Bodirsky, Víctor Dalmau |
Datalog and Constraint Satisfaction with Infinite Templates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 2006, 23rd Annual Symposium on Theoretical Aspects of Computer Science, Marseille, France, February 23-25, 2006, Proceedings, pp. 646-659, 2006, Springer, 978-3-540-32301-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
36 | Shengnan Cong, Jiawei Han 0001, David A. Padua |
Parallel mining of closed sequential patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KDD ![In: Proceedings of the Eleventh ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, Chicago, Illinois, USA, August 21-24, 2005, pp. 562-567, 2005, ACM, 1-59593-135-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
parallel algorithms, load balancing, sampling |
36 | Erik Meer |
A BDD-Based Interactive Configurator for Modular Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2005, 11th International Conference, CP 2005, Sitges, Spain, October 1-5, 2005, Proceedings, pp. 883-883, 2005, Springer, 3-540-29238-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
36 | Ioannis P. Vlahavas, Ilias Sakellariou, Ivan Futó, Zoltán Pásztor, János Szeredi |
CSPCONS: A Communicating Sequential Prolog with Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETN ![In: Methods and Applications of Artificial Intelligence, Second Hellenic Conference on AI, SETN 2002. Thessaloniki, Greece, April 11-12, 2002, Proceedings, pp. 72-84, 2002, Springer, 3-540-43472-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
36 | Claude Michel, Michel Rueher, Yahia Lebbah |
Solving Constraints over Floating-Point Numbers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2001, 7th International Conference, CP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings, pp. 524-538, 2001, Springer, 3-540-42863-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
36 | |
6th International Conference on Cryptography, Security and Privacy, CSP 2022, Tianjin, China, January 14-16, 2022 ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSP ![IEEE, 978-1-6654-7975-2 The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
36 | Tomoaki Mimoto, Masayuki Hashimoto, Hiroyuki Yokoyama, Toru Nakamura, Takamasa Isohara, Ryosuke Kojima, Aki Hasegawa, Yasushi Okuno |
Differential Privacy under Incalculable Sensitivity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSP ![In: 6th International Conference on Cryptography, Security and Privacy, CSP 2022, Tianjin, China, January 14-16, 2022, pp. 27-31, 2022, IEEE, 978-1-6654-7975-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
36 | Abdulbast A. Abushgra |
Teleporting Qubits Between Participants by Third-Party Center. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSP ![In: 6th International Conference on Cryptography, Security and Privacy, CSP 2022, Tianjin, China, January 14-16, 2022, pp. 1-5, 2022, IEEE, 978-1-6654-7975-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
36 | Qian Zhang, Weihong Xie, Xinxian Pan |
Evaluation Study on Privacy Policies of Express Companies Based on Cloud Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSP ![In: 6th International Conference on Cryptography, Security and Privacy, CSP 2022, Tianjin, China, January 14-16, 2022, pp. 21-26, 2022, IEEE, 978-1-6654-7975-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
36 | Raha Soleymanzadeh, Rasha Kashef 0001 |
The Future Roadmap for Cyber-attack Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSP ![In: 6th International Conference on Cryptography, Security and Privacy, CSP 2022, Tianjin, China, January 14-16, 2022, pp. 66-70, 2022, IEEE, 978-1-6654-7975-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
36 | Jia Wang, Takayuki Sasaki, Kazumasa Omote, Katsunari Yoshioka, Tsutomu Matsumoto |
Multifaceted Analysis of Malicious Ethereum Accounts and Corresponding Activities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSP ![In: 6th International Conference on Cryptography, Security and Privacy, CSP 2022, Tianjin, China, January 14-16, 2022, pp. 71-79, 2022, IEEE, 978-1-6654-7975-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
36 | Nilupulee Anuradha Gunathilake, Ahmed Al-Dubai 0001, William J. Buchanan, Owen Lo |
Electromagnetic Side-Channel Attack Resilience against PRESENT Lightweight Block Cipher. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSP ![In: 6th International Conference on Cryptography, Security and Privacy, CSP 2022, Tianjin, China, January 14-16, 2022, pp. 51-55, 2022, IEEE, 978-1-6654-7975-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
36 | Sarfraz Iqbal |
Analyzing Initial Design Theory Components for Developing Information Security Laboratories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSP ![In: 6th International Conference on Cryptography, Security and Privacy, CSP 2022, Tianjin, China, January 14-16, 2022, pp. 36-40, 2022, IEEE, 978-1-6654-7975-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
36 | Chenjia Yu, Mehdi Gheisari, Yang Liu 0039 |
A Lightweight Advertisement Ecosystem Simulation Platform for Security Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSP ![In: 6th International Conference on Cryptography, Security and Privacy, CSP 2022, Tianjin, China, January 14-16, 2022, pp. 41-45, 2022, IEEE, 978-1-6654-7975-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
36 | Tuong Phi Lau |
A Class of Software-Layer DoS Attacks in Node.js Web Apps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSP ![In: 6th International Conference on Cryptography, Security and Privacy, CSP 2022, Tianjin, China, January 14-16, 2022, pp. 108-113, 2022, IEEE, 978-1-6654-7975-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
36 | Marcin Dabrowski, Piotr Pacyna |
Blockchain-based identity dicovery between heterogenous identity management systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSP ![In: 6th International Conference on Cryptography, Security and Privacy, CSP 2022, Tianjin, China, January 14-16, 2022, pp. 131-137, 2022, IEEE, 978-1-6654-7975-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
36 | Xinli Xiong, Liang Guo, Yunfeng Zhang, Jingye Zhang |
Cyber-Security Enhanced Network Meta-Model and its Application. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSP ![In: 6th International Conference on Cryptography, Security and Privacy, CSP 2022, Tianjin, China, January 14-16, 2022, pp. 80-85, 2022, IEEE, 978-1-6654-7975-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
36 | Shawn Collins, Emily Wu, Rui Ning |
Context-based Adblocker using Siamese Neural Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSP ![In: 6th International Conference on Cryptography, Security and Privacy, CSP 2022, Tianjin, China, January 14-16, 2022, pp. 56-60, 2022, IEEE, 978-1-6654-7975-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
36 | Wenxian Guo, Haiqing Yu, Wei Ding 0001 |
Vertical Scanning Behavior Analysis of High-Frequency Superpoints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSP ![In: 6th International Conference on Cryptography, Security and Privacy, CSP 2022, Tianjin, China, January 14-16, 2022, pp. 114-118, 2022, IEEE, 978-1-6654-7975-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
36 | Jiangyong Shi, Ping Kuang, Yongjun Wang, Yuexiang Yang |
A Two-Stage Out-Of-Box Method for Detecting Side-Channel Attacks in Cloud Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSP ![In: 6th International Conference on Cryptography, Security and Privacy, CSP 2022, Tianjin, China, January 14-16, 2022, pp. 148-153, 2022, IEEE, 978-1-6654-7975-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
36 | Tazar Hussain, Alfie Beard, Liming Chen 0001, Chris D. Nugent, Jun Liu 0001, Adrian Moore 0001 |
From Machine Learning Based Intrusion Detection to Cost Sensitive Intrusion Response. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSP ![In: 6th International Conference on Cryptography, Security and Privacy, CSP 2022, Tianjin, China, January 14-16, 2022, pp. 124-130, 2022, IEEE, 978-1-6654-7975-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
36 | Yangpan Zhang |
An approach to construct feedforward clock-controlled sequence with high linear complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSP ![In: 6th International Conference on Cryptography, Security and Privacy, CSP 2022, Tianjin, China, January 14-16, 2022, pp. 143-147, 2022, IEEE, 978-1-6654-7975-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
36 | Sevgi Arca, Rattikorn Hewett |
Anonymity-driven Measures for Privacy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSP ![In: 6th International Conference on Cryptography, Security and Privacy, CSP 2022, Tianjin, China, January 14-16, 2022, pp. 6-10, 2022, IEEE, 978-1-6654-7975-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
36 | Li Li, Maozhi Xu |
RippleSign: Isogeny-Based Threshold Ring Signatures with Combinatorial Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSP ![In: 6th International Conference on Cryptography, Security and Privacy, CSP 2022, Tianjin, China, January 14-16, 2022, pp. 11-15, 2022, IEEE, 978-1-6654-7975-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
36 | Shuangbao Paul Wang, Md Tanvir Arafin, Onyema Osuagwu, Ketchiozo Wandji |
Cyber Threat Analysis and Trustworthy Artificial Intelligence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSP ![In: 6th International Conference on Cryptography, Security and Privacy, CSP 2022, Tianjin, China, January 14-16, 2022, pp. 86-90, 2022, IEEE, 978-1-6654-7975-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
36 | Mohammed M. Alani |
IoTProtect: A Machine-Learning Based IoT Intrusion Detection System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSP ![In: 6th International Conference on Cryptography, Security and Privacy, CSP 2022, Tianjin, China, January 14-16, 2022, pp. 61-65, 2022, IEEE, 978-1-6654-7975-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
36 | Jared Mathews, Prosenjit Chatterjee, Shankar Banik |
CoAP-DoS: An IoT Network Intrusion Data Set. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSP ![In: 6th International Conference on Cryptography, Security and Privacy, CSP 2022, Tianjin, China, January 14-16, 2022, pp. 91-95, 2022, IEEE, 978-1-6654-7975-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
36 | Rainer Rehak, Christian Ricardo Kühne |
The Processing goes far beyond "the app" - Privacy issues of decentralized Digital Contact Tracing using the example of the German Corona-Warn-App. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSP ![In: 6th International Conference on Cryptography, Security and Privacy, CSP 2022, Tianjin, China, January 14-16, 2022, pp. 16-20, 2022, IEEE, 978-1-6654-7975-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
36 | Jihan Lailatul Atiqoh, Ari Moesriami Barmawi, Farah Afianti |
Blockchain-based Smart Parking System using Ring Learning With Errors based Signature. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSP ![In: 6th International Conference on Cryptography, Security and Privacy, CSP 2022, Tianjin, China, January 14-16, 2022, pp. 154-158, 2022, IEEE, 978-1-6654-7975-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
36 | Giampaolo Bella, Cristian Daniele, Mario Raciti |
The AILA Methodology for Automated and Intelligent Likelihood Assignment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSP ![In: 6th International Conference on Cryptography, Security and Privacy, CSP 2022, Tianjin, China, January 14-16, 2022, pp. 119-123, 2022, IEEE, 978-1-6654-7975-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
36 | Li Feilin, Li Tao, Hu Aiqu |
A Proactively Defensive Low-Level Decision Center Model of Endogenous Security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSP ![In: 6th International Conference on Cryptography, Security and Privacy, CSP 2022, Tianjin, China, January 14-16, 2022, pp. 46-50, 2022, IEEE, 978-1-6654-7975-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
36 | Dongxia Wang, Jie Cui, Jinghua Wang, Huan Tan, Ming Xu |
Convex Hull Convolutive Non-negative Matrix Factorization Based Speech Enhancement For Multimedia Communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSP ![In: 6th International Conference on Cryptography, Security and Privacy, CSP 2022, Tianjin, China, January 14-16, 2022, pp. 138-142, 2022, IEEE, 978-1-6654-7975-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
36 | Jiaqi Liu, Aiqun Hu, Sheng Li |
Spectrum-based Fingerprint Extraction and Identification Method of 100M Ethernet Card. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSP ![In: 6th International Conference on Cryptography, Security and Privacy, CSP 2022, Tianjin, China, January 14-16, 2022, pp. 102-107, 2022, IEEE, 978-1-6654-7975-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
36 | Eric Sakk |
Computational Refinements for Post-Quantum Elliptic Curve Security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSP ![In: 6th International Conference on Cryptography, Security and Privacy, CSP 2022, Tianjin, China, January 14-16, 2022, pp. 32-35, 2022, IEEE, 978-1-6654-7975-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
36 | Yuxi Cheng, Ziang Jin, Wei Ding 0001 |
Analysis of the Propagation of Miner Botnet. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSP ![In: 6th International Conference on Cryptography, Security and Privacy, CSP 2022, Tianjin, China, January 14-16, 2022, pp. 96-101, 2022, IEEE, 978-1-6654-7975-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
36 | |
5th IEEE International Conference on Cryptography, Security and Privacy, CSP 2021, Zhuhai, China, January 8-10, 2021 ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSP ![IEEE, 978-1-7281-8621-4 The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
36 | Sam Ng, Tomás Tauber, Leslie Cheung |
ECDSA-Compatible Privacy Preserving Signature With Designated Verifier. ![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. 84-89, 2021, IEEE, 978-1-7281-8621-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
36 | Abdulbast A. Abushgra |
SARG04 and AK15 Protocols Based on the Run-Time Execution and QBER. ![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. 176-180, 2021, IEEE, 978-1-7281-8621-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
36 | Martin J. Butler, Rika Butler |
The Influence of Mobile Operating Systems on User Security Behavior. ![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. 134-138, 2021, IEEE, 978-1-7281-8621-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
36 | Shuangbao Paul Wang, Eric Sakk |
Quantum Algorithms: Overviews, Foundations, and Speedups. ![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. 17-21, 2021, IEEE, 978-1-7281-8621-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
36 | Yanchun Cui, Kai Zhong, Ansheng Yin |
Trust Evaluation Algorithm based on Association Rule Extraction. ![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. 50-54, 2021, IEEE, 978-1-7281-8621-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
36 | Haotian Zhang, Weiyu Dong, Jian Lin 0007 |
A Partial-Lifting-Based Compiling Concolic Execution Approach. ![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. 123-128, 2021, IEEE, 978-1-7281-8621-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
36 | Kunchang Li, Xu Han, Yifan Yang, Shuhao Wang, Runhua Shi, Jianbin Li |
A Novel Edge Computing Offloading and Privacy-preserving Scheme for Energy Internet. ![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. 79-83, 2021, IEEE, 978-1-7281-8621-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
36 | Liangjie Lin, Yuchen Tian, Yang Liu 0039 |
A Blockchain-based Privacy-Preserving Recommendation 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. 74-78, 2021, IEEE, 978-1-7281-8621-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
36 | Haiou Huang, Jianfeng Chu, Xiaochun Cheng |
Trend Analysis and Countermeasure Research of DDoS Attack Under 5G Network. ![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. 153-160, 2021, IEEE, 978-1-7281-8621-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
36 | Jianhua Xing, Jing Si, Yongjing Zhang, Wei Li, Yuning Zheng |
Research on Malware Variant Detection Method Based on Deep Neural Network. ![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. 144-147, 2021, IEEE, 978-1-7281-8621-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
36 | Kunzan Liu, Yuchen Jiao, Ye Jin, Xu Xiang, Yuantao Gu |
Dimensionality-reduced Secure Outlier Detection on Union of Subspaces. ![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. 101-106, 2021, IEEE, 978-1-7281-8621-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
36 | Liwei Liu, Maozhi Xu, Guoqing Zhou |
Analysis and Improvements to the Special Number Field Sieve for Discrete Logarithm Problems. ![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. 45-49, 2021, IEEE, 978-1-7281-8621-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
36 | Jaouhar Fattahi, Mohamed Mejri |
Damaged Fingerprint Recognition by Convolutional Long Short-Term Memory Networks for Forensic Purposes. ![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. 193-199, 2021, IEEE, 978-1-7281-8621-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
36 | Cristòfol Daudén-Esmel, Jordi Castellà-Roca, Alexandre Viejo, Josep Domingo-Ferrer |
Lightweight Blockchain-based Platform for GDPR-Compliant Personal Data Management. ![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. 68-73, 2021, IEEE, 978-1-7281-8621-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
36 | Wouter Louman, Mitchell Vernee, Danique de Bruijn, Babette van't Riet, Hani Alers |
Mobile Firewall applications: An analysis of usability and effectiveness. ![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. 148-152, 2021, IEEE, 978-1-7281-8621-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
36 | Haleh Shahzad, Abdul Rahman Sattar, Janahan Skandaraniyam |
DGA Domain Detection using Deep Learning. ![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. 139-143, 2021, IEEE, 978-1-7281-8621-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
36 | Eric Sakk, Shuangbao Paul Wang |
Code Structures for Quantum Encryption and Decryption. ![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. 7-11, 2021, IEEE, 978-1-7281-8621-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
36 | Ting Ma 0003, Feng Hu, Maode Ma |
A LSTM-Based Channel Fingerprinting Method for Intrusion Detection. ![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. 113-116, 2021, IEEE, 978-1-7281-8621-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
36 | Mark A. Brady, Ikram Ullah 0003, Paul J. M. Havinga |
DOSing Distributed Ledger Technology: IOTA. ![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. 55-61, 2021, IEEE, 978-1-7281-8621-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
Displaying result #101 - #200 of 2636 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ >>] |
|