Stefan D. Bruda
According to our database1,
Stefan D. Bruda
authored at least 36 papers
between 1997 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2000
2005
2010
2015
2020
0
1
2
3
4
5
6
7
1
1
1
1
2
1
1
3
1
1
1
1
2
2
2
1
3
1
1
2
3
3
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Evaluating trustworthiness of decision tree learning algorithms based on equivalence checking.
AI Ethics, February, 2024
2020
2019
CoRR, 2019
2016
Limitations of Coverability Trees for Context-Free Parallel Communicating Grammar Systems and Why these Grammar Systems are not Linear Space.
Parallel Process. Lett., 2016
Proceedings of the 7th International Conference on Ambient Systems, 2016
2014
Proceedings of the ICSOFT-EA 2014, 2014
2013
Not Seeing the Parse Trees from the Parse Forest of a Context-Free Parallel Communicating Grammar System.
Proceedings of the IEEE 12th International Symposium on Parallel and Distributed Computing, 2013
Proceedings of the Eighth International Conference on Digital Information Management (ICDIM 2013), 2013
2012
Proceedings of the 3rd International Conference on Ambient Systems, 2012
Proceedings of the ICSOFT 2012 - Proceedings of the 7th International Conference on Software Paradigm Trends, Rome, Italy, 24, 2012
2011
Proceedings of the Eighth International Conference on Information Technology: New Generations, 2011
Unrestricted and Disjoint Operations over Multi-stack Visibly Pushdown Languages.
Proceedings of the ICSOFT 2011, 2011
2010
J. Digit. Content Technol. its Appl., 2010
Int. J. Found. Comput. Sci., 2010
Model Checking is Refinement - From Computation Tree Logic to Failure Trace Testing.
Proceedings of the ICSOFT 2010, 2010
2009
Scalable Comput. Pract. Exp., 2009
2008
Proceedings of the 7th International Symposium on Parallel and Distributed Computing (ISPDC 2008), 2008
Proceedings of the 22nd IEEE International Symposium on Parallel and Distributed Processing, 2008
Proceedings of the International Conference on Computer Science and Software Engineering, 2008
2006
Proceedings of the 5th International Symposium on Parallel and Distributed Computing (ISPDC 2006), 2006
2004
2003
Inf. Process. Lett., 2003
2002
On the Relation between Parallel Real-time Computations and Logarithmic Space.
Proceedings of the International Conference on Parallel and Distributed Computing Systems, 2002
Proceedings of the 16th Annual International Symposium on High Performance Computing Systems and Applications, 2002
2001
Parallel Process. Lett., 2001
J. Parallel Distributed Comput., 2001
Pursuit and evasion on a ring: An infinite hierarchy for parallel real--time systems.
Proceedings of the Thirteenth Annual ACM Symposium on Parallel Algorithms and Architectures, 2001
Parallel Real-Time Complexity A Strong Infinite Hierarchy.
Proceedings of the SIROCCO 8, 2001
Proceedings of the 15th International Parallel & Distributed Processing Symposium (IPDPS-01), 2001
2000
Parallel Real-Time Cryptography: Beyond Speedup II.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2000
Proceedings of the 2000 International Symposium on Information Technology (ITCC 2000), 2000
Towards a meaningful formal definition of real-time computations.
Proceedings of the ISCA 15th International Conference Computers and Their Applications, 2000
1999
1997
On the Computational Complexity of Context-Free Parallel Communicating Grammar Systems.
Proceedings of the New Trends in Formal Languages, 1997