about
Log-Based Simplification of Process ModelsProcess Discovery Algorithms Using Numerical Abstract DomainsBrownian CircuitsAnalytical Performance Modeling of Hierarchical Interconnect FabricsIntegrating formal verification in an online judge for e-Learning logic circuit designNew Region-Based Algorithms for Deriving Bounded Petri NetsProcess Mining Meets Abstract InterpretationElastic CircuitsGenet: A Tool for the Synthesis and Mining of Petri NetsDivide-and-Conquer Strategies for Process MiningScheduling Synchronous Elastic DesignsEncoding Large Asynchronous Controllers With ILP TechniquesA Symbolic Algorithm for the Synthesis of Bounded Petri NetsFormal methods for the analysis and synthesis of nanometer-scale cellular arraysFrom molecular interactions to gates: a systematic approachState encoding of large asynchronous controllersSynthesis of asynchronous controllers using integer linear programmingA structural encoding technique for the synthesis of asynchronous circuitsMeasuring precision of modeled behaviorSingle-Entry Single-Exit decomposed conformance checkingConformance Checking in the Large: Partitioning and TopologyHierarchical Conformance Checking of Process Models Based on Event LogsProcess Mining ManifestoAligning textual and model-based process descriptionsConformance CheckingCommunication Requirements for Team AutomataThe Alignment of Formal, Structured and Unstructured Process DescriptionsA Method for Assessing Parameter Impact on Control-Flow Discovery AlgorithmsA Recursive Paradigm for Aligning Observed Behavior of Large Structured Process ModelsA Unified Approach for Measuring Precision and Generalization Based on Anti-alignmentsAnti-alignments in Conformance Checking – The Dark Side of Process ModelsConditions for Compatibility of ComponentsFraud Detection in Energy Consumption: A Supervised ApproachMining Conditional Partial Order Graphs from Event LogsProcess Model Comparison Based on Cophenetic DistanceSelf-tracking Reloaded: Applying Process Mining to Personalized Health Care from Labeled Sensor DataIncorporating Negative Information in Process DiscoveryUnfolding-Based Process DiscoveryA Recommender System for Process DiscoveryAmending C-net discovery algorithms
P50
Q56891756-F82791A8-5692-4C18-B8DE-C6E51BF0C9AEQ56891847-7773DB60-D016-4376-B8D4-146AD7F0DDAFQ56891911-D159383D-A3A9-4BD2-BDBE-80EDE1F4F03DQ56891946-86522554-E267-4E16-92E5-147104E449E9Q56891959-DA6C0BF5-9547-460A-8D25-50A3DD84E4E7Q56892020-E3380026-C1F5-44C5-84B1-24BE99774B7EQ56892058-DC5458D9-CC59-4190-AF06-C3C894D13625Q56892077-1A28E97E-2B19-46D0-8126-538E1E38BB63Q56892088-7D3E457B-5868-4113-B267-625F37296F40Q56892140-B28F8BB0-A4B4-4E14-969B-6C1A536AB77DQ56892201-56545960-1992-4C5A-AE43-4FD7A50238B2Q56892262-A622A018-119B-4421-BCCA-BBE51A984BC9Q56892275-9FDD3A2C-F2D9-408A-AD1C-BA5137A44E58Q56892304-932820AA-EA59-426A-80F5-2B770BCBDAE5Q56892407-FEC05D9C-FD6A-4947-A4C8-C3A4356CF8C9Q56892492-2CF490FA-3334-4CEF-888E-0699C04EC38BQ56892515-34BCC173-836B-4BEE-A371-985EA5B0D35AQ56892791-D1846152-1BCA-4C41-A14E-93612131E926Q57004828-A02888EE-9BE9-46D3-843C-21CB9B54DFBFQ57004854-5840A9B0-0C54-413C-B38B-6E160EE24EA7Q57004894-C32437FD-3EDB-4981-90C8-BC833700B5E4Q57004941-D0BA7401-AD73-4D2C-8345-ABE3BAE88FFEQ57005093-2DAB4A9D-6670-4132-BFC3-E1578FBEC366Q62039908-1ED0EC7F-F0C6-4B3E-ABA9-0200C67266F6Q62039911-40C4F6F7-C7A1-4463-8C98-06F147D33032Q62039916-04AC3F6E-27C7-400D-B6EF-93D2CC469310Q62039919-48FD34D9-E39D-4146-8E95-98AE4C8539D7Q62039923-FF7BEDE1-7DF7-402B-B0A7-716FFAFFD721Q62039925-94A8AEE4-DAD3-48AE-9939-743754BF32B6Q62039928-CECB47C1-4554-4310-8CEA-ABA5EAF8AAD2Q62039932-76ACCC00-AE8C-450E-8423-0363108238FCQ62039934-2A59A40F-C450-424B-B56F-F0BEEA328686Q62039937-3B1745C2-8FFA-4E0C-B28D-043AE047F626Q62039939-4DED160A-B5AE-499E-ACEE-B01FD08B862FQ62039943-A1F0F798-422A-4727-9F8A-BD940ABC9966Q62039947-CC558630-0258-4F6D-834C-BF2F3B4209A6Q62039950-F002363A-66A0-47E5-85CD-3884A06EDD21Q62039953-7DE11015-CFE6-467D-A2C7-629857EF3AFCQ62039956-D68AC947-4B1E-4224-8BA3-B9707C81C035Q62039964-8808385E-3B61-4562-8E80-E3C6BF557FBE
P50
description
researcher
@en
ricercatore
@it
wetenschapper
@nl
հետազոտող
@hy
name
Josep Carmona
@ast
Josep Carmona
@en
Josep Carmona
@es
Josep Carmona
@nl
type
label
Josep Carmona
@ast
Josep Carmona
@en
Josep Carmona
@es
Josep Carmona
@nl
prefLabel
Josep Carmona
@ast
Josep Carmona
@en
Josep Carmona
@es
Josep Carmona
@nl
P214
P106
P1153
22333712700
P1960
3o4yV1cAAAAJ
P21
P214
P2456
P31
P496
0000-0001-9656-254X
P734
P7859
viaf-305867869