Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
134 | Joachim Biskup, Piero A. Bonatti |
Controlled Query Evaluation for Known Policies by Combining Lying and Refusal. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoIKS ![In: Foundations of Information and Knowledge Systems, Second International Symposium, FoIKS 2002 Salzau Castle, Germany, February 20-23, 2002, Proceedings, pp. 49-66, 2002, Springer, 3-540-43220-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Potential secret, Reliability, Inference control, Secrecy, User log, Lying, Refusal, Controlled query evaluation |
118 | Joachim Biskup, Piero A. Bonatti |
Confidentiality Policies and Their Enforcement for Controlled Query Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESORICS ![In: Computer Security - ESORICS 2002, 7th European Symposium on Research in Computer Security, Zurich, Switzerland, October 14-16, 2002, Proceedings, pp. 39-54, 2002, Springer, 3-540-44345-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Potential secret, Combined refusal and lying, Policy, Confidentiality, Inference control, Secrecy, Lying, Refusal, Controlled query evaluation |
75 | Romina Fraboni, Alessandro Rosina, Sante Orsini, Barbara Baldazzi |
A micro analysis of the macro differences in refusal risk among metropolitan areas. The case of the Italian multipurpose survey. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stat. Methods Appl. ![In: Stat. Methods Appl. 14(2), pp. 283-295, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Non-response rate, multilevel modelling, interviewer's effect |
59 | Joachim Biskup, Piero A. Bonatti |
Controlled Query Evaluation with Open Queries for a Decidable Relational Submodel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoIKS ![In: Foundations of Information and Knowledge Systems, 4th International Symposium, FoIKS 2006, Budapest, Hungary, February 14-17, 2006, Proceedings, pp. 43-62, 2006, Springer, 3-540-31782-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Complete information system, Open query, Safe query, Domain-independent query, Bernays-Schönfinkel class, Completeness test, Relational database, Confidentiality, First-order logic, Finite model theory, Guarded fragment, Lying, Refusal, Implication problem, Controlled query evaluation |
58 | Irek Ulidowski |
Refusal Simulation and Interactive Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 9th International Conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002, Proceedings, pp. 208-222, 2002, Springer, 3-540-44144-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
49 | Joachim Biskup, Torben Weibert |
Keeping secrets in incomplete databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Inf. Sec. ![In: Int. J. Inf. Sec. 7(3), pp. 199-217, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Incomplete databases, Information systems, Inference control, Controlled query evaluation |
42 | Joachim Biskup, Piero A. Bonatti |
Controlled query evaluation for enforcing confidentiality in complete information systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Inf. Sec. ![In: Int. J. Inf. Sec. 3(1), pp. 14-27, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Complete information system, Confidentiality, Inference control, Lying, Refusal |
42 | Xuejun Zhao, Xinyu Liu, Shengling Zheng, Baochang Pan, Yuan Yan Tang |
On-line recognition handwritten mathematical symbol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDAR ![In: 4th International Conference Document Analysis and Recognition (ICDAR '97), 2-Volume Set, August 18-20, 1997, Ulm, Germany, Proceedings, pp. 645-648, 1997, IEEE Computer Society, 0-8186-7898-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
online handwritten mathematical symbol recognition, basic element ordering, standard symbols, basic element vector, basic element length vector, dynamic programming method, unmatching value, matching value, geometric restraints, improved Kohn-Munkres algorithm, correctness rate, incorrectness rate, refusal rate, handwriting recognition, relative positions |
42 | Tino Pyssysalo, Leo Ojala |
Causal Modeling of a Video-on-Demand System Using Predicate/Transition Net Formalism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO ![In: 22rd EUROMICRO Conference '96, Beyond 2000: Hardware and Software Design Strategies, September 2-5, 1996, Prague, Czech Republic, pp. 625-632, 1996, IEEE Computer Society, 0-8186-7487-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
high-level net model, bunching property, resource allocation mechanism, request service, refusal by choice feature, predicate/transition net formalism, stochastic net theoretical methods, time formalisms, performance analysis, reachability analysis, interactive television, parallel machine scheduling, causal modeling, FIFO queues, video-on-demand system |
42 | Enda Howley, Colm O'Riordan |
The effects of viscosity in choice and refusal IPD environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. Rev. ![In: Artif. Intell. Rev. 26(1-2), pp. 103-114, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Prisoner’s dilemma, Implicit trust, Explicit trust, Multi-agent systems, Trust, Cooperation |
42 | Iain Phillips 0001 |
Refusal Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 13th International Colloquium, ICALP86, Rennes, France, July 15-19, 1986, Proceedings, pp. 304-313, 1986, Springer, 3-540-16761-7. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
42 | William G. Golson |
Denotational Models Based on Synchronously Communicating Processes: Refusal, Acceptance, Safety. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Seminar on Concurrency ![In: Seminar on Concurrency, Carnegie-Mellon University, Pittsburg, PA, USA, July 9-11, 1984, pp. 373-388, 1984, Springer, 3-540-15670-4. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
33 | Gavin Lowe |
Specification of communicating processes: temporal logic versus refusals-based refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 20(3), pp. 277-294, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Refinement testing, Specification, Temporal logic, CSP, Refusals |
33 | Zhongjie Li, Jianping Wu, Xia Yin |
Testing Multi Input/Output Transition System with All-Observer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TestCom ![In: Testing of Communicating Systems, 16th IFIP International Conerence, TestCom 2004, Oxford, UK, March 17-19, 2004, Proceedings, pp. 95-111, 2004, Springer, 3-540-21219-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
33 | Olli-Matti Penttinen, Tino Pyssysalo, Leo Ojala |
Performance Analysis of Adaptive Video on Demand Using Stochastic Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (5) ![In: 30th Annual Hawaii International Conference on System Sciences (HICSS-30), 7-10 January 1997, Maui, Hawaii, USA, pp. 119-124, 1997, IEEE Computer Society, 0-8186-7734-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
33 | Zhongping Tao, Gregor von Bochmann, Rachida Dssouli |
Verification and diagnosis of testing equivalence and reduction relation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICNP ![In: 1995 International Conference on Network Protocols, ICNP 1995, November 7-10, 1995, Tokyo, Japan, pp. 14-21, 1995, IEEE Computer Society, 0-8186-7216-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
26 | George L. Sicherman, Wiebren de Jonge, Reind P. van de Riet |
Answering Queries Without Revealing Secrets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 8(1), pp. 41-59, 1983. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
keeping secrets, refusal to answer, strategy |
26 | Chia-Wen Tsai, Lan-Yu Lee, Yih-Ping Cheng, Chih-Hsien Lin, Min-Ling Hung, Jian-Wei Lin |
Integrating online meta-cognitive learning strategy and team regulation to develop students' programming skills, academic motivation, and refusal self-efficacy of Internet use in a cloud classroom. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Univers. Access Inf. Soc. ![In: Univers. Access Inf. Soc. 23(1), pp. 395-410, March 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
26 | Mantas Mazeika, Long Phan, Xuwang Yin, Andy Zou, Zifan Wang, Norman Mu, Elham Sakhaee, Nathaniel Li, Steven Basart, Bo Li, David A. Forsyth, Dan Hendrycks |
HarmBench: A Standardized Evaluation Framework for Automated Red Teaming and Robust Refusal. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.04249, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
26 | Xiaomeng Hu, Pin-Yu Chen, Tsung-Yi Ho |
Gradient Cuff: Detecting Jailbreak Attacks on Large Language Models by Exploring Refusal Loss Landscapes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.00867, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
26 | Alexandra James, Danielle Hynes, Andrew Whelan, Tanja Dreher, Justine Humphry |
From access and transparency to refusal: Three responses to algorithmic governance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Internet Policy Rev. ![In: Internet Policy Rev. 12(2), June 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Max Reuter, William Schulze |
I'm Afraid I Can't Do That: Predicting Prompt Refusal in Black-Box Generative Language Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2306.03423, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Lang Cao |
Learn to Refuse: Making Large Language Models More Controllable and Reliable through Knowledge Scope Limitation and Refusal Mechanism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2311.01041, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Anna Smout, Dharshani Tharanga Chandrasekara, Ling Wu, Glenn Melvin, Joshua Paolo Seguin, Patrick Olivier, Mairead Claire Cardamone-Breen, Tom Bartindale, Roisin McNaney, Marie B. H. Yap |
Enabling Digital Parenting Interventions to Promote Empathic Partnerships among Parents, Educators, and Adolescents Targeting School Refusal. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Proceedings of the 2023 CHI Conference on Human Factors in Computing Systems, CHI 2023, Hamburg, Germany, April 23-28, 2023, pp. 87:1-87:13, 2023, ACM, 978-1-4503-9421-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Princess Sampson, Ro Encarnacion, Danaë Metaxa |
Representation, Self-Determination, and Refusal: Queer People's Experiences with Targeted Advertising. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FAccT ![In: Proceedings of the 2023 ACM Conference on Fairness, Accountability, and Transparency, FAccT 2023, Chicago, IL, USA, June 12-15, 2023, pp. 1711-1722, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Xun Duan, Yuxin Hao |
A Study of Refusal Language Socialization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IALP ![In: International Conference on Asian Language Processing, IALP 2023, Singapore, November 18-20, 2023, pp. 204-211, 2023, IEEE, 979-8-3503-3078-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Patricia Garcia, Tonia Sutherland, Niloufar Salehi, Marika Cifor, Anubha Singh |
No! Re-imagining Data Practices Through the Lens of Critical Refusal. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Hum. Comput. Interact. ![In: Proc. ACM Hum. Comput. Interact. 6(CSCW2), pp. 1-20, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
26 | Marikken Høiseth, Ole Andreas Alsos, Sindre Holme, Sondre Ek, Charlotte Tendenes Gabrielsen |
Serious Game Design to Support Children Struggling with School Refusal. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Serious Games ![In: Int. J. Serious Games 8(2), pp. 109-128, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
26 | Jonathan Zong |
From individual consent to collective refusal: changing attitudes toward (mis)use of personal data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
XRDS ![In: XRDS 27(2), pp. 26-29, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
26 | Patricia Garcia, Tonia Sutherland, Marika Cifor, Anita Say Chan, Lauren F. Klein, Catherine D'Ignazio, Niloufar Salehi |
No: Critical Refusal as Feminist Data Practice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSCW Companion ![In: Companion Publication of the 2020 ACM Conference on Computer Supported Cooperative Work and Social Computing, CSCW 2020, Virtual Event, USA, October, 2020, pp. 199-202, 2020, ACM, 978-1-4503-8059-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
26 | Marikken Høiseth, Sindre Holme, Sondre Ek, Charlotte Tendenes Gabrielsen, Ole Andreas Alsos |
Teen evaluations of a game targeting school refusal. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDC (Extended Abstracts) ![In: Extended Abstracts Proceedings of the 19th ACM International Conference on Interaction Design and Children, IDC 2020, London, United Kingdom, June 17-24, 2020, pp. 175-180, 2020, ACM, 978-1-4503-8020-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
26 | Rikuto Ishikura, Masahiro Takeda 0004, Shino Iwashita |
Classification of Worries and Consultations with School Refusal Students Using Machine Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCIS/ISIS ![In: Joint 11th International Conference on Soft Computing and Intelligent Systems and 21st International Symposium on Advanced Intelligent Systems, SCIS/ISIS 2020, Hachijo Island, Japan, December 5-8, 2020, pp. 1-3, 2020, IEEE, 978-1-7281-9732-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
26 | José Antonio Gouvêa Galhardo |
Passive Transparency Really Matters? A Multiple Case Study about the Refusal of Access to Public Information from Brazilian Customs Area. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECIS ![In: 27th European Conference on Information Systems - Information Systems for a Sharing Society, ECIS 2019, Stockholm and Uppsala, Sweden, June 8-14, 2019, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
26 | Nicolas W. Hengartner, Leticia Cuellar, Xiao-Cheng Wu, Georgia D. Tourassi, John X. Qiu, James Blair Christian, Tanmoy Bhattacharya 0001 |
CAT: computer aided triage improving upon the Bayes risk through ε-refusal triage rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Bioinform. ![In: BMC Bioinform. 19-S(18), pp. 3-8, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
26 | Otávio Azevedo, Felipe de Morais, Patrícia Augustin Jaques |
Exploring Gamification to Prevent Gaming the System and Help Refusal in Tutoring Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EC-TEL ![In: Lifelong Technology-Enhanced Learning - 13th European Conference on Technology Enhanced Learning, EC-TEL 2018, Leeds, UK, September 3-5, 2018, Proceedings, pp. 231-244, 2018, Springer, 978-3-319-98571-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
26 | Kristina Stamatis |
Acceptance and Refusal: Examining conflicting goals within co-design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLS ![In: Rethinking learning in the digital age: Making the Learning Sciences count - Proceedings of the 13th International Conference of the Learning Sciences, ICLS 2018, London, UK, June 23-27, 2018, 2018, International Society of the Learning Sciences. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
26 | Joel J. Martin, Nathaniel S. Ring, Andrea A. Kelley, Jon Duke |
Identifying Treatment Refusal Through Natural Language Processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMIA ![In: AMIA 2016, American Medical Informatics Association Annual Symposium, Chicago, IL, USA, November 12-16, 2016, 2016, AMIA. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
26 | Masaki Kyoso |
Biometric identification with high frequency electrocardiogram: Unregistered user refusal method and performance evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMBC ![In: 37th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC 2015, Milan, Italy, August 25-29, 2015, pp. 2816-2819, 2015, IEEE, 978-1-4244-9271-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
26 | Kyoko Yanagihori, Kazuhiko Tsuda |
Verification of Patent Document Similarity of Using Dictionary Data Extracted from Notification of Reasons for Refusal. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC Workshops ![In: 39th Annual Computer Software and Applications Conference, COMPSAC Workshops 2015, Taichung, Taiwan, July 1-5, 2015, pp. 349-354, 2015, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
26 | Li Jin, Ming Han, Gang-Li Liu, Ling Feng |
Detecting Cruising Flagged Taxis' Passenger-Refusal Behaviors Using Traffic Data and Crowdsourcing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UIC/ATC/ScalCom ![In: 2014 IEEE 11th Intl Conf on Ubiquitous Intelligence and Computing and 2014 IEEE 11th Intl Conf on Autonomic and Trusted Computing and 2014 IEEE 14th Intl Conf on Scalable Computing and Communications and Its Associated Workshops, Bali, Indonesia, December 9-12, 2014, pp. 18-25, 2014, IEEE Computer Society, 978-1-4799-7646-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Laura Portwood-Stacer |
Media refusal and conspicuous non-consumption: The performative and political dimensions of Facebook abstention. ![Search on Bibsonomy](Pics/bibsonomy.png) |
New Media Soc. ![In: New Media Soc. 15(7), pp. 1041-1057, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
26 | Kenza Bouaroudj, Ilham Kitouni, Hiba Hachichi, Djamel-Eddine Saïdouni |
Extending Refusal Testing by Stochastic Refusals for Testing Non-deterministic Systems ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1211.2708, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
26 | Thomas Neumayr, Mirjam Augstein |
Recommender Systems: Between Acceptance and Refusal. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MuC (Workshopband) ![In: Mensch & Computer 2012 - Workshopband: interaktiv informiert - allgegenwärtig und allumfassend!? Konstanz, Germany, September 9-12, 2012, pp. 95-102, 2012, Oldenbourg Verlag. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
26 | Sreekumar R. Bhaskaran, Karthik Ramachandran, John Semple |
A Dynamic Inventory Model with the Right of Refusal. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Manag. Sci. ![In: Manag. Sci. 56(12), pp. 2265-2281, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
26 | Manfred Broy |
Synchronous Message Passing: On the Relation between Bisimulation and Refusal Equivalence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurrency, Compositionality, and Correctness ![In: Concurrency, Compositionality, and Correctness, Essays in Honor of Willem-Paul de Roever, pp. 118-126, 2010, Springer, 978-3-642-11511-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
26 | Brit Grosskopf, Alvin E. Roth |
If you are offered the Right of First Refusal, should you accept? An investigation of contract design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Games Econ. Behav. ![In: Games Econ. Behav. 65(1), pp. 176-204, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Dawei Du, Dan Simon, Mehmet Ergezer |
Biogeography-Based Optimization Combined with Evolutionary Strategy and Immigration Refusal. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC ![In: Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, San Antonio, TX, USA, 11-14 October 2009, pp. 997-1002, 2009, IEEE, 978-1-4244-2794-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Boris Kovalerchuk |
Modeling ATR processes to predict their performance by using invariance, robustness and self-refusal approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FUSION ![In: 12th International Conference on Information Fusion, FUSION '09, Seattle, Washington, USA, July 6-9, 2009, pp. 1139-1146, 2009, IEEE, 978-0-9824438-0-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
26 | Min-Pei Lin, Huei-Chen Ko, Jo Yung-Wei Wu |
The Role of Positive/Negative Outcome Expectancy and Refusal Self-Efficacy of Internet Use on Internet Addiction among College Students in Taiwan. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Cyberpsychology Behav. Soc. Netw. ![In: Cyberpsychology Behav. Soc. Netw. 11(4), pp. 451-457, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Azucena García-Palacios, Cristina Botella, Hunter G. Hoffman, Sonia Fabregat |
Comparing Acceptance and Refusal Rates of Virtual Reality Exposure vs. In Vivo Exposure by Patients with Specific Phobias. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Cyberpsychology Behav. Soc. Netw. ![In: Cyberpsychology Behav. Soc. Netw. 10(5), pp. 722-724, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
26 | David Chavalarias |
Modeling Endogenous Social Networks: the Example of Emergence and Stability of Cooperation without Refusal ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/nlin/0512048, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
26 | Joachim Biskup, Piero A. Bonatti |
Controlled Query Evaluation for Known Policies by Combining Lying and Refusal. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 40(1-2), pp. 37-62, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
26 | Joachim Biskup, Torben Weibert |
Refusal in Incomplete Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DBSec ![In: Research Directions in Data and Applications Security XVIII, IFIP TC11/WG 11.3 Eighteenth Annual Conference on Data and Applications Security, July 25-28, 2004, Sitges, Catalonia, Spain, pp. 143-157, 2004, Kluwer/Springer, 1-4020-8127-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
26 | Joachim Biskup, Piero A. Bonatti |
Lying versus refusal for known potential secrets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Data Knowl. Eng. ![In: Data Knowl. Eng. 38(2), pp. 199-222, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
26 | Joachim Biskup |
For unknown secrecies refusal is better than lying. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Data Knowl. Eng. ![In: Data Knowl. Eng. 33(1), pp. 1-23, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
26 | Joachim Biskup |
For Unknown Secrecies Refusal is Better than Lying. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DBSec ![In: Research Advances in Database and Information Systems Security, IFIP WG 11.3 Thirteenth International Conference on Database Security, July 26-28, 1999, Seattle, Washington, USA, pp. 127-141, 1999, Kluwer, 0-7923-7848-2. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
26 | Carlos Gregorio-Rodríguez, Manuel Núñez 0001 |
Denotational Semantics for Probabilistic Refusal Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROBMIV ![In: First International Workshop on Probabilistic Methods in Verification, PROBMIV 1998, Indianapolis, Indiana, USA, June 19-20, 1998, pp. 111-137, 1998, Elsevier. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
26 | Lex Heerink |
Ins and Outs in Refusal Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1998 |
RDF |
|
26 | Lex Heerink, Jan Tretmans |
Refusal Testing for Classes of Transition Systems with Inputs and Outputs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques and Protocol Specification, Testing and Verification, FORTE X / PSTV XVII'97, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE X) and Protocol Specification, Testing and Verification (PSTV XVII), 18-21 November, 1997, Osaka, Japan, pp. 23-38, 1997, Chapman & Hall, 0-412-82060-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
26 | Martyn Wild |
Technology refusal: Rationalising the failure of student and beginning teachers to use computers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Br. J. Educ. Technol. ![In: Br. J. Educ. Technol. 27(2), pp. 134-143, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
26 | Steven Hodas |
Technology Refusal and the Organizational Culture of Schools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computerization and Controversy, 2nd Ed. ![In: Computerization and Controversy, 2nd Ed., pp. 197-218, 1996, Morgan Kaufmann / Elsevier, 978-0-12-415040-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
26 | E. Ann Stanley, Dan Ashlock, Mark D. Smucker |
Iterated Prisoner's Dilemma with Choice and Refusal of Partners: Evolutionary Results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAL ![In: Advances in Artificial Life, Third European Conference on Artificial Life, Granada, Spain, June 4-6, 1995, Proceedings, pp. 490-502, 1995, Springer, 3-540-59496-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
26 | Khalil Drira |
The Refusal Graph: a Tradeoff between Verification and Test. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Test Systems ![In: Protocol Test Systems, VI, Proceedings of the IFIP TC6/WG6.1 Sixth International Workshop on Protocol Test systems, Pau, France, 28-30 September, 1993, pp. 297-312, 1993, North-Holland, 0-444-81697-6. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
26 | Khalil Drira, Pierre Azéma, François Vernadat 0001 |
Refusal Graphs for Conformance Tester Generation and Simplification: A Computational Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification XIII, Proceedings of the IFIP TC6/WG6.1 Thirteenth International Symposium on Protocol Specification, Testing and Verification, Liège, Belgium, 25-28 May, 1993, pp. 257-272, 1993, North-Holland, 0-444-81648-8. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
26 | Iain Phillips 0001 |
Refusal Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 50, pp. 241-284, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
16 | Raimondas Sasnauskas, Olaf Landsiedel, Muhammad Hamad Alizai, Carsten Weise, Stefan Kowalewski, Klaus Wehrle |
KleeNet: discovering insidious interaction bugs in wireless sensor networks before deployment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPSN ![In: Proceedings of the 9th International Conference on Information Processing in Sensor Networks, IPSN 2010, April 12-16, 2010, Stockholm, Sweden, pp. 186-196, 2010, ACM, 978-1-60558-988-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
automated protocol testing, wireless sensor networks, experimentation, failure detection |
16 | Md. Asaduzzaman, Thierry J. Chaussalet |
Modelling and Performance Measure of a Perinatal Network Centre in the United Kingdom. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CBMS ![In: Proceedings of the Twenty-First IEEE International Symposium on Computer-Based Medical Systems, June 17-19, 2008, Jyväskylä, Finland, pp. 506-511, 2008, IEEE Computer Society, 978-0-7695-3165-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Jan Tretmans |
Model Based Testing with Labelled Transition Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods and Testing ![In: Formal Methods and Testing, An Outcome of the FORTEST Network, Revised Selected Papers, pp. 1-38, 2008, Springer, 978-3-540-78916-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Joachim Biskup, Piero A. Bonatti |
Controlled query evaluation with open queries for a decidable relational submodel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 50(1-2), pp. 39-77, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 68P15, 68P99, 11U05, 03B70 |
16 | Kjell Jørgen Hole, Vebjørn Moen, André N. Klingsheim, Knut M. Tande |
Lessons from the Norwegian ATM System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Secur. Priv. ![In: IEEE Secur. Priv. 5(6), pp. 25-31, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Yu Wu, Ling Xue, Chao Li 0001, Zhang Xiong 0001 |
TDARS, a Fusion Based AR System for Machine Readable Travel Documents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (9) ![In: Human Interface and the Management of Information. Interacting in Information Environments, Symposium on Human Interface 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part II, pp. 1129-1138, 2007, Springer, 978-3-540-73353-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
face recognition, character recognition, information fusion, fuzzy integration |
16 | Kook-Hee Han, Yiwen Liu, Young-Jik Kwon, Byeongdo Kang, Roger Y. Lee |
The SAFE Management System Model Based on Context Automatic Awareness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SERA ![In: 5th ACIS International Conference on Software Engineering Research, Management & Applications (SERA 2007), August 20-22, 2007, Haeundae Grand Hotel, Busan, Korea, pp. 895-902, 2007, IEEE Computer Society, 0-7695-2867-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Safe119 system, RFID, Ubiquitous |
16 | Young-Min Jang, Sang-Woo Ban, Minho Lee 0001 |
Stereo Saliency Map Considering Affective Factors in a Dynamic Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICONIP (2) ![In: Neural Information Processing, 14th International Conference, ICONIP 2007, Kitakyushu, Japan, November 13-16, 2007, Revised Selected Papers, Part II, pp. 1055-1064, 2007, Springer, 978-3-540-69159-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Integrated saliency map, stereo saliency map, affective attention, bottom-up selective attention |
16 | Mauro Andreolini, Sara Casolari, Michele Colajanni |
A Distributed Architecture for Gracefully Degradable Web-Based Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NCA ![In: Fifth IEEE International Symposium on Network Computing and Applications, NCA 2006, 24-26 July 2006, Cambridge, Massachusetts, USA, pp. 235-238, 2006, IEEE Computer Society, 0-7695-2640-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Yossi Azar, Yoel Chaiutin |
Optimal Node Routing. ![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. 596-607, 2006, Springer, 978-3-540-32301-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
16 | C. M. Sperberg-McQueen |
XML . ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Queue ![In: ACM Queue 3(8), pp. 34-41, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
XML |
16 | John K. Slaney |
Relevant Logic and Paraconsistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inconsistency Tolerance ![In: Inconsistency Tolerance [result from a Dagstuhl seminar], pp. 270-293, 2005, Springer, 3-540-24260-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Yinfeng Xu, Chunlin Xin, Fanglei Yi |
New Results on Online Replacement Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WINE ![In: Internet and Network Economics, First International Workshop, WINE 2005, Hong Kong, China, December 15-17, 2005, Proceedings, pp. 554-563, 2005, Springer, 3-540-30900-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Ching-Tsorng Tsai, Chishyan Liaw, Cherng-yue Huang, Jiann-Shu Lee |
Synthesizing the Artistic Effects of Ink Painting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCIA ![In: Image Analysis, 14th Scandinavian Conference, SCIA 2005, Joensuu, Finland, June 19-22, 2005, Proceedings, pp. 359-368, 2005, Springer, 3-540-26320-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Mohamed Ahmed 0001, Daniele Quercia, Stephen Hailes |
A Statistical Matching Approach to Detect Privacy Violation for Trust-Based Collaborations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WOWMOM ![In: 2005 International Conference on a World of Wireless, Mobile and Multimedia Networks (WOWMOM 2005), 13-16 June 2005, Taormina, Italy, Proceedings, pp. 598-602, 2005, IEEE Computer Society, 0-7695-2342-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Robert Carruthers, Ioanis Nikolaidis |
Certain limitations of reputation--based schemes in mobile environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSWiM ![In: Proceedings of the 8th International Symposium on Modeling Analysis and Simulation of Wireless and Mobile Systems, MSWiM 2005, Montréal, Quebec, Canada, October 10-13, 2005, pp. 2-11, 2005, ACM, 1-59593-188-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
mobile ad-hoc networks, trust, cooperation, reputation |
16 | John J. Cunningham |
Costs of Compliance: Agile in an Inelastic Organization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AGILE ![In: AGILE 2005 Conference (AGILE 2005), 24-29 July 2005, Denver, CO, USA, pp. 202-211, 2005, IEEE Computer Society, 0-7695-2487-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Carlo Alberto Magni, Giovanni Mastroleo, Marina Vignola, Gisella Facchinetti |
Strategic options and expert systems: a fruitful marriage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 8(3), pp. 179-192, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Strategic, Sensitivity analysis, Real options, Fuzzy expert system |
16 | Barry Smyth, Evelyn Balfe, Jill Freyne, Peter Briggs, Maurice Coyle, Oisín Boydell |
Exploiting Query Repetition and Regularity in an Adaptive Community-Based Web Search Engine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
User Model. User Adapt. Interact. ![In: User Model. User Adapt. Interact. 14(5), pp. 383-423, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
personalization, Web search, social search, Meta search |
16 | Cédric Fournet, C. A. R. Hoare, Sriram K. Rajamani, Jakob Rehof |
Stuck-Free Conformance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings, pp. 242-254, 2004, Springer, 3-540-22342-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Elmar Bihler, Walter Vogler |
Timed Petri Nets: Efficiency of Asynchronous Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFM ![In: Formal Methods for the Design of Real-Time Systems, International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004, Revised Lectures, pp. 25-58, 2004, Springer, 3-540-23068-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Choong Seon Hong, Joon Heo |
A Policy-Based Security Management Architecture Using XML Encryption Mechanism for Improving SNMPv3. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (1) ![In: Computational Science and Its Applications - ICCSA 2004, International Conference, Assisi, Italy, May 14-17, 2004, Proceedings, Part I, pp. 755-764, 2004, Springer, 3-540-22054-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Zhongjie Li, Xia Yin, Jianping Wu |
Distributed Testing of Multi Input/Output Transition System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 28-30 September 2004, Beijing, China, pp. 271-280, 2004, IEEE Computer Society, 0-7695-2222-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Flavio Corradini, Walter Vogler, Lars Jenner |
Comparing the worst-case efficiency of asynchronous systems with PAFAS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 38(11/12), pp. 735-792, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Markus Jakobsson, David Pointcheval, Adam L. Young |
Secure Mobile Gambling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CT-RSA ![In: Topics in Cryptology - CT-RSA 2001, The Cryptographer's Track at RSA Conference 2001, San Francisco, CA, USA, April 8-12, 2001, Proceedings, pp. 110-125, 2001, Springer, 3-540-41898-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Merkle, publicly verifiable, robust, Fair, lightweight, gambling |
16 | Voon-Li Chung |
Student participation in computer science tutorials: why are their shoes so interesting? ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSE ![In: Proceedings of the ACM SIGCSE 4th Australasian Conference on Computer Science Education, ACSE 2000, Melbourne, Victoria, Australia, 2000, pp. 41-47, 2000, ACM, 1-58113-271-9. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
student interactivity, student surveys, tutorials participation |
16 | Françoise Bellegarde, Jacques Julliand, Olga Kouchnarenko |
Ready-Simulation Is Not Ready to Express a Modular Refinement Relation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering, Third Internationsl Conference, FASE 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings, pp. 266-283, 2000, Springer, 3-540-67261-3. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Lars Jenner, Walter Vogler |
Comparing the Efficiency of Asynchronous Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARTS ![In: Formal Methods for Real-Time and Probabilistic Systems, 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999. Proceedings, pp. 172-191, 1999, Springer, 3-540-66010-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
16 | Lars Jenner, Walter Vogler |
Fast Asynchronous Systems in Dense Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 23rd International Colloquium, ICALP96, Paderborn, Germany, 8-12 July 1996, Proceedings, pp. 75-86, 1996, Springer, 3-540-61440-0. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
16 | Sudhanshu Aggarwal, Juan A. Garay, Amir Herzberg |
Adaptive Video on Demand. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESA ![In: Algorithms - ESA '95, Third Annual European Symposium, Corfu, Greece, September 25-27, 1995, Proceedings, pp. 538-553, 1995, Springer, 3-540-60313-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Walter Vogler |
Faster Asynchronous Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '95: Concurrency Theory, 6th International Conference, Philadelphia, PA, USA, August 21-24, 1995, Proceedings, pp. 299-312, 1995, Springer, 3-540-60218-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Irek Ulidowski |
Axiomatisations of Weak Equivalences for De Simone Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '95: Concurrency Theory, 6th International Conference, Philadelphia, PA, USA, August 21-24, 1995, Proceedings, pp. 219-233, 1995, Springer, 3-540-60218-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Khalil Drira, Pierre Azéma, B. Soulas, A. M. Chemali |
Testability of a Communicating System Through an Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAPSOFT ![In: TAPSOFT'93: Theory and Practice of Software Development, International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993, Proceedings, pp. 529-543, 1993, Springer, 3-540-56610-4. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
16 | Walter Vogler |
Timed Testing of Concurrent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 20nd International Colloquium, ICALP93, Lund, Sweden, July 5-9, 1993, Proceedings, pp. 532-543, 1993, Springer, 3-540-56939-1. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
16 | Luca Aceto, Uffe Engberg |
Failures Semantics for a Simple Process Language with Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: Foundations of Software Technology and Theoretical Computer Science, 11th Conference, New Delhi, India, December 17-19, 1991, Proceedings, pp. 89-108, 1991, Springer, 3-540-54967-6. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|