Dragan Bosnacki
According to our database1,
Dragan Bosnacki
authored at least 56 papers
between 1998 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2000
2005
2010
2015
2020
0
1
2
3
4
5
6
7
8
9
1
1
1
2
3
2
1
1
3
1
1
1
1
5
3
4
2
1
4
3
2
2
2
2
1
2
1
1
2
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Self-Supervised Multiple Instance Learning for Acute Myeloid Leukemia Classification.
CoRR, 2024
2019
Proceedings of the Automated Reasoning for Systems Biology and Medicine, 2019
Sci. Comput. Program., 2019
2018
ACM Trans. Program. Lang. Syst., 2018
Int. J. Softw. Tools Technol. Transf., 2018
2017
Proceedings of the VCBM 17: Eurographics Workshop on Visual Computing for Biology and Medicine, 2017
2016
Int. J. Softw. Tools Technol. Transf., 2016
Sci. Comput. Program., 2016
Efficient GPU algorithms for parallel decomposition of graphs into strongly connected and maximal end components.
Formal Methods Syst. Des., 2016
Proceedings of the 13th International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools, Lugano, Switzerland, August 29, 2016
Verification of Atomicity Preservation in Model-to-Code Transformations using Generic Java Code.
Proceedings of the MODELSWARD 2016, 2016
Verifying Atomicity Preservation and Deadlock Freedom of a Generic Shared Variable Mechanism Used in Model-To-Code Transformations.
Proceedings of the Model-Driven Engineering and Software Development, 2016
Proceedings of the FM 2016: Formal Methods, 2016
Proceedings of the Automated Technology for Verification and Analysis, 2016
2015
Proceedings of the NASA Formal Methods - 7th International Symposium, 2015
Towards Modular Verification of Threaded Concurrent Executable Code Generated from DSL Models.
Proceedings of the Formal Aspects of Component Software - 12th International Conference, 2015
Proceedings of the 29th European Conference on Object-Oriented Programming, 2015
2014
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014
Proceedings of the Workshop on Analysis of Model Transformations co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2014), 2014
Proceedings of the ICT Innovations 2014, 2014
Proceedings of the Computer Aided Verification - 26th International Conference, 2014
2013
J. Bioinform. Comput. Biol., 2013
Sci. Ann. Comput. Sci., 2013
2012
Proceedings of the Proceedings 6th Workshop on Membrane Computing and Biologically Inspired Process Calculi, 2012
Proceedings of the Model Checking Software - 19th International Workshop, 2012
2011
Int. J. Softw. Tools Technol. Transf., 2011
2010
Int. J. Softw. Tools Technol. Transf., 2010
Proceedings of the Model Checking Software, 2010
2009
<i>In Silico</i> Modelling and Analysis of Ribosome Kinetics and aa-tRNA Competition.
Trans. Comp. Sys. Biology, 2009
Int. J. Softw. Tools Technol. Transf., 2009
Proceedings of the Model Checking Software, 2009
Proceedings of the Formal Methods for Industrial Critical Systems, 2009
Proceedings of the Database and Expert Systems Applications, 2009
Proceedings of the Database and Expert Systems Applications, 2009
2008
Proceedings of the Model Checking and Artificial Intelligence, 5th International Workshop, 2008
Proceedings of the Computational Methods in Systems Biology, 6th International Conference, 2008
Proceedings of the Bioinformatics Research and Development, 2008
2007
IEEE Trans. Software Eng., 2007
Proceedings of the 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), 2007
Proceedings of the Automated Technology for Verification and Analysis, 2007
2005
Proceedings of the Model Checking Software, 2005
Proceedings of the FM 2005: Formal Methods, 2005
2004
Proceedings of the Model Checking Software, 2004
Proceedings of the Computational Methods in Systems Biology, International Conference, 2004
2003
A Light-Weight Algorithm for Model Checking with Symmetry Reduction and Weak Fairness.
Proceedings of the Model Checking Software, 2003
Genetic Code as a Gray Code Revisited.
Proceedings of the International Conference on Mathematics and Engineering Techniques in Medicine and Biological Scienes, 2003
2002
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2002
2001
Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001
Proceedings of the FME 2001: Formal Methods for Increasing Software Productivity, 2001
2000
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 2000
1999
Partial Order Reduction in Presence of Rendez-vous Communications with Unless Constructs and Weak Fairness.
Proceedings of the Theoretical and Practical Aspects of SPIN Model Checking, 1999
1998
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1998
Integrating Real Time into Spin: A Prototype Implementation.
Proceedings of the Formal Description Techniques and Protocol Specification, 1998