Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

5848 Publications


2023 | Journal Article | LibreCat-ID: 54577
Parameterized Complexity of Logic-based Argumentation in Schaefer’s Framework
Y. Mahmood, A. Meier, J. Schmidt, ACM Transactions on Computational Logic 24 (2023) 1–25.
LibreCat | DOI
 

2023 | Conference Paper | LibreCat-ID: 54578
Quantitative Reasoning and Structural Complexity for Claim-Centric Argumentation
J.K. Fichte, M. Hecher, Y. Mahmood, A. Meier, in: Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, International Joint Conferences on Artificial Intelligence Organization, 2023.
LibreCat | DOI
 

2023 | Book Chapter | LibreCat-ID: 54579
Parameterized Complexity of Propositional Inclusion and Independence Logic
Y. Mahmood, J. Virtema, in: Logic, Language, Information, and Computation, Springer Nature Switzerland, Cham, 2023.
LibreCat | DOI
 

2023 | Conference Paper | LibreCat-ID: 54089
Logics with probabilistic team semantics and the Boolean negation
M. Hannula, M. Hirvonen, J. Kontinen, Y. Mahmood, A. Meier, J. Virtema, in: 18th European Conference on Logics in Artificial Intelligence, JELIA 2023, Proceedings, 2023.
LibreCat
 

2023 | Book Chapter | LibreCat-ID: 54613
Configuration and Evaluation
J.M. Hanselle, E. Hüllermeier, F. Mohr, A.-C. Ngonga Ngomo, M. Sherif, A. Tornede, M.D. Wever, in: C.-J. Haake, F. Meyer auf der Heide, M. Platzner, H. Wachsmuth, H. Wehrheim (Eds.), On-The-Fly Computing – Individualized IT-Services in Dynamic Markets, Heinz Nixdorf Institut, Universität Paderborn, 2023, pp. 85–104.
LibreCat | DOI
 

2023 | Conference Paper | LibreCat-ID: 54614
Lingua Franca - Entity-Aware Machine Translation Approach for Question Answering over Knowledge Graphs
N. Srivastava, A. Perevalov, D. Kuchelev, D. Moussallem, A.-C. Ngonga Ngomo, A. Both, in: K.B. Venable, D. Garijo, B. Jalaian (Eds.), Proceedings of the 12th Knowledge Capture Conference 2023, {K-CAP} 2023, Pensacola, FL, USA, December 5-7, 2023, ACM, 2023, pp. 122–130.
LibreCat | DOI
 

2023 | Conference Paper | LibreCat-ID: 54615
Learning Permutation-Invariant Embeddings for Description Logic Concepts
C. Demir, A.-C. Ngonga Ngomo, in: Advances in Intelligent Data Analysis XXI: 21st International Symposium on Intelligent Data Analysis, IDA 2023, Louvain-La-Neuve, Belgium, April 12–14, 2023, Proceedings, 2023, pp. 103–115.
LibreCat
 

2023 | Conference Paper | LibreCat-ID: 54616
COBALT: A Content-Based Similarity Approach for Link Discovery over Geospatial Knowledge Graphs
A. Becker, A.F.A. Ahmed, M. Sherif, A.-C. Ngonga Ngomo, in: SEMANTiCS, 2023.
LibreCat
 

2023 | Conference Paper | LibreCat-ID: 54618
Method Engineering – a Systematic Literature Review on Scopus Base
D. Wilke, C. Grewe, D. Thavathilakarjah, H. Anacker, R. Dumitrescu, in: 2023.
LibreCat
 

2023 | Conference Paper | LibreCat-ID: 54620
Method to support the selection of localization technologies for Industry 4.0
T. Seidenberg, J. Ayoub, M. Figge, H. Anacker, R. Dumitrescu, in: 2023.
LibreCat
 

2023 | Conference Paper | LibreCat-ID: 54621 LibreCat
 

2023 | Misc | LibreCat-ID: 54622
Transferkonzept eines Kompetenzzentrums der Arbeitsforschung in einer von mittelständischen Unternehmen geprägten Region
S. Gabriel, C. Fechtelpeter, J. Wulf, S. Leßmann, R. Dumitrescu, Transferkonzept eines Kompetenzzentrums der Arbeitsforschung in einer von mittelständischen Unternehmen geprägten Region, 2023.
LibreCat
 

2023 | Conference Paper | LibreCat-ID: 47306
A World Full of Privacy and Security (Mis)conceptions? Findings of a Representative Survey in 12 Countries
F. Herbert, S. Becker, L. Schaewitz, J. Hielscher, M. Kowalewski, M.A. Sasse, Y. Acar, M. Dürmuth, in: A. Schmidt, K. Väänänen, T. Goyal, P.O. Kristensson, A. Peters, S. Mueller, J.R. Williamson, M.L. Wilson (Eds.), Proceedings of the 2023 CHI Conference on Human Factors in Computing Systems, CHI 2023, Hamburg, Germany, April 23-28, 2023, ACM, 2023, p. 582:1–582:23.
LibreCat | DOI
 

2023 | Conference Paper | LibreCat-ID: 47304
"Always Contribute Back": A Qualitative Study on Security Challenges of the Open Source Supply Chain
D. Wermke, J.H. Klemmer, N. Wöhler, J. Schmüser, H. Sri Ramulu, Y. Acar, S. Fahl, in: 44th IEEE Symposium on Security and Privacy, SP 2023, San Francisco, CA, USA, May 21-25, 2023, IEEE, 2023, pp. 1545–1560.
LibreCat | DOI
 

2023 | Conference Paper | LibreCat-ID: 47299
Pushed by Accident: A Mixed-Methods Study on Strategies of Handling Secret Information in Source Code Repositories
A. Krause, J.H. Klemmer, N. Huaman, D. Wermke, Y. Acar, S. Fahl, in: J.A. Calandrino, C. Troncoso (Eds.), 32nd USENIX Security Symposium, USENIX Security 2023, Anaheim, CA, USA, August 9-11, 2023, USENIX Association, 2023.
LibreCat
 

2023 | Conference Paper | LibreCat-ID: 47310
It’s like flossing your teeth: On the Importance and Challenges of Reproducible Builds for Software Supply Chain Security
M. Fourné, D. Wermke, W. Enck, S. Fahl, Y. Acar, in: 44th IEEE Symposium on Security and Privacy, SP 2023, San Francisco, CA, USA, May 21-25, 2023, IEEE, 2023, pp. 1527–1544.
LibreCat | DOI
 

2023 | Conference Paper | LibreCat-ID: 47311
"In Eighty Percent of the Cases, I Select the Password for Them": Security and Privacy Challenges, Advice, and Opportunities at Cybercafes in Kenya
C.W. Munyendo, Y. Acar, A.J. Aviv, in: 44th IEEE Symposium on Security and Privacy, SP 2023, San Francisco, CA, USA, May 21-25, 2023, IEEE, 2023, pp. 570–587.
LibreCat | DOI
 

2023 | Conference Paper | LibreCat-ID: 47303
"We are a startup to the core": A qualitative interview study on the security and privacy development practices in Turkish software startups
D. Keküllüoglu, Y. Acar, in: 44th IEEE Symposium on Security and Privacy, SP 2023, San Francisco, CA, USA, May 21-25, 2023, IEEE, 2023, pp. 2015–2031.
LibreCat | DOI
 

2023 | Journal Article | LibreCat-ID: 45983
Beyond the Boolean: How Programmers Ask About, Use, and Discuss Gender
E. Bouma-Sims, Y. Acar, Proc. ACM Hum. Comput. Interact. 7 (2023) 1–31.
LibreCat | DOI
 

2023 | Journal Article | LibreCat-ID: 47296 LibreCat | DOI
 

Filters and Search Terms

department=7

Search

Filter Publications

Display / Sort

Export / Embed