Sebastian Fischer

19 papers and 140 indexed citations i.

Sebastian Fischer has authored 19 papers that have received a total of 140 indexed citations. This includes 11 papers in Artificial Intelligence, 10 papers in Computational Theory and Mathematics and 4 papers in Information Systems. The topics of these papers are Logic, programming, and type systems (8 papers), Formal Methods in Verification (7 papers) and Software Engineering Research (3 papers). Sebastian Fischer is often cited by papers focused on Logic, programming, and type systems (8 papers), Formal Methods in Verification (7 papers) and Software Engineering Research (3 papers) and collaborates with scholars based in Germany, United States and Japan. Sebastian Fischer's co-authors include Tobias Storch, Karl Segl, Luis Guanter, Zhenjiang Hu and Saskia Foerster and has published in prestigious journals such as Computer Physics Communications, Synthesis and Behaviour and Information Technology.