default search action
Search dblp for Publications
export results for "Dino Moras"
@article{DBLP:journals/nar/AlbouPM11, author = {Laurent{-}Philippe Albou and Olivier Poch and Dino Moras}, title = {{M-ORBIS:} Mapping of mOleculaR Binding sItes and Surfaces}, journal = {Nucleic Acids Res.}, volume = {39}, number = {1}, pages = {30--43}, year = {2011}, url = {https://doi.org/10.1093/nar/gkq736}, doi = {10.1093/NAR/GKQ736}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/nar/AlbouPM11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tocs/MandrioliMM95, author = {Dino Mandrioli and Sandro Morasca and Angelo Morzenti}, title = {Generating Test Cases for Real-Time Systems from Logic Specifications}, journal = {{ACM} Trans. Comput. Syst.}, volume = {13}, number = {4}, pages = {365--398}, year = {1995}, url = {https://doi.org/10.1145/210223.210226}, doi = {10.1145/210223.210226}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tocs/MandrioliMM95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/GhezziMMP91, author = {Carlo Ghezzi and Dino Mandrioli and Sandro Morasca and Mauro Pezz{\`{e}}}, title = {A Unified High-Level Petri Net Formalism for Time-Critical Systems}, journal = {{IEEE} Trans. Software Eng.}, volume = {17}, number = {2}, pages = {160--172}, year = {1991}, url = {https://doi.org/10.1109/32.67597}, doi = {10.1109/32.67597}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tse/GhezziMMP91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cl/GhezziMMP89, author = {Carlo Ghezzi and Dino Mandrioli and Sandro Morasca and Mauro Pezz{\`{e}}}, title = {Symbolic Execution of Concurrent Systems Using Petri Nets}, journal = {Comput. Lang.}, volume = {14}, number = {4}, pages = {263--281}, year = {1989}, url = {https://doi.org/10.1016/0096-0551(89)90023-4}, doi = {10.1016/0096-0551(89)90023-4}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/cl/GhezziMMP89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iwssd/GhezziMMP89, author = {Carlo Ghezzi and Dino Mandrioli and Sandro Morasca and Mauro Pezz{\`{e}}}, editor = {Sol J. Greenspan}, title = {A general way to put time in Petri nets}, booktitle = {Proceedings of the 5th International Workshop on Software Specification and Design, {IWSSD} 1989, Pittsburgh, Pennsylvania, USA, 1989}, pages = {60--67}, publisher = {{ACM}}, year = {1989}, url = {https://doi.org/10.1145/75199.75210}, doi = {10.1145/75199.75210}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iwssd/GhezziMMP89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.