|
|
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. |
STOC |
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. |
SODA |
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. |
MICAI |
2009 |
DBLP DOI BibTeX RDF |
|
42 | Steve A. Schneider, Helen Treharne |
Changing System Interfaces Consistently: A New Refinement Strategy for CSP||B. |
IFM |
2009 |
DBLP DOI BibTeX RDF |
|
42 | Josep Argelich, Alba Cabiscol, Inês Lynce, Felip Manyà |
Modelling Max-CSP as Partial Max-SAT. |
SAT |
2008 |
DBLP DOI BibTeX RDF |
|
42 | Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy, Felip Manyà |
Mapping CSP into Many-Valued SAT. |
SAT |
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. |
SEW |
2007 |
DBLP DOI BibTeX RDF |
|
42 | Barbara M. Smith, Stefano Bistarelli, Barry O'Sullivan |
Constraint Symmetry for the Soft CSP. |
CP |
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. |
IWSOS |
2007 |
DBLP DOI BibTeX RDF |
|
42 | Incheon Paik, Daisuke Maruyama, Michael N. Huhns |
A Framework for Intelligent Web Services: Combined HTN and CSP Approach. |
ICWS |
2006 |
DBLP DOI BibTeX RDF |
|
42 | Yoshinao Isobe, Markus Roggenbach |
A Complete Axiomatic Semantics for the CSP Stable-Failures Model. |
CONCUR |
2006 |
DBLP DOI BibTeX RDF |
|
42 | Ramón Béjar, Cèsar Fernández, Carles Mateu |
Statistical Modelling of CSP Solving Algorithms Performance. |
CP |
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. |
STACS |
2004 |
DBLP DOI BibTeX RDF |
|
42 | Ana Cavalcanti 0001, Augusto Sampaio |
From CSP-OZ to Java with Processes. |
IPDPS |
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). |
International Conference on Computational Science (2) |
2002 |
DBLP DOI BibTeX RDF |
|
42 | Ian MacColl, David A. Carrington |
Translating UAN into CSP. |
ICFEM |
2000 |
DBLP DOI BibTeX RDF |
|
42 | Haykal Tej, Burkhart Wolff |
A Corrected Failure Divergence Model for CSP in Isabelle/HOL. |
FME |
1997 |
DBLP DOI BibTeX RDF |
|
42 | Graeme Smith 0001 |
A Semantic Integration of Object-Z and CSP for the Specification of Concurrent Systems. |
FME |
1997 |
DBLP DOI BibTeX RDF |
|
42 | Ursula Goltz, Wolfgang Reisig |
CSP-programs with individual tokens. |
European Workshop on Applications and Theory in Petri Nets |
1984 |
DBLP DOI BibTeX RDF |
|
42 | Stephen D. Brookes |
On the Relationship of CCS and CSP. |
ICALP |
1983 |
DBLP DOI BibTeX RDF |
|
41 | Yevgeny Schreiber |
Cost-Driven Interactive CSP with Constraint Relaxation. |
CP |
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. |
AMAST |
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. |
IFM |
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. |
FTRTFT |
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. |
REX Workshop |
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. |
25 Years Communicating Sequential Processes |
2004 |
DBLP DOI BibTeX RDF |
|
41 | Jonathan Lawrence |
Practical Application of CSP and FDR to Software Design. |
25 Years Communicating Sequential Processes |
2004 |
DBLP DOI BibTeX RDF |
|
41 | Steve A. Schneider, Rob Delicata |
Verifying Security Protocols: An Application of CSP. |
25 Years Communicating Sequential Processes |
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. |
Microelectron. Reliab. |
2003 |
DBLP DOI BibTeX RDF |
|
37 | Mihnea Marinescu, Benjamin Goldberg |
Partial-Evaluation Techniques for Concurrent Programs. |
PEPM |
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. |
IFM |
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. |
Formal Aspects Comput. |
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. |
SAC |
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. |
FM |
2005 |
DBLP DOI BibTeX RDF |
refinement, CSP, Z, Simulink |
37 | Jun Sun 0001, Jin Song Dong |
Synthesis of Distributed Processes from Scenario-Based Specifications. |
FM |
2005 |
DBLP DOI BibTeX RDF |
Synthesis, CSP, LSC |
37 | Helen Treharne, Steve A. Schneider, Marchia Bramble |
Composing Specifications Using Communication. |
ZB |
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. |
ZB |
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. |
Comput. Commun. Rev. |
1987 |
DBLP DOI BibTeX RDF |
CSP |
36 | Barbara M. Smith |
Observations on Symmetry Breaking. |
CP |
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. |
IJCNN |
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. |
Constraints An Int. J. |
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. |
LICS |
2007 |
DBLP DOI BibTeX RDF |
|
36 | Benoît Larose, Pascal Tesson |
Universal Algebra and Hardness Results for Constraint Satisfaction Problems. |
ICALP |
2007 |
DBLP DOI BibTeX RDF |
|
36 | Yat Chiu Law, Jimmy H. M. Lee |
Symmetry Breaking Constraints for Value Symmetries in Constraint Satisfaction. |
Constraints An Int. J. |
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. |
CSR |
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. |
STACS |
2006 |
DBLP DOI BibTeX RDF |
|
36 | Shengnan Cong, Jiawei Han 0001, David A. Padua |
Parallel mining of closed sequential patterns. |
KDD |
2005 |
DBLP DOI BibTeX RDF |
parallel algorithms, load balancing, sampling |
36 | Erik Meer |
A BDD-Based Interactive Configurator for Modular Systems. |
CP |
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. |
SETN |
2002 |
DBLP DOI BibTeX RDF |
|
36 | Claude Michel, Michel Rueher, Yahia Lebbah |
Solving Constraints over Floating-Point Numbers. |
CP |
2001 |
DBLP DOI BibTeX RDF |
|
36 | |
6th International Conference on Cryptography, Security and Privacy, CSP 2022, Tianjin, China, January 14-16, 2022 |
CSP |
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. |
CSP |
2022 |
DBLP DOI BibTeX RDF |
|
36 | Abdulbast A. Abushgra |
Teleporting Qubits Between Participants by Third-Party Center. |
CSP |
2022 |
DBLP DOI BibTeX RDF |
|
36 | Qian Zhang, Weihong Xie, Xinxian Pan |
Evaluation Study on Privacy Policies of Express Companies Based on Cloud Model. |
CSP |
2022 |
DBLP DOI BibTeX RDF |
|
36 | Raha Soleymanzadeh, Rasha Kashef 0001 |
The Future Roadmap for Cyber-attack Detection. |
CSP |
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. |
CSP |
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. |
CSP |
2022 |
DBLP DOI BibTeX RDF |
|
36 | Sarfraz Iqbal |
Analyzing Initial Design Theory Components for Developing Information Security Laboratories. |
CSP |
2022 |
DBLP DOI BibTeX RDF |
|
36 | Chenjia Yu, Mehdi Gheisari, Yang Liu 0039 |
A Lightweight Advertisement Ecosystem Simulation Platform for Security Analysis. |
CSP |
2022 |
DBLP DOI BibTeX RDF |
|
36 | Tuong Phi Lau |
A Class of Software-Layer DoS Attacks in Node.js Web Apps. |
CSP |
2022 |
DBLP DOI BibTeX RDF |
|
36 | Marcin Dabrowski, Piotr Pacyna |
Blockchain-based identity dicovery between heterogenous identity management systems. |
CSP |
2022 |
DBLP DOI BibTeX RDF |
|
36 | Xinli Xiong, Liang Guo, Yunfeng Zhang, Jingye Zhang |
Cyber-Security Enhanced Network Meta-Model and its Application. |
CSP |
2022 |
DBLP DOI BibTeX RDF |
|
36 | Shawn Collins, Emily Wu, Rui Ning |
Context-based Adblocker using Siamese Neural Network. |
CSP |
2022 |
DBLP DOI BibTeX RDF |
|
36 | Wenxian Guo, Haiqing Yu, Wei Ding 0001 |
Vertical Scanning Behavior Analysis of High-Frequency Superpoints. |
CSP |
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. |
CSP |
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. |
CSP |
2022 |
DBLP DOI BibTeX RDF |
|
36 | Yangpan Zhang |
An approach to construct feedforward clock-controlled sequence with high linear complexity. |
CSP |
2022 |
DBLP DOI BibTeX RDF |
|
36 | Sevgi Arca, Rattikorn Hewett |
Anonymity-driven Measures for Privacy. |
CSP |
2022 |
DBLP DOI BibTeX RDF |
|
36 | Li Li, Maozhi Xu |
RippleSign: Isogeny-Based Threshold Ring Signatures with Combinatorial Methods. |
CSP |
2022 |
DBLP DOI BibTeX RDF |
|
36 | Shuangbao Paul Wang, Md Tanvir Arafin, Onyema Osuagwu, Ketchiozo Wandji |
Cyber Threat Analysis and Trustworthy Artificial Intelligence. |
CSP |
2022 |
DBLP DOI BibTeX RDF |
|
36 | Mohammed M. Alani |
IoTProtect: A Machine-Learning Based IoT Intrusion Detection System. |
CSP |
2022 |
DBLP DOI BibTeX RDF |
|
36 | Jared Mathews, Prosenjit Chatterjee, Shankar Banik |
CoAP-DoS: An IoT Network Intrusion Data Set. |
CSP |
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. |
CSP |
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. |
CSP |
2022 |
DBLP DOI BibTeX RDF |
|
36 | Giampaolo Bella, Cristian Daniele, Mario Raciti |
The AILA Methodology for Automated and Intelligent Likelihood Assignment. |
CSP |
2022 |
DBLP DOI BibTeX RDF |
|
36 | Li Feilin, Li Tao, Hu Aiqu |
A Proactively Defensive Low-Level Decision Center Model of Endogenous Security. |
CSP |
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. |
CSP |
2022 |
DBLP DOI BibTeX RDF |
|
36 | Jiaqi Liu, Aiqun Hu, Sheng Li |
Spectrum-based Fingerprint Extraction and Identification Method of 100M Ethernet Card. |
CSP |
2022 |
DBLP DOI BibTeX RDF |
|
36 | Eric Sakk |
Computational Refinements for Post-Quantum Elliptic Curve Security. |
CSP |
2022 |
DBLP DOI BibTeX RDF |
|
36 | Yuxi Cheng, Ziang Jin, Wei Ding 0001 |
Analysis of the Propagation of Miner Botnet. |
CSP |
2022 |
DBLP DOI BibTeX RDF |
|
36 | |
5th IEEE International Conference on Cryptography, Security and Privacy, CSP 2021, Zhuhai, China, January 8-10, 2021 |
CSP |
2021 |
DBLP DOI BibTeX RDF |
|
36 | Sam Ng, Tomás Tauber, Leslie Cheung |
ECDSA-Compatible Privacy Preserving Signature With Designated Verifier. |
CSP |
2021 |
DBLP DOI BibTeX RDF |
|
36 | Abdulbast A. Abushgra |
SARG04 and AK15 Protocols Based on the Run-Time Execution and QBER. |
CSP |
2021 |
DBLP DOI BibTeX RDF |
|
36 | Martin J. Butler, Rika Butler |
The Influence of Mobile Operating Systems on User Security Behavior. |
CSP |
2021 |
DBLP DOI BibTeX RDF |
|
36 | Shuangbao Paul Wang, Eric Sakk |
Quantum Algorithms: Overviews, Foundations, and Speedups. |
CSP |
2021 |
DBLP DOI BibTeX RDF |
|
36 | Yanchun Cui, Kai Zhong, Ansheng Yin |
Trust Evaluation Algorithm based on Association Rule Extraction. |
CSP |
2021 |
DBLP DOI BibTeX RDF |
|
36 | Haotian Zhang, Weiyu Dong, Jian Lin 0007 |
A Partial-Lifting-Based Compiling Concolic Execution Approach. |
CSP |
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. |
CSP |
2021 |
DBLP DOI BibTeX RDF |
|
36 | Liangjie Lin, Yuchen Tian, Yang Liu 0039 |
A Blockchain-based Privacy-Preserving Recommendation Mechanism. |
CSP |
2021 |
DBLP DOI BibTeX RDF |
|
36 | Haiou Huang, Jianfeng Chu, Xiaochun Cheng |
Trend Analysis and Countermeasure Research of DDoS Attack Under 5G Network. |
CSP |
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. |
CSP |
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. |
CSP |
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. |
CSP |
2021 |
DBLP DOI BibTeX RDF |
|
36 | Jaouhar Fattahi, Mohamed Mejri |
Damaged Fingerprint Recognition by Convolutional Long Short-Term Memory Networks for Forensic Purposes. |
CSP |
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. |
CSP |
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. |
CSP |
2021 |
DBLP DOI BibTeX RDF |
|
36 | Haleh Shahzad, Abdul Rahman Sattar, Janahan Skandaraniyam |
DGA Domain Detection using Deep Learning. |
CSP |
2021 |
DBLP DOI BibTeX RDF |
|
36 | Eric Sakk, Shuangbao Paul Wang |
Code Structures for Quantum Encryption and Decryption. |
CSP |
2021 |
DBLP DOI BibTeX RDF |
|
36 | Ting Ma 0003, Feng Hu, Maode Ma |
A LSTM-Based Channel Fingerprinting Method for Intrusion Detection. |
CSP |
2021 |
DBLP DOI BibTeX RDF |
|
36 | Mark A. Brady, Ikram Ullah 0003, Paul J. M. Havinga |
DOSing Distributed Ledger Technology: IOTA. |
CSP |
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][ >>] |
|