Search results for "counter"

Hits ?▲	Authors	Title	Venue	Year	Link
12	Dewen Cao, Feng Shuang, Fang Gao 0001	Spatial coherent control of quantum pathways with counter-propagating femtosecond pulse pairs.	J. Frankl. Inst.	2023	DBLP DOI BibTeX RDF
12	Geonhwi Lee, Bomin Joo, Bai-Sun Kong	CMOS Clock-Gated Synchronous Up/Down Counter With High-Speed Local Clock Generation and Compact Toggle Flip-Flop.	IEEE Trans. Circuits Syst. I Regul. Pap.	2023	DBLP DOI BibTeX RDF
12	Qilong Shi, Yuchen Xu 0003, Jiuhua Qi, Wenjun Li, Tong Yang 0003, Yang Xu 0010, Yi Wang	Cuckoo Counter: Adaptive Structure of Counters for Accurate Frequency and Top-k Estimation.	IEEE/ACM Trans. Netw.	2023	DBLP DOI BibTeX RDF
12	Xiang Xu 0003, Lu Liu 0002, Miroslav Krstic, Gang Feng 0001	Low-Gain Compensation for PDE-ODE Cascade Systems With Distributed Diffusion and Counter Convection.	IEEE Trans. Autom. Control.	2023	DBLP DOI BibTeX RDF
12	Ahmed S. Elliethy	Neural noiseprint transfer: a generic noiseprint-based counter forensics framework.	PeerJ Comput. Sci.	2023	DBLP DOI BibTeX RDF
12	Lu Liu 0007, Shuo Zhang 0002, Lichuan Zhang, Guang Pan, Junzhi Yu	Multi-UUV Maneuvering Counter-Game for Dynamic Target Scenario Based on Fractional-Order Recurrent Neural Network.	IEEE Trans. Cybern.	2023	DBLP DOI BibTeX RDF
12	Zhiyong Chen	LaSalle-Yoshizawa Theorem for nonlinear systems with external inputs: A counter-example.	Autom.	2023	DBLP DOI BibTeX RDF
12	Hyungjoon Bae, Yujin Hyun, Suchang Kim, Sangsoo Park, Jaeyoung Lee, Boseon Jang, Suyoung Choi, In-Cheol Park	High-Speed Counter With Novel LFSR State Extension.	IEEE Trans. Computers	2023	DBLP DOI BibTeX RDF
12	Awais Khan 0007, Khalid Mahmood Malik, James Ryan, Mikul Saravanan	Battling voice spoofing: a review, comparative analysis, and generalizability evaluation of state-of-the-art voice spoofing counter measures.	Artif. Intell. Rev.	2023	DBLP DOI BibTeX RDF
12	Hailey Joren, Otkrist Gupta, Dan Raviv	Correction: Printing and scanning investigation for image counter forensics.	EURASIP J. Image Video Process.	2023	DBLP DOI BibTeX RDF
12	Orestis Lampridis, Laura State, Riccardo Guidotti, Salvatore Ruggieri	Explaining short text classification with diverse synthetic exemplars and counter-exemplars.	Mach. Learn.	2023	DBLP DOI BibTeX RDF
12	Jia Wang, Yang Xiao 0001, Tieshan Li, C. L. Philip Chen	A Jamming Aware Artificial Potential Field Method to Counter GPS Jamming for Unmanned Surface Ship Path Planning.	IEEE Syst. J.	2023	DBLP DOI BibTeX RDF
12	Haoyuan Li, Hua Chen 0011, Xucang Han, Weiqiong Cao, Xiang Zhu, Huilong Jiang, Jian Wang	Easily Overlooked Vulnerability in Implementation: Practical Fault Attack on ECDSA Round Counter.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2023	DBLP DOI BibTeX RDF
12	Laurie Giddens, Stacie Petter, Michael H. Fullilove	Information technology as a resource to counter domestic sex trafficking in the United States.	Inf. Syst. J.	2023	DBLP DOI BibTeX RDF
12	Xin Cheng 0001, Yixuan Xu, Kefan Wang, Yongqiang Zhang 0006, Bin Li, Zhang Zhang	Lightweight and flexible hardware implementation of authenticated encryption algorithm SIMON-Galois/Counter Mode.	Int. J. Circuit Theory Appl.	2023	DBLP DOI BibTeX RDF
12	Mimi Cherian, Satishkumar L. Varma	Secure SDN-IoT Framework for DDoS Attack Detection Using Deep Learning and Counter Based Approach.	J. Netw. Syst. Manag.	2023	DBLP DOI BibTeX RDF
12	E. V. Kuzmin 0001	Linear Temporal Logic Specification of Bounded Counter Machines.	Autom. Control. Comput. Sci.	2023	DBLP DOI BibTeX RDF
12	Laura Moradbakhti, Martina Mara, Ginevra Castellano, Katie Winkle	(Counter-)stereotypical Gendering of Robots in Care: Impact on Needs Satisfaction and Gender Role Concepts in Men and Women Users.	Int. J. Soc. Robotics	2023	DBLP DOI BibTeX RDF
12	Myojung Chung	What's in the black box? How algorithmic knowledge promotes corrective and restrictive actions to counter misinformation in the USA, the UK, South Korea and Mexico.	Internet Res.	2023	DBLP DOI BibTeX RDF
12	María Estrella Vallecillo Rodríguez, Arturo Montejo-Ráez, María Teresa Martín Valdivia	Automatic counter-narrative generation for hate speech in Spanish.	Proces. del Leng. Natural	2023	DBLP BibTeX RDF
12	Balaji Rao Katika, Kannan Karthik	Image life trails based on contrast reduction models for face counter-spoofing.	EURASIP J. Inf. Secur.	2023	DBLP DOI BibTeX RDF
12	Marguerite Borelli	Social media corporations as actors of counter-terrorism.	New Media Soc.	2023	DBLP DOI BibTeX RDF
12	Magdalena Obermaier, Desirée Schmuck, Muniba Saleem	I'll be there for you? Effects of Islamophobic online hate speech and counter speech on Muslim in-group bystanders' intention to intervene.	New Media Soc.	2023	DBLP DOI BibTeX RDF
12	Peng Gu, Jing Gao 0002, Zhiyuan Gao, Kaiming Nie, Jiangtao Xu	No calibration required two-step double-data-rate counter for low-power SS ADC in CMOS image sensors.	Microelectron. J.	2023	DBLP DOI BibTeX RDF
12	Shuai Zhao, Michael K. Chen, Cristian Borcea, Yi Chen 0001	Personalized Dynamic Counter Ad-Blocking Using Deep Learning.	IEEE Trans. Knowl. Data Eng.	2023	DBLP DOI BibTeX RDF
12	Kazushi Kondo, Saku Sugawara, Akiko Aizawa	Probing Physical Reasoning with Counter-Commonsense Context.	CoRR	2023	DBLP DOI BibTeX RDF
12	Fei Zhang, Yunjie Ye, Lei Feng 0006, Zhongwen Rao, Jieming Zhu, Marcus Kalander, Chen Gong, Jianye Hao, Bo Han	Exploiting Counter-Examples for Active Learning with Partial labels.	CoRR	2023	DBLP DOI BibTeX RDF
12	Kaijian Zou, Xinliang Frederick Zhang, Winston Wu, Nick Beauchamp, Lu Wang 0008	Crossing the Aisle: Unveiling Partisan and Counter-Partisan Events in News Reporting.	CoRR	2023	DBLP DOI BibTeX RDF
12	Prince Mathew 0001, Vincent Penelle, Prakash Saivasan, A. V. Sreejith	One Deterministic-Counter Automata.	CoRR	2023	DBLP DOI BibTeX RDF
12	Suwei Yang, Kuldeep S. Meel	Engineering an Exact Pseudo-Boolean Model Counter.	CoRR	2023	DBLP DOI BibTeX RDF
12	Shaull Almagor, Daniel Assa, Udi Boker	Synchronized CTL over One-Counter Automata.	CoRR	2023	DBLP DOI BibTeX RDF
12	Daniele Masti, Filippo Fabiani, Giorgio Gnecco, Alberto Bemporad	Counter-example guided inductive synthesis of control Lyapunov functions for uncertain systems.	CoRR	2023	DBLP DOI BibTeX RDF
12	Arijit Shaw, Brendan Juba, Kuldeep S. Meel	An Approximate Skolem Function Counter.	CoRR	2023	DBLP DOI BibTeX RDF
12	Simon Scherrer, Jo Vliegen, Arish Sateesan, Hsu-Chun Hsiao, Nele Mentens, Adrian Perrig	ALBUS: a Probabilistic Monitoring Algorithm to Counter Burst-Flood Attacks.	CoRR	2023	DBLP DOI BibTeX RDF
12	Giuseppe Cascavilla, Damian A. Tamburri, Francesco Leotta, Massimo Mecella, Willem-Jan van den Heuvel	Counter-terrorism in cyber-physical spaces: Best practices and technologies from the state of the art.	CoRR	2023	DBLP DOI BibTeX RDF
12	Neta Elad, Oded Padon, Sharon Shoham	An Infinite Needle in a Finite Haystack: Finding Infinite Counter-Models in Deductive Verification.	CoRR	2023	DBLP DOI BibTeX RDF
12	Armaan Singh Bhullar	Augmenting NLP data to counter Annotation Artifacts for NLI Tasks.	CoRR	2023	DBLP DOI BibTeX RDF
12	Shuyu Jiang, Wenyi Tang, Xingshu Chen, Rui Tang, Haizhou Wang, Wenxian Wang	RAUCG: Retrieval-Augmented Unsupervised Counter Narrative Generation for Hate Speech.	CoRR	2023	DBLP DOI BibTeX RDF
12	Helena Bonaldi, Giuseppe Attanasio, Debora Nozza, Marco Guerini	Weigh Your Own Words: Improving Hate Speech Counter Narrative Generation via Attention Regularization.	CoRR	2023	DBLP DOI BibTeX RDF
12	Martín Escardó	Kreisel's counter-example to full abstraction of the set-theoretical model of Goedel's system T.	CoRR	2023	DBLP DOI BibTeX RDF
12	Milad Alshomary, Henning Wachsmuth	Conclusion-based Counter-Argument Generation.	CoRR	2023	DBLP DOI BibTeX RDF
12	Eunsong Kang, Da-Woon Heo, Jiwon Lee, Heung-Il Suk	A Learnable Counter-condition Analysis Framework for Functional Connectivity-based Neurological Disorder Diagnosis.	CoRR	2023	DBLP DOI BibTeX RDF
12	Eslam Eldeeb, Hirley Alves	LoRaWAN-enabled Smart Campus: The Dataset and a People Counter Use Case.	CoRR	2023	DBLP DOI BibTeX RDF
12	Xiangguo Sun, Hong Cheng 0001, Hang Dong 0004, Bo Qiao 0001, Si Qin, Qingwei Lin	Counter-Empirical Attacking based on Adversarial Reinforcement Learning for Time-Relevant Scoring System.	CoRR	2023	DBLP DOI BibTeX RDF
12	Ranyang Zhou, Jacqueline Liu, Sabbir Ahmed, Nakul Kochar, Adnan Siraj Rakin, Shaahin Angizi	Threshold Breaker: Can Counter-Based RowHammer Prevention Mechanisms Truly Safeguard DRAM?	CoRR	2023	DBLP DOI BibTeX RDF
12	Sergio Mazzola, Thomas Benz, Björn Forsberg, Luca Benini	A Data-Driven Approach to Lightweight DVFS-Aware Counter-Based Power Modeling for Heterogeneous Platforms.	CoRR	2023	DBLP DOI BibTeX RDF
12	Michael A. Hobley, Victor Adrian Prisacariu	ABC Easy as 123: A Blind Counter for Exemplar-Free Multi-Class Class-agnostic Counting.	CoRR	2023	DBLP DOI BibTeX RDF
12	Eivind Moholdt, Sohail Ahmed Khan, Duc-Tien Dang-Nguyen	Detecting Out-of-Context Image-Caption Pairs in News: A Counter-Intuitive Method.	CoRR	2023	DBLP DOI BibTeX RDF
12		A Tale of Unrealized Hope: Hardware Performance Counter Against Cache Attacks.	CoRR	2023	DBLP DOI BibTeX RDF
12	Matías Tailanián, Marina Gardella, Álvaro Pardo, Pablo Musé	Diffusion models meet image counter-forensics.	CoRR	2023	DBLP DOI BibTeX RDF
12	Zhongbin Xie, Vid Kocijan, Thomas Lukasiewicz, Oana-Maria Camburu	Counter-GAP: Counterfactual Bias Evaluation through Gendered Ambiguous Pronouns.	CoRR	2023	DBLP DOI BibTeX RDF
12	Bing He 0002, Mustaque Ahamad, Srijan Kumar	Reinforcement Learning-based Counter-Misinformation Response Generation: A Case Study of COVID-19 Vaccine Misinformation.	CoRR	2023	DBLP DOI BibTeX RDF
12	Emanuele Ballarin, Alessio Ansuini, Luca Bortolussi	CARSO: Counter-Adversarial Recall of Synthetic Observations.	CoRR	2023	DBLP DOI BibTeX RDF
12	Benjamin A. Miller, Kevin S. Chan, Tina Eliassi-Rad	Using Overlapping Methods to Counter Adversaries in Community Detection.	CoRR	2023	DBLP DOI BibTeX RDF
12	Jiayu Lin, Rong Ye, Meng Han, Qi Zhang 0001, Ruofei Lai, Xinyu Zhang, Zhao Cao, Xuanjing Huang 0001, Zhongyu Wei	Argue with Me Tersely: Towards Sentence-Level Counter-Argument Generation.	CoRR	2023	DBLP DOI BibTeX RDF
12	Hongguang Shi, Shuirong Cao, Cam-Tu Nguyen	Revisiting the Role of Similarity and Dissimilarity in Best Counter Argument Retrieval.	CoRR	2023	DBLP DOI BibTeX RDF
12	Shaull Almagor, Guy Avni, Henry Sinclair-Banks, Asaf Yeshurun	Dimension-Minimality and Primality of Counter Nets.	CoRR	2023	DBLP DOI BibTeX RDF
12	Filip Mazowiecki, Henry Sinclair-Banks, Karol Wegrzycki	Coverability in 2-VASS with One Unary Counter is in NP.	CoRR	2023	DBLP DOI BibTeX RDF
12	Elizabeth A. Olson, Jana Pavlasek, Jasmine A. Berry, Odest Chadwicke Jenkins	Counter-Hypothetical Particle Filters for Single Object Pose Tracking.	CoRR	2023	DBLP DOI BibTeX RDF
12	Megha Chakraborty, S. M. Towhidul Islam Tonmoy, S. M. Mehedi Zaman, Krish Sharma, Niyar R. Barman, Chandan Gupta, Shreya Gautam, Tanay Kumar, Vinija Jain, Aman Chadha, Amit P. Sheth, Amitava Das	Counter Turing Test CT^2: AI-Generated Text Detection is Not as Easy as You May Think - Introducing AI Detectability Index.	CoRR	2023	DBLP DOI BibTeX RDF
12	Joshua Ani, Michael J. Coulombe, Erik D. Demaine, Yevhenii Diomidov, Timothy Gomez, Dylan H. Hendrickson, Jayson Lynch	Complexity of Motion Planning of Arbitrarily Many Robots: Gadgets, Petri Nets, and Counter Machines.	CoRR	2023	DBLP DOI BibTeX RDF
12	Marzi Rafieenia, Liza Wood, Mohsen Zardadi, Scott Fazackerley, Ramon Lawrence	Estimation of Average Annual Daily Bicycle Count Using Bike-Share GPS Data and Bike Counter Data for an Urban Active Transportation Network.	CoRR	2023	DBLP DOI BibTeX RDF
12	Lucas Vasconcelos, Fatih Ari, Ismahan Arslan-Ari, Lily Lamb	Do Stereotypical vs. Counter-stereotypical Role Models Affect Teacher Candidates' Stereotypes and Attitudes toward Teaching Computer Science?	Int. J. Comput. Sci. Educ. Sch.	2023	DBLP DOI BibTeX RDF
12	Dimitrios Melissourgos, Haibo Wang 0004, Shigang Chen, Chaoyi Ma, Shiping Chen 0002	Single Update Sketch with Variable Counter Structure.	Proc. VLDB Endow.	2023	DBLP BibTeX RDF
12	Stavroula Yfanti, Menelaos Karanasos, Constantin Zopounidis, Apostolos G. Christopoulos	Corporate credit risk counter-cyclical interdependence: A systematic analysis of cross-border and cross-sector correlation dynamics.	Eur. J. Oper. Res.	2023	DBLP DOI BibTeX RDF
12	Saraswathi Shunmuganathan	Enforcing a Source-end Cooperative Multilevel Defense Mechanism to Counter Flooding Attack.	Comput. Syst. Sci. Eng.	2023	DBLP DOI BibTeX RDF
12	Adin O. Triqadafi, Tyas N. Zafirah, Hari A. Dharmawan, Setyawan P. Sakti	Four-Channels High-Resolution Frequency Counter for QCM Sensor Array Using Generic FPGA XC6SLX9 Board.	J. Electr. Comput. Eng.	2023	DBLP DOI BibTeX RDF
12	Petr Jancar, Petr Osicka, Zdenek Sawa	Countdown games, and simulation on (succinct) one-counter nets.	Log. Methods Comput. Sci.	2023	DBLP DOI BibTeX RDF
12	Akrati Saxena, Cristina Gutiérrez Bierbooms, Mykola Pechenizkiy	Fairness-aware fake news mitigation using counter information propagation.	Appl. Intell.	2023	DBLP DOI BibTeX RDF
12	Bruno Luis Mendivez Vasquez, Jan Carlo Barca	Adversarial scenarios for herding UAVs and counter-swarm techniques.	Robotica	2023	DBLP DOI BibTeX RDF
12	Huizi Cui, Huaqing Zhang, Yuhang Chang, Bingyi Kang	BGC: Belief gravitational clustering approach and its application in the counter-deception of belief functions.	Eng. Appl. Artif. Intell.	2023	DBLP DOI BibTeX RDF
12	Julius Hermelink, Silvan Streit, Emanuele Strieder, Katharina Thieme	Adapting Belief Propagation to Counter Shuffling of NTTs.	IACR Trans. Cryptogr. Hardw. Embed. Syst.	2023	DBLP DOI BibTeX RDF
12	Matthias Rottmann, Kira Maag, Mathis Peyron, Hanno Gottschalk, Natasa Krejic	Detection of Iterative Adversarial Attacks via Counter Attack.	J. Optim. Theory Appl.	2023	DBLP DOI BibTeX RDF
12	Yuimi Hlasten	Open access and COUNTER usage: Hybrid OA impact on a Private Liberal Arts College.	Inf. Serv. Use	2023	DBLP DOI BibTeX RDF
12	Iqra Asghar, Muhammad Ayaz Khan, Tahir Ahmad, Subhan Ullah, Khwaja Mansoor ul Hassan, Attaullah Buriro	Fortifying Smart Home Security: A Robust and Efficient User-Authentication Scheme to Counter Node Capture Attacks.	Sensors	2023	DBLP DOI BibTeX RDF
12	Karel Kuchar, Eva Holasova, Ondrej Pospisil, Henri Ruotsalainen, Radek Fujdiak, Adrian Wagner	Hunting Network Anomalies in a Railway Axle Counter System.	Sensors	2023	DBLP DOI BibTeX RDF
12	Giuseppe Cascavilla, Damian A. Tamburri, Francesco Leotta, Massimo Mecella, Willem-Jan van den Heuvel	Counter-terrorism in cyber-physical spaces: Best practices and technologies from the state of the art.	Inf. Softw. Technol.	2023	DBLP DOI BibTeX RDF
12	Jingmin Lin, Ru-De Liu, Yi Ding, Yi Yang, Shuyang Jiang, Zien Ding	Counter-attitudinal intervention decreased positive attitudes and behavioral tendencies towards video games.	Comput. Educ.	2023	DBLP DOI BibTeX RDF
12	Habib Rezaei, Mohammad Ali Sebt, Nadali Zarei, Goudarz Saadati Moghadam	Closed-form angle estimation of unresolved targets in monopulse radar to counter the angular electronic attack.	IET Signal Process.	2023	DBLP DOI BibTeX RDF
12	Vamsi Kiran Mekathoti, B. Nithya	Design and performance analysis of prime number based backoff counter adjustment (PBCA) algorithm for wireless body area networks.	Telecommun. Syst.	2023	DBLP DOI BibTeX RDF
12	Joshua Garland, Keyan Ghazi-Zahedi, Jean-Gabriel Young, Laurent Hébert-Dufresne, Mirta Galesic	Correction: Impact and dynamics of hate and counter speech online.	EPJ Data Sci.	2023	DBLP DOI BibTeX RDF
12	Brittany Wheeler, Seong Jung, Deborah L. Hall, Monika Purohit, Yasin N. Silva	An Analysis of Temporal Trends in Anti-Asian Hate and Counter-Hate on Twitter During the COVID-19 Pandemic.	Cyberpsychology Behav. Soc. Netw.	2023	DBLP DOI BibTeX RDF
12	Mercedes Echeverria, Yacelli Bustamante	Scope and limitations of library metrics for the assessment of ebook usage: COUNTER R5 and link resolver.	Quant. Sci. Stud.	2023	DBLP DOI BibTeX RDF
12	Chuntao Dong, Qingni Shen, Xuhua Ding, Daoqing Yu, Wu Luo, Pengfei Wu, Zhonghai Wu	T-Counter: Trustworthy and Efficient CPU Resource Measurement Using SGX in the Cloud.	IEEE Trans. Dependable Secur. Comput.	2023	DBLP DOI BibTeX RDF
12	Na Zhang, Chunwu Liu, Junhao Ba	Decomposing FANET to Counter Massive UAV Swarm Based on Reinforcement Learning.	IEEE Commun. Lett.	2023	DBLP DOI BibTeX RDF
12	Natalia Yarkina, Dmitri Moltchanov, Yevgeni Koucheryavy	Counter Waves Link Activation Policy for Latency Control in In-Band IAB Systems.	IEEE Commun. Lett.	2023	DBLP DOI BibTeX RDF
12	Olga Kosheleva, Vladik Kreinovich	How to Make Quantum Ideas Less Counter-Intuitive: A Simple Analysis of Measurement Uncertainty Can Help.	Uncertainty, Constraints, and Decision Making	2023	DBLP DOI BibTeX RDF
12	Seungyoon Lee, Dahyun Jung, Chanjun Park, Seolhwa Lee, Heuiseok Lim	Alternative Speech: Complementary Method to Counter-Narrative for Better Discourse.	ICDM (Workshops)	2023	DBLP DOI BibTeX RDF
12	Elizabeth A. Olson, Jana Pavlasek, Jasmine A. Berry, Odest Chadwicke Jenkins	Counter-Hypothetical Particle Filters for Single Object Pose Tracking.	ICRA	2023	DBLP DOI BibTeX RDF
12	Eulerson Rodrigues, Ernesto Filgueiras, João Valente, Leonor Godinho	Physiological Analysis of Spectator Engagement in Counter Strike: Global Offensive.	HCI (22)	2023	DBLP DOI BibTeX RDF
12	Eivind Moholdt, Sohail Ahmed Khan, Duc-Tien Dang-Nguyen	Detecting Out-of-Context Image-Caption Pair in News: A Counter-Intuitive Method.	CBMI	2023	DBLP DOI BibTeX RDF
12	Boon-Yaik Ooi, Woan Lin Beh, Soung-Yue Liew, Shervin Shirmohammadi	Ambient-Aware Sound-Based Production Counter for Manufacturing Machines.	I2MTC	2023	DBLP DOI BibTeX RDF
12	Syam Sankar, John Jose, Ruchika Gupta, Sukumar Nandi	Enhancing Anonymity in NoC Communication to Counter Traffic Profiling by Hardware Trojans.	MCSoC	2023	DBLP DOI BibTeX RDF
12	Bing He 0002, Mustaque Ahamad, Srijan Kumar	Reinforcement Learning-based Counter-Misinformation Response Generation: A Case Study of COVID-19 Vaccine Misinformation.	WWW	2023	DBLP DOI BibTeX RDF
12	Xiaoou Wang, Elena Cabrio, Serena Villata	Argument and Counter-Argument Generation: A Critical Survey.	NLDB	2023	DBLP DOI BibTeX RDF
12	Aditya Prakash 0002, K. S. Thejaswini	On History-Deterministic One-Counter Nets.	FoSSaCS	2023	DBLP DOI BibTeX RDF
12	Filip Mazowiecki, Henry Sinclair-Banks, Karol Wegrzycki	Coverability in 2-VASS with One Unary Counter is in NP.	FoSSaCS	2023	DBLP DOI BibTeX RDF
12	Thomas Fernique, Daria Pchelina	When Ternary Triangulated Disc Packings Are Densest: Examples, Counter-Examples and Techniques.	SoCG	2023	DBLP DOI BibTeX RDF
12	Nádia Salgado Pereira, Paula Costa Ferreira 0004, Sofia Mateus Francisco, Ana Margarida Veiga Simão	Pro(f)Social: A Serious Game to Counter Cyberbullying.	GALA	2023	DBLP DOI BibTeX RDF
12	Giovanni Pighizzini, Luca Prigioniero	Pushdown and One-Counter Automata: Constant and Non-constant Memory Usage.	DCFS	2023	DBLP DOI BibTeX RDF