Alnis Murtovi - RankMe

19 papers A 1B 1C 1Journal 8Unranked 7

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	An Efficient Compilation-Based Approach to Explaining Random Forests Through Decision Trees. ICAART (2) Alnis Murtovi, Maximilian Schlüter, Bernhard Steffen
2025	—	`—`	Compilation-based explainability of tree ensembles. Alnis Murtovi
2025	—	`conf`	Computing Inflated Explanations for Boosted Trees: A Compilation-Based Approach. The Combined Power of Research, Education, and Dissemination Alnis Murtovi, Maximilian Schlüter, Bernhard Steffen
2025	—	`conf`	Voting-Based Shortcuts through Random Forests for Obtaining Explainable Models. Real Time and Such Alnis Murtovi, Maximilian Schlüter, Bernhard Steffen
2024	A	`conf`	Enhancing Performance Through Control-Flow Unmerging and Loop Unrolling on GPUs. CGO Alnis Murtovi, Giorgis Georgakoudis, Konstantinos Parasyris, Chunhua Liao, Ignacio Laguna, Bernhard Steffen
2024	J	`jnl`	Language-Driven Engineering An Interdisciplinary Software Development Paradigm. CoRR Bernhard Steffen, Tiziana Margaria, Alexander Bainczyk, Steve Boßelmann, Daniel Busch, Marc Driessen, Markus Frohme, Falk Howar, Sven Jörges, Marvin Krause, Marco Krumrey, Anna-Lena Lamprecht, Michael Lybecait, Alnis Murtovi, Stefan Naujokat, Johannes Neubauer, Alexander Schieweck, Jonas Schürmann, Steven Smyth, Barbara Steffen, Fabian Storek, Tim Tegeler, Sebastian Teumert, Dominic Wirkner, Philip Zweihoff
2023	J	`jnl`	Forest GUMP: a tool for verification and explanation. Int. J. Softw. Tools Technol. Transf. Alnis Murtovi, Alexander Bainczyk, Gerrit Nolte, Maximilian Schlüter, Bernhard Steffen
2023	J	`jnl`	The Power of Typed Affine Decision Structures: A Case Study. CoRR Gerrit Nolte, Maximilian Schlüter, Alnis Murtovi, Bernhard Steffen
2023	J	`jnl`	The power of typed affine decision structures: a case study. Int. J. Softw. Tools Technol. Transf. Gerrit Nolte, Maximilian Schlüter, Alnis Murtovi, Bernhard Steffen
2023	J	`jnl`	Towards Rigorous Understanding of Neural Networks via Semantics-preserving Transformations. CoRR Maximilian Schlüter, Gerrit Nolte, Alnis Murtovi, Bernhard Steffen
2023	J	`jnl`	Towards rigorous understanding of neural networks via semantics-preserving transformations. Int. J. Softw. Tools Technol. Transf. Maximilian Schlüter, Gerrit Nolte, Alnis Murtovi, Bernhard Steffen
2022	—	`conf`	Forest GUMP: A Tool for Explanation. TACAS (2) Alnis Murtovi, Alexander Bainczyk, Bernhard Steffen
2021	B	`conf`	Generative Program Analysis and Beyond: The Power of Domain-Specific Languages (Invited Paper). VMCAI Bernhard Steffen, Alnis Murtovi
2019	J	`jnl`	ADD-Lib: Decision Diagrams in Practice. CoRR Frederik Gossen, Alnis Murtovi, Philip Zweihoff, Bernhard Steffen
2019	J	`jnl`	Aggressive Aggregation: a New Paradigm for Program Optimization. CoRR Frederik Gossen, Marc Jasper, Alnis Murtovi, Bernhard Steffen
2019	—	`conf`	Product Line Verification via Modal Meta Model Checking. From Software Engineering to Formal Methods and Tools, and Back Tim Tegeler, Alnis Murtovi, Markus Frohme, Bernhard Steffen
2019	—	`conf`	RERS 2019: Combining Synthesis with Real-World Models. TACAS (3) Marc Jasper, Malte Mues, Alnis Murtovi, Maximilian Schlüter, Falk Howar, Bernhard Steffen, Markus Schordan, Dennis Hendriks, Ramon R. H. Schiffelers, Harco Kuppens, Frits W. Vaandrager
2018	—	`conf`	DSLs for Decision Services: A Tutorial Introduction to Language-Driven Engineering. ISoLA (1) Frederik Gossen, Tiziana Margaria, Alnis Murtovi, Stefan Naujokat, Bernhard Steffen
2018	C	`conf`	M3C: Modal Meta Model Checking. FMICS Bernhard Steffen, Alnis Murtovi