Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
76 | Louise Yeung, Beryl Plimmer, Brenda Lobb, Douglas Elliffe |
Levels of formality in diagram presentation. |
OZCHI |
2007 |
DBLP DOI BibTeX RDF |
prototyping, beautification, sketch tools |
63 | Catia M. Angelo, Luc J. M. Claesen, Hugo De Man |
Degrees of Formality in Shallow Embedding Hardware Description Languages in HOL. |
HUG |
1993 |
DBLP DOI BibTeX RDF |
|
54 | Nicolás Martín-Vivaldi, Peter Isacsson |
Controlling your Design through your Software Process. |
SAFECOMP |
1998 |
DBLP DOI BibTeX RDF |
|
49 | Andrew Schofield, Grahame S. Cooper |
Levels of Formality in FOSS Communities. (PDF / PS) |
OSS |
2007 |
DBLP DOI BibTeX RDF |
|
49 | Patrick Scotto di Luzio |
Logical Systems and Formality. |
Diagrams |
2000 |
DBLP DOI BibTeX RDF |
|
44 | Can Li, Wenbo Wang, Bitty Balducci, Lingshu Hu, Matthew Gordon, Detelina Marinova, Yi Shang |
Deep Formality: Sentence Formality Prediction with Deep Learning. |
IRI |
2022 |
DBLP DOI BibTeX RDF |
|
44 | Haiying Li, Art C. Graesser |
Impact of Conversational Formality on the Quality and Formality of Written Summaries. |
AIED (1) |
2020 |
DBLP DOI BibTeX RDF |
|
43 | David E. Millard, Nicholas Gibbins, Danius T. Michaelides, Mark J. Weal |
Mind the semantic gap. |
Hypertext |
2005 |
DBLP DOI BibTeX RDF |
hypertext formality, hypertext semantics |
35 | Lionel C. Briand, Yvan Labiche, Massimiliano Di Penta, Han (Daphne) Yan-Bondoc |
An Experimental Investigation of Formality in UML-Based Development. |
IEEE Trans. Software Eng. |
2005 |
DBLP DOI BibTeX RDF |
Comprehension of software models, software engineering experimentation, UML, OCL |
35 | Anthony Hall |
Correctness by Construction: Integrating Formality into a Commercial Development Process. |
FME |
2002 |
DBLP DOI BibTeX RDF |
|
35 | Juan Bicarregui |
Exploiting Formality in Software Engineering. |
SOFSEM |
1999 |
DBLP DOI BibTeX RDF |
|
29 | Chia-Chu Chiang |
An Introduction to TUG: A Language for Writing Reusable Formal Program Specifications. |
ITCC (2) |
2005 |
DBLP DOI BibTeX RDF |
Generic Specifications, Reusable Specifications, Software Reuse and TUG, Formality |
29 | Catherine C. Marshall |
NoteCards in the age of the web: practice meets perfect. |
ACM J. Comput. Documentation |
2001 |
DBLP DOI BibTeX RDF |
World-Wide Web, World Wide Web (WWW), user interface design, retrieval, formality, reading, use, hypertext/hypermedia |
29 | Chia-Chu Chiang, David Neubart |
Constructing Reusable Specifications Through Analogy. |
SAC |
1999 |
DBLP DOI BibTeX RDF |
TUG, specifications, reusability, formality |
27 | José Gonçalo A. Oliveira Basto da Silva, Paulo Rupino da Cunha |
Reconciling the Irreconcilable? A Software Development Approach that Combines Agile with Formal. |
HICSS |
2006 |
DBLP DOI BibTeX RDF |
|
27 | M. Cecilia Bastarrica, Sergio F. Ochoa, Pedro O. Rossel |
Integrated Notation for Software Architecture Specifications. |
SCCC |
2004 |
DBLP DOI BibTeX RDF |
software architecture, Architecture definition languages |
27 | J. Paul Gibson |
Formal Requirements Engineering: Learning from the Students. |
Australian Software Engineering Conference |
2000 |
DBLP DOI BibTeX RDF |
customer models, verification, validation, teaching |
22 | Matthew Gaughan, Kaylea Champion, Sohyeon Hwang |
Engineering Formality and Software Risk in Debian Python Packages. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
22 | Sebastian Oberdörfer, Sandra Birnstiel, Marc Erich Latoschik |
Influence of Virtual Shoe Formality on Gait and Cognitive Performance in a VR Walking Task. |
VR |
2024 |
DBLP DOI BibTeX RDF |
|
22 | Rui Roberto Ramos, Niall Hayes, Monideepa Tarafdar |
E-formality and data justice: the individualization of street trade in Recife, Brazil. |
Inf. Technol. Dev. |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Seungjun Lee, Hyeonseok Moon, Chanjun Park, Heuiseok Lim |
Data-Driven Approach for Formality-Sensitive Machine Translation: Language-Specific Handling and Synthetic Data Generation. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Harshita Tyagi, Prashasta Jung, Hyowon Lee 0001 |
Machine Translation to Control Formality Features in the Target Language. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Henry Li Xinyuan, Ray Lee, Jerry Chen, Kelly Marchisio |
Learning a Formality-Aware Japanese Sentence Representation. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Vipula Rawte, Prachi Priya, S. M. Towhidul Islam Tonmoy, S. M. Mehedi Zaman, Amit P. Sheth, Amitava Das |
Exploring the Relationship between LLM Hallucinations and Prompt Linguistic Nuances: Readability, Formality, and Concreteness. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Asim Ersoy, Gerson Vizcarra, Tasmiah Tahsin Mayeesha, Benjamin Muller |
In What Languages are Generative Language Models the Most Formal? Analyzing Formality Distribution across Languages. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Yujong Hwang, Hui Lin 0003, Donghee Shin |
An Empirical Study on the Information Formality Motivation, Social Influence, and Goal Commitment of Knowledge Workers. |
Int. J. Enterp. Inf. Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Daryna Dementieva, Nikolay Babakov, Alexander Panchenko |
Detecting Text Formality: A Study of Text Classification Approaches. |
RANLP |
2023 |
DBLP BibTeX RDF |
|
22 | Tirthankar Dasgupta, Manjira Sinha, Chundru Geetha Praveen |
Graph Induced Transformer Network for Detection of Politeness and Formality in Text. |
WWW (Companion Volume) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Edison Marrese-Taylor, Pin Chen Wang, Yutaka Matsuo |
Towards Better Evaluation for Formality-Controlled English-Japanese Machine Translation. |
WMT |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Parnia Bahar, Patrick Wilken, Javier Iranzo-Sánchez, Mattia Di Gangi, Evgeny Matusov, Zoltán Tüske |
Speech Translation with Style: AppTek's Submissions to the IWSLT Subtitling and Formality Tracks in 2023. |
IWSLT@ACL |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Zhanglin Wu, Zongyao Li, Daimeng Wei, Hengchao Shang, Jiaxin Guo, Xiaoyu Chen 0004, Zhiqiang Rao, Zhengzhe Yu, Jinlong Yang, Shaojun Li, Yuhao Xie, Bin Wei, Jiawei Zheng, Ming Zhu, Lizhi Lei, Hao Yang 0006, Yanfei Jiang |
Improving Neural Machine Translation Formality Control with Domain Adaptation and Reranking-based Transductive Learning. |
IWSLT@ACL |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Priyesh Vakharia, Shree Vignesh S, Pranjali Basmatkar |
Low-Resource Formality Controlled NMT Using Pre-trained LM. |
IWSLT@ACL |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Seungjun Lee, Hyeonseok Moon, Chanjun Park, Heuiseok Lim |
Improving Formality-Sensitive Machine Translation Using Data-Centric Approaches and Prompt Engineering. |
IWSLT@ACL |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Jackson Stokes, Tal August, Robert A Marver, Alexei Czeskis, Franziska Roesner, Tadayoshi Kohno, Katharina Reinecke |
How Language Formality in Security and Privacy Interfaces Impacts Intended Compliance. |
CHI |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Elisabeth Eder, Ulrike Krieg-Holz, Michael Wiegand |
A Question of Style: A Dataset for Analyzing Formality on Different Levels. |
EACL (Findings) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Dohee Kim, Yujin Baek, Soyoung Yang, Jaegul Choo |
Towards Formality-Aware Neural Machine Translation by Leveraging Context Information. |
EMNLP (Findings) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Asim Ersoy, Gerson Vizcarra, Tasmiah Tahsin Mayeesha, Benjamin Muller |
In What Languages are Generative Language Models the Most Formal? Analyzing Formality Distribution across Languages. |
EMNLP (Findings) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Ao Liu, An Wang, Naoaki Okazaki |
Semi-Supervised Formality Style Transfer with Consistency Training. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
22 | Maria Nadejde, Anna Currey, Benjamin Hsu, Xing Niu 0001, Marcello Federico, Georgiana Dinu |
CoCoA-MT: A Dataset and Benchmark for Contrastive Controlled MT with Application to Formality. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
22 | Sebastian T. Vincent, Loïc Barrault, Carolina Scarton |
Controlling Formality in Low-Resource NMT with Domain Adaptation and Re-Ranking: SLT-CDT-UoS at IWSLT2022. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
22 | Huiyuan Lai, Jiali Mao, Antonio Toral, Malvina Nissim |
Human Judgement as a Compass to Navigate Automatic Metrics for Formality Transfer. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
22 | Elijah Rippeth, Sweta Agrawal, Marine Carpuat |
Controlling Translation Formality Using Pre-trained Multilingual Language Models. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
22 | Daryna Dementieva, Ivan Trifinov, Andrey Likhachev, Alexander Panchenko |
Detecting Text Formality: A Study of Text Classification Approaches. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
22 | Silvana Pedrozo, Francisco Klauser |
Between formality and informality: A critical study of the integration of drones within the Neuchâtel police force. |
Inf. Polity |
2022 |
DBLP DOI BibTeX RDF |
|
22 | |
Erratum to: Between formality and informality: A critical study of the integration of drones within the Neuchâtel police force. |
Inf. Polity |
2022 |
DBLP DOI BibTeX RDF |
|
22 | Sebastian T. Vincent, Loïc Barrault, Carolina Scarton |
Controlling Formality in Low-Resource NMT with Domain Adaptation and Re-Ranking: SLT-CDT-UoS at IWSLT2022. |
IWSLT@ACL |
2022 |
DBLP DOI BibTeX RDF |
|
22 | Elijah Rippeth, Sweta Agrawal, Marine Carpuat |
Controlling Translation Formality Using Pre-trained Multilingual Language Models. |
IWSLT@ACL |
2022 |
DBLP DOI BibTeX RDF |
|
22 | Daniel Zhang, Jiang Yu, Pragati Verma, Ashwinkumar Ganesan, Sarah Campbell |
Improving Machine Translation Formality Control with Weakly-Labelled Data Augmentation and Post Editing Strategies. |
IWSLT@ACL |
2022 |
DBLP DOI BibTeX RDF |
|
22 | Maria Nadejde, Anna Currey, Benjamin Hsu, Xing Niu 0001, Marcello Federico, Georgiana Dinu |
CoCoA-MT: A Dataset and Benchmark for Contrastive Controlled MT with Application to Formality. |
NAACL-HLT (Findings) |
2022 |
DBLP DOI BibTeX RDF |
|
22 | Samuel Rhys Cox, Wei Tsang Ooi |
Does Chatbot Language Formality Affect Users' Self-Disclosure? |
CUI |
2022 |
DBLP DOI BibTeX RDF |
|
22 | Angela Giovanna Patarroyo, Katja Maquate, Aine Ito, Pia Knoeferle |
Investigating the real-time effect of register-situation formality congruence versus verb-argument semantic fit during spoken language comprehension. |
CogSci |
2022 |
DBLP BibTeX RDF |
|
22 | Ana-Maria Plesca, Katja Maquate, Pia Knoeferle |
The interplay of situation-formality register congruence and verb-argument relations. |
CogSci |
2022 |
DBLP BibTeX RDF |
|
22 | Ao Liu, An Wang, Naoaki Okazaki |
Semi-Supervised Formality Style Transfer with Consistency Training. |
ACL (1) |
2022 |
DBLP DOI BibTeX RDF |
|
22 | Eleftheria Briakou, Di Lu, Ke Zhang, Joel R. Tetreault |
XFORMAL: A Benchmark for Multilingual Formality Style Transfer. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
22 | Huiyuan Lai, Antonio Toral, Malvina Nissim |
Thank you BART! Rewarding Pre-Trained Models Improves Formality Style Transfer. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
22 | Zonghai Yao, Hong Yu 0001 |
Improving Formality Style Transfer with Context-Aware Rule Injection. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
22 | Eleftheria Briakou, Sweta Agrawal, Joel R. Tetreault, Marine Carpuat |
Evaluating the Evaluation Metrics for Style Transfer: A Case Study in Multilingual Formality Transfer. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
22 | Jiaheng Xie, Bin Zhang, Susan A. Brown, Daniel Zeng 0001 |
Write Like a Pro or an Amateur? Effect of Medical Language Formality. |
ACM Trans. Manag. Inf. Syst. |
2021 |
DBLP DOI BibTeX RDF |
|
22 | Aya Zaki-Ismail, Mohamed Osama, Mohamed Almorsy Abdelrazek, John C. Grundy, Amani S. Ibrahim |
Requirements Formality Levels Analysis and Transformation of Formal Notations into Semi-formal and Informal Notations (S). |
SEKE |
2021 |
DBLP DOI BibTeX RDF |
|
22 | Eleftheria Briakou, Di Lu, Ke Zhang, Joel R. Tetreault |
Olá, Bonjour, Salve! XFORMAL: A Benchmark for Multilingual Formality Style Transfer. |
NAACL-HLT |
2021 |
DBLP DOI BibTeX RDF |
|
22 | Elisabeth Eder, Ulrike Krieg-Holz, Udo Hahn |
Acquiring a Formality-Informed Lexical Resource for Style Analysis. |
EACL |
2021 |
DBLP DOI BibTeX RDF |
|
22 | Eleftheria Briakou, Sweta Agrawal, Joel R. Tetreault, Marine Carpuat |
Evaluating the Evaluation Metrics for Style Transfer: A Case Study in Multilingual Formality Transfer. |
EMNLP (1) |
2021 |
DBLP DOI BibTeX RDF |
|
22 | Mariano de Rivero, Cristhiam Tirado, Willy Ugarte |
FormalStyler: GPT based Model for Formal Style Transfer based on Formality and Meaning Preservation. |
KDIR |
2021 |
DBLP DOI BibTeX RDF |
|
22 | Somayeh Jafaritazehjani, Gwénolé Lecorvé, Damien Lolive, John D. Kelleher |
Style as Sentiment Versus Style as Formality: The Same or Different? |
ICANN (5) |
2021 |
DBLP DOI BibTeX RDF |
|
22 | Huiyuan Lai, Antonio Toral, Malvina Nissim |
Thank you BART! Rewarding Pre-Trained Models Improves Formality Style Transfer. |
ACL/IJCNLP (2) |
2021 |
DBLP DOI BibTeX RDF |
|
22 | Zonghai Yao, Hong Yu 0001 |
Improving Formality Style Transfer with Context-Aware Rule Injection. |
ACL/IJCNLP (1) |
2021 |
DBLP DOI BibTeX RDF |
|
22 | Kunal Chawla, Diyi Yang |
Semi-supervised Formality Style Transfer using Language Model Discriminator and Mutual Information Maximization. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
22 | Yi Zhang 0050, Tao Ge 0001, Xu Sun 0001 |
Parallel Data Augmentation for Formality Style Transfer. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
22 | Torin Viger, Rick Salay, Gehan M. K. Selim, Marsha Chechik |
Just Enough Formality in Assurance Argument Structures. |
SAFECOMP |
2020 |
DBLP DOI BibTeX RDF |
|
22 | Philipp Kant, Kevin Hammond, Duncan Coutts, James Chapman 0001, Nicholas Clarke, Jared Corduan, Neil J. Davies, Javier Díaz, Matthias Güdemann, Wolfgang Jeltsch, Marcin Szamotulski, Polina Vinogradova |
Flexible Formality Practical Experience with Agile Formal Methods. |
TFP |
2020 |
DBLP DOI BibTeX RDF |
|
22 | Xing Niu 0001, Marine Carpuat |
Controlling Neural Machine Translation Formality with Synthetic Supervision. |
AAAI |
2020 |
DBLP DOI BibTeX RDF |
|
22 | Yunli Wang, Yu Wu 0012, Lili Mou, Zhoujun Li 0001, Wen-Han Chao |
Formality Style Transfer with Shared Latent Space. |
COLING |
2020 |
DBLP DOI BibTeX RDF |
|
22 | Kunal Chawla, Diyi Yang |
Semi-supervised Formality Style Transfer using Language Model Discriminator and Mutual Information Maximization. |
EMNLP (Findings) |
2020 |
DBLP DOI BibTeX RDF |
|
22 | Yi Zhang 0050, Tao Ge 0001, Xu Sun 0001 |
Parallel Data Augmentation for Formality Style Transfer. |
ACL |
2020 |
DBLP DOI BibTeX RDF |
|
22 | Aleksy Tralle |
On Formality of Some Homogeneous Spaces. |
Symmetry |
2019 |
DBLP DOI BibTeX RDF |
|
22 | Jean-Michel Bruel, Sophie Ebersold, Florian Galinier, Alexandr Naumchev, Manuel Mazzara, Bertrand Meyer 0001 |
Formality in Software Requirements. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
22 | Xing Niu 0001, Marine Carpuat |
Controlling Neural Machine Translation Formality with Synthetic Supervision. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
22 | Ruochen Xu, Tao Ge 0001, Furu Wei |
Formality Style Transfer with Hybrid Textual Annotations. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
22 | Isak Czeresnia Etinger, Alan W. Black |
Formality Style Transfer for Noisy, User-generated Conversations: Extracting Labeled, Parallel Data from Unlabeled Corpora. |
W-NUT@EMNLP |
2019 |
DBLP DOI BibTeX RDF |
|
22 | Martin Dixon |
An Increasing Need for Formality (Invited Talk). |
ITP |
2019 |
DBLP DOI BibTeX RDF |
|
22 | Yunli Wang, Yu Wu 0012, Lili Mou, Zhoujun Li 0001, Wenhan Chao |
Harnessing Pre-Trained Neural Networks with Rules for Formality Style Transfer. |
EMNLP/IJCNLP (1) |
2019 |
DBLP DOI BibTeX RDF |
|
22 | Kushal Chawla, Balaji Vasan Srinivasan, Niyati Chhaya |
Generating Formality-Tuned Summaries Using Input-Dependent Rewards. |
CoNLL |
2019 |
DBLP DOI BibTeX RDF |
|
22 | Martin Dixon |
An Increasing Need for Formality (Keynote). |
FMCAD |
2019 |
DBLP DOI BibTeX RDF |
|
22 | Heeryung Choi, Nia Dowell, Christopher Brooks 0001, Stephanie D. Teasley |
Social Comparison in MOOCs: Perceived SES, Opinion, and Message Formality. |
LAK |
2019 |
DBLP DOI BibTeX RDF |
|
22 | Aditi Viswanathan, Varden Wang, Antonina Kononova |
Controlling Formality and Style of Machine Translation Output Using AutoML. |
SIMBig |
2019 |
DBLP DOI BibTeX RDF |
|
22 | Demen Güler |
Characterizing Formality. |
|
2019 |
RDF |
|
22 | Sebastian Böhne |
Different degrees of formality (Verschiedene Formalitätsgrade) (PDF / PS) |
|
2019 |
RDF |
|
22 | Sudha Rao, Joel R. Tetreault |
Dear Sir or Madam, May I introduce the YAFC Corpus: Corpus, Benchmarks and Metrics for Formality Style Transfer. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
22 | Jeffrey D. Carlson, Chi-Kwong Fok |
Equivariant formality of isotropy actions. |
J. Lond. Math. Soc. |
2018 |
DBLP DOI BibTeX RDF |
|
22 | Gerard Wagenaar, Sietse Overbeek, Sjaak Brinkkemper |
Fuzzy Artefacts: Formality of Communication in Agile Teams. |
QUATIC |
2018 |
DBLP DOI BibTeX RDF |
|
22 | Sudha Rao, Joel R. Tetreault |
Dear Sir or Madam, May I Introduce the GYAFC Dataset: Corpus, Benchmarks and Metrics for Formality Style Transfer. |
NAACL-HLT |
2018 |
DBLP DOI BibTeX RDF |
|
22 | Haiying Li, Art Graesser |
Impact of Pedagogical Agents' Conversational Formality on Learning and Engagement. |
AIED |
2017 |
DBLP DOI BibTeX RDF |
|
22 | Xing Niu 0001, Marianna J. Martindale, Marine Carpuat |
A Study of Style in Machine Translation: Controlling the Formality of Machine Translation Output. |
EMNLP |
2017 |
DBLP DOI BibTeX RDF |
|
22 | Costanza Asnaghi, Dirk Speelman, Dirk Geeraerts |
Geographical patterns of formality variation in written Standard California English. |
Digit. Scholarsh. Humanit. |
2016 |
DBLP DOI BibTeX RDF |
|
22 | Ellie Pavlick, Joel R. Tetreault |
An Empirical Analysis of Formality in Online Communication. |
Trans. Assoc. Comput. Linguistics |
2016 |
DBLP DOI BibTeX RDF |
|
22 | Thin Nguyen, Svetha Venkatesh, Dinh Q. Phung |
Large-Scale Stylistic Analysis of Formality in Academia and Social Media. |
WISE (2) |
2016 |
DBLP DOI BibTeX RDF |
|
22 | Ethan Sherr-Ziarko |
Acoustic Properties of Formality in Conversational Japanese. |
INTERSPEECH |
2016 |
DBLP DOI BibTeX RDF |
|
22 | Partha Mukherjee, Bernard J. Jansen |
Formality Identification in Social Media Dialogue. |
SBP-BRiMS |
2016 |
DBLP DOI BibTeX RDF |
|
22 | Karin Dessne, Katriina Byström |
Imitating CoPs: Imposing formality on informality. |
J. Assoc. Inf. Sci. Technol. |
2015 |
DBLP DOI BibTeX RDF |
|
22 | Julie Brumberg-Chaumont |
Erratum to: Universal Logic and Aristotelian Logic: Formality and Essence of Logic. |
Logica Universalis |
2015 |
DBLP DOI BibTeX RDF |
|