Search results for "maude"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
335	Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott	Full Maude: Extending Core Maude.	All About Maude	2007	DBLP DOI BibTeX RDF
173	Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott	Using Maude.	All About Maude	2007	DBLP DOI BibTeX RDF
138	M. Birna van Riemsdijk, Frank S. de Boer, Mehdi Dastani, John-Jules Ch. Meyer	Prototyping 3APL in the Maude Term Rewriting Language.	CLIMA	2006	DBLP DOI BibTeX RDF
124	Toufik Marir, Farid Mokhati, Hassina Seridi-Bouchelaghem	Formalizing ARTIS Agent Model Using RT-Maude.	MATES	2009	DBLP DOI BibTeX RDF	ARTIS Agent, Real-Time Maude, Formal specification, Validation
119	Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott	Object-Oriented Modules.	All About Maude	2007	DBLP DOI BibTeX RDF
119	Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott	Metaprogramming Applications.	All About Maude	2007	DBLP DOI BibTeX RDF
114	Manuel Clavel, Francisco Durán 0001, Steven Eker, Santiago Escobar 0001, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott	Unification and Narrowing in Maude 2.4.	RTA	2009	DBLP DOI BibTeX RDF
113	Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott, Miguel Palomino, Alberto Verdejo	Specifying Parameterized Data Structures in Maude.	All About Maude	2007	DBLP DOI BibTeX RDF
101	Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott, Miguel Palomino, Alberto Verdejo	Playing with Maude.	All About Maude	2007	DBLP DOI BibTeX RDF
95	Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott	A Sampler of Application Areas.	All About Maude	2007	DBLP DOI BibTeX RDF
95	Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott	Module Operations.	All About Maude	2007	DBLP DOI BibTeX RDF
95	Alberto Verdejo, Narciso Martí-Oliet, Tomás Robles 0001, Joaquín Salvachúa, Luis Llana, Margarita Bradley	Transforming Information in RDF to Rewriting Logic.	FMOODS	2005	DBLP DOI BibTeX RDF	Semantic Web, formal methods, RDF, rewriting logic, Maude
90	Steven Eker, José Meseguer 0001, Ambarish Sridharanarayanan	The Maude LTL Model Checker and Its Implementation.	SPIN	2003	DBLP DOI BibTeX RDF
89	Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott	Core Maude Grammar.	All About Maude	2007	DBLP DOI BibTeX RDF
88	Alberto Verdejo, Narciso Martí-Oliet	Two Case Studies of Semantics Execution in Maude: CCS and LOTOS.	Formal Methods Syst. Des.	2005	DBLP DOI BibTeX RDF	executable semantic framework, internal strategies, Hennessy-Milner modal logic, symbolic semantics for LOTOS, ACT ONE, rewriting logic, CCS, Maude
83	Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott, Christiano Braga, Azadeh Farzan, Joe Hendrix, Peter Csaba Ölveczky, Miguel Palomino, Ralf Sasse, Mark-Oliver Stehr, Alberto Verdejo	Some Tools.	All About Maude	2007	DBLP DOI BibTeX RDF
83	Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott	Object-Based Programming.	All About Maude	2007	DBLP DOI BibTeX RDF
83	Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott	Reflection, Metalevel Computation, and Strategies.	All About Maude	2007	DBLP DOI BibTeX RDF
83	Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott	Predefined Data Modules.	All About Maude	2007	DBLP DOI BibTeX RDF
83	Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott	LTL Model Checking.	All About Maude	2007	DBLP DOI BibTeX RDF
83	Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott	Model Checking Invariants Through Search.	All About Maude	2007	DBLP DOI BibTeX RDF
83	Rafael Caballero 0001, Narciso Martí-Oliet, Adrián Riesco 0001, Alberto Verdejo	Declarative Debugging of Membership Equational Logic Specifications.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF	Maude, functional modules, membership equational logic, declarative debugging
78	Santiago Escobar 0001, Catherine Meadows 0001, José Meseguer 0001	State Space Reduction in the Maude-NRL Protocol Analyzer.	ESORICS	2008	DBLP DOI BibTeX RDF
78	Peter Csaba Ölveczky, Stian Thorvaldsen	Formal Modeling and Analysis of the OGDC Wireless Sensor Network Algorithm in Real-Time Maude.	FMOODS	2007	DBLP DOI BibTeX RDF
78	Peter Csaba Ölveczky, José Meseguer 0001, Carolyn L. Talcott	Specification and analysis of the AER/NCA active network protocol suite in Real-Time Maude.	Formal Methods Syst. Des.	2006	DBLP DOI BibTeX RDF	Real-time systems, Active networks, Formal analysis, Rewriting logic, Object-oriented specification, Multicast protocols
78	Peter Csaba Ölveczky, Marco Caccamo	Formal Simulation and Analysis of the CASH Scheduling Algorithm in Real-Time Maude.	FASE	2006	DBLP DOI BibTeX RDF
78	Kazuhiro Ogata 0001, Kokichi Futatsugi	Analysis of the Suzuki-Kasami Algorithm with the Maude Model Checker.	APSEC	2005	DBLP DOI BibTeX RDF	lockout freedom property, mutual exclusion property, model checking, rewriting logic, counterexample
78	Peter Csaba Ölveczky, Mark Keaton, José Meseguer 0001, Carolyn L. Talcott, Steve Zabele	Specification and Analysis of the AER/NCA Active Network Protocol Suite in Real-Time Maude.	FASE	2001	DBLP DOI BibTeX RDF
71	Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott	A Hierarchy of Data Types: From Trees to Sets.	All About Maude	2007	DBLP DOI BibTeX RDF
71	Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott	Syntax and Basic Parsing.	All About Maude	2007	DBLP DOI BibTeX RDF
71	Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott	User Interfaces and Metalanguage Applications.	All About Maude	2007	DBLP DOI BibTeX RDF
66	Kyungmin Bae, Peter Csaba Ölveczky, Thomas Huining Feng, Stavros Tripakis	Verifying Ptolemy II Discrete-Event Models Using Real-Time Maude.	ICFEM	2009	DBLP DOI BibTeX RDF
66	Manuel Clavel, Francisco Durán 0001, Joe Hendrix, Salvador Lucas, José Meseguer 0001, Peter Csaba Ölveczky	The Maude Formal Tool Environment.	CALCO	2007	DBLP DOI BibTeX RDF
65	Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott	Complete List of Maude Commands.	All About Maude	2007	DBLP DOI BibTeX RDF
65	Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott, Adrián Riesco 0001, Alberto Verdejo	Mobile Maude.	All About Maude	2007	DBLP DOI BibTeX RDF
64	Adrián Riesco 0001, Alberto Verdejo	Distributed Applications Implemented in Maude with Parameterized Skeletons.	FMOODS	2007	DBLP DOI BibTeX RDF	distributed applications, parameterization, Maude, Algorithmic skeletons
64	Alberto Verdejo	Building Tools for LOTOS Symbolic Semantics in Maude.	FORTE	2002	DBLP DOI BibTeX RDF	Full LOTOS, symbolic semantics, rewriting logic, Maude, meta-language
59	Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott	Functional Modules.	All About Maude	2007	DBLP DOI BibTeX RDF
59	Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott	Debugging and Troubleshooting.	All About Maude	2007	DBLP DOI BibTeX RDF
59	Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott	Introduction.	All About Maude	2007	DBLP DOI BibTeX RDF
59	Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott	System Modules.	All About Maude	2007	DBLP DOI BibTeX RDF
59	Klaus Havelund, Grigore Rosu	An Overview of the Runtime Verification Tool Java PathExplorer.	Formal Methods Syst. Des.	2004	DBLP DOI BibTeX RDF	Java, dynamic programming, temporal logic, deadlocks, automata, rewriting logic, runtime verification, data races, trace analysis, program instrumentation, Maude
59	Ulrike Lechner, Christian Lengauer, Friederike Nickl, Martin Wirsing	(Objects + Concurrency) & Reusability - A Proposal to Circumvent the Inheritance Anomaly.	ECOOP	1996	DBLP DOI BibTeX RDF	Concurrent rewriting, parallelism, reusability, Maude, inheritance anomaly
54	André Murbach Maidl, Cláudio Carvilhe, Martin A. Musicante	An Implementation of Object-Oriented Action Semantics in Maude.	Semantics and Algebraic Specification	2009	DBLP DOI BibTeX RDF
54	Francisco Durán 0001, Francisco Gutiérrez, Pablo López, Ernesto Pimentel 0001	A formalization of the SMEPP model in Maude.	MobiQuitous	2008	DBLP DOI BibTeX RDF	peer-to-peer systems, formal semantics, automated verification, service-oriented models
54	José Eduardo Rivera, Esther Guerra, Juan de Lara, Antonio Vallecillo	Analyzing Rule-Based Behavioral Semantics of Visual Modeling Languages with Maude.	SLE	2008	DBLP DOI BibTeX RDF
54	Nasreddine Aoumeur, Kamel Barkaoui, Gunter Saake	Towards Maude-Tla based Foundation for Complex Concurrent Systems Specification and Certification.	ITNG	2008	DBLP DOI BibTeX RDF
54	Peter Csaba Ölveczky, José Meseguer 0001	Semantics and pragmatics of Real-Time Maude.	High. Order Symb. Comput.	2007	DBLP DOI BibTeX RDF	Simulation, Real-time systems, Model checking, Formal analysis, Rewriting logic, Object-oriented specification
54	Santiago Escobar 0001, Catherine Meadows 0001, José Meseguer 0001	Maude-NPA: Cryptographic Protocol Analysis Modulo Equational Properties.	FOSAD	2007	DBLP DOI BibTeX RDF
54	Peter Csaba Ölveczky, Stian Thorvaldsen	Formal modeling and analysis of wireless sensor network algorithms in Real-Time Maude.	IPDPS	2006	DBLP DOI BibTeX RDF
54	Noura Boudiaf, Farid Mokhati, Mourad Badri, Linda Badri	Specifying DIMA Multi-agents Models Using Maude.	PRIMA	2004	DBLP DOI BibTeX RDF
54	José Raúl Romero, Antonio Vallecillo	Formalizing ODP Computational Viewpoint Specifications in Maude.	EDOC	2004	DBLP DOI BibTeX RDF
54	Peter Csaba Ölveczky, José Meseguer 0001	Specification and Analysis of Real-Time Systems Using Real-Time Maude.	FASE	2004	DBLP DOI BibTeX RDF
54	Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott	The Maude 2.0 System.	RTA	2003	DBLP DOI BibTeX RDF
54	Francisco Durán 0001, Javier Herrador, Antonio Vallecillo	Using UML and Maude for Writing and Reasoning about ODP Policies.	POLICY	2003	DBLP DOI BibTeX RDF
53	Tim Maude, Derwent Maude	Hardware Protection Against Software Piracy.	Commun. ACM	1984	DBLP DOI BibTeX RDF
48	Oana Andrei, Gabriel Ciobanu, Dorel Lucanu	Executable Specifications of P Systems.	Workshop on Membrane Computing	2004	DBLP DOI BibTeX RDF
47	Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott (eds.)	All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic	All About Maude	2007	DBLP DOI BibTeX RDF
47	Artur Boronat, Reiko Heckel, José Meseguer 0001	Rewriting Logic Semantics and Verification of Model Transformations.	FASE	2009	DBLP DOI BibTeX RDF	Model and graph transformations, LTL model checking, reachability analysis, rewriting logic, MOF, QVT, Maude
47	Ulrike Lechner	Constructs, Concepts and Criteria for Reuse in Concurrent Object-Oriented languages.	FASE	1998	DBLP DOI BibTeX RDF	Concurrency, Object orientation, Reuse, Interpretation, Rewriting, ?-calculus, Maude, Inheritance Anomaly
42	Peter Csaba Ölveczky	Teaching Formal Methods Based on Rewriting Logic and Maude.	TFM	2009	DBLP DOI BibTeX RDF
42	Leon Bendiksen, Peter Csaba Ölveczky	The Priced-Timed Maude Tool.	CALCO	2009	DBLP DOI BibTeX RDF
42	Peter Csaba Ölveczky, José Meseguer 0001	The Real-Time Maude Tool.	TACAS	2008	DBLP DOI BibTeX RDF
42	José Meseguer 0001	From OBJ to Maude and Beyond.	Essays Dedicated to Joseph A. Goguen	2006	DBLP DOI BibTeX RDF
42	M. Birna van Riemsdijk, Frank S. de Boer, Mehdi Dastani, John-Jules Ch. Meyer	Prototyping 3APL in the Maude term rewriting language.	AAMAS	2006	DBLP DOI BibTeX RDF	prototyping, term rewriting, agent programming languages
42	Jeffrey Van Baalen, Thomas Böhne	Automated Protocol Analysis in Maude.	FAABS	2002	DBLP DOI BibTeX RDF
42	Neal A. Harman	Verifying a Simple Pipelined Microprocessor Using Maude.	WADT	2001	DBLP DOI BibTeX RDF
42	Christiano de Oliveira Braga, Edward Hermann Haeusler, José Meseguer 0001, Peter D. Mosses	Maude Action Tool: Using Reflection to Map Action Semantics to Rewriting Logic.	AMAST	2000	DBLP DOI BibTeX RDF
42	Francisco Durán 0001	The Extensibility of Maude's Module Algebra.	AMAST	2000	DBLP DOI BibTeX RDF
42	José Meseguer 0001	Rewriting Logic and Maude: Concepts and Applications.	RTA	2000	DBLP DOI BibTeX RDF
40	Gustavo Santos-García, Miguel Palomino, Alberto Verdejo	Rewriting Logic Using Strategies for Neural Networks: An Implementation in Maude.	DCAI	2008	DBLP DOI BibTeX RDF	Neural networks, strategies, rewriting logic, Maude, executability
36	Mauricio Alba-Castro, María Alpuente, Santiago Escobar 0001	Automated Certification of Non-Interference in Rewriting Logic.	FMICS	2008	DBLP DOI BibTeX RDF
36	Mauricio Alba-Castro, María Alpuente, Santiago Escobar 0001	Automatic Certification of Java Source Code in Rewriting Logic.	FMICS	2007	DBLP DOI BibTeX RDF
36	Sebastian Gutierrez-Nolasco, Nalini Venkatasubramanian, Carolyn L. Talcott	A semantic model for safe protocol interaction.	SAC	2006	DBLP DOI BibTeX RDF
36	Piotr Kosiuczenko	Time in Message Sequence Charts: A Formal Approach (Extended Abstract).	Euro-Par	1997	DBLP DOI BibTeX RDF
36	Francisco Durán 0001, Peter Csaba Ölveczky	A Guide to Extending Full Maude Illustrated with the Implementation of Real-Time Maude.	WRLA	2008	DBLP DOI BibTeX RDF
36	Francisco Durán 0001, Santiago Escobar 0001, Salvador Lucas	New Evaluation Commands for Maude Within Full Maude.	WRLA	2004	DBLP DOI BibTeX RDF
34	Adrián Riesco 0001, Juan Rodríguez-Hortalá	Programming with singular and plural non-deterministic functions.	PEPM	2010	DBLP DOI BibTeX RDF	non-deterministic functions, semantics, program transformation, term rewriting, maude
34	José Eduardo Rivera, Antonio Vallecillo	Representing and Operating with Model Differences.	TOOLS (46)	2008	DBLP DOI BibTeX RDF	model difference, Model-driven software development, Maude, object matching, model evolution, model comparison
34	Musab AlTurki, José Meseguer 0001	Real-time rewriting semantics of orc.	PPDP	2007	DBLP DOI BibTeX RDF	orc, orchestration theory, real-time, formal analysis, rewriting logic, structural operational semantics, maude
34	Kazuhiro Ogata 0001, Masahiro Nakano, Weiqiang Kong, Kokichi Futatsugi	Induction-Guided Falsification.	ICFEM	2006	DBLP DOI BibTeX RDF	observational transition system (OTS), invariant, induction, counterexample, Maude, CafeOBJ
34	Alberto Verdejo, Isabel Pita, Narciso Martí-Oliet	Specification and Verification of the Tree Identify Protocol of IEEE 1394 in Rewriting Logic.	Formal Aspects Comput.	2003	DBLP DOI BibTeX RDF	Tree identify protocol, Rewriting logic, Maude, Object-oriented specifications, IEEE 1394
34	Nirman Kumar, Koushik Sen, José Meseguer 0001, Gul Agha	A Rewriting Based Model for Probabilistic Distributed Object Systems.	FMOODS	2003	DBLP DOI BibTeX RDF	Rewrite theory, probability, nondeterminism, actors, Maude
30	Adrián Riesco 0001, Alberto Verdejo, Narciso Martí-Oliet, Rafael Caballero 0001	A Declarative Debugger for Maude.	AMAST	2008	DBLP DOI BibTeX RDF
30	Peter Csaba Ölveczky, Pavithra Prabhakar, Xue Liu	Formal modeling and analysis of real-time resource-sharing protocols in Real-Time Maude.	IPDPS	2008	DBLP DOI BibTeX RDF
30	Francisco Durán 0001, Salvador Lucas, José Meseguer 0001	MTT: The Maude Termination Tool (System Description).	IJCAR	2008	DBLP DOI BibTeX RDF
30	Peter Csaba Ölveczky	Towards Formal Modeling and Analysis of Networks of Embedded Medical Devices in Real-Time Maude.	SNPD	2008	DBLP DOI BibTeX RDF	formal modeling and analysis, object-oriented real-time systems, embedded medical devices, rewriting logic, metric temporal logic
30	Peter Csaba Ölveczky, Martin Grimeland	Formal Analysis of Time-Dependent Cryptographic Protocols in Real-Time Maude.	IPDPS	2007	DBLP DOI BibTeX RDF
30	Chadlia Jerad, Kamel Barkaoui, Amel Grissa Touzi	Hierarchical Verification in Maude of L f P Software Architectures.	ECSA	2007	DBLP DOI BibTeX RDF
30	Scott Alexander	Conceptual Data Modeling with Constraints in Maude.	CALCO	2007	DBLP DOI BibTeX RDF
30	Steven Eker, Keith Laderoute, Patrick Lincoln, M. G. Sriram, Carolyn L. Talcott	Representing and Simulating Protein Functional Domains in Signal Transduction Using Maude.	CMSB	2003	DBLP DOI BibTeX RDF
30	José Meseguer 0001, Peter Csaba Ölveczky, Mark-Oliver Stehr, Carolyn L. Talcott	Maude as a Wide-Spectrum Framework for Formal Modeling and Analysis of Active Networks.	DANCE	2002	DBLP DOI BibTeX RDF
30	Manuel Clavel, Francisco Durán 0001, Steven Eker, José Meseguer 0001, Mark-Oliver Stehr	Maude as a Formal Meta-tool.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
30	Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Jose F. Quesada	The Maude System.	RTA	1999	DBLP DOI BibTeX RDF
27	Michael Rizvi, Maude Lizaire, Clara Lacroce, Guillaume Rabusseau	Simulating Weighted Automata over Sequences and Trees with Transformers.	CoRR	2024	DBLP DOI BibTeX RDF
27	Michael Rizvi-Martel, Maude Lizaire, Clara Lacroce, Guillaume Rabusseau	Simulating weighted automata over sequences and trees with transformers.	AISTATS	2024	DBLP BibTeX RDF
27	Ali Shahaab, Imtiaz A. Khan, Ross Maude, Chaminda Hewage, Yingli Wang	Public service operational efficiency and blockchain - A case study of Companies House, UK.	Gov. Inf. Q.	2023	DBLP DOI BibTeX RDF
27	Maude Beauchemin, Marc-André Ménard, Jonathan Gaudreault, Nadia Lehoux, Stéphane Agnard, Claude-Guy Quimper	Dynamic allocation of human resources: case study in the metal 4.0 manufacturing industry.	Int. J. Prod. Res.	2023	DBLP DOI BibTeX RDF
27	Shokoufeh Naderi, Maude J. Blondin	A Mapping and State-of-the-Art Survey on Multi-Objective Optimization Methods for Multi-Agent Systems.	IEEE Access	2023	DBLP DOI BibTeX RDF
27	Robert P. Gauthier, Catherine Pelletier, Laurie-Ann Carrier, Maude Dionne, Ève Dubé, Samantha Meyer, James R. Wallace	Agency and Amplification: A Comparison of Manual and Computational Thematic Analyses by Public Health Researchers.	Proc. ACM Hum. Comput. Interact.	2023	DBLP DOI BibTeX RDF