|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 204 occurrences of 128 keywords
|
|
|
Results
Found 719 publication records. Showing 677 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
27 | Maude-Josée Blondin, Pierre Sicard |
ACO based controller and anti-windup tuning for motion systems with flexible transmission. |
CCECE |
2013 |
DBLP DOI BibTeX RDF |
|
27 | Richard James Maude |
Malaria elimination modelling in the context of antimalarial drug resistance. |
|
2013 |
RDF |
|
27 | Ammar Abdo, Ségolène Caboche, Valérie Leclère, Philippe Jacques, Maude Pupin |
A new fingerprint to predict nonribosomal peptides activity. |
J. Comput. Aided Mol. Des. |
2012 |
DBLP DOI BibTeX RDF |
|
27 | John Sutherland 0001, Tony Maude, Malcolm Sutherland |
Editorial: the vision for The Computer Games Journal. |
Comput. Games J. |
2012 |
DBLP DOI BibTeX RDF |
|
27 | Yudith Cardinale, Joyce El Haddad, Maude Manouvrier, Marta Rukoz |
Web Service Composition Based on Petri Nets: Review and Contribution. |
RED |
2012 |
DBLP DOI BibTeX RDF |
|
27 | Virginie Gabrel, Maude Manouvrier, Imen Megdiche, Cécile Murat |
A new 0-1 linear program for QoS and transactional-aware web service composition. |
ISCC |
2012 |
DBLP DOI BibTeX RDF |
|
27 | AnnaLaura Lagioia, Stephan Eliez, Maude Schneider, Jon S. Simons, Martial Van der Linden, Martin Debbané |
Neural correlates of reality monitoring during adolescence. |
NeuroImage |
2011 |
DBLP DOI BibTeX RDF |
|
27 | Yudith Cardinale, Joyce El Haddad, Maude Manouvrier, Marta Rukoz |
CPN-TWS: a coloured petri-net approach for transactional-QoS driven Web Service composition. |
Int. J. Web Grid Serv. |
2011 |
DBLP DOI BibTeX RDF |
|
27 | Dana Lahat, Jean-François Cardoso, Maude Le Jeune, Hagit Messer |
Multidimensional ICA and its performance analysis applied to CMB observations. |
ICASSP |
2011 |
DBLP DOI BibTeX RDF |
|
27 | Joyce El Haddad, Maude Manouvrier, Marta Rukoz |
TQoS: Transactional and QoS-Aware Selection Algorithm for Automatic Web Service Composition. |
IEEE Trans. Serv. Comput. |
2010 |
DBLP DOI BibTeX RDF |
transactional Web service, local optimization of Quality of Service, workflow patterns, Web service selection, automatic composition |
27 | Nguyen Vu Hoàng, Valérie Gouet-Brunet, Marta Rukoz, Maude Manouvrier |
Embedding spatial information into image content description for scene retrieval. |
Pattern Recognit. |
2010 |
DBLP DOI BibTeX RDF |
|
27 | Yudith Cardinale, Joyce El Haddad, Maude Manouvrier, Marta Rukoz |
Web service selection for transactional composition. |
ICCS |
2010 |
DBLP DOI BibTeX RDF |
|
27 | Eduardo Blanco 0001, Yudith Cardinale, Maria-Esther Vidal, Joyce El Haddad, Maude Manouvrier, Marta Rukoz |
A Transactional-QoS Driven Approach for Web Service Composition. |
RED |
2010 |
DBLP DOI BibTeX RDF |
|
27 | Jean-François Cardoso, Maude Le Jeune, Jacques Delabrouille, Marc Betoule, Guillaume Patanchon |
Component Separation With Flexible Models - Application to Multichannel Astrophysical Observations. |
IEEE J. Sel. Top. Signal Process. |
2008 |
DBLP DOI BibTeX RDF |
|
27 | Ségolène Caboche, Maude Pupin, Valérie Leclère, Arnaud Fontaine, Philippe Jacques, Gregory Kucherov |
NORINE: a database of nonribosomal peptides. |
Nucleic Acids Res. |
2008 |
DBLP DOI BibTeX RDF |
|
27 | Marta Rukoz, Maude Manouvrier, Valérie Gouet-Brunet |
Synthèse sur les modèles de représentation des relations spatiales dans les images symboliques. |
Les Relations Spatiales |
2008 |
DBLP BibTeX RDF |
|
27 | Joyce El Haddad, Maude Manouvrier, Guillermo Ramirez, Marta Rukoz |
QoS-Driven Selection of Web Services for Transactional Composition. |
ICWS |
2008 |
DBLP DOI BibTeX RDF |
|
27 | Gilles Didier, Laurent Debomy, Maude Pupin, Ming Zhang, Alexander Grossmann, Claudine Devauchelle, Ivan Laprevotte |
Comparing sequences without using alignments: application to HIV/SIV subtyping. |
BMC Bioinform. |
2007 |
DBLP DOI BibTeX RDF |
|
27 | Joyce El Haddad, Maude Manouvrier, Marta Rukoz |
A Hierarchical Model for TransactionalWeb Service Composition in P2P Networks. |
ICWS |
2007 |
DBLP DOI BibTeX RDF |
|
27 | Jean-François Cardoso, Maude Martin |
A Flexible Component Model for Precision ICA. |
ICA |
2007 |
DBLP DOI BibTeX RDF |
|
27 | Marta Rukoz, Maude Manouvrier, Geneviève Jomier |
Delta-distance: A family of dissimilarity metrics between images represented by multi-level feature vectors. |
Inf. Retr. |
2006 |
DBLP DOI BibTeX RDF |
Distance between quad/quin or nona-trees, Similarity of image segments, Content-based image retrieval, Similarity, Image database |
27 | Gilles Didier, Ivan Laprevotte, Maude Pupin, Alain Hénaut |
Local Decoding of Sequences and Alignment-Free Comparison. |
J. Comput. Biol. |
2006 |
DBLP DOI BibTeX RDF |
|
27 | Claudia Bauzer Medeiros, Olivier Carles, Florian De Vuyst, Georges Hébrail, Bernard Hugueney, Marc Joliveau, Geneviève Jomier, Maude Manouvrier, Yosr Naïja, Gérard Scémama, Laurent Steffan |
Vers un entrepôt de données pour le trafic routier. |
EDA |
2006 |
DBLP BibTeX RDF |
|
27 | Connie Maude Campbell, William Staton |
A Square-Packing Problem of Erdős. |
Am. Math. Mon. |
2005 |
DBLP BibTeX RDF |
|
27 | Maude Manouvrier, Marta Rukoz, Geneviève Jomier |
Quadtree-Based Image Representation and Retrieval. |
Spatial Databases |
2005 |
DBLP BibTeX RDF |
|
27 | Geneviève Jomier, Maude Manouvrier, Vincent Oria, Marta Rukoz |
Multi-level index for global and partial content-based image retrieval. |
ICDE Workshops |
2005 |
DBLP DOI BibTeX RDF |
|
27 | Maude Manouvrier, Marta Rukoz, Geneviève Jomier |
A generalized metric distance between hierarchically partitioned images. |
MDM@KDD |
2005 |
DBLP DOI BibTeX RDF |
|
27 | Maude Bonenfant |
Visual sign in video games. |
DiGRA Conference |
2005 |
DBLP BibTeX RDF |
|
27 | Geneviève Jomier, Maude Manouvrier, Vincent Oria, Marta Rukoz |
Indexation multi-niveaux pour la recherche globale et partielle d'images par le contenu. |
BDA |
2004 |
DBLP BibTeX RDF |
|
27 | Maude Manouvrier, Marta Rukoz, Geneviève Jomier |
Quadtree representations for storage and manipulation of clusters of images. |
Image Vis. Comput. |
2002 |
DBLP DOI BibTeX RDF |
|
27 | Marta Rukoz, Maude Manouvrier, Geneviève Jomier |
Distances de similarité d'images basées sur les arbres quaternaires. |
BDA |
2002 |
DBLP BibTeX RDF |
|
27 | Geneviève Jomier, Maude Manouvrier, Marta Rukoz |
Storage and management of similar images. |
J. Braz. Comput. Soc. |
2000 |
DBLP BibTeX RDF |
|
27 | Maude Klaerr-Blanchard, Hélène Chiapello, Eivind Coward |
Detecting Localized Repeats in Genomic Sequences: A New Strategy and Its Application to Bacillus Subtilis and Arabidopsis Thaliana Sequences. |
Comput. Chem. |
2000 |
DBLP DOI BibTeX RDF |
|
27 | Geneviève Jomier, Maude Manouvrier, Marta Rukoz |
Stockage et gestion d'images par un arbre quaternaire générique. |
Proc. 15èmes Journées Bases de Données Avancées, BDA |
1999 |
DBLP BibTeX RDF |
|
27 | Connie Maude Campbell |
On cages for girth pair (6, b). |
Discret. Math. |
1997 |
DBLP DOI BibTeX RDF |
|
27 | David G. Andrews, Dana Maude |
A Computerised Clinical Test of Forgetting Based on the ACT Model of Memory Retrieval. |
Int. J. Man Mach. Stud. |
1990 |
DBLP DOI BibTeX RDF |
|
27 | T. I. Maude |
Distribution lists in an X.400 message handling system. |
Comput. Commun. |
1986 |
DBLP DOI BibTeX RDF |
|
27 | T. I. Maude, David J. Pullinger |
Software for Reading, Refereeing and Browsing in the BLEND System. |
Comput. J. |
1985 |
DBLP DOI BibTeX RDF |
|
27 | Brian Shackel, David J. Pullinger, T. I. Maude, W. Peter Dodd |
The BLEND-LINC Project on 'Electronic Journals' After Two Years. |
Comput. J. |
1983 |
DBLP DOI BibTeX RDF |
|
27 | A. D. Maude |
Interpolation - Mainly for Graph Plotters. |
Comput. J. |
1973 |
DBLP DOI BibTeX RDF |
|
24 | Matt Webster, Grant Malcolm |
Detection of metamorphic and virtualization-based malware using algebraic specification. |
J. Comput. Virol. |
2009 |
DBLP DOI BibTeX RDF |
|
24 | María Alpuente, Demis Ballis, Daniel Romero 0001 |
Specification and Verification of Web Applications in Rewriting Logic. |
FM |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Musab AlTurki, Dinakar Dhurjati, Dachuan Yu, Ajay Chander, Hiroshi Inamura |
Formal Specification and Analysis of Timing Properties in Software Systems. |
FASE |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Francisco Durán 0001, Salvador Lucas, Claude Marché, José Meseguer 0001, Xavier Urbain |
Proving operational termination of membership equational programs. |
High. Order Symb. Comput. |
2008 |
DBLP DOI BibTeX RDF |
Conditional term rewriting, Operational termination, Declarative rule-based languages, Program transformation, Membership equational logic |
24 | Adrián Riesco 0001, Alberto Verdejo, Rafael Caballero 0001, Narciso Martí-Oliet |
Declarative Debugging of Rewriting Logic Specifications. |
WADT |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Lacramioara Astefanoaei, Mehdi Dastani, John-Jules Ch. Meyer, Frank S. de Boer |
A Verification Framework for Normative Multi-Agent Systems. |
PRIMA |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Malika Benammar, Faiza Belala, Fateh Latreche |
AADL behavioral annex based on generalized rewriting logic. |
RCIS |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Kyrre M. Begnum, Mark Burgess |
Understanding Promise Theory Using Rewriting Logic. (PDF / PS) |
AIMS |
2007 |
DBLP DOI BibTeX RDF |
|
24 | María Alpuente, Demis Ballis, Moreno Falaschi, Pedro Ojeda, Daniel Romero 0001 |
A Fast Algebraic Web Verification Service. |
RR |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Grigore Rosu, Klaus Havelund |
Rewriting-Based Techniques for Runtime Verification. |
Autom. Softw. Eng. |
2005 |
DBLP DOI BibTeX RDF |
verification, rewriting, runtime analysis |
24 | Merrill Knapp, Linda Briesemeister, Steven Eker, Patrick Lincoln, Andy Poggio, Carolyn L. Talcott, Keith Laderoute |
Pathway Logic Helping Biologists Understand and Organize Pathway Information. |
CSB Workshops |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Azadeh Farzan, Feng Chen 0006, José Meseguer 0001, Grigore Rosu |
Formal Analysis of Java Programs in JavaFAN. |
CAV |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Francisco Durán 0001, Salvador Lucas, José Meseguer 0001, Claude Marché, Xavier Urbain |
Proving termination of membership equational programs. |
PEPM |
2004 |
DBLP DOI BibTeX RDF |
program transformation, termination, term rewriting, membership equational logic |
24 | Gabriel Ciobanu, Dorel Lucanu |
Specification and Verification of Synchronizing Concurrent Objects. |
IFM |
2004 |
DBLP DOI BibTeX RDF |
hidden algebra, model checking, integration, temporal logics, Algebraic specification, concurrent systems, CCS, object-oriented specification |
24 | Hui Ding, Can Zheng, Gul Agha, Lui Sha |
Automated Verification of the Dependability of Object-Oriented Real-Time Systems. |
WORDS Fall |
2003 |
DBLP DOI BibTeX RDF |
|
24 | José Meseguer 0001, Grigore Rosu |
A Total Approach to Partial Algebraic Specification. |
ICALP |
2002 |
DBLP DOI BibTeX RDF |
|
22 | Yongyi Peng, Ning Huang |
Formalizing Semantics of OWL-S Process Model. |
PACIIA (1) |
2008 |
DBLP DOI BibTeX RDF |
formalization, OWL-S, rewrite logic, Maude, dynamic semantics |
22 | Bernhard K. Aichernig, Andreas Griesmayer, Einar Broch Johnsen, Rudolf Schlatte, Andries Stam |
Conformance Testing of Distributed Concurrent Systems with Executable Designs. |
FMCO |
2008 |
DBLP DOI BibTeX RDF |
concolic execution, Creol, Model-based testing, conformance testing, Maude |
18 | Dang Duy Bui, Duong Dinh Tran, Kazuhiro Ogata 0001, Adrián Riesco 0001 |
Integration of state machine graphical animation and Maude to facilitate characteristic conjecture: an approach to lemma discovery in theorem proving. |
Multim. Tools Appl. |
2024 |
DBLP DOI BibTeX RDF |
|
18 | Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo |
Strategies, model checking and branching-time properties in Maude. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
18 | Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo |
Simulating and model checking membrane systems using strategies in Maude. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
18 | Steven Eker, Narciso Martí-Oliet, José Meseguer 0001, Rubén Rubio, Alberto Verdejo |
The Maude strategy language. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
18 | Duong Dinh Tran, Canh Minh Do, Santiago Escobar 0001, Kazuhiro Ogata 0001 |
Hybrid post-quantum Transport Layer Security formal analysis in Maude-NPA and its parallel version. |
PeerJ Comput. Sci. |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Víctor García, Santiago Escobar 0001, Kazuhiro Ogata 0001, Sedat Akleylek, Ayoub Otmani |
Modelling and verification of post-quantum key encapsulation mechanisms using Maude. |
PeerJ Comput. Sci. |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Ammar Boucherit, Messaoud Abbas, Mohammed Lamine Lamouri, Osman Hasan |
PN2Maude: An automatic tool to generate Maude specification for Petri net models. |
Comput. Sci. J. Moldova |
2023 |
DBLP BibTeX RDF |
|
18 | Jaime Arias 0001, Kyungmin Bae, Carlos Olarte, Peter Csaba Ölveczky, Laure Petrucci, Fredrik Rømming |
Symbolic Analysis and Parameter Synthesis for Time Petri Nets Using Maude and SMT Solving. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
18 | María Alpuente, Demis Ballis, Santiago Escobar 0001, D. Galán, Julia Sapiña |
Safety enforcement via programmable strategies in Maude. |
J. Log. Algebraic Methods Program. |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Carlos Alberto Ramírez Restrepo, Juan C. Jaramillo, Jorge A. Pérez 0001 |
Session-based concurrency in Maude: Executable semantics and type checking. |
J. Log. Algebraic Methods Program. |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Steven Eker, Narciso Martí-Oliet, José Meseguer 0001, Rubén Rubio, Alberto Verdejo |
The Maude strategy language. |
J. Log. Algebraic Methods Program. |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Canh Minh Do, Kazuhiro Ogata 0001 |
Symbolic Model Checking Quantum Circuits in Maude. |
SEKE |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Jaime Arias 0001, Kyungmin Bae, Carlos Olarte, Peter Csaba Ölveczky, Laure Petrucci, Fredrik Rømming |
Symbolic Analysis and Parameter Synthesis for Time Petri Nets Using Maude and SMT Solving. |
Petri Nets |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Lorenzo Capra, Michael Köhler-Bußmeier |
Maude Specification of Nets-Within-Nets: A Formal Model of Adaptable Distributed Systems. |
SAC |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Lorenzo Capra, Michael Köhler-Bussmeier |
Modelling Adaptive Systems with Nets-Within-Nets in Maude. |
ENASE |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Takanori Ishibashi, Kazuhiro Ogata 0001 |
Formal Specification and Model Checking of Raft Leader Election in Maude. |
ICSCA |
2023 |
DBLP DOI BibTeX RDF |
|
18 | María Alpuente, Demis Ballis, Santiago Escobar 0001, José Meseguer 0001, Julia Sapiña |
Optimizing Maude Programs via Program Specialization. |
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Takanori Ishibashi, Kazuhiro Ogata 0001 |
Formal Specification and Model Checking of Raft Log Replication in Maude. |
DMSVIVA |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Charaf Eddine Dridi, Nabil Hameurlain, Faiza Belala |
A Maude-Based Formal Approach to Control and Analyze Time-Resource Aware Missioned Systems-of-Systems. |
WETICE |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Lorenzo Capra, Michael Köhler-Bußmeier |
Modelling Adaptive Systems with Maude Nets-within-Nets. |
WorldCIST (3) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Oana Otilia Captarencu |
The Analysis of Data-Flow and Control-Flow in Workflow Processes Using Maude. |
ICEIS (2) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Francisco Durán 0001 |
Rewriting Logic and Maude for the Formalization and Analysis of DSMLs, and the Prototyping of MDSE Tools. |
J. Object Technol. |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Steven Eker |
Associative unification in Maude. |
J. Log. Algebraic Methods Program. |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo |
Simulating and model checking membrane systems using strategies in Maude. |
J. Log. Algebraic Methods Program. |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Mourad Kezai, Abdallah Khababa |
Generating Maude Specifications from M-UML Statechart Diagrams. |
J. Adv. Comput. Intell. Intell. Informatics |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Giovanni Fabbretti, Ivan Lanese, Jean-Bernard Stefani |
Generation of a Reversible Semantics for Erlang in Maude. |
ICFEM |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Duong Dinh Tran, Canh Minh Do, Santiago Escobar 0001, Kazuhiro Ogata 0001 |
Hybrid Post-Quantum TLS formal specification in Maude-NPA - toward its security analysis. |
FAVPQC@ICFEM |
2022 |
DBLP BibTeX RDF |
|
18 | Duong Dinh Tran, Kazuhiro Ogata 0001, Santiago Escobar 0001, Sedat Akleylek, Ayoub Otmani |
Formal specification and model checking of lattice-based key encapsulation mechanisms in Maude. |
FAVPQC@ICFEM |
2022 |
DBLP BibTeX RDF |
|
18 | Rubén Rubio, Adrián Riesco 0001 |
Theorem Proving for Maude Specifications Using Lean. |
ICFEM |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Víctor García, Santiago Escobar 0001, Kazuhiro Ogata 0001 |
Modeling and verification of the post-quantum key encapsulation mechanism KYBER using Maude. |
FAVPQC@ICFEM |
2022 |
DBLP BibTeX RDF |
|
18 | Duong Dinh Tran, Kazuhiro Ogata 0001, Santiago Escobar 0001, Sedat Akleylek, Ayoub Otmani |
Formal specification and model checking of Saber lattice-based key encapsulation mechanism in Maude. |
SEKE |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Juliane Päßler, Esther Aguado, Gustavo Rezende Silva, Silvia Lizeth Tapia Tarifa, Carlos Hernández Corbato, Einar Broch Johnsen |
A Formal Model of Metacontrol in Maude. |
ISoLA (1) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Charaf Eddine Dridi, Nabil Hameurlain, Faiza Belala |
A Maude-Based Rewriting Approach to Model and Control System-of-Systems' Resources Allocation. |
MEDI Workshops |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Dang Duy Bui, Duong Dinh Tran, Kazuhiro Ogata 0001, Adrián Riesco 0001 |
Integration of SMGA and Maude to Facilitate Characteristic Conjecture. |
DMSVIVA |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Francisco Durán 0001, Steven Eker, Santiago Escobar 0001, Narciso Martí-Oliet, José Meseguer 0001, Rubén Rubio, Carolyn L. Talcott |
Equational Unification and Matching, and Symbolic Reachability Analysis in Maude 3.2 (System Description). |
IJCAR |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Lorenzo Capra, Michael Köhler-Bußmeier |
A Maude Formalization of Object Nets. |
ECSA (Tracks and Workshops) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Lorenzo Capra |
Canonization of Reconfigurable PT Nets in Maude. |
RP |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Simon Thrane Hansen, Peter Csaba Ölveczky |
Modeling, Algorithm Synthesis, and Instrumentation for Co-simulation in Maude. |
WRLA@ETAPS |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Canh Minh Do, Adrián Riesco 0001, Santiago Escobar 0001, Kazuhiro Ogata 0001 |
Parallel Maude-NPA for Cryptographic Protocol Analysis. |
WRLA@ETAPS |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Carlos Alberto Ramírez Restrepo, Jorge A. Pérez 0001 |
Executable Semantics and Type Checking for Session-Based Concurrency in Maude. |
WRLA@ETAPS |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Rubén Rubio |
An Overview of the Maude Strategy Language and its Applications. |
WRLA@ETAPS |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Peter Csaba Ölveczky |
Teaching Formal Methods to Undergraduate Students Using Maude. |
WRLA@ETAPS |
2022 |
DBLP DOI BibTeX RDF |
|
Displaying result #201 - #300 of 677 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ >>] |
|