| 2012 | ||
|---|---|---|
| j4 | Joel Brynielsson, Lisa Kaati, Pontus Svenson: Social positions and simulation relations. Social Netw. Analys. Mining 2(1): 39-52 (2012) | |
| c10 | Johan Dahlin, Fredrik Johansson, Lisa Kaati, Christian Mårtenson, Pontus Svenson: Combining Entity Matching Techniques for Detecting Extremist Behavior on Discussion Boards. ASONAM 2012: 850-857 | |
| c9 | Joel Brynielsson, Andreas Horndahl, Fredrik Johansson, Lisa Kaati, Christian Mårtenson, Pontus Svenson: Analysis of Weak Signals for Detecting Lone Wolf Terrorists. EISIC 2012: 197-204 | |
| c8 | Ala Berzinji, Lisa Kaati, Ahmed Rezine: Detecting Key Players in Terrorist Networks. EISIC 2012: 297-302 | |
| 2011 | ||
| c7 | Lisa Kaati, Pontus Svenson: Analysis of Competing Hypothesis for Investigating Lone Wolf Terrorist. EISIC 2011: 295-299 | |
| 2010 | ||
| c6 | Joel Brynielsson, Johanna Högberg, Lisa Kaati, Christian Mårtenson, Pontus Svenson: Detecting Social Positions Using Simulation. ASONAM 2010: 48-55 | |
| c5 | Parosh Aziz Abdulla, Jonathan Cederberg, Lisa Kaati: Analyzing the Security in the GSM Radio Network Using Attack Jungles. ISoLA (1) 2010: 60-74 | |
| 2009 | ||
| j3 | Parosh Aziz Abdulla, Lukás Holík, Lisa Kaati, Tomás Vojnar: A Uniform (Bi-)Simulation-Based Framework for Reducing Tree Automata. Electr. Notes Theor. Comput. Sci. 251: 27-48 (2009) | |
| j2 | Parosh Aziz Abdulla, Ahmed Bouajjani, Lukás Holík, Lisa Kaati, Tomás Vojnar: Composed Bisimulation for Tree Automata. Int. J. Found. Comput. Sci. 20(4): 685-700 (2009) | |
| 2008 | ||
| c4 | Parosh Aziz Abdulla, Ahmed Bouajjani, Lukás Holík, Lisa Kaati, Tomás Vojnar: Computing Simulations over Tree Automata. TACAS 2008: 93-108 | |
| c3 | Parosh Aziz Abdulla, Ahmed Bouajjani, Lukás Holík, Lisa Kaati, Tomás Vojnar: Composed Bisimulation for Tree Automata. CIAA 2008: 212-222 | |
| 2007 | ||
| j1 | Parosh Aziz Abdulla, Johanna Högberg, Lisa Kaati: Bisimulation Minimization of Tree Automata. Int. J. Found. Comput. Sci. 18(4): 699-713 (2007) | |
| 2006 | ||
| c2 | Parosh Aziz Abdulla, Lisa Kaati, Johanna Högberg: Bisimulation Minimization of Tree Automata. CIAA 2006: 173-185 | |
| 2005 | ||
| c1 | Parosh Aziz Abdulla, Johann Deneux, Lisa Kaati, Marcus Nilsson: Minimization of Non-deterministic Automata with Large Alphabets. CIAA 2005: 31-42 | |
Data released under the ODC-BY 1.0 license — See also our legal information page