Search results for "biology"

Hits ?▲	Authors	Title	Venue	Year	Link
25	Chyan Leong Ng, Mohd Firdaus Raih	Applications of Ribosomal RNA Sequence and Structure Analysis for Extracting Evolutionary and Functional Insights.	Encyclopedia of Bioinformatics and Computational Biology (3)	2019	DBLP DOI BibTeX RDF
25	Sy Bing Choi, Beow Keat Yap, Yee-Siew Choong, Habibah A. Wahab	Molecular Dynamics Simulations in Drug Discovery.	Encyclopedia of Bioinformatics and Computational Biology (3)	2019	DBLP DOI BibTeX RDF
25	Upadhyayula S. Raghavender, Ravindranath S. Rathore	Protein-Peptide Interactions in Regulatory Events.	Encyclopedia of Bioinformatics and Computational Biology (3)	2019	DBLP DOI BibTeX RDF
25	Alan Christoffels, Peter van Heusden	Genome Annotation: Perspective From Bacterial Genomes.	Encyclopedia of Bioinformatics and Computational Biology (3)	2019	DBLP DOI BibTeX RDF
25	Mun Fai Loke, Aimi Hanafi	Molecular Mechanisms Responsible for Drug Resistance.	Encyclopedia of Bioinformatics and Computational Biology (3)	2019	DBLP DOI BibTeX RDF
25	Andrey D. Prjibelski, Anton I. Korobeynikov, Alla L. Lapidus	Sequence Analysis.	Encyclopedia of Bioinformatics and Computational Biology (3)	2019	DBLP DOI BibTeX RDF
25	Zainab Noor, Abidali Mohamedali, Shoba Ranganathan	Identification of Proteins From Proteomic Analysis.	Encyclopedia of Bioinformatics and Computational Biology (3)	2019	DBLP DOI BibTeX RDF
25	Sorayya Malek, Cham Hui, Aziida Nanyonga, Song Cheen, Sooh Toh, Pozi Milow	Ecosystem Monitoring Through Predictive Modeling.	Encyclopedia of Bioinformatics and Computational Biology (3)	2019	DBLP DOI BibTeX RDF
25	Zen H. Lu, Naeem Shafqat, Nani Azman, Mark I. R. Petalcorin, Lie Chen	Population Analysis of Pharmacogenetic Polymorphisms.	Encyclopedia of Bioinformatics and Computational Biology (3)	2019	DBLP DOI BibTeX RDF
25	Yongshuai Jiang, Jing Xu	Genome-Wide Haplotype Association Study.	Encyclopedia of Bioinformatics and Computational Biology (3)	2019	DBLP DOI BibTeX RDF
25	Ari Hardianto, Muhammad Yusuf, Fei Liu 0036, Shoba Ranganathan	Structure-Based Drug Design Workflow.	Encyclopedia of Bioinformatics and Computational Biology (3)	2019	DBLP DOI BibTeX RDF
25	Hazrina Yusof Hamdani, Zatil H. Yahaya, Mohd Firdaus Raih	Predicting RNA-RNA Interactions in Three-Dimensional Structures.	Encyclopedia of Bioinformatics and Computational Biology (3)	2019	DBLP DOI BibTeX RDF
25	Tiratha Raj Singh, Ankush Bansal	Gene Duplication and Speciation.	Encyclopedia of Bioinformatics and Computational Biology (3)	2019	DBLP DOI BibTeX RDF
25	Amr Ismail, Mostafa Herajy, Monika Heiner	A Graphical Approach for Hybrid Modelling of Intracellular Calcium Dynamics Based on Coloured Hybrid Petri Nets.	Automated Reasoning for Systems Biology and Medicine	2019	DBLP DOI BibTeX RDF
25	Thakur Neupane, Zhen Zhang 0006, Curtis Madsen, Hao Zheng 0001, Chris J. Myers	Approximation Techniques for Stochastic Analysis of Biological Systems.	Automated Reasoning for Systems Biology and Medicine	2019	DBLP DOI BibTeX RDF
25	Dragan Bosnacki, Natal A. W. van Riel, Mitko Veta	Deep Learning with Convolutional Neural Networks for Histopathology Image Analysis.	Automated Reasoning for Systems Biology and Medicine	2019	DBLP DOI BibTeX RDF
25	Ludovica Luisa Vissat, Jane Hillston, Anna Williams	Stochastic Spatial Modelling of the Remyelination Process in Multiple Sclerosis Lesions.	Automated Reasoning for Systems Biology and Medicine	2019	DBLP DOI BibTeX RDF
25	Maria Pires Pacheco, Tamara Bintener, Thomas Sauter	Towards the Integration of Metabolic Network Modelling and Machine Learning for the Routine Analysis of High-Throughput Patient Data.	Automated Reasoning for Systems Biology and Medicine	2019	DBLP DOI BibTeX RDF
25	Alena Simalatsar, Monia Guidi, Pierre Roduit, Thierry Buclin	Methods for Personalised Delivery Rate Computation for IV Administered Anesthetic Propofol.	Automated Reasoning for Systems Biology and Medicine	2019	DBLP DOI BibTeX RDF
25	Thao Dang 0001, Tommaso Dreossi, Eric Fanchon, Oded Maler, Carla Piazza, Alexandre Rocca	Set-Based Analysis for Biological Modeling.	Automated Reasoning for Systems Biology and Medicine	2019	DBLP DOI BibTeX RDF
25	Fusun Yaman, Aaron Adler, Jacob Beal	Opportunities and Challenges in Applying Artificial Intelligence to Bioengineering.	Automated Reasoning for Systems Biology and Medicine	2019	DBLP DOI BibTeX RDF
25	Satya Swarup Samal, Jeyashree Krishnan, Ali Hadizadeh Esfahani, Christoph Lüders, Andreas Weber 0004, Ovidiu Radulescu	Metastable Regimes and Tipping Points of Biochemical Networks with Potential Applications in Precision Medicine.	Automated Reasoning for Systems Biology and Medicine	2019	DBLP DOI BibTeX RDF
25	Taisa Kushner, B. Wayne Bequette, Faye Cameron, Gregory P. Forlenza, David M. Maahs, Sriram Sankaranarayanan 0001	Models, Devices, Properties, and Verification of Artificial Pancreas Systems.	Automated Reasoning for Systems Biology and Medicine	2019	DBLP DOI BibTeX RDF
25	Misbah Razzaq, Lokmane Chebouba, Pierre Le Jeune, Hanen Mhamdi, Carito Guziolowski, Jérémie Bourdon	Logic and Linear Programs to Understand Cancer Response.	Automated Reasoning for Systems Biology and Medicine	2019	DBLP DOI BibTeX RDF
25	Sara-Jane Dunn, Boyan Yordanov	Automated Reasoning for the Synthesis and Analysis of Biological Programs.	Automated Reasoning for Systems Biology and Medicine	2019	DBLP DOI BibTeX RDF
25	Juliana Küster Filipe Bowles, Marco B. Caminati	Balancing Prescriptions with Constraint Solvers.	Automated Reasoning for Systems Biology and Medicine	2019	DBLP DOI BibTeX RDF
25	Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek	Model Checking Approach to the Analysis of Biological Systems.	Automated Reasoning for Systems Biology and Medicine	2019	DBLP DOI BibTeX RDF
25	Matthew A. Clarke, Steven Woodhouse, Nir Piterman, Benjamin A. Hall, Jasmin Fisher	Using State Space Exploration to Determine How Gene Regulatory Networks Constrain Mutation Order in Cancer Evolution.	Automated Reasoning for Systems Biology and Medicine	2019	DBLP DOI BibTeX RDF
25	Bing Liu 0013, Benjamin M. Gyori, P. S. Thiagarajan	Statistical Model Checking-Based Analysis of Biological Networks.	Automated Reasoning for Systems Biology and Medicine	2019	DBLP DOI BibTeX RDF
25	Cinzia Bernardeschi, Andrea Domenici, Paolo Masci 0001	Logic-Based Formalization of System Requirements for Integrated Clinical Environments.	Automated Reasoning for Systems Biology and Medicine	2019	DBLP DOI BibTeX RDF
25	Amir Nakib, El-Ghazali Talbi, S. Corniglion	Medical Image Registration Based on Metaheuristics: A Comparative Study.	Metaheuristics for Medicine and Biology	2017	DBLP DOI BibTeX RDF
25	Sarra Naffakhi, Amir Nakib, Atef Hamouda	Evidential Deformable Model for Contour Tracking. Application on Brain Cine MR Sequences.	Metaheuristics for Medicine and Biology	2017	DBLP DOI BibTeX RDF
25	Amir Nakib	Design of Static Metaheuristics for Medical Image Analysis.	Metaheuristics for Medicine and Biology	2017	DBLP DOI BibTeX RDF
25	Musrrat Ali, Patrick Siarry, Millie Pant	Multi-level Image Thresholding Based on Hybrid Differential Evolution Algorithm. Application on Medical Images.	Metaheuristics for Medicine and Biology	2017	DBLP DOI BibTeX RDF
25	Serdar Kockanat, Nurhan Karaboga	Medical Image Denoising Using Metaheuristics.	Metaheuristics for Medicine and Biology	2017	DBLP DOI BibTeX RDF
25	Devraj Mandal, Amitava Chatterjee, Madhubanti Maitra	Particle Swarm Optimization Based Fast Chan-Vese Algorithm for Medical Image Segmentation.	Metaheuristics for Medicine and Biology	2017	DBLP DOI BibTeX RDF
25	Amira Kouzana, Amir Nakib, Narjes Dogaz	Microscopic Image Segmentation Based on Based Branch and Bound and Game Theory.	Metaheuristics for Medicine and Biology	2017	DBLP DOI BibTeX RDF
25	Thibaut Bernard, Amir Nakib	Adaptive ECG Signal Filtering Using Bayesian Based Evolutionary Algorithm.	Metaheuristics for Medicine and Biology	2017	DBLP DOI BibTeX RDF
25	Ismahan Baghli, Amir Nakib	Lexicographic Approach Based on Evidence Theory for Blood Cell Image Segmentation.	Metaheuristics for Medicine and Biology	2017	DBLP DOI BibTeX RDF
25	A. M. T. Gouicem, Mostapha Yahi, Abdelmalik Taleb-Ahmed	Fuzzy Edge Detection in Computed Tomography Through Genetic Algorithm Optimization.	Metaheuristics for Medicine and Biology	2017	DBLP DOI BibTeX RDF
25	Amir Nakib	Dynamic Metaheuristics for Brain Cine-MRI.	Metaheuristics for Medicine and Biology	2017	DBLP DOI BibTeX RDF
25	Abder-Rahman Ali, Micael S. Couceiro, Ahmed M. Anter, Aboul Ella Hassanien	Particle Swarm Optimization Based Fast Fuzzy C-Means Clustering for Liver CT Segmentation.	Applications of Intelligent Optimization in Biology and Medicine	2016	DBLP DOI BibTeX RDF
25	Ahmed Fouad Ali, Aboul Ella Hassanien	A Survey of Metaheuristics Methods for Bioinformatics Applications.	Applications of Intelligent Optimization in Biology and Medicine	2016	DBLP DOI BibTeX RDF
25	Wahiba Ben Abdessalem Karaa, Amira S. Ashour, Dhekra Ben Sassi, Payel Roy, Noreen Kausar, Nilanjan Dey	MEDLINE Text Mining: An Enhancement Genetic Algorithm Based Approach for Document Clustering.	Applications of Intelligent Optimization in Biology and Medicine	2016	DBLP DOI BibTeX RDF
25	Ahmed Fouad Ali, Aboul Ella Hassanien	A Simplex Nelder Mead Genetic Algorithm for Minimizing Molecular Potential Energy Function.	Applications of Intelligent Optimization in Biology and Medicine	2016	DBLP DOI BibTeX RDF
25	Marwa Moustafa, Hala Mousher Ebied, Ashraf K. Helmy, Taymoor M. Nazamy, Mohamed F. Tolba 0001	Optimization Methods for Medical Image Super Resolution Reconstruction.	Applications of Intelligent Optimization in Biology and Medicine	2016	DBLP DOI BibTeX RDF
25	Soraya Cheriguene, Nabiha Azizi, Nawel Zemmal, Nilanjan Dey, Hayet Djellali, Nadir Farah	Optimized Tumor Breast Cancer Classification Using Combining Random Subspace and Static Classifiers Selection Paradigms.	Applications of Intelligent Optimization in Biology and Medicine	2016	DBLP DOI BibTeX RDF
25	Ghada Hamed, Mohammed Marey, Safaa El-Sayed Amin, Mohamed Fahmy Tolba	DNA Based Steganography: Survey and Analysis for Parameters Optimization.	Applications of Intelligent Optimization in Biology and Medicine	2016	DBLP DOI BibTeX RDF
25	Sara A. Ahmed	Dental Image Registration Using Particle Swarm Optimized for Thin Plate Splines from Semi-automatic Correspondences.	Applications of Intelligent Optimization in Biology and Medicine	2016	DBLP DOI BibTeX RDF
25	Kriti, Jitendra Virmani, Nilanjan Dey, Vinod Kumar 0002	PCA-PNN and PCA-SVM Based CAD Systems for Breast Density Classification.	Applications of Intelligent Optimization in Biology and Medicine	2016	DBLP DOI BibTeX RDF
25	Sahar K. ElKady, Hisham M. Abdelsalam	A Modified Particle Swarm Optimization Algorithm for Solving Capacitated Maximal Covering Location Problem in Healthcare Systems.	Applications of Intelligent Optimization in Biology and Medicine	2016	DBLP DOI BibTeX RDF
25	Ahmed Hamza Asad, Aboul Ella Otifey Hassaanien	Retinal Blood Vessels Segmentation Based on Bio-Inspired Algorithm.	Applications of Intelligent Optimization in Biology and Medicine	2016	DBLP DOI BibTeX RDF
25	Noreen Kausar, Sellapan Palaniappan, Samir Brahim Belhaouari, Azween B. Abdullah, Nilanjan Dey	Systematic Analysis of Applied Data Mining Based Optimization Algorithms in Clinical Attribute Extraction and Classification for Diagnosis of Cardiac Patients.	Applications of Intelligent Optimization in Biology and Medicine	2016	DBLP DOI BibTeX RDF
25	Huda Amin Maghawry, Mostafa G. M. Mostafa, Mohamed H. Abdul-Aziz, Tarek F. Gharib	Enhanced Prediction of DNA-Binding Proteins and Classes.	Applications of Intelligent Optimization in Biology and Medicine	2016	DBLP DOI BibTeX RDF
25	Natsumi Mitou, Hiroshi Matsuno, Satoru Miyano, Shin-Ichi T. Inouye	A Case Study of HFPN Simulation: Finding Essential Roles of Ror Gene in the Interaction of Feedback Loops in Mammalian Circadian Clock.	Modeling in Systems Biology, The Petri Net Approach	2016	DBLP DOI BibTeX RDF
25	Simon Hardy, Ravi Iyengar	Analysis of Dynamical Models of Signaling Networks with Petri Nets and Dynamic Graphs.	Modeling in Systems Biology, The Petri Net Approach	2016	DBLP DOI BibTeX RDF
25	Annegret Wagler	Prediction of Network Structure.	Modeling in Systems Biology, The Petri Net Approach	2016	DBLP DOI BibTeX RDF
25	Ina Koch, Falk Schreiber	Introduction.	Modeling in Systems Biology, The Petri Net Approach	2016	DBLP DOI BibTeX RDF
25	Ayumu Saito, Masao Nagasaki, Hiroshi Matsuno, Satoru Miyano	Hybrid Functional Petri Net with Extension for Dynamic Pathway Modeling.	Modeling in Systems Biology, The Petri Net Approach	2016	DBLP DOI BibTeX RDF
25	Andrea Sackmann	Discrete Modeling.	Modeling in Systems Biology, The Petri Net Approach	2016	DBLP DOI BibTeX RDF
25	Tiina Liiving, Syed Murtuza Baker, Björn H. Junker	Biochemical Fundamentals.	Modeling in Systems Biology, The Petri Net Approach	2016	DBLP DOI BibTeX RDF
25	Lukas Windhager, Florian Erhard, Ralf Zimmer	Fuzzy Modeling.	Modeling in Systems Biology, The Petri Net Approach	2016	DBLP DOI BibTeX RDF
25	Richard Banks, Victor Khomenko, L. Jason Steggles	Modeling Genetic Regulatory Networks.	Modeling in Systems Biology, The Petri Net Approach	2016	DBLP DOI BibTeX RDF
25	Jörg Ackermann 0001, Ina Koch	Quantitative Analysis.	Modeling in Systems Biology, The Petri Net Approach	2016	DBLP DOI BibTeX RDF
25	Ivan Mura	Stochastic Modeling.	Modeling in Systems Biology, The Petri Net Approach	2016	DBLP DOI BibTeX RDF
25	Wolfgang Reisig	Petri Nets.	Modeling in Systems Biology, The Petri Net Approach	2016	DBLP DOI BibTeX RDF
25	Claudine Chaouiya, Hanna Klaudel, Franck Pommereau	A Modular, Qualitative Modeling of Regulatory Networks Using Petri Nets.	Modeling in Systems Biology, The Petri Net Approach	2016	DBLP DOI BibTeX RDF
25	Stefan Schuster, Björn H. Junker	Topological Analysis of Metabolic and Regulatory Networks.	Modeling in Systems Biology, The Petri Net Approach	2016	DBLP DOI BibTeX RDF
25	Chiara Bodei, Gian-Luigi Ferrari 0002, Corrado Priami (eds.)	Programming Languages with Applications to Biology and Security - Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday	Programming Languages with Applications to Biology and Security	2015	DBLP DOI BibTeX RDF
25	Vicky S. Kalogeiton, Dim P. Papadopoulos, Ioannis P. Georgilas, Georgios Ch. Sirakoulis, Andrew Adamatzky	Biomimicry of Crowd Evacuation with a Slime Mould Cellular Automaton Model.	Computational Intelligence, Medicine and Biology - Selected Links	2015	DBLP DOI BibTeX RDF
25	Jeff Dale Jones	Towards Lateral Inhibition and Collective Perception in Unorganised Non-neural Systems.	Computational Intelligence, Medicine and Biology - Selected Links	2015	DBLP DOI BibTeX RDF
25	Zbigniew Omiotek, Andrzej Burda, Waldemar Wójcik	Application of Selected Classification Methods for Detection of Hashimoto's Thyroiditis on the Basis of Ultrasound Images.	Computational Intelligence, Medicine and Biology - Selected Links	2015	DBLP DOI BibTeX RDF
25	Tadeusz Nawarycz, Krzysztof Pytel, Wojciech Drygas, Maciej Gazicki-Lipman, Lidia Ostrowska-Nawarycz	A Fuzzy Logic Approach to Measure of Weight Status and Central Fatness in Adults and Adolescents.	Computational Intelligence, Medicine and Biology - Selected Links	2015	DBLP DOI BibTeX RDF
25	Andrew Schumann, Ludmila Akimova	Process Calculus and Illocutionary Logic for Analyzing the Behavior of Schistosomatidae (Trematoda: Digenea).	Computational Intelligence, Medicine and Biology - Selected Links	2015	DBLP DOI BibTeX RDF
25	Ella Gale, Attya Iqbal, Jeffrey Davey, Deborah Gater	Neural Net to Neuronal Network Memristor Interconnects.	Computational Intelligence, Medicine and Biology - Selected Links	2015	DBLP DOI BibTeX RDF
25	Elena Zaitseva, Miroslav Kvassay, Vitaly G. Levashenko, Jozef Kostolny, Krzysztof Pancerz	Estimation of a Healthcare System Based on the Importance Analysis.	Computational Intelligence, Medicine and Biology - Selected Links	2015	DBLP DOI BibTeX RDF
25	Jaroslav Majerník	Reconstruction of Human Motion Trajectories to Support Human Gait Analysis in Free Moving Subjects.	Computational Intelligence, Medicine and Biology - Selected Links	2015	DBLP DOI BibTeX RDF
25	Martín Abadi, Mike Burrows, Himabindu Pucha, Adam Sadovsky, Asim Shankar, Ankur Taly	Distributed Authorization with Distributed Grammars.	Programming Languages with Applications to Biology and Security	2015	DBLP DOI BibTeX RDF
25	Paolo Baldan, Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale	Asynchronous Traces and Open Petri Nets.	Programming Languages with Applications to Biology and Security	2015	DBLP DOI BibTeX RDF
25	Rocco De Nicola, Claudio Antares Mezzina, Hugo Torres Vieira	Global Protocol Implementations via Attribute-Based Communication.	Programming Languages with Applications to Biology and Security	2015	DBLP DOI BibTeX RDF
25	Chiara Bodei, Linda Brodo, Riccardo Focardi	Static Evidences for Attack Reconstruction.	Programming Languages with Applications to Biology and Security	2015	DBLP DOI BibTeX RDF
25	Victor Malyshkin	Active Knowledge, LuNA and Literacy for Oncoming Centuries.	Programming Languages with Applications to Biology and Security	2015	DBLP DOI BibTeX RDF
25	Santiago Escobar 0001, Catherine Meadows 0001, José Meseguer 0001, Sonia Santiago	Symbolic Protocol Analysis with Disequality Constraints Modulo Equational Theories.	Programming Languages with Applications to Biology and Security	2015	DBLP DOI BibTeX RDF
25	Hanne Riis Nielson, Flemming Nielson, Ximeng Li 0001	Hoare Logic for Disjunctive Information Flow.	Programming Languages with Applications to Biology and Security	2015	DBLP DOI BibTeX RDF
25	Roberto Gorrieri	Language Representability of Finite P/T Nets.	Programming Languages with Applications to Biology and Security	2015	DBLP DOI BibTeX RDF
25	Gabriele Costa 0001	Securing Android with Local Policies.	Programming Languages with Applications to Biology and Security	2015	DBLP DOI BibTeX RDF
25	Fabrizio Luccio, Linda Pagli	Soulmate Algorithms.	Programming Languages with Applications to Biology and Security	2015	DBLP DOI BibTeX RDF
25	Chiara Bodei, Gian-Luigi Ferrari 0002, Corrado Priami	Pierpaolo Degano.	Programming Languages with Applications to Biology and Security	2015	DBLP DOI BibTeX RDF
25	Roberto Bruni, Ugo Montanari, Matteo Sammartino	Causal Trees, Finally.	Programming Languages with Applications to Biology and Security	2015	DBLP DOI BibTeX RDF
25	Davide Chiarugi, Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi	A Declarative View of Signaling Pathways.	Programming Languages with Applications to Biology and Security	2015	DBLP DOI BibTeX RDF
25	Davide Basile 0001, Letterio Galletta, Gianluca Mezzetti	Safe Adaptation Through Implicit Effect Coercion.	Programming Languages with Applications to Biology and Security	2015	DBLP DOI BibTeX RDF
25	Omar Almousa, Sebastian Mödersheim, Luca Viganò 0001	Alice and Bob: Reconciling Formal Models and Implementation.	Programming Languages with Applications to Biology and Security	2015	DBLP DOI BibTeX RDF
25	Fabio Martinelli, Ilaria Matteucci, Francesco Santini 0001	There are Two Sides to Every Question - Controller Versus Attacker.	Programming Languages with Applications to Biology and Security	2015	DBLP DOI BibTeX RDF
25	Gianluigi Zavattaro	When to Move to Transfer Nets - On the Limits of Petri Nets as Models for Process Calculi.	Programming Languages with Applications to Biology and Security	2015	DBLP DOI BibTeX RDF
25	Giancarlo Bigi, Andrea Bracciali, Giovanni Meacci, Emilio Tuosto	Validation of Decentralised Smart Contracts Through Game Theory and Formal Methods.	Programming Languages with Applications to Biology and Security	2015	DBLP DOI BibTeX RDF
25	Marco Maria Massai	Pierpaolo, a Great Friend.	Programming Languages with Applications to Biology and Security	2015	DBLP DOI BibTeX RDF
25	Joshua D. Guttman	Limited Disclosure and Locality in Graphs.	Programming Languages with Applications to Biology and Security	2015	DBLP DOI BibTeX RDF
25	Roberto Zunino, Durica Nikolic, Corrado Priami, Ozan Kahramanogullari, Tommaso Schiavinotto	ℓ: An Imperative DSL to Stochastically Simulate Biological Systems.	Programming Languages with Applications to Biology and Security	2015	DBLP DOI BibTeX RDF
25	Bent Thomsen, Kasper Søe Luckow, Lone Leth Thomsen, Thomas Bøgholm	From Safety Critical Java Programs to Timed Process Models.	Programming Languages with Applications to Biology and Security	2015	DBLP DOI BibTeX RDF
25	Massimo Bartoletti, Tiziana Cimoli, Roberto Zunino	Compliance in Behavioural Contracts: A Brief Survey.	Programming Languages with Applications to Biology and Security	2015	DBLP DOI BibTeX RDF