Search results for "pepa"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
28	Georgi Petrov Dimitrov, Pavel Petrov, Inna Dimitrova, Galina S. Panayotova, Ivan Garvanov, Olexiy Bychkov, Eugenia Kovatcheva, Pepa Petrova	Increasing the Classification Accuracy of EEG based Brain-computer Interface Signals.	ACIT	2020	DBLP DOI BibTeX RDF
28	Pepa Atanasova, Jakob Grue Simonsen, Christina Lioma, Isabelle Augenstein	A Diagnostic Study of Explainability Techniques for Text Classification.	EMNLP (1)	2020	DBLP DOI BibTeX RDF
28	Pepa Atanasova, Dustin Wright 0001, Isabelle Augenstein	Generating Label Cohesive and Well-Formed Adversarial Claims.	EMNLP (1)	2020	DBLP DOI BibTeX RDF
28	Pepa Petrova, Iva Kostadinova	An Approach for Embedding Intelligence in a System for Automatic Test Generation and a 3D Result Model.	IEEE Conf. on Intelligent Systems	2020	DBLP DOI BibTeX RDF
28	Pepa Atanasova, Jakob Grue Simonsen, Christina Lioma, Isabelle Augenstein	Generating Fact Checking Explanations.	ACL	2020	DBLP DOI BibTeX RDF
28	Pepa Atanasova, Preslav Nakov, Lluís Màrquez, Alberto Barrón-Cedeño, Georgi Karadzhov, Tsvetomila Mihaylova, Mitra Mohtarami, James R. Glass	Automatic Fact-Checking Using Context and Discourse Information.	ACM J. Data Inf. Qual.	2019	DBLP DOI BibTeX RDF
28	Lucio Ciabattoni, Gabriele Foresi, Andrea Monteriù, Lucia Pepa, Daniele Proietti Pagnotta, Luca Spalazzi, Federica Verdini	Real time indoor localization integrating a model based pedestrian dead reckoning on smartphone and BLE beacons.	J. Ambient Intell. Humaniz. Comput.	2019	DBLP DOI BibTeX RDF
28	Sandra Benítez-Peña, Rafael Blanquero, Emilio Carrizosa, Pepa Ramírez-Cobo	Cost-sensitive Feature Selection for Support Vector Machines.	Comput. Oper. Res.	2019	DBLP DOI BibTeX RDF
28	Sandra Benítez-Peña, Rafael Blanquero, Emilio Carrizosa, Pepa Ramírez-Cobo	On support vector machines under a multiple-cost scenario.	Adv. Data Anal. Classif.	2019	DBLP DOI BibTeX RDF
28	Pepa Atanasova, Georgi Karadzhov, Yasen Kiprov, Preslav Nakov, Fabrizio Sebastiani 0001	Evaluating Variable-Length Multiple-Option Lists in Chatbots and Mobile Search.	CoRR	2019	DBLP BibTeX RDF
28	Slavena Vasileva, Pepa Atanasova, Lluís Màrquez, Alberto Barrón-Cedeño, Preslav Nakov	It Takes Nine to Smell a Rat: Neural Multi-Task Learning for Check-Worthiness Prediction.	CoRR	2019	DBLP BibTeX RDF
28	Pepa Atanasova, Preslav Nakov, Lluís Màrquez, Alberto Barrón-Cedeño, Georgi Karadzhov, Tsvetomila Mihaylova, Mitra Mohtarami, James R. Glass	Automatic Fact-Checking Using Context and Discourse Information.	CoRR	2019	DBLP BibTeX RDF
28	Tsvetomila Mihaylova, Georgi Karadjov, Pepa Atanasova, Ramy Baly, Mitra Mohtarami, Preslav Nakov	SemEval-2019 Task 8: Fact Checking in Community Question Answering Forums.	CoRR	2019	DBLP BibTeX RDF
28	Pepa Gencheva, Ivan Koychev, Lluís Màrquez, Alberto Barrón-Cedeño, Preslav Nakov	A Context-Aware Approach for Detecting Check-Worthy Claims in Political Debates.	CoRR	2019	DBLP BibTeX RDF
28	Luna De Bruyne, Pepa Atanasova, Isabelle Augenstein	Joint Emotion Label Space Modelling for Affect Lexica.	CoRR	2019	DBLP BibTeX RDF
28	Yoel G. Yera, Rosa E. Lillo, Pepa Ramírez-Cobo	Fitting procedure for the two-state Batch Markov modulated Poisson process.	Eur. J. Oper. Res.	2019	DBLP DOI BibTeX RDF
28	Tsvetomila Mihaylova, Georgi Karadzhov, Pepa Atanasova, Ramy Baly, Mitra Mohtarami, Preslav Nakov	SemEval-2019 Task 8: Fact Checking in Community Question Answering Forums.	SemEval@NAACL-HLT	2019	DBLP DOI BibTeX RDF
28	Slavena Vasileva, Pepa Atanasova, Lluís Màrquez, Alberto Barrón-Cedeño, Preslav Nakov	It Takes Nine to Smell a Rat: Neural Multi-Task Learning for Check-Worthiness Prediction.	RANLP	2019	DBLP DOI BibTeX RDF
28	Marianna Capecci, Lucio Ciabattoni, Gabriele Foresi, Andrea Monteriù, Lucia Pepa	A Machine-Learning Based Emotion Recognition System in Patients with Parkinson's Disease.	ICCE-Berlin	2019	DBLP DOI BibTeX RDF
28	Tamer Elsayed, Preslav Nakov, Alberto Barrón-Cedeño, Maram Hasanain, Reem Suwaileh, Giovanni Da San Martino, Pepa Atanasova	Overview of the CLEF-2019 CheckThat! Lab: Automatic Identification and Verification of Claims.	CLEF	2019	DBLP DOI BibTeX RDF
28	Pepa Atanasova, Preslav Nakov, Georgi Karadzhov, Mitra Mohtarami, Giovanni Da San Martino	Overview of the CLEF-2019 CheckThat! Lab: Automatic Identification and Verification of Claims. Task 1: Check-Worthiness.	CLEF (Working Notes)	2019	DBLP BibTeX RDF
28	Tamer Elsayed, Preslav Nakov, Alberto Barrón-Cedeño, Maram Hasanain, Reem Suwaileh, Giovanni Da San Martino, Pepa Atanasova	CheckThat! at CLEF 2019: Automatic Identification and Verification of Claims.	ECIR (2)	2019	DBLP DOI BibTeX RDF
28	Pepa Atanasova, Georgi Karadzhov, Yasen Kiprov, Preslav Nakov, Fabrizio Sebastiani 0001	Evaluating Variable-Length Multiple-Option Lists in Chatbots and Mobile Search.	SIGIR	2019	DBLP DOI BibTeX RDF
28	Lucia Pepa, Marianna Capecci, Maria Gabriella Ceravolo	Smartwatch based emotion recognition in Parkinson's disease.	ISCT	2019	DBLP DOI BibTeX RDF
28	Giulia Belgiovine, Marianna Capecci, Lucio Ciabattoni, Maria Chiara Fiorentino, Gabriele Foresi, Andrea Monteriù, Lucia Pepa	Design and Implementation of a Real-Time Upper Limbs Dyskinesia Detection System.	ICCE	2019	DBLP DOI BibTeX RDF
28	Beatriz Millán, Eliana Pepa Risma	Random path to stability in a decentralized market with contracts.	Soc. Choice Welf.	2018	DBLP DOI BibTeX RDF
28	Beatriz Millán, Eliana Pepa Risma	On the contracts between doctors and rural hospitals.	Oper. Res. Lett.	2018	DBLP DOI BibTeX RDF
28	Israa Jaradat, Pepa Gencheva, Alberto Barrón-Cedeño, Lluís Màrquez, Preslav Nakov	ClaimRank: Detecting Check-Worthy Claims in Arabic and English.	CoRR	2018	DBLP BibTeX RDF
28	Pepa Atanasova, Alberto Barrón-Cedeño, Tamer Elsayed, Reem Suwaileh, Wajdi Zaghouani, Spas Kyuchukov, Giovanni Da San Martino, Preslav Nakov	Overview of the CLEF-2018 CheckThat! Lab on Automatic Identification and Verification of Political Claims. Task 1: Check-Worthiness.	CoRR	2018	DBLP BibTeX RDF
28	Georgi Karadzhov, Pepa Gencheva, Preslav Nakov, Ivan Koychev	We Built a Fake News & Click-bait Filter: What Happened Next Will Blow Your Mind!	CoRR	2018	DBLP BibTeX RDF
28	Javier Sanz-Cruzado, Sofía M. Pepa, Pablo Castells	Recommending Contacts in Social Networks Using Information Retrieval Models.	CERI	2018	DBLP DOI BibTeX RDF
28	Javier Sanz-Cruzado, Sofía M. Pepa, Pablo Castells	Structural Novelty and Diversity in Link Prediction.	WWW (Companion Volume)	2018	DBLP DOI BibTeX RDF
28	Israa Jaradat, Pepa Gencheva, Alberto Barrón-Cedeño, Lluís Màrquez, Preslav Nakov	ClaimRank: Detecting Check-Worthy Claims in Arabic and English.	NAACL-HLT (Demonstrations)	2018	DBLP DOI BibTeX RDF
28	Preslav Nakov, Alberto Barrón-Cedeño, Tamer Elsayed, Reem Suwaileh, Lluís Màrquez, Wajdi Zaghouani, Pepa Atanasova, Spas Kyuchukov, Giovanni Da San Martino	Overview of the CLEF-2018 CheckThat! Lab on Automatic Identification and Verification of Political Claims.	CLEF	2018	DBLP DOI BibTeX RDF
28	Pepa Atanasova, Lluís Màrquez, Alberto Barrón-Cedeño, Tamer Elsayed, Reem Suwaileh, Wajdi Zaghouani, Spas Kyuchukov, Giovanni Da San Martino, Preslav Nakov	Overview of the CLEF-2018 CheckThat! Lab on Automatic Identification and Verification of Political Claims. Task 1: Check-Worthiness.	CLEF (Working Notes)	2018	DBLP BibTeX RDF
28	Alberto Barrón-Cedeño, Tamer Elsayed, Reem Suwaileh, Lluís Màrquez, Pepa Atanasova, Wajdi Zaghouani, Spas Kyuchukov, Giovanni Da San Martino, Preslav Nakov	Overview of the CLEF-2018 CheckThat! Lab on Automatic Identification and Verification of Political Claims. Task 2: Factuality.	CLEF (Working Notes)	2018	DBLP BibTeX RDF
28	Pepa Petrova, Vladimir Jotsov, Vassil Sgurev	Puzzle Methods for Automatic Selection of Data Cleansing Techniques.	IEEE Conf. on Intelligent Systems	2018	DBLP DOI BibTeX RDF
28	Susanna Spinsante, Matteo Pepa, Stefano Pirani, Ennio Gambi, Francesco Fioranelli	Micro Doppler Radar and Depth Sensor Fusion for Human Activity Monitoring in AAL.	Sensors	2018	DBLP DOI BibTeX RDF
28	Giulia Belgiovine, Marianna Capecci, Lucio Ciabattoni, Maria Chiara Fiorentino, Gabriele Foresi, Andrea Monteriù, Lucia Pepa	Upper and Lower Limbs Dyskinesia Detection for Patients with Parkinson's Disease.	GCCE	2018	DBLP DOI BibTeX RDF
28	Georgi Karadzhov, Pepa Gencheva, Preslav Nakov, Ivan Koychev	We Built a Fake News / Click Bait Filter: What Happened Next Will Blow Your Mind!	RANLP	2017	DBLP DOI BibTeX RDF
28	Pepa Gencheva, Preslav Nakov, Lluís Màrquez, Alberto Barrón-Cedeño, Ivan Koychev	A Context-Aware Approach for Detecting Worth-Checking Claims in Political Debates.	RANLP	2017	DBLP DOI BibTeX RDF
28	Yasen Kiprov, Pepa Gencheva, Ivan Koychev	Generating Labeled Datasets of Twitter Users.	UMAP (Adjunct Publication)	2017	DBLP DOI BibTeX RDF
28	Lucia Pepa, Marianna Capecci, Lucio Ciabattoni, Luca Spalazzi, Maria Gabriella Ceravolo	A real-time Fuzzy Logic algorithm for freezing of gait management on a smartphone.	ICCE-Berlin	2017	DBLP DOI BibTeX RDF
28	Haobo Li, Aman Shrestha, Francesco Fioranelli, Julien Le Kernec, Hadi Heidari, Matteo Pepa, Enea Cippitelli, Ennio Gambi, Susanna Spinsante	Multisensor data fusion for human activities classification and fall detection.	IEEE SENSORS	2017	DBLP DOI BibTeX RDF
28	Lucio Ciabattoni, Francesco Ferracuti, Sauro Longhi, Lucia Pepa, Luca Romeo, Federica Verdini	Multimedia experience enhancement through affective computing.	ICCE	2017	DBLP DOI BibTeX RDF
28	Lucio Ciabattoni, Francesco Ferracuti, Sauro Longhi, Lucia Pepa, Luca Romeo, Federica Verdini	Real-time mental stress detection based on smartwatch.	ICCE	2017	DBLP DOI BibTeX RDF
28	Lucio Ciabattoni, Alessandro Freddi, Sauro Longhi, Andrea Monteriù, Lucia Pepa, Mariorosario Prist	An Open and Modular Hardware Node for Wireless Sensor and Body Area Networks.	J. Sensors	2016	DBLP DOI BibTeX RDF
28	Emilio Carrizosa, Alba V. Olivares-Nadal, Pepa Ramírez-Cobo	Robust newsvendor problem with autoregressive demand.	Comput. Oper. Res.	2016	DBLP DOI BibTeX RDF
28	Joanna Rodríguez, Rosa E. Lillo, Pepa Ramírez-Cobo	Dependence patterns for modeling simultaneous events.	Reliab. Eng. Syst. Saf.	2016	DBLP DOI BibTeX RDF
28	Joanna Rodríguez, Rosa E. Lillo, Pepa Ramírez-Cobo	Analytical issues regarding the lack of identifiability of the non-stationary MAP2.	Perform. Evaluation	2016	DBLP DOI BibTeX RDF
28	Tsvetomila Mihaylova, Pepa Gencheva, Martin Boyanov, Ivana Yovcheva, Todor Mihaylov, Momchil Hardalov, Yasen Kiprov, Daniel Balchev, Ivan Koychev, Preslav Nakov, Ivelina Nikolova, Galia Angelova	SUper Team at SemEval-2016 Task 3: Building a Feature-Rich System for Community Question Answering.	SemEval@NAACL-HLT	2016	DBLP DOI BibTeX RDF
28	Lucio Ciabattoni, Francesco Ferracuti, Alessandro Freddi, Gianluca Ippoliti, Sauro Longhi, Andrea Monteriù, Lucia Pepa	Human Indoor Localization for AAL Applications: An RSSI Based Approach.	ForItAAL	2016	DBLP DOI BibTeX RDF
28	Pepa Gencheva, Martin Boyanov, Elena Deneva, Preslav Nakov, Georgi Georgiev, Yasen Kiprov, Ivan Koychev	PANcakes Team: A Composite System of Domain-Agnostic Features For Author Profiling.	CLEF (Working Notes)	2016	DBLP BibTeX RDF
28	Vladimir Simov Jotsov, Pepa Petrova, Evtim Iliev	Puzzle methods for data science applications.	IEEE Conf. on Intelligent Systems	2016	DBLP DOI BibTeX RDF
28	Lucia Pepa, Giacomo Marangoni, Matteo Di Nicola, Lucio Ciabattoni, Federica Verdini, Luca Spalazzi, Sauro Longhi	Real time step length estimation on smartphone.	ICCE	2016	DBLP DOI BibTeX RDF
28	Joanna Rodríguez, Rosa E. Lillo, Pepa Ramírez-Cobo	Failure modeling of an electrical N-component framework by the non-stationary Markovian arrival process.	Reliab. Eng. Syst. Saf.	2015	DBLP DOI BibTeX RDF
28	Eliana Pepa Risma	Binary operations and lattice structure for a model of matching with contracts.	Math. Soc. Sci.	2015	DBLP DOI BibTeX RDF
28	Lucia Pepa, Federica Verdini, Luca Spalazzi	Experimental evaluation of a smartphone based Step Length estimation.	EMBC	2015	DBLP DOI BibTeX RDF
28	Lucia Pepa, Marianna Capecci, Federica Verdini, M. Gabriella Ceravolo, Luca Spalazzi	An architecture to manage motor disorders in Parkinson's disease.	WF-IoT	2015	DBLP DOI BibTeX RDF
28	Lucia Pepa, Federica Verdini, Marianna Capecci, M. Gabriella Ceravolo	Smartphone based freezing of gait detection for Parkinsonian patients.	ICCE	2015	DBLP DOI BibTeX RDF
28	Emilio Carrizosa, Jelena Jockovic, Pepa Ramírez-Cobo	A global optimisation approach for parameter estimation of a mixture of double Pareto lognormal and lognormal distributions.	Comput. Oper. Res.	2014	DBLP DOI BibTeX RDF
28	Lucia Pepa, Lucio Ciabattoni, Federica Verdini, Marianna Capecci, M. Gabriella Ceravolo	Smartphone based Fuzzy Logic freezing of gait detection in Parkinson's Disease.	MESA	2014	DBLP DOI BibTeX RDF
28	Lucia Pepa, Marco Rossini, Luca Spalazzi, Federica Verdini	Step Length Estimation for Freezing of Gait Monitoring in Parkinsonian Patients.	mBiDA	2014	DBLP DOI BibTeX RDF
28	Pepa Ramírez-Cobo, Brani Vidakovic	A 2D wavelet-based multiscale approach with applications to the analysis of digital mammograms.	Comput. Stat. Data Anal.	2013	DBLP DOI BibTeX RDF
28	Emilio Carrizosa, Alba V. Olivares-Nadal, Pepa Ramírez-Cobo	Time series interpolation via global optimization of moments fitting.	Eur. J. Oper. Res.	2013	DBLP DOI BibTeX RDF
28	Pepa Ramírez-Cobo, Emilio Carrizosa	A Note on the Dependence Structure of the Two-State Markovian Arrival Process.	J. Appl. Probab.	2012	DBLP DOI BibTeX RDF
28	Patrick Flandrin, Cédric Richard, Pierre-Olivier Amblard, Pierre Borgnat, Paul Honeine, Hassan Amoud, André Ferrari, Jun Xiao 0002, Azadeh Moghtaderi, Pepa Ramírez-Cobo	Stationnarité relative et approches connexes.	Traitement du Signal	2011	DBLP DOI BibTeX RDF
28	Orietta Nicolis, Pepa Ramírez-Cobo, Brani Vidakovic	2D wavelet-based spectra with applications.	Comput. Stat. Data Anal.	2011	DBLP DOI BibTeX RDF
28	Erin K. Hamilton, Seonghye Jeon, Pepa Ramírez-Cobo, Kichun Sky Lee, Brani Vidakovic	Diagnostic Classification of Digital Mammograms by Wavelet-Based Spectral Tools: A Comparative Study.	BIBM	2011	DBLP DOI BibTeX RDF
28	Pepa Ramírez-Cobo, Rosa E. Lillo, Michael P. Wiper	Bayesian Analysis of a Queueing System with a Long-Tailed Arrival Process.	Commun. Stat. Simul. Comput.	2008	DBLP DOI BibTeX RDF
28	Caroline Pepa, Naseem Mariam, Kevin C. Desouza	Book Shelf.	IEEE Softw.	2007	DBLP DOI BibTeX RDF	runaway projects, IT, requirements, outsourcing, stakeholders, offshoring
28	Diomidis Spinellis, Naseem Mariam, Caroline Pepa	Bookshelf.	IEEE Softw.	2007	DBLP DOI BibTeX RDF	software engineering, measurement, software development, traceability, code, coding, process improvement, software specifications, CMMI, call graphs, acquisition
28	Jih-Sheng Lai 0001, Xudong Huang, Elton Pepa, Shaotang Chen, Thomas W. Nehl	Inverter EMI modeling and simulation methodologies.	IEEE Trans. Ind. Electron.	2006	DBLP DOI BibTeX RDF
27	Daniel D. Deavours, Graham Clark, Tod Courtney, David Daly, Salem Derisavi, Jay M. Doyle, William H. Sanders, Patrick G. Webster	The Möbius Framework and Its Implementation.	IEEE Trans. Software Eng.	2002	DBLP DOI BibTeX RDF	PEPA, execution policy, Markov models, Stochastic models, stochastic Petri nets, modeling tools, modeling frameworks, modeling formalisms
22	Cong Zhao, Nan Guo, Tianhan Gao, Xinyang Deng, Jiayu Qi	PEPA: Paillier cryptosystem-based efficient privacy-preserving authentication scheme for VANETs.	J. Syst. Archit.	2023	DBLP DOI BibTeX RDF
22	Qilin Si, Benjamin Carrión Schäfer	PEPA: Performance Enhancement of Embedded Processors through HW Accelerator Resource Sharing.	ACM Great Lakes Symposium on VLSI	2023	DBLP DOI BibTeX RDF
22	William S. Sanders, Srishti Srivastava, Ioana Banicescu	Performance Modeling of Scalable Resource Allocations with the Imperial PEPA Compiler.	ISPDC	2022	DBLP DOI BibTeX RDF
22	Ohud Almutairi, Nigel Thomas	Modelling a Fair-Exchange Protocol in the Presence of Misbehaviour Using PEPA.	EPEW	2021	DBLP DOI BibTeX RDF
22	Ralf Plattfaut, Julian Koch, Michael Trampler, André Coners	PEPA: Entwicklung eines Scoring-Modells zur Priorisierung von Prozessen für eine Automatisierung.	HMD Prax. Wirtsch.	2020	DBLP DOI BibTeX RDF
22	William S. Sanders, Srishti Srivastava, Ioana Banicescu	Robustness Analysis of Scaled Resource Allocation Models Using the Imperial PEPA Compiler.	ISPDC	2020	DBLP DOI BibTeX RDF
22	Srishti Srivastava, Ioana Banicescu, William S. Sanders	Addressing the Robustness of Resource Allocation in the Presence of Application and System Irregularities via PEPA Based Modeling.	ICCS (2)	2020	DBLP DOI BibTeX RDF
22	Zhong-Nan Zhao, Jian Wang 0039, Hong-Wei Guo	Analysis of vulnerability propagation for the all-optical network based on Bio-PEPA.	Wirel. Networks	2019	DBLP DOI BibTeX RDF
22	Wei Chen 0083, Leïla Kloul	Stochastic Modelling of Autonomous Vehicles Driving Scenarios Using PEPA.	IMBSA	2019	DBLP DOI BibTeX RDF
22	Srishti Srivastava, Ioana Banicescu	PEPA Based Performance Modeling for Robust Resource Allocations Amid Varying Processor Availability.	ISPDC	2018	DBLP DOI BibTeX RDF
22	Diego Madariaga, Gabriela Mendoza	PePa Ping: Android Tool to Take and Predict Periodic Passive Ping Measurements.	SSN	2018	DBLP BibTeX RDF
22	Nurit Kirshenbaum, Scott P. Robertson	PEPA Deck: Bringing Interactivity to Playing Cards.	CHI PLAY (Companion)	2018	DBLP DOI BibTeX RDF
22	Dalila Hamami, Baghdad Atmani, Carron Shankland	Decision Support based on Bio-PEPA Modeling and Decision Tree Induction: A New Approach, Applied to a Tuberculosis Case Study.	Int. J. Inf. Syst. Serv. Sect.	2017	DBLP DOI BibTeX RDF
22	Xiaoyue Wu, Jane Hillston, Cheng Feng 0004	Availability Modeling of Generalized k-Out-of-n: G Warm Standby Systems With PEPA.	IEEE Trans. Syst. Man Cybern. Syst.	2017	DBLP DOI BibTeX RDF
22	Xiao Chen 0003, Liangmin Wang 0001	Exploring Fog Computing-Based Adaptive Vehicular Data Scheduling Policies Through a Compositional Formal Method - PEPA.	IEEE Commun. Lett.	2017	DBLP DOI BibTeX RDF
22	Said Naser Said Kamil, Nigel Thomas	Modelling and Analysis of Commit Protocols with PEPA.	EPEW	2017	DBLP DOI BibTeX RDF
22	Mohammed Alotaibi, Nigel Thomas	Performance Evaluation of a Secure and Scalable E-Voting Scheme Using PEPA.	InfQ@VALUETOOLS	2017	DBLP DOI BibTeX RDF
22	Ali Alssaiari, Ray Adderley Jm Gining, Nigel Thomas	Modelling Energy Efficient Server Management Policies in PEPA.	ICPE Companion	2017	DBLP DOI BibTeX RDF
22	Choman Othman Abdullah, Nigel Thomas	A PEPA Model of IEEE 802.11b/g with Hidden Nodes.	EPEW	2016	DBLP DOI BibTeX RDF
22	Stephen Gilmore, Jane Hillston, Natalia Zon	Abstract Interpretation of PEPA Models.	Semantics, Logics, and Calculi	2016	DBLP DOI BibTeX RDF
22	Dalila Hamami, Baghdad Atmani	Obtaining Optimal Bio-PEPA Model Using Association Rules: Approach Applied to Tuberculosis Case Study.	ISCRAM-med	2016	DBLP DOI BibTeX RDF
22	Dimitrios Milios, Stephen Gilmore	Component aggregation for PEPA models: An approach based on approximate strong equivalence.	Perform. Evaluation	2015	DBLP DOI BibTeX RDF
22	Anil Kumar Singh, Surinder Kaur	Analysis of Emergency Evacuation of Building Using PEPA.	ICDCIT	2015	DBLP DOI BibTeX RDF
22	Roxana Dorina Moldovan, Eneia Nicolae Todoran	Immune system modeling and analysis using Bio-PEPA.	ICCP	2015	DBLP DOI BibTeX RDF
22	Vashti Galpin	Hybrid semantics for Bio-PEPA.	Inf. Comput.	2014	DBLP DOI BibTeX RDF
22	Christopher D. Williams, Jane Hillston	Automated Capacity Planning for PEPA Models.	EPEW	2014	DBLP DOI BibTeX RDF