Author of the publication

Concurrent Logic and Automata Combined: A Semantics for Components.

, and . FOCLASA, volume 175 of Electronic Notes in Theoretical Computer Science, page 135-151. Elsevier, (2006)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Concurrent Logic and Automata Combined: A Semantics for Components., and . FOCLASA, volume 175 of Electronic Notes in Theoretical Computer Science, page 135-151. Elsevier, (2006)Electric Vehicle Charging: a Survey on the Security Issues and Challenges of the Open Charge Point Protocol (OCPP)., , , , and . CoRR, (2022)Synthesis and Pruning as a Dynamic Compression Strategy for Efficient Deep Neural Networks., and . DataMod@CIKM, volume 12611 of Lecture Notes in Computer Science, page 3-17. Springer, (2020)Serving Machine Learning Workloads in Resource Constrained Environments: a Serverless Deployment Example., , and . SOCA, page 55-63. IEEE, (2019)Fine Tuning Run Parameter Values in Rule-Based Machine Learning., and . RuleML+RR (Supplement), volume 2438 of CEUR Workshop Proceedings, CEUR-WS.org, (2019)Trace-Based Verification of Rule-Based Service Choreographies., , and . SOCA, page 185-193. IEEE Computer Society, (2018)Enhancing Privacy of Online Chat Apps Utilising Secure Node End-to-End Encryption (SNE2EE)., , , , and . ISCC, page 1-3. IEEE, (2022)Sampled-data Control of Probabilistic Boolean Control Networks: A Deep Reinforcement Learning Approach., , , and . Inf. Sci., (2023)Learning to Control Random Boolean Networks: A Deep Reinforcement Learning Approach., and . COMPLEX NETWORKS (1), volume 881 of Studies in Computational Intelligence, page 721-734. Springer, (2019)Deep Reinforcement Learning for Control of Probabilistic Boolean Networks., and . COMPLEX NETWORKS (2), volume 944 of Studies in Computational Intelligence, page 361-371. Springer, (2020)