# | | Year | | Title | Type | |
1 |
| Basin, Giunchiglia, Traverso [-] |
| |
| | 1991 | | Automating Meta-Theory Creation and System Extension
In: Proc. Trends in AI: 2nd Congress of the Italian Association for Artificial Intelligence (AI*IA), 48-57 | Proceedings Article | |
1 |
| Basin, Howe [-] |
| |
1 |
| |
2 |
| Basin, Klarlund [Klarlund] |
| |
1 |
| Basin, Krieg-Brückner [Astesiano, Kreowski, Krieg-Brückner] |
| |
2 |
| Basin, Matthews [-] |
| |
1 |
| Basin, Matthews [Gabbay, Guenthner] |
| |
1 |
| Basin, Matthews [McRobbie, Slaney] |
| |
6 |
| Basin, Matthews, Viganò [-] |
| |
2 |
| Basin, Matthews, Viganò [Basin, Viganò] |
| |
2 |
| |
3 |
| Basin, Walsh [Walsh] |
| |
4 |
| |
1 |
| Baumgartner, Burchardt [Burchardt, Alferes, Leite] |
| |
1 |
| Baumgartner, Fuchs, Tinelli [Tinelli, Schulz, Tammet, Sutcliffe] |
| |
1 |
| Baumgartner, Fuchs, Tinelli [Tinelli] |
| |
1 |
| Baumgartner, Furbach [Furbach, Hutter, Stephan] |
| |
1 |
| Baumgartner, Furbach, Gross-Hardt, Kleemann [Furbach, Gross-Hardt, Kleemann, Biundo, Frühwirth, Palm] |
| |
1 |
| Baumgartner, Furbach, Gross-Hardt, Kleemann [Furbach, Gross-Hardt, Kleemann, Seipel, Hanus, Geske, Bartenstein] |
| |
1 |
| Baumgartner, Furbach, Gross-Hardt, Sinner [Furbach, Gross-Hardt, Sinner] |
| |
1 |
| Baumgartner, Furbach, Yahya [Furbach, Yahya] |
| |
1 |
| Baumgartner, Grabowski, Oevel, Melis [Grabowski, Oevel, Melis] |
| |
1 |
| Baumgartner, Mediratta [Mediratta, Sasikumar, Vakil, Kavitha] |
| |
1 |
| Baumgartner, Suchanek [-] |
| |
1 |
| Baumgartner, Tinelli [Tinelli, Nieuwenhuis] |
| |
1 |
| Becker [-] |
| |
1 |
| Ben-Amram, Lee [Ben-Amram] |
| |
1 |
| Bertling, Ganzinger, Schäfers, Nieuwenhuis, Orejas [-] |
| |
1 |
| Beyer, Henzinger, Majumdar, Rybalchenko [Beyer, Henzinger, Majumdar, Cook, Podelski] |
| |