|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 26 occurrences of 26 keywords
|
|
|
Results
Found 50 publication records. Showing 50 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
93 | Catalina L. Toma |
Affirming the self through online profiles: beneficial effects of social networking sites. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Proceedings of the 28th International Conference on Human Factors in Computing Systems, CHI 2010, Atlanta, Georgia, USA, April 10-15, 2010, pp. 1749-1752, 2010, ACM, 978-1-60558-929-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
self-affirmation, social networking sites, self-presentation, media effects |
79 | Koen Maes, Bernard De Baets |
Negation and affirmation: the role of involutive negators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 11(7), pp. 647-654, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Affirmation, Strict negator, Involutive negator, Coxeter group, Negation, Automorphism |
31 | John R. Fisher |
Logic program based action specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 1995 ACM symposium on applied computing, SAC'95, Nashville, TN, USA, February 26-28, 1995, pp. 248-252, 1995, ACM, 0-89791-658-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
affirmation, denial, fluent, logic program, action, precondition, situation |
28 | Inyoung Park, Young June Sah, Suhyun Lee, Daeho Lee |
Avatar-Mediated Communication in Video Conferencing: Effect of Self-Affirmation on Debating Participation Focusing on Moderation Effect of Avatar. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Hum. Comput. Interact. ![In: Int. J. Hum. Comput. Interact. 39(3), pp. 464-475, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
28 | Sameera Khan, Megha Mishra, Vishnu Kumar Mishra |
Autogenic, prognostic, and collective signature affirmation framework based on diverse set of features. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Biom. ![In: Int. J. Biom. 15(5), pp. 539-559, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
28 | Yingzixuan Zhang, Kaixuan Niu, Zhian Zhao |
Let the 'Perfect Voice' Always Be There, Positive Affirmation and Negative Anxiety from Online Commentary. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Big Data ![In: IEEE International Conference on Big Data, BigData 2023, Sorrento, Italy, December 15-18, 2023, pp. 4518-4520, 2023, IEEE, 979-8-3503-2445-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
28 | Aparna Lalingkar, Vyom Audichya, Prakhar Mishra, Sridhar Mandyam, Srinath Srinivasa |
Models for finding quality of affirmation and points of intervention in an academic discussion forum. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Educ. Artif. Intell. ![In: Comput. Educ. Artif. Intell. 3, pp. 100046, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
28 | Hongrui Jin |
From Information to Affirmation: An Investigation on the Echo Chamber Effect from YouTube Comments under Technology Product Reviews. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2211.00483, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
28 | Aparna Lalingkar, Parithimalan Arulchelvan, Advait Lonkar, Prakhar Mishra, Sridhar Mandyam, Srinath Srinivasa |
Discussion Forum Analyzer: A tool for finding the quality of affirmation and identifying points of intervention in an academic discussion forum. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMAD/CODS ![In: CODS-COMAD 2022: 5th Joint International Conference on Data Science & Management of Data (9th ACM IKDD CODS and 27th COMAD), Bangalore, India, January 8 - 10, 2022, pp. 246-249, 2022, ACM, 978-1-4503-8582-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
28 | Xuhai Xu, Tianyuan Zou, Han Xiao, Yanzhang Li, Ruolin Wang, Tianyi Yuan, Yuntao Wang 0001, Yuanchun Shi, Jennifer Mankoff, Anind K. Dey |
TypeOut: Leveraging Just-in-Time Self-Affirmation for Smartphone Overuse Reduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: CHI '22: CHI Conference on Human Factors in Computing Systems, New Orleans, LA, USA, 29 April 2022 - 5 May 2022, pp. 442:1-442:17, 2022, ACM, 978-1-4503-9157-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
28 | Fabien Schang |
A General Semantics for Logics of Affirmation and Negation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 8(2), pp. 593-620, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
28 | Antonio Díaz-Andrade, Angsana A. Techatassanasoontorn, Harminder Singh, Nimbus Staniland |
Indigenous cultural re-presentation and re-affirmation: The case of Māori IT professionals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Syst. J. ![In: Inf. Syst. J. 31(6), pp. 803-837, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
28 | Ayomikun Idowu, Amany R. Elbanna |
Crowdworkers, social affirmation and work identity: Rethinking dominant assumptions of crowdwork1. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Organ. ![In: Inf. Organ. 31(4), pp. 100335, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
28 | Mory Marcia De Oliveira Lobo, Karen da Silva Figueiredo, Cristiano Maciel |
Black Women in Computing and Technology: Identity affirmation and Resistance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLEI Electron. J. ![In: CLEI Electron. J. 22(2), 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
28 | Gen-Yih Liao, Thi Tuan Linh Pham, T. C. E. Cheng, Ching-I Teng |
Impacts of real-world need satisfaction on online gamer loyalty: Perspective of self-affirmation theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Hum. Behav. ![In: Comput. Hum. Behav. 103, pp. 91-100, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
28 | Siti Hadiyati Nur Hafida, Harun Joko Prayitno, Sutama, Muhammad Musiyam |
The Role of Adaptation Patterns to Improve Information Literacy Skills of Students from Affirmation Program. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLIQE ![In: ICLIQE 2020: The 4th International Conference on Learning Innovation and Quality Education, Surakarta, Indonesia, September, 2020, pp. 110:1-110:6, 2020, ACM, 978-1-4503-7572-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
28 | Aparna Lalingkar, Prakhar Mishra, Sridhar Mandyam, Jagatdeep Pattanaik, Srinath Srinivasa |
Building a Model for finding Quality of Affirmation in a Discussion Forum. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALT ![In: 20th IEEE International Conference on Advanced Learning Technologies, ICALT 2020, Tartu, Estonia, July 6-9, 2020, pp. 122-126, 2020, IEEE, 978-1-7281-6090-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
28 | Maria Spychalska, Viviana Haase, Jarmo Kontinen, Markus Werning |
Processing of affirmation and negation in contexts with unique and multiple alternatives: Evidence from event-related potentials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CogSci ![In: Proceedings of the 41th Annual Meeting of the Cognitive Science Society, CogSci 2019: Creativity + Cognition + Computation, Montreal, Canada, July 24-27, 2019, pp. 2845-2851, 2019, cognitivesciencesociety.org, 0-9911967-7-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
28 | Tatsuki Saitou, Toru Sugahara, Chieko Kato |
A Study on the Self-Affirmation of University Student - Focusing on Classification by Personality -. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IIAI-AAI ![In: 7th International Congress on Advanced Applied Informatics, IIAI-AAI 2018, Yonago, Japan, July 8-13, 2018, pp. 506-511, 2018, IEEE, 978-1-5386-7447-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
28 | Stephen Asunka |
"We Had a Blast!": An Empirical Affirmation of Blended Learning as the Preferred Learning Mode for Adult Learners. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Mob. Blended Learn. ![In: Int. J. Mob. Blended Learn. 9(3), pp. 37-53, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
28 | René F. Kizilcec, Glenn M. Davis, Geoffrey L. Cohen |
Towards Equal Opportunities in MOOCs: Affirmation Reduces Gender & Social-Class Achievement Gaps in China. ![Search on Bibsonomy](Pics/bibsonomy.png) |
L@S ![In: Proceedings of the Fourth ACM Conference on Learning @ Scale, L@S 2017, Cambridge, MA, USA, April 20-21, 2017, pp. 121-130, 2017, ACM, 978-1-4503-4450-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
28 | Guido M. van Koningsbruggen, Peter R. Harris, Anjès J. Smits, Benjamin Schüz, Urte Scholz, Richard Cooke 0002 |
Self-Affirmation Before Exposure to Health Communications Promotes Intentions and Health Behavior Change by Increasing Anticipated Regret. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. Res. ![In: Commun. Res. 43(8), pp. 1027-1044, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
28 | Xiao Wang, Andrea A. Hickerson, Laura M. Arpan |
The Role of Self-Affirmation and User Status in Readers' Response to Identity-Threatening News. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. Res. ![In: Commun. Res. 43(8), pp. 1045-1064, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
28 | John A. Velez, Michael D. Hanus |
Self-Affirmation Theory and Performance Feedback: When Scoring High Makes You Feel Low. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Cyberpsychology Behav. Soc. Netw. ![In: Cyberpsychology Behav. Soc. Netw. 19(12), pp. 721-726, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
28 | Otto Loistl |
Does mean-variance portfoliomanagement deserve expected utility's approximative affirmation? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eur. J. Oper. Res. ![In: Eur. J. Oper. Res. 247(2), pp. 676-680, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
28 | Travis Riddle, Sowmya Bhagavatula, Weiwei Guo, Smaranda Muresan, Geoff Cohen, Jonathan Cook, Valerie Purdie-Vaughns |
Mining a Written Values Affirmation Intervention to Identify the Unique Linguistic Features of Stigmatized Groups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDM ![In: Proceedings of the 8th International Conference on Educational Data Mining, EDM 2015, Madrid, Spain, June 26-29, 2015, pp. 274-281, 2015, International Educational Data Mining Society (IEDMS), 978-8-4606-9425-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
28 | Xiaoquan Zhao, Emily B. Peterson, Wonsun Kim, Justin Rolfe-Redding |
Effects of Self-Affirmation on Daily Versus Occasional Smokers' Responses to Graphic Warning Labels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. Res. ![In: Commun. Res. 41(8), pp. 1137-1158, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
28 | Russ Housley, Steve Mills, Jeff Jaffe, Bernard Aboba, Lynn St. Amour |
Affirmation of the Modern Paradigm for Standards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RFC ![In: RFC 6852, pp. 1-5, January 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
28 | Meriel Huggard, Ciarán Mc Goldrick |
Self-affirmation and success in undergraduate Computer Science. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FIE ![In: IEEE Frontiers in Education Conference, FIE 2013, Oklahoma City, Oklahoma, USA, October 23-26, 2013, pp. 1806-1811, 2013, IEEE Computer Society, 978-1-4673-5260-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
28 | Sina Joneidy, Andrew Basden |
Five Paradigms of Information system use: Affirmation, critique and enrichment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UKAIS ![In: UKAIS 2013, UK Academy for Information Systems 18th Annual Conference 2013, Worcester College, Oxford, UK, March 18-20, 2013, pp. 18, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
28 | Lauren Rhue |
The Pins that Bind: Preference Affirmation, Social Norms, and Networks on Pinterest. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIS ![In: Proceedings of the International Conference on Information Systems, ICIS 2012, Orlando, Florida, USA, December 16-19, 2012, 2012, Association for Information Systems. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
28 | A. Michael Froomkin |
Almost Free: An Analysis of ICANN's 'Affirmation of Commitments'. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Telecommun. High Technol. Law ![In: J. Telecommun. High Technol. Law 9(1), pp. 187-234, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
28 | Alfred Bennun |
Characterization of the norepinephrine-activation of adenylate cyclase suggests a role in memory affirmation pathways: Overexposure to epinephrine inactivates adenylate cyclase, a causal pathway for stress-pathologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Biosyst. ![In: Biosyst. 100(2), pp. 87-93, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
28 | John Stewart, António Coutinho |
The Affirmation of Self: A New Perspective on the Immune System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Life ![In: Artif. Life 10(3), pp. 261-276, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
28 | Simon Foley 0002 |
Technology and knowledge: the affirmation of power. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI Soc. ![In: AI Soc. 18(4), pp. 310-333, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Power, Technology, Knowledge, Work, Modernity |
28 | David E. Heil |
Simulation and systems engineering: an affirmation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ANSS ![In: Proceedings of the 18th Annual Symposium on Simulation, ANSS 1985, Tampa, Florida, USA, 1985, pp. 29-47, 1985, IEEE Computer Society, 978-0-8186-0669-4. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP BibTeX RDF |
|
21 | Carlos Toshinori Ishi, Chaoran Liu, Hiroshi Ishiguro, Norihiro Hagita |
Head motions during dialogue speech and nod timing control in humanoid robots. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HRI ![In: Proceedings of the 5th ACM/IEEE International Conference on Human Robot Interaction, HRI 2010, Osaka, Japan, March 2-5, 2010, pp. 293-300, 2010, ACM, 978-1-4244-4893-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
head motion, nodding generation, humanoid robot, dialogue act |
21 | Peter Niebert, Doron A. Peled, Amir Pnueli |
Discriminative Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 20th International Conference, CAV 2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings, pp. 504-516, 2008, Springer, 978-3-540-70543-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Murat Demirbas, Onur Soysal, Muzammil Hussain |
A Singlehop Collaborative Feedback Primitive for Wireless Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFOCOM ![In: INFOCOM 2008. 27th IEEE International Conference on Computer Communications, Joint Conference of the IEEE Computer and Communications Societies, 13-18 April 2008, Phoenix, AZ, USA, pp. 2047-2055, 2008, IEEE, 978-1-4244-2026-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Robert Pierce, Brad Mehlenbacher, Carlos J. Costa, Michael J. Albers, Aristidis Protopsaltis |
Panel design of communication: new steps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGDOC ![In: Proceedings of the 26th Annual International Conference on Design of Communication, SIGDOC 2008, Lisbon, Portugal, September 22-24, 2008, pp. 183-184, 2008, ACM, 978-1-60558-083-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
design of communication |
21 | Carlos Toshinori Ishi, Judith Haas, Freerk Pieter Wilbers, Hiroshi Ishiguro, Norihiro Hagita |
Analysis of head motions and speech, and head motion control in an android. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2007 IEEE/RSJ International Conference on Intelligent Robots and Systems, October 29 - November 2, 2007, Sheraton Hotel and Marina, San Diego, California, USA, pp. 548-553, 2007, IEEE, 978-1-4244-0912-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Carlos Toshinori Ishi, Hiroshi Ishiguro, Norihiro Hagita |
Evaluation of Prosodic and Voice Quality Features on Automatic Extraction of Paralinguistic Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2006 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2006, October 9-15, 2006, Beijing, China, pp. 374-379, 2006, IEEE, 1-4244-0258-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Zornitsa Kozareva, Sonia Vázquez, Andrés Montoyo |
The Effect of Semantic Knowledge Expansion to Textual Entailment Recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TSD ![In: Text, Speech and Dialogue, 9th International Conference, TSD 2006, Brno, Czech Republic, September 11-15, 2006, Proceedings, pp. 143-150, 2006, Springer, 3-540-39090-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Beatrix Brunner-Friedrich, Verena Radoczky |
Active Landmarks in Indoor Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VISUAL ![In: Visual Information and Information Systems, 8th International Conference, VISUAL 2005, Amsterdam, The Netherlands, July 5, 2005, Revised Selected Papers, pp. 203-215, 2005, Springer, 3-540-30488-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Jean-Loup Guillaume, Matthieu Latapy, Clémence Magnien |
Comparison of Failures and Attacks on Random and Scale-Free Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OPODIS ![In: Principles of Distributed Systems, 8th International Conference, OPODIS 2004, Grenoble, France, December 15-17, 2004, Revised Selected Papers, pp. 186-196, 2004, Springer, 3-540-27324-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Mario Ragona, Loriana Serrotti, Fiorenza Socci, Pier-Luigi Spinosa |
The Diritto Italia Project to Search for Legal Information on the Internet. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA Workshops ![In: 10th International Workshop on Database & Expert Systems Applications, Florence, Italy, September 1-3, 1999, Proceedings., pp. 785-792, 1999, IEEE Computer Society, 0-7695-0281-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
21 | Thomas Erickson |
Social Interaction on the Net: Virtual Community as Participatory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (6) ![In: 30th Annual Hawaii International Conference on System Sciences (HICSS-30), 7-10 January 1997, Maui, Hawaii, USA, pp. 13-21, 1997, IEEE Computer Society, 0-8186-7734-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
21 | Ricky W. Butler, George B. Finelli |
The Infeasibility of Quantifying the Reliability of Life-Critical Real-Time Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 19(1), pp. 3-12, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
life-critical real-time software, multiversion software experiments, real-time systems, reliability, fault tolerant computing, software reliability, safety, software fault tolerance, statistical methods, fault-tolerant software, growth models |
21 | Eric Nassor, Guy Vidal-Naquet |
Suitability of the Propositional Temporal Logic to Express Properties of Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 92, 9th Annual Symposium on Theoretical Aspects of Computer Science, Cachan, France, February 13-15, 1992, Proceedings, pp. 59-70, 1992, Springer, 3-540-55210-3. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
21 | Amihai Motro |
SEAVE: A Mechanism for Verifying User Presuppositions in Query Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Inf. Syst. ![In: ACM Trans. Inf. Syst. 4(4), pp. 312-330, 1986. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #50 of 50 (100 per page; Change: )
|
|