|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 8 occurrences of 8 keywords
|
|
|
Results
Found 126 publication records. Showing 119 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
62 | R. Restrepo, Diego Luis Aristizábal-Ramirez, Alejandro Montoya, Jean P. Jiménez H., Pedro Torres 0004 |
Web Laboratory Experiences for Elearning: The Michelson Interferometer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Innovative Techniques in Instruction Technology, E-learning, E-assessment, and Education ![In: Innovative Techniques in Instruction Technology, E-learning, E-assessment, and Education, Proceedings of the 2007 International Conference on Engineering Education, Instructional Technology, Assessment, and E-learning (EIAE 2007), part of the International Joint Conferences on Computer, Information, and Systems Sciences, and Engineering (CISSE 2007), Bridgeport, CT, USA, December 3-12, 2007, pp. 19-23, 2008, Springer, 978-1-4020-8738-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
TIC, Michelson Interferometer, Monitoring and Control via Web, TINI, E-Learning |
51 | Mircea Popa 0001, Anca Sorana Popa, C. Patitoiu |
A Web Connected Smart Sensor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SACI ![In: 4th International Symposium on Applied Computational Intelligence and Informatics, SACI 2007, Timisoara, Romania, May 17-18, 2007, pp. 105-110, 2007, IEEE, 1-4244-1234-X. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
40 | Yongqing Fu, Hejun Du, Weimin Huang 0004, Min Hu |
Tini Film Based Shape Memory Alloy And Microactuators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Eng. Sci. ![In: Int. J. Comput. Eng. Sci. 4(2), pp. 221-225, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
40 | Seiji Shimizu, Katsutoshi Kuribayashi |
Transformation and Mechanical Properties of TiNi Thin Films Sputter Deposited at Various Argon Pressures for Micromachine Actuators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Robotics Mechatronics ![In: J. Robotics Mechatronics 11(4), pp. 258-262, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
40 | Katsutoshi Kuribayashi, Seiji Shimizu, T. Nishinohara, Takao Taniguchi, M. Yoshitake, S. Ogawa |
Trial fabrication of micron sized arm using reversible TiNi alloy thin film actuators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: Proceedings of 1993 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 1993, Tokyo, Japan, July 26 - 30, 1993, pp. 1697-1702, 1993, IEEE, 0-7803-0823-9. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
29 | Jian Xiang, Ruggero Lanotte, Simone Tini, Stephen Chong, Massimo Merro |
Measuring Robustness in Cyber-Physical Systems under Sensor Attacks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.05829, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
29 | Valentina Castiglioni, Ruggero Lanotte, Simone Tini |
Back to the format: A survey on SOS for probabilistic processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Algebraic Methods Program. ![In: J. Log. Algebraic Methods Program. 137, pp. 100929, February 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
29 | Gianluca Vozza, Emanuele Bonetti, Giulia Tini, Valentina Favalli, Gianmaria Frige, Gabriele Bucci, Simona De Summa, Mario Zanfardino, Francesco Zapelloni, Luca Mazzarella |
Benchmarking and improving the performance of variant-calling pipelines with RecallME. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bioinform. ![In: Bioinform. 39(12), December 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
29 | Roberto Balzani, Sebastian Barzaghi, Gabriele Bitelli, Federica Bonifazi, Alice Bordignon, Luca Cipriani, Simona Colitti, Federica Collina, Marilena Daquino, Francesca Fabbri, Bruno Fanini, Filippo Fantini, Daniele Ferdani, Giulia Fiorini, Elena Formia, Anna Forte, Federica Giacomini, Valentina Alena Girelli, Bianca Gualandi, Ivan Heibi, Alessandro Iannucci, Rachele Manganelli Del Fà, Arcangelo Massari, Arianna Moretti, Silvio Peroni, Sofia Pescarin, Giulia Renda, Diego Ronchi, Mattia Sullini, Maria Alessandra Tini, Francesca Tomasi, Laura Travaglini, Luca Vittuari |
Saving temporary exhibitions in virtual environments: the Digital Renaissance of Ulisse Aldrovandi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2308.15920, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
29 | Valentina Castiglioni, Michele Loreti, Simone Tini |
A framework to measure the robustness of programs in the unpredictable environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 19(3), 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
29 | Stephen Chong, Ruggero Lanotte, Massimo Merro, Simone Tini, Jian Xiang |
Quantitative Robustness Analysis of Sensor Attacks on Cyber-Physical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2023, San Antonio, TX, USA, May 9-12, 2023, pp. 20:1-20:12, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
29 | Sebastian Barzaghi, Federica Collina, Francesca Fabbri, Federica Giacomini, Alice Bordignon, Roberto Balzani, Gabriele Bitelli, Federica Bonifazi, Luca Cipriani, Simona Colitti, Marilena Daquino, Bruno Fanini, Filippo Fantini, Daniele Ferdani, Giulia Fiorini, Elena Formia, Anna Forte, Valentina Alena Girelli, Bianca Gualandi, Ivan Heibi, Alessandro Iannucci, Rachele Manganelli Del Fà, Arcangelo Massari, Arianna Moretti, Silvio Peroni, Sofia Pescarin, Giulia Renda, Diego Ronchi, Mattia Sullini, Maria Alessandra Tini, Francesca Tomasi, Laura Travaglini, Luca Vittuari |
Digitisation of Temporary Exhibitions: the Aldrovandi Case. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GCH ![In: GCH 2023 - Eurographics Workshop on Graphics and Cultural Heritage, Salento, Lecce, Italy, 4-6 September 2023., pp. 181-183, 2023, Eurographics Association. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
29 | Valentina Castiglioni, Michele Loreti, Simone Tini |
DisTL: A Temporal Logic for the Analysis of the Expected Behaviour of Cyber-Physical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: Proceedings of the 24th Italian Conference on Theoretical Computer Science, Palermo, Italy, September 13-15, 2023., pp. 15-30, 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
29 | Ruggero Lanotte, Desiree Manicardi, Simone Tini |
Step-by-step Robustness for Biochemical Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: Proceedings of the 24th Italian Conference on Theoretical Computer Science, Palermo, Italy, September 13-15, 2023., pp. 299-313, 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
29 | Valentina Castiglioni, Michele Loreti, Simone Tini |
Stark: A Software Tool for the Analysis of Robustness in the unKnown Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COORDINATION ![In: Coordination Models and Languages - 25th IFIP WG 6.1 International Conference, COORDINATION 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023, Proceedings, pp. 115-132, 2023, Springer, 978-3-031-35360-4. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
29 | Alessandro Lambertini, Emanuele Mandanici, Maria Alessandra Tini, Luca Vittuari |
Technical Challenges for Multi-Temporal and Multi-Sensor Image Processing Surveyed by UAV for Mapping and Monitoring in Precision Agriculture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Remote. Sens. ![In: Remote. Sens. 14(19), pp. 4954, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
29 | Valentina Castiglioni, Michele Loreti, Simone Tini |
RobTL: A Temporal Logic for the Robustness of Cyber-Physical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2212.11158, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
29 | Valentina Castiglioni, Michele Loreti, Simone Tini |
EvTL: A Temporal Logic for the Transient Analysis of Cyber-Physical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2204.13357, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
29 | Luca Arcari, Giacomo Tini, Giovanni Camastra, Federica Ciolina, Domenico De Santis, Domitilla Russo, Damiano Caruso, Massimiliano Danti, Luca Cacciotti |
Cardiac Magnetic Resonance Imaging in Immune Check-Point Inhibitor Myocarditis: A Systematic Review. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Imaging ![In: J. Imaging 8(4), pp. 99, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
29 | Alessandra Cherubini, Nicoletta Sabadini, Simone Tini |
Theoretical Computer Science in Italy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 864, pp. 138, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
29 | Ruggero Lanotte, Simone Tini |
A weak semantic approach to bisimulation metrics in models with nondeterminism and continuous state spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 869, pp. 29-61, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
29 | Valentina Castiglioni, Michele Loreti, Simone Tini |
A framework to measure the robustness of programs in the unpredictable environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2111.15319, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
29 | Ruggero Lanotte, Massimo Merro, Simone Tini |
A probabilistic calculus of cyber-physical systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 279, pp. 104618, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
29 | Jorge A. Pérez 0001, Simone Tini |
Preface to Special Issue: EXPRESS/SOS 2018. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 281, pp. 104670, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
29 | Ruggero Lanotte, Massimo Merro, Andrei Munteanu, Simone Tini |
Formal Impact Metrics for Cyber-physical Attacks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: 34th IEEE Computer Security Foundations Symposium, CSF 2021, Dubrovnik, Croatia, June 21-25, 2021, pp. 1-16, 2021, IEEE, 978-1-7281-7607-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
29 | Valentina Castiglioni, Michele Loreti, Simone Tini |
How Adaptive and Reliable is Your Program? ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Techniques for Distributed Objects, Components, and Systems - 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021, Proceedings, pp. 60-79, 2021, Springer, 978-3-030-78088-3. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
29 | Alessandro Gianola, Stefano Kasangian, Desiree Manicardi, Nicoletta Sabadini, Filippo Schiavio, Simone Tini |
CospanSpan(Graph): a Compositional Description of the Heart System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 171(1-4), pp. 221-237, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
29 | Valentina Castiglioni, Simone Tini |
Raiders of the lost equivalence: Probabilistic branching bisimilarity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 159-160, pp. 105947, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
29 | Giulio Spinozzi, Valentina Tini, Alessia Adorni, Brunangelo Falini, Maria Paola Martelli |
ARPIR: automatic RNA-Seq pipelines with interactive report. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Bioinform. ![In: BMC Bioinform. 21-S(19), pp. 574, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
29 | Kirstin Peters, Simone Tini |
Preface to special issue: EXPRESS/SOS 2016 + 2017. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 57(6), pp. 759-760, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
29 | Valentina Castiglioni, Simone Tini |
Probabilistic divide & congruence: Branching bisimilarity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 802, pp. 147-196, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
29 | Valentina Castiglioni, Michele Loreti, Simone Tini |
The metric linear-time branching-time spectrum on nondeterministic probabilistic processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 813, pp. 20-69, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
29 | Valentina Castiglioni, Michele Loreti, Simone Tini |
Measuring Adaptability and Reliability of Large Scale Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISoLA (2) ![In: Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part II, pp. 380-396, 2020, Springer, 978-3-030-61469-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
29 | Alessandro Gianola, Stefano Kasangian, Desiree Manicardi, Nicoletta Sabadini, Simone Tini |
Compositional Modeling of Biological Systems in CospanSpan(Graph). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: Proceedings of the 21st Italian Conference on Theoretical Computer Science, Ischia, Italy, September 14-16, 2020., pp. 61-66, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
29 | Giulia Tini, Luca Marchetti, Corrado Priami, Marie-Pier Scott-Boyer |
Multi-omics integration - a comparison of unsupervised clustering methodologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Briefings Bioinform. ![In: Briefings Bioinform. 20(4), pp. 1269-1279, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
29 | Katy A. M. Gaythorpe, Kévin Jean, Laurence Cibrelus, Tini Garske |
Quantifying model evidence for yellow fever transmission routes in Africa. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLoS Comput. Biol. ![In: PLoS Comput. Biol. 15(9), 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
29 | Valentina Castiglioni, Simone Tini |
Logical characterization of branching metrics for nondeterministic probabilistic transition systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 268, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
29 | Valentina Castiglioni, Ruggero Lanotte, Simone Tini |
Fully Syntactic Uniform Continuity Formats for Bisimulation Metrics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Art of Modelling Computational Systems ![In: The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy - Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday, pp. 293-312, 2019, Springer, 978-3-030-31174-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
29 | Alessandra Cherubini, Nicoletta Sabadini, Simone Tini (eds.) |
Proceedings of the 20th Italian Conference on Theoretical Computer Science, ICTCS 2019, Como, Italy, September 9-11, 2019. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
29 | Ruggero Lanotte, Simone Tini |
Computing Bisimilarity Metrics for Probabilistic Timed Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings, pp. 303-321, 2019, Springer, 978-3-030-34967-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
29 | Daniel Gebler, Simone Tini |
SOS specifications for uniformly continuous operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Syst. Sci. ![In: J. Comput. Syst. Sci. 92, pp. 113-151, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
29 | Jorge A. Pérez 0001, Simone Tini (eds.) |
Proceedings Combined 25th International Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics, EXPRESS/SOS 2018, Beijing, China, September 3, 2018. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
29 | Ruggero Lanotte, Massimo Merro, Simone Tini |
Towards a formal notion of impact metric for cyber-physical attacks (full version). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1806.10463, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
29 | Ruggero Lanotte, Massimo Merro, Simone Tini |
Equational Reasonings in Wireless Network Gossip Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 14(3), 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
29 | Valentina Castiglioni, Daniel Gebler, Simone Tini |
SOS-based Modal Decomposition on Nondeterministic Probabilistic Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 14(2), 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
29 | Giulio Spinozzi, Valentina Tini, Laura Mincarelli, Brunangelo Falini, Maria Paola Martelli |
A comprehensive RNA-Seq pipeline includes meta-analysis, interactivity and automatic reporting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PeerJ Prepr. ![In: PeerJ Prepr. 6, pp. e27317, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
29 | Anne Cori, Pierre Nouvellet, Tini Garske, Hervé Bourhy, Emmanuel Nakouné, Thibaut Jombart |
A graph-based evidence synthesis approach to detecting outbreak clusters: An application to dog rabies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLoS Comput. Biol. ![In: PLoS Comput. Biol. 14(12), 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
29 | Ruggero Lanotte, Simone Tini |
Weak Bisimulation Metrics in Models with Nondeterminism and Continuous State Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2018 - 15th International Colloquium, Stellenbosch, South Africa, October 16-19, 2018, Proceedings, pp. 292-312, 2018, Springer, 978-3-030-02507-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
29 | Ruggero Lanotte, Massimo Merro, Simone Tini |
Towards a Formal Notion of Impact Metric for Cyber-Physical Attacks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings, pp. 296-315, 2018, Springer, 978-3-319-98937-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
29 | Giulia Tini |
The influence of the inclusion of biological knowledge in statistical methods to integrate multi-omics data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2018 |
RDF |
|
29 | Valentina Castiglioni, Simone Tini |
Logical Characterization of Trace Metrics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL@ETAPS ![In: Proceedings 15th Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL@ETAPS 2017, Uppsala, Sweden, 23rd April 2017., pp. 39-74, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
29 | Ruggero Lanotte, Massimo Merro, Simone Tini |
A Probabilistic Calculus of Cyber-Physical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1707.02279, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
29 | Kirstin Peters, Simone Tini (eds.) |
Proceedings Combined 24th International Workshop on Expressiveness in Concurrency and 14th Workshop on Structural Operational Semantics, EXPRESS/SOS 2017, Berlin, Germany, 4th September 2017. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
29 | Ruggero Lanotte, Massimo Merro, Simone Tini |
Equational Reasonings in Wireless Network Gossip Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1707.03215, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
29 | Valentina Castiglioni, Daniel Gebler, Simone Tini |
SOS-based Modal Decomposition on Nondeterministic Probabilistic Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1701.08330, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
29 | Ruggero Lanotte, Massimo Merro, Simone Tini |
Compositional Weak Metrics for Group Key Update. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 42nd International Symposium on Mathematical Foundations of Computer Science, MFCS 2017, August 21-25, 2017 - Aalborg, Denmark, pp. 72:1-72:16, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-046-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
29 | Ruggero Lanotte, Massimo Merro, Simone Tini |
Weak Simulation Quasimetric in a Gossip Scenario. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Techniques for Distributed Objects, Components, and Systems - 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings, pp. 139-155, 2017, Springer, 978-3-319-60224-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
29 | Valentina Castiglioni, Ruggero Lanotte, Simone Tini |
A Function Elimination Method for Checking Satisfiability of Arithmetical Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 143(1-2), pp. 51-71, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
29 | Daniel Gebler, Kim G. Larsen, Simone Tini |
Compositional bisimulation metric reasoning with Probabilistic Process Calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 12(4), 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
29 | Valentina Castiglioni, Daniel Gebler, Simone Tini |
Logical Characterization of Bisimulation Metrics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![In: Proceedings 14th International Workshop Quantitative Aspects of Programming Languages and Systems, QAPL 2016, Eindhoven, The Netherlands, April 2-3, 2016., pp. 44-62, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
29 | Luca Vittuari, Maria Alessandra Tini, Pierguido Sarti, Eugenio Serantoni, Alessandra Borghi, Monia Negusini, Sébastien Guillaume |
A Comparative Study of the Applied Methods for Estimating Deflection of the Vertical in Terrestrial Geodetic Measurements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 16(4), pp. 565, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
29 | Ruggero Lanotte, Simone Tini |
Extending Taylor Approximation to Hybrid Systems with Integrals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CS&P ![In: Proceedings of the 25th International Workshop on Concurrency, Specification and Programming, Rostock, Germany, September 28-30, 2016., pp. 141-152, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
29 | Valentina Castiglioni, Daniel Gebler, Simone Tini |
Modal Decomposition on Nondeterministic Probabilistic Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: 27th International Conference on Concurrency Theory, CONCUR 2016, August 23-26, 2016, Québec City, Canada, pp. 36:1-36:15, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-017-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
29 | Daniel Gebler, Kim Guldstrand Larsen, Simone Tini |
Compositional Metric Reasoning with Probabilistic Process Calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computation Structures - 18th International Conference, FoSSaCS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings, pp. 230-245, 2015, Springer, 978-3-662-46677-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
29 | Daniel Gebler, Simone Tini |
SOS Specifications of Probabilistic Systems by Uniformly Continuous Operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: 26th International Conference on Concurrency Theory, CONCUR 2015, Madrid, Spain, September 1.4, 2015, pp. 155-168, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-91-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
29 | Valentina Castiglioni, Ruggero Lanotte, Simone Tini |
A Specification Format for Rooted Branching Bisimulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 135(4), pp. 355-369, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
29 | Giovanni Pardini, Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini |
Compositional semantics and behavioural equivalences for reaction systems with restriction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 551, pp. 1-21, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
29 | Daniel Gebler, Simone Tini |
Fixed-point Characterization of Compositionality Properties of Probabilistic Processes Combinators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![In: Proceedings Combined 21st International Workshop on Expressiveness in Concurrency, EXPRESS 2014, and 11th Workshop on Structural Operational Semantics, SOS 2014, Rome, Italy, 1st September 2014., pp. 63-78, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
29 | Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini, Simone Tini |
Systolic Automata and P Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computing with New Resources ![In: Computing with New Resources - Essays Dedicated to Jozef Gruska on the Occasion of His 80th Birthday, pp. 17-31, 2014, Springer, 978-3-319-13349-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
29 | Valentina Castiglioni, Ruggero Lanotte, Simone Tini |
A Function Elimination Method for Checking Satisfiability of Arithmetical Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CS&P ![In: Proceedings of the 23th International Workshop on Concurrency, Specification and Programming, Chemnitz, Germany, September 29 - October 1, 2014., pp. 46-57, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
29 | Daniel Gebler, Simone Tini |
Compositionality of Approximate Bisimulation for Probabilistic Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![In: Proceedings Combined 20th International Workshop on Expressiveness in Concurrency and 10th Workshop on Structural Operational Semantics, EXPRESS/SOS 2013, Buenos Aires, Argentina, 26th August, 2013., pp. 32-46, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
29 | Valentina Castiglioni, Ruggero Lanotte, Simone Tini |
A Rule Format for Rooted Branching Bisimulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CS&P ![In: Proceedings of the 22nd International Workshop on Concurrency, Specification and Programming, Warsaw, Poland, pp. 49-60, 2013, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
29 | Giovanni Pardini, Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini |
A Compositional Semantics of Reaction Systems with Restriction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: The Nature of Computation. Logic, Algorithms, Applications - 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings, pp. 330-339, 2013, Springer, 978-3-642-39052-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
29 | Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini |
Foundational aspects of multiscale modeling of biological systems with process algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 431, pp. 96-116, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
29 | Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini |
An Overview on Operational Semantics in Membrane Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Found. Comput. Sci. ![In: Int. J. Found. Comput. Sci. 22(1), pp. 119-131, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
29 | Norman C. LeDonne, Kevin Rissolo, James Bulgarelli, Leonard Tini |
Use of structure-activity landscape index curves and curve integrals to evaluate the performance of multiple machine learning prediction models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Cheminformatics ![In: J. Cheminformatics 3, pp. 7, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
29 | Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini |
Compositional semantics of spiking neural P systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Algebraic Methods Program. ![In: J. Log. Algebraic Methods Program. 79(6), pp. 304-316, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
29 | Simone Tini |
Non-expansive epsilon-bisimulations for probabilistic processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 411(22-24), pp. 2202-2222, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
29 | Roberto Barbuti, Giulio Caravagna, Paolo Milazzo, Andrea Maggiolo-Schettini, Simone Tini |
Aspects of multiscale modelling in a process algebra for biological systems ![Search on Bibsonomy](Pics/bibsonomy.png) |
MeCBIC ![In: Proceedings Fourth Workshop on Membrane Computing and Biologically Inspired Process Calculi, MeCBIC 2010, Jena, Germany, 23 August 2010., pp. 54-69, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
29 | Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini |
Membrane Systems Working in Generating and Accepting Modes: Expressiveness and Encodings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. Conf. on Membrane Computing ![In: Membrane Computing - 11th International Conference, CMC 2010, Jena, Germany, August 24-27, 2010. Revised Selected Papers, pp. 103-118, 2010, Springer, 978-3-642-18122-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
29 | Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini |
P Systems with Transport and Diffusion Membrane Channels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 93(1-3), pp. 17-31, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
29 | Ruggero Lanotte, Simone Tini |
Probabilistic bisimulation as a congruence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 10(2), pp. 9:1-9:48, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
probabilistic process algebra, transition rule format, Bisimulation, congruence |
29 | Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini |
A P Systems Flat Form Preserving Step-by-step Behaviour. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 87(1), pp. 1-34, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
29 | Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini |
Compositional semantics and behavioral equivalences for P Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 395(1), pp. 77-100, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
29 | Simone Tini |
Non Expansive epsilon-Bisimulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 12th International Conference, AMAST 2008, Urbana, IL, USA, July 28-31, 2008, Proceedings, pp. 362-376, 2008, Springer, 978-3-540-79979-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
29 | Ruggero Lanotte, Simone Tini |
Taylor approximation for hybrid systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 205(11), pp. 1575-1607, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
29 | Simone Tini |
Notes on Generative Probabilistic Bisimulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOS@CONCUR ![In: Proceedings of the Third Workshop on Structural Operational Semantics, SOS 2006, Bonn, Germany, August 26, 2006, pp. 77-88, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
29 | Ruggero Lanotte, Simone Tini |
Taylor Approximation for Hybrid Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Hybrid Systems: Computation and Control, 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings, pp. 402-416, 2005, Springer, 3-540-25108-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
29 | Ruggero Lanotte, Simone Tini |
Probabilistic Congruence for Semistochastic Generative Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computational Structures, 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings, pp. 63-78, 2005, Springer, 3-540-25388-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
29 | Simone Tini, Andrea Maggiolo-Schettini |
Compositional Synthesis of Generalized Mealy Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 60(1-4), pp. 367-382, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
29 | Simone Tini |
Rule formats for compositional non-interference properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Algebraic Methods Program. ![In: J. Log. Algebraic Methods Program. 60-61, pp. 353-400, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
29 | Roberto Gorrieri, Ruggero Lanotte, Andrea Maggiolo-Schettini, Fabio Martinelli, Simone Tini, Enrico Tronci |
Automated analysis of timed security: a case study on web privacy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Inf. Sec. ![In: Int. J. Inf. Sec. 2(3-4), pp. 168-186, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Web privacy, Model checking tools, Timed behavior |
29 | Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini |
Epsilon-transitions in Concurrent Timed Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 89(1), pp. 1-7, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
29 | Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini |
Information flow in hybrid systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Embed. Comput. Syst. ![In: ACM Trans. Embed. Comput. Syst. 3(4), pp. 760-799, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Hybrid systems, information flow |
29 | Simone Tini |
Timed CCP compositionally embeds Argos and Lustre. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 16(3), pp. 292-312, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Engineering design languages, Compositional embedding, Expressiveness, Synchronous languages |
29 | Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini, Angelo Troina, Enrico Tronci |
Automatic Covert Channel Analysis of a Multilevel Secure Component. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICICS ![In: Information and Communications Security, 6th International Conference, ICICS 2004, Malaga, Spain, October 27-29, 2004, Proceedings, pp. 249-261, 2004, Springer, 3-540-23563-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
29 | Ruggero Lanotte, Andrea Maggiolo-Schettini, Adriano Peron, Simone Tini |
Dynamic Hierarchical Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 54(2-3), pp. 237-252, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
29 | Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini, Angelo Troina, Enrico Tronci |
Automatic Analysis of the NRL Pump. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEFISTO ![In: Formal Methods for Security and Time: Proceedings of the MEFISTO Project 2003, MEFISTO 2003, Pisa, Italy, November 3-5, 2003, pp. 245-266, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
29 | Andrea Maggiolo-Schettini, Adriano Peron, Simone Tini |
A comparison of Statecharts step semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 290(1), pp. 465-498, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
29 | Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini |
Concurrency in timed automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 309(1-3), pp. 503-527, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 119 (100 per page; Change: ) Pages: [ 1][ 2][ >>] |
|