Publications

2016

  • Wil M. P. van der Aalst, Robin Bergenthum, and Josep Carmona, editors. Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2016 Satellite event of the conferences: 37th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2016 and 16th International Conference on Application of Concurrency to System Design ACSD 2016, Torun, Poland, June 20-21, 2016, volume 1592 of CEUR Workshop Proceedings, CEUR-WS.org, 2016. URL: http://ceur-ws.org/Vol-1592.
    Bibtex ]

  • Thomas Chatain and Josep Carmona. Anti-alignments in conformance checking - the dark side of process models. In Application and Theory of Petri Nets and Concurrency - 37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedings, 240–258. 2016. doi:10.1007/978-3-319-39086-4_15.
    Bibtex ]

  • Julius Holderer, Josep Carmona, and Günter Müller. Security-sensitive tackling of obstructed workow executions. In Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2016 Satellite event of the conferences: 37th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2016 and 16th International Conference on Application of Concurrency to System Design ACSD 2016, Torun, Poland, June 20-21, 2016., 126–137. 2016.
    Bibtex ] [ PDF ]

  • María Teresa Gómez López, Diana Borrego, Josep Carmona, and Rafael M. Gasca. Computing alignments with constraint programming: the acyclic case. In Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2016 Satellite event of the conferences: 37th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2016 and 16th International Conference on Application of Concurrency to System Design ACSD 2016, Torun, Poland, June 20-21, 2016., 96–110. 2016.
    Bibtex ] [ PDF ]

  • Andrey Mokhov, Josep Carmona, and Jonathan Beaumont. Mining conditional partial order graphs from event logs. T. Petri Nets and Other Models of Concurrency, 11:114–136, 2016. URL: http://dx.doi.org/10.1007/978-3-662-53401-4_6, doi:10.1007/978-3-662-53401-4_6.
    Bibtex ]

  • Joel Ribeiro and Josep Carmona. A method for assessing parameter impact on control-flow discovery algorithms. T. Petri Nets and Other Models of Concurrency, 11:181–202, 2016. URL: http://dx.doi.org/10.1007/978-3-662-53401-4_9, doi:10.1007/978-3-662-53401-4_9.
    Bibtex ]

  • Timo Sztyler, Josep Carmona, Johanna Völker, and Heiner Stuckenschmidt. Self-tracking reloaded: applying process mining to personalized health care from labeled sensor data. T. Petri Nets and Other Models of Concurrency, 11:160–180, 2016. URL: http://dx.doi.org/10.1007/978-3-662-53401-4_8, doi:10.1007/978-3-662-53401-4_8.
    Bibtex ]

  • Farbod Taymouri and Josep Carmona. A recursive paradigm for aligning observed behavior of large structured process models. In Business Process Management - 14th International Conference, BPM 2016, Rio de Janeiro, Brazil, September 18 - September 22, 2016, Proceedings. 2016.
    Bibtex ]

  • Maurice H. ter Beek, Josep Carmona, and Jetty Kleijn. Conditions for compatibility of components. the case of masters and slaves. In International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISOLA), Corfu, Greece, October 5 – October 14, 2016, Proceedings. 2016.
    Bibtex ]

  • Boudewijn F. van Dongen, Josep Carmona, and Thomas Chatain. A unified approach for measuring precision and generalization based on anti-alignments. In Business Process Management - 14th International Conference, BPM 2016, Rio de Janeiro, Brazil, September 18 - September 22, 2016, Proceedings. 2016.
    Bibtex ]

2015

  • Wil M. P. van der Aalst, Robin Bergenthum, and Josep Carmona, editors. Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data, ATAED 2015, Satellite event of the conferences: 36th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2015 and 15th International Conference on Application of Concurrency to System Design ACSD 2015, Brussels, Belgium, June 22-23, 2015, volume 1371 of CEUR Workshop Proceedings, CEUR-WS.org, 2015. URL: http://ceur-ws.org/Vol-1371.
    Bibtex ]

  • Arya Adriansyah, Jorge Munoz-Gama, Josep Carmona, Boudewijn F. van Dongen, and Wil M. P. van der Aalst. Measuring precision of modeled behavior. Inf. Syst. E-Business Management, 13(1):37–67, 2015. doi:10.1007/s10257-014-0234-7.
    Bibtex ]

  • Javier de San Pedro, Josep Carmona, and Jordi Cortadella. Log-based simplification of process models. In Business Process Management - 13th International Conference, BPM 2015, Innsbruck, Austria, August 31 - September 3, 2015, Proceedings, 457–474. 2015. doi:10.1007/978-3-319-23063-4_30.
    Bibtex ]

  • Andrey Mokhov and Josep Carmona. Event log visualisation with conditional partial order graphs: from control flow to data. In Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data, ATAED 2015, Satellite event of the conferences: 36th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2015 and 15th International Conference on Application of Concurrency to System Design ACSD 2015, Brussels, Belgium, June 22-23, 2015., 16–30. 2015. URL: http://ceur-ws.org/Vol-1371/paper02.pdf.
    Bibtex ]

  • Joel Ribeiro and Josep Carmona. A method for assessing parameter impact on control-flow discovery algorithms. In Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data, ATAED 2015, Satellite event of the conferences: 36th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2015 and 15th International Conference on Application of Concurrency to System Design ACSD 2015, Brussels, Belgium, June 22-23, 2015., 83–96. 2015. URL: http://ceur-ws.org/Vol-1371/paper07.pdf.
    Bibtex ]

  • Timo Sztyler, Johanna Völker, Josep Carmona, Oliver Meier, and Heiner Stuckenschmidt. Discovery of personal processes from labeled sensor data - an application of process mining to personalized health care. In Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data, ATAED 2015, Satellite event of the conferences: 36th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2015 and 15th International Conference on Application of Concurrency to System Design ACSD 2015, Brussels, Belgium, June 22-23, 2015., 31–46. 2015. URL: http://ceur-ws.org/Vol-1371/paper03.pdf.
    Bibtex ]

  • Maurice H. ter Beek, Josep Carmona, and Jetty Kleijn. Communication and compatibility in systems of systems: correctness-by-construction. ERCIM News, 2015. URL: http://ercim-news.ercim.eu/en102/special/communication-and-compatibility-in-systems-of-systems-correctness-by-construction.
    Bibtex ]

  • Hernán Ponce de León, Josep Carmona, and Seppe K. L. M. vanden Broucke. Incorporating negative information in process discovery. In Business Process Management - 13th International Conference, BPM 2015, Innsbruck, Austria, August 31 - September 3, 2015, Proceedings, 126–143. 2015. doi:10.1007/978-3-319-23063-4_8.
    Bibtex ]

  • Hernán Ponce de León, César Rodríguez, and Josep Carmona. POD - A tool for process discovery using partial orders and independence information. In Proceedings of the BPM Demo Session 2015 Co-located with the 13th International Conference on Business Process Management (BPM 2015), Innsbruck, Austria, September 2, 2015., 100–104. 2015. URL: http://ceur-ws.org/Vol-1418/paper21.pdf.
    Bibtex ]

  • Hernán Ponce de León, César Rodríguez, Josep Carmona, Keijo Heljanko, and Stefan Haar. Unfolding-based process discovery. CoRR, 2015. URL: http://arxiv.org/abs/1507.02744.
    Bibtex ]

2014

  • Josep Carmona and Jordi Cortadella. Process discovery algorithms using numerical abstract domains. IEEE Trans. Knowl. Data Eng., 26(12):3064–3076, 2014. doi:10.1109/TKDE.2013.156.
    Bibtex ]

  • Josep Carmona, Mihai Teodor Lazarescu, and Marta Pietkiewicz-Koutny. Introduction to special issue on application of concurrency to system design (acsd'13). ACM Trans. Embedded Comput. Syst., 13(4s):140:1–140:2, 2014. doi:10.1145/2627347.
    Bibtex ]

  • Josep Carmona and Marc Solé. PMLAB: an scripting environment for process mining. In Proceedings of the BPM Demo Sessions 2014 Co-located with the 12th International Conference on Business Process Management (BPM 2014), Eindhoven, The Netherlands, September 10, 2014., 16. 2014. URL: http://ceur-ws.org/Vol-1295/paper4.pdf.
    Bibtex ]

  • Massimiliano de Leoni, Jorge Munoz-Gama, Josep Carmona, and Wil M. P. van der Aalst. Decomposing alignment-based conformance checking of data-aware process models. In On the Move to Meaningful Internet Systems: OTM 2014 Conferences - Confederated International Conferences: CoopIS, and ODBASE 2014, Amantea, Italy, October 27-31, 2014, Proceedings, 3–20. 2014. doi:10.1007/978-3-662-45563-0_1.
    Bibtex ]

  • Jorge Munoz-Gama, Josep Carmona, and Wil M. P. van der Aalst. Single-entry single-exit decomposed conformance checking. Inf. Syst., 46:102–122, 2014. doi:10.1016/j.is.2014.04.003.
    Bibtex ]

  • Joel Ribeiro and Josep Carmona. RS4PD: A tool for recommending control-flow algorithms. In Proceedings of the BPM Demo Sessions 2014 Co-located with the 12th International Conference on Business Process Management (BPM 2014), Eindhoven, The Netherlands, September 10, 2014., 66. 2014. URL: http://ceur-ws.org/Vol-1295/paper14.pdf.
    Bibtex ]

  • Joel Ribeiro, Josep Carmona, Mustafa Misir, and Michèle Sebag. A recommender system for process discovery. In Business Process Management - 12th International Conference, BPM 2014, Haifa, Israel, September 7-11, 2014. Proceedings, 67–83. 2014. doi:10.1007/978-3-319-10172-9_5.
    Bibtex ]

  • Vasiliki Sfyrla, Josep Carmona, and Pascal Henck. Process-oriented analysis for medical devices. In 5th Workshop on Medical Cyber-Physical Systems, MCPS 2014, Berlin, Germany, April 14, 2014, 143–146. 2014. URL: http://dx.doi.org/10.4230/OASIcs.MCPS.2014.143, doi:10.4230/OASIcs.MCPS.2014.143.
    Bibtex ]

  • Seppe K. L. M. vanden Broucke, Jorge Munoz-Gama, Josep Carmona, Bart Baesens, and Jan Vanthienen. Event-based real-time decomposed conformance analysis. In On the Move to Meaningful Internet Systems: OTM 2014 Conferences - Confederated International Conferences: CoopIS, and ODBASE 2014, Amantea, Italy, October 27-31, 2014, Proceedings, 345–363. 2014. doi:10.1007/978-3-662-45563-0_20.
    Bibtex ]

2013

  • Josep Carmona, Mihai T. Lazarescu, and Marta Pietkiewicz-Koutny, editors. 13th International Conference on Application of Concurrency to System Design, ACSD 2013, Barcelona, Spain, 8-10 July, 2013, IEEE Computer Society, 2013. URL: http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6597648.
    Bibtex ]

  • Josep Carmona and Jetty Kleijn. Compatibility in a multi-component environment. Theor. Comput. Sci., 484:1–15, 2013. doi:10.1016/j.tcs.2013.03.006.
    Bibtex ]

  • Jorge Munoz-Gama, Josep Carmona, and Wil M. P. van der Aalst. Conformance checking in the large: partitioning and topology. In Business Process Management - 11th International Conference, BPM 2013, Beijing, China, August 26-30, 2013. Proceedings, 130–145. 2013. doi:10.1007/978-3-642-40176-3_11.
    Bibtex ]

  • Jorge Munoz-Gama, Josep Carmona, and Wil M. P. van der Aalst. Hierarchical conformance checking of process models based on event logs. In Application and Theory of Petri Nets and Concurrency - 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings, 291–310. 2013. doi:10.1007/978-3-642-38697-8_16.
    Bibtex ]

  • Ferdinand Peper, Jia Lee, Josep Carmona, Jordi Cortadella, and Kenichi Morita. Brownian circuits: fundamentals. JETC, 9(1):3, 2013. doi:10.1145/2422094.2422097.
    Bibtex ]

  • Marc Solé and Josep Carmona. Amending c-net discovery algorithms. In Proceedings of the 28th Annual ACM Symposium on Applied Computing, SAC '13, Coimbra, Portugal, March 18-22, 2013, 1418–1425. 2013. doi:10.1145/2480362.2480628.
    Bibtex ]

  • Marc Solé and Josep Carmona. Region-based foldings in process discovery. IEEE Trans. Knowl. Data Eng., 25(1):192–205, 2013. doi:10.1109/TKDE.2011.192.
    Bibtex ]

2012

  • Arya Adriansyah, Jorge Munoz-Gama, Josep Carmona, Boudewijn F. van Dongen, and Wil M. P. van der Aalst. Alignment based precision checking. In Business Process Management Workshops - BPM 2012 International Workshops, Tallinn, Estonia, September 3, 2012. Revised Papers, 137–149. 2012. doi:10.1007/978-3-642-36285-9_15.
    Bibtex ]

  • Josep Carmona. Projection approaches to process mining using region-based techniques. Data Min. Knowl. Discov., 24(1):218–246, 2012. doi:10.1007/s10618-011-0226-x.
    Bibtex ]

  • Josep Carmona. The label splitting problem. Trans. Petri Nets and Other Models of Concurrency, 6:1–23, 2012. doi:10.1007/978-3-642-35179-2_1.
    Bibtex ]

  • Josep Carmona and Ricard Gavaldà. Online techniques for dealing with concept drift in process mining. In Advances in Intelligent Data Analysis XI - 11th International Symposium, IDA 2012, Helsinki, Finland, October 25-27, 2012. Proceedings, 90–102. 2012. doi:10.1007/978-3-642-34156-4_10.
    Bibtex ]

  • Javier de San Pedro, Josep Carmona, Jordi Cortadella, and Jordi Petit. Integrating formal verification in an online judge for e-learning logic circuit design. In Proceedings of the 43rd ACM technical symposium on Computer science education, SIGCSE 2012, Raleigh, NC, USA, February 29 - March 3, 2012, 451–456. 2012. doi:10.1145/2157136.2157268.
    Bibtex ]

  • Nikita Nikitin, Javier de San Pedro, Josep Carmona, and Jordi Cortadella. Analytical performance modeling of hierarchical interconnect fabrics. In 2012 Sixth IEEE/ACM International Symposium on Networks-on-Chip (NoCS), Copenhagen, Denmark, 9-11 May, 2012, 107–114. 2012. doi:10.1109/NOCS.2012.20.
    Bibtex ]

  • Marc Solé and Josep Carmona. A high-level strategy for c-net discovery. In 12th International Conference on Application of Concurrency to System Design, ACSD 2012, Hamburg, Germany, June 27-29, 2012, 102–111. 2012. doi:10.1109/ACSD.2012.20.
    Bibtex ]

  • Marc Solé and Josep Carmona. An smt-based discovery algorithm for c-nets. In Application and Theory of Petri Nets - 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012. Proceedings, 51–71. 2012. doi:10.1007/978-3-642-31131-4_4.
    Bibtex ]

  • Marc Solé and Josep Carmona. Incremental process discovery. Trans. Petri Nets and Other Models of Concurrency, 5:221–242, 2012. doi:10.1007/978-3-642-29072-5_10.
    Bibtex ]

2011

  • Beno\^ıt Caillaud, Josep Carmona, and Kunihiko Hiraishi, editors. 11th International Conference on Application of Concurrency to System Design, ACSD 2011, Newcastle Upon Tyne, UK, 20-24 June, 2011, IEEE Computer Society, 2011. URL: http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5986770.
    Bibtex ]

  • Josep Carmona. The label splitting problem. In Proceedings of the Workshop Applications of Region Theory 2011, Newcastle upon Tyne, UK, June 21, 2011, 22–35. 2011. URL: http://ceur-ws.org/Vol-725/paper02.pdf.
    Bibtex ]

  • Josep Carmona, Jorge Júlvez, Jordi Cortadella, and Michael Kishinevsky. A scheduling strategy for synchronous elastic designs. Fundam. Inform., 108(1-2):1–21, 2011. doi:10.3233/FI-2011-411.
    Bibtex ]

  • Jorge Munoz-Gama and Josep Carmona. Enhancing precision in process conformance: stability, confidence and severity. In Proceedings of the IEEE Symposium on Computational Intelligence and Data Mining, CIDM 2011, part of the IEEE Symposium Series on Computational Intelligence 2011, April 11-15, 2011, Paris, France, 184–191. 2011. doi:10.1109/CIDM.2011.5949451.
    Bibtex ]

  • Marc Solé and Josep Carmona. Light region-based techniques for process discovery. Fundam. Inform., 113(3-4):343–376, 2011. doi:10.3233/FI-2011-612.
    Bibtex ]

  • Wil M. P. van der Aalst, Arya Adriansyah, Ana Karla Alves de Medeiros, Franco Arcieri, Thomas Baier, Tobias Blickle, R. P. Jagadeesh Chandra Bose, Peter van den Brand, Ronald Brandtjen, Joos C. A. M. Buijs, Andrea Burattin, Josep Carmona, Malú Castellanos, Jan Claes, Jonathan Cook, Nicola Costantini, Francisco Curbera, Ernesto Damiani, Massimiliano de Leoni, Pavlos Delias, Boudewijn F. van Dongen, Marlon Dumas, Schahram Dustdar, Dirk Fahland, Diogo R. Ferreira, Walid Gaaloul, Frank van Geffen, Sukriti Goel, Christian W. Günther, Antonella Guzzo, Paul Harmon, Arthur H. M. ter Hofstede, John Hoogland, Jon Espen Ingvaldsen, Koki Kato, Rudolf Kuhn, Akhil Kumar, Marcello La Rosa, Fabrizio Maria Maggi, Donato Malerba, R. S. Mans, Alberto Manuel, Martin McCreesh, Paola Mello, Jan Mendling, Marco Montali, Hamid R. Motahari Nezhad, Michael zur Muehlen, Jorge Munoz-Gama, Luigi Pontieri, Joel Ribeiro, Anne Rozinat, Hugo Seguel Pérez, Ricardo Seguel Pérez, Marcos Sepúlveda, Jim Sinur, Pnina Soffer, Minseok Song, Alessandro Sperduti, Giovanni Stilo, Casper Stoel, Keith D. Swenson, Maurizio Talamo, Wei Tan, Chris Turner, Jan Vanthienen, George Varvaressos, Eric Verbeek, Marc Verdonk, Roberto Vigo, Jianmin Wang, Barbara Weber, Matthias Weidlich, Ton Weijters, Lijie Wen, Michael Westergaard, and Moe Thandar Wynn. Process mining manifesto. In Business Process Management Workshops - BPM 2011 International Workshops, Clermont-Ferrand, France, August 29, 2011, Revised Selected Papers, Part I, 169–194. 2011. doi:10.1007/978-3-642-28108-2_19.
    Bibtex ]

2010

  • Josep Carmona and Jordi Cortadella. Process mining meets abstract interpretation. In Machine Learning and Knowledge Discovery in Databases, European Conference, ECML PKDD 2010, Barcelona, Spain, September 20-24, 2010, Proceedings, Part I, 184–199. 2010. doi:10.1007/978-3-642-15880-3_18.
    Bibtex ]

  • Josep Carmona, Jordi Cortadella, and Michael Kishinevsky. New region-based algorithms for deriving bounded petri nets. IEEE Trans. Computers, 59(3):371–384, 2010. doi:10.1109/TC.2009.131.
    Bibtex ]

  • Jorge Munoz-Gama and Josep Carmona. A fresh look at precision in process conformance. In Business Process Management - 8th International Conference, BPM 2010, Hoboken, NJ, USA, September 13-16, 2010. Proceedings, 211–226. 2010. doi:10.1007/978-3-642-15618-2_16.
    Bibtex ]

  • Marc Solé and Josep Carmona. Incremental process mining. In Proceedings of the Workshops of the 31st International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (PETRI NETS 2010) and of the 10th International Conference on Application of Concurrency to System Design (ACSD 2010), Braga, Portugal, June, 2010, 175–190. 2010. URL: http://ceur-ws.org/Vol-827/14_MarcSole_article.pdf.
    Bibtex ]

  • Marc Solé and Josep Carmona. Process mining from a basis of state regions. In Applications and Theory of Petri Nets, 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010. Proceedings, 226–245. 2010. doi:10.1007/978-3-642-13675-7_14.
    Bibtex ]

  • Marc Solé and Josep Carmona. Rbminer: A tool for discovering petri nets from transition systems. In Automated Technology for Verification and Analysis - 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings, 396–402. 2010. doi:10.1007/978-3-642-15643-4_33.
    Bibtex ]

2009

  • Josep Carmona, Jordi Cortadella, and Michael Kishinevsky. Divide-and-conquer strategies for process mining. In Business Process Management, 7th International Conference, BPM 2009, Ulm, Germany, September 8-10, 2009. Proceedings, 327–343. 2009. doi:10.1007/978-3-642-03848-8_22.
    Bibtex ]

  • Josep Carmona, Jordi Cortadella, and Michael Kishinevsky. Genet: A tool for the synthesis and mining of petri nets. In Ninth International Conference on Application of Concurrency to System Design, ACSD 2009, Augsburg, Germany, 1-3 July 2009, 181–185. 2009. doi:10.1109/ACSD.2009.6.
    Bibtex ]

  • Josep Carmona, Jordi Cortadella, Michael Kishinevsky, and Alexander Taubin. Elastic circuits. IEEE Trans. on CAD of Integrated Circuits and Systems, 28(10):1437–1455, 2009. doi:10.1109/TCAD.2009.2030436.
    Bibtex ]

  • Josep Carmona, Jorge Júlvez, Jordi Cortadella, and Michael Kishinevsky. Scheduling synchronous elastic designs. In Ninth International Conference on Application of Concurrency to System Design, ACSD 2009, Augsburg, Germany, 1-3 July 2009, 52–59. 2009. doi:10.1109/ACSD.2009.12.
    Bibtex ]

2008

  • Josep Carmona and Jordi Cortadella. Encoding large asynchronous controllers with ILP techniques. IEEE Trans. on CAD of Integrated Circuits and Systems, 27(1):20–33, 2008. doi:10.1109/TCAD.2007.907238.
    Bibtex ]

  • Josep Carmona, Jordi Cortadella, and Michael Kishinevsky. A region-based algorithm for discovering petri nets from event logs. In Business Process Management, 6th International Conference, BPM 2008, Milan, Italy, September 2-4, 2008. Proceedings, 358–373. 2008. doi:10.1007/978-3-540-85758-7_26.
    Bibtex ]

  • Josep Carmona, Jordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, and Alexandre Yakovlev. A symbolic algorithm for the synthesis of bounded petri nets. In Applications and Theory of Petri Nets, 29th International Conference, PETRI NETS 2008, Xi'an, China, June 23-27, 2008. Proceedings, 92–111. 2008. doi:10.1007/978-3-540-68746-7_10.
    Bibtex ]

  • Josep Carmona, Jordi Cortadella, Yousuke Takada, and Ferdinand Peper. Formal methods for the analysis and synthesis of nanometer-scale cellular arrays. JETC, 2008. doi:10.1145/1350763.1350768.
    Bibtex ]

  • Jordi Cortadella, Michael Kishinevsky, Dmitry Bufistov, Josep Carmona, and Jorge Júlvez. Elasticity and petri nets. Trans. Petri Nets and Other Models of Concurrency, 1:221–249, 2008. doi:10.1007/978-3-540-89287-8_13.
    Bibtex ]

  • Francisco Fernández-Nogueira and Josep Carmona. Logic synthesis of handshake components using structural clustering techniques. In Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation, 18th International Workshop, PATMOS 2008, Lisbon, Portugal, September 10-12, 2008. Revised Selected Papers, 188–198. 2008. doi:10.1007/978-3-540-95948-9_19.
    Bibtex ]

2006

  • Josep Carmona, José Manuel Colom, Jordi Cortadella, and Fernando García-Vallés. Synthesis of asynchronous controllers using integer linear programming. IEEE Trans. on CAD of Integrated Circuits and Systems, 25(9):1637–1651, 2006. doi:10.1109/TCAD.2005.859516.
    Bibtex ]

  • Josep Carmona and Jordi Cortadella. State encoding of large asynchronous controllers. In Proceedings of the 43rd Design Automation Conference, DAC 2006, San Francisco, CA, USA, July 24-28, 2006, 939–944. 2006. doi:10.1145/1146909.1147148.
    Bibtex ]

  • Josep Carmona, Jordi Cortadella, Yousuke Takada, and Ferdinand Peper. From molecular interactions to gates: a systematic approach. In 2006 International Conference on Computer-Aided Design, ICCAD 2006, San Jose, CA, USA, November 5-9, 2006, 891–898. 2006. doi:10.1145/1233501.1233688.
    Bibtex ]

2003

  • Josep Carmona and Jordi Cortadella. ILP models for the synthesis of asynchronous control circuits. In 2003 International Conference on Computer-Aided Design, ICCAD 2003, San Jose, CA, USA, November 9-13, 2003, 818–826. 2003. doi:10.1109/ICCAD.2003.1257903.
    Bibtex ]

  • Josep Carmona, Jordi Cortadella, Victor Khomenko, and Alexandre Yakovlev. Synthesis of asynchronous hardware from petri nets. In Lectures on Concurrency and Petri Nets, Advances in Petri Nets [This tutorial volume originates from the 4th Advanced Course on Petri Nets, ACPN 2003, held in Eichstätt, Germany in September 2003. In addition to lectures given at ACPN 2003, additional chapters have been commissioned], 345–401. 2003. doi:10.1007/978-3-540-27755-2_9.
    Bibtex ]

2002

  • Josep Carmona and Jordi Cortadella. Input/output compatibility of reactive systems. In Formal Methods in Computer-Aided Design, 4th International Conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002, Proceedings, 360–377. 2002. doi:10.1007/3-540-36126-X_22.
    Bibtex ]

  • Josep Carmona, Jordi Cortadella, and Enric Pastor. A structural encoding technique for the synthesis of asynchronous circuits. Fundam. Inform., 50(2):135–154, 2002. URL: http://content.iospress.com/articles/fundamenta-informaticae/fi50-2-03.
    Bibtex ]

  • Josep Carmona, Jordi Cortadella, and Enric Pastor. Synthesis of reactive systems: application to asynchronous circuit design. In Concurrency and Hardware Design, Advances in Petri Nets, 108–151. 2002. doi:10.1007/3-540-36190-1_4.
    Bibtex ]

2001

  • Josep Carmona, Jordi Cortadella, and Enric Pastor. A structural encoding technique for the synthesis of asynchronous circuits. In 2nd International Conference on Application of Concurrency to System Design (ACSD 2001), 25-30 June 2001, Newcastle upon Tyne, UK, 157–166. 2001. doi:10.1109/CSD.2001.981773.
    Bibtex ]

2000

  • I. Blunno, A. Bystrov, J. Carmona, J. Cortadella, L. Lavagno, and A. Yakovlev. Direct synthesis of large-scale asynchronous controllers using a pet ri-net based approach. In Handouts of the Asynchronous Circuits Design (ACiD) Workshop. Grenoble, France, January 2000.
    Bibtex ]

1999

  • L. Màrquez, H. Rodríguez, J. Carmona, and J. Montolio. Improving pos tagging using machine-learning techniques. In EMNLP/VLC. Maryland, USA, 1999.
    Bibtex ]

1998

  • J. Atserias, J. Carmona, I. Castellón, S. Cervell, M. Civit, L. Màrquez, M. Martí, L. Padró, R. Placer, H. Rodríguez, M. Taulé, and J. Turmo. Morphosyntactic analysis and parsing of unrestricted spanish text. In First International Conference on Language Resources and Evaluation (LREC). Granada, Spain, 1998.
    Bibtex ]

  • J. Carmona, S. Cervell, L. Màrquez, M. Martí, L. Padró, R. Placer, H. Rodríguez, M. Taulé, and J. Turmo. An environment for morphosyntactic processing of unrestricted spanish text. In ELRA. 1998.
    Bibtex ]