Search results for "MV-algebra"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
21	Rida T. Farouki, Chang Yong Han	Solution of elementary equations in the Minkowski geometric algebra of complex sets.	Adv. Comput. Math.	2005	DBLP DOI BibTeX RDF	Minkowski geometric algebra, equations in complex sets, maximal solution, logarithmic Gauss map, Cartesian oval, ovals of Cassini
21	Najaf Ali Shah, Anthony Skjellum	A metaprogramming approach to generating optimized code for algorithms in linear algebra.	ACM Southeast Regional Conference (1)	2005	DBLP DOI BibTeX RDF	optimization, code generator, linear algebra, PHP, metaprogramming
21	Tze Meng Low, Robert A. van de Geijn, Field G. Van Zee	Extracting SMP parallelism for dense linear algebra algorithms from high-level specifications.	PPoPP	2005	DBLP DOI BibTeX RDF	SMP Parallelism, code generation, linear algebra, formal derivation
21	Apostolos Niaouris	An Algebra of Petri Nets with Arc-Based Time Restrictions.	ICTAC	2004	DBLP DOI BibTeX RDF	Net-based algebraic calculi, arc based time Petri nets, box algebra, SOS semantics, process algebras
21	Xuepeng Yin, Torben Bach Pedersen	Evaluating XML-extended OLAP queries based on a physical algebra.	DOLAP	2004	DBLP DOI BibTeX RDF	physical algebra, query semantics, XML, data integration, OLAP
21	Markus Müller-Olm, Helmut Seidl	Precise interprocedural analysis through linear algebra.	POPL	2004	DBLP DOI BibTeX RDF	affine relation, polynomial relation, linear algebra, interprocedural analysis, weakest precondition
21	Tim A. C. Willemse	Embeddings of Hybrid Automata in Process Algebra.	IFM	2004	DBLP DOI BibTeX RDF	CRLt, Real-Time Systems, Hybrid Systems, Process Algebra, Expressive Power, Hybrid Automata
21	Valentin Goranko	The Basic Algebra of Game Equivalences.	Stud Logica	2003	DBLP DOI BibTeX RDF	game operations, game algebra, game identities, completeness, modal logic, axiomatization
21	Robert Veroff	A Shortest 2-Basis for Boolean Algebra in Terms of the Sheffer Stroke.	J. Autom. Reason.	2003	DBLP DOI BibTeX RDF	Sheffer stroke, Boolean algebra
21	Makoto Hamana	Term rewriting with variable binding: an initial algebra approach.	PPDP	2003	DBLP DOI BibTeX RDF	abstract syntax with variable binding, monadic semantics of term rewriting systems, term rewriting systems, higher-order abstract syntax, initial algebra semantics
21	Frederick W. Chapman	An elementary algorithm for the automatic derivation and proof of tensor product identities via computer algebra.	ISSAC	2003	DBLP DOI BibTeX RDF	Taylor interpolation, asymptotic splitting operator, automatic derivation, automatic proof, binormal forms, bivariate identities, characteristic cauchy problem, dual asymptotic expansions, homogeneous hyperbolic eigenproblem, hyperbolic eigenfunction, symmetries, maple, computer algebra, differential equations, tensor products, lie groups
21	Mario Bravetti, Roberto Gorrieri	Deciding and axiomatizing weak ST bisimulation for a process algebra with recursion and action refinement.	ACM Trans. Comput. Log.	2002	DBLP DOI BibTeX RDF	ST bisimulation, noninterleaving semantics, process algebra, axiomatization, Action refinement
21	Girish Kumar Patnaik, M. M. Gore	Design of Compiler for Mobile Environment and Its Formalization Using Evolving Algebra.	Mobile Data Management	2002	DBLP DOI BibTeX RDF	Evolving Algebra, Mobile Computing, Compiler Design
21	Armita Peymandoust, Giovanni De Micheli, Tajana Simunic	Complex library mapping for embedded software using symbolic algebra.	DAC	2002	DBLP DOI BibTeX RDF	automated library mapping, computation intensive software, embedded software optimization, polynomial representation, symbolic algebra
21	Jan Jakubik	Basic elements in a pseudo MV-algebra.	Soft Comput.	2001	DBLP DOI BibTeX RDF	Basic element, B-atomicity, Direct product decomposition, Strong subdirect product, Pseudo MV-algebra
21	Matatyahu Rubin, Sabine Koppelberg	A superatomic Boolean algebra with few automorphisms.	Arch. Math. Log.	2001	DBLP DOI BibTeX RDF	Superatomic Boolean algebra, Automorphism
21	Gwen Salaün, Michel Allemand, J. Christian Attiogbé	Formal Framework for a Generic Combination of a Process Algebra with an Algebraic Specification Language.	APSEC	2001	DBLP DOI BibTeX RDF	Multi-formalism Specifications, Generic Combination, Algebraic Specification Language, Process Algebra, Operational Semantics
21	Solomon Atnafu, Lionel Brunie, Harald Kosch	Similarity-based algebra for multimedia database systems.	ADC	2001	DBLP DOI BibTeX RDF	multimedia join operator, similarity-based algebra, multimedia, query optimization, image database
21	Raya Khanin	Dimensional analysis in computer algebra.	ISSAC	2001	DBLP DOI BibTeX RDF	dimensional variables, nondimensionalization, computer algebra, Mathematica, dimensional analysis
21	Salvatore Filippone, Michele Colajanni	PSBLAS: a library for parallel linear algebra computation on sparse matrices.	ACM Trans. Math. Softw.	2000	DBLP DOI BibTeX RDF	basic linear algebra subprograms, FORTRAN
21	Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli	Information Flow Analysis in a Discrete-Time Process Algebra.	CSFW	2000	DBLP DOI BibTeX RDF	Security, Real-time, Process Algebra, Non interference
21	Reinder J. Bril, Loe M. G. Feijs, André Glas, René L. Krikhaar, Thijs Winter	Hiding Expressed Using Relation Algebra with Multi-Relations - Oblique Lifting and Lowering for Unbalanced Systems.	CSMR	2000	DBLP DOI BibTeX RDF	architecture verification, software architecture, formal specification, reverse engineering, software visualization, relation algebra, architectural analysis
21	Luis M. Laita, Eugenio Roanes-Lozano, Luis de Ledesma, José-Antonio Alonso	A computer algebra approach to verification and deduction in many-valued knowledge systems.	Soft Comput.	1999	DBLP DOI BibTeX RDF	Automated deduction in many-valued logics, expert systems verification, computer algebra
21	Dexter Kozen	On Hoare Logic and Kleene Algebra with Tests.	LICS	1999	DBLP DOI BibTeX RDF	combination of logics, verification, formal methods, universal algebra, logics of programs
21	Paolo Terenziani	A Relational Algebra for User-Defined Periodicity.	DEXA Workshops	1999	DBLP DOI BibTeX RDF	Temporal Relational Databases, Temporal Model and Algebra, User-defined Symbolic Periodicity, Intentional Implementation
21	Panos A. Patsouris	Coordinated Flows in a Formal Multi-Agent System Based on a Modal Algebra.	ICPP	1999	DBLP DOI BibTeX RDF	Coordinated flow, Multi-agent system, Concurrency, Coordination, Cooperation, Autonomous agent, Modal algebra
21	Raymond R. Devillers, Maciej Koutny	Recursive Nets in the Box Algebra.	ACSD	1998	DBLP DOI BibTeX RDF	box algebra, limit construction, guardedness, Petri nets, refinement, recursion, fixpoint
21	Yuling Qu, Patrick A. Kelly, Haluk Derin, Weibo Gong	Conditional Event Algebra Techniques for Iterated Image Estimation.	ICIP (2)	1997	DBLP DOI BibTeX RDF	iterated image estimation, sequential estimation algorithms, iterated conditioning, product space conditional event algebra, probability space, PS-CEA, image sequences, iterative methods, Bayesian analysis
21	Santanu Paul, Atul Prakash 0001	A Query Algebra for Program Databases.	IEEE Trans. Software Eng.	1996	DBLP DOI BibTeX RDF	Software reverse engineering, program query language, program understanding, source code analysis, query algebra
21	Jaeyoung Choi, Jack J. Dongarra	Scalable linear algebra software libraries for distributed memory concurrent computers.	FTDCS	1995	DBLP DOI BibTeX RDF	scalable linear algebra software libraries, distributed memory concurrent computers, core factorization routines, ScaLAPACK library, block cyclic data distribution, message passing communication, scalable software library, de facto standard kernels, Intel iPSC/860, Touchstone Delta, Paragon systems, parallel programming, message passing, software reusability, software libraries, parallel implementations, symbol manipulation, matrix operations, vector operations
21	Steven Klusener	Abstraction in Real Time Process Algebra.	REX Workshop	1991	DBLP DOI BibTeX RDF	& Phrases Real Time, Abstraction, Process Algebra, Protocol Verification, ACP
21	Steven Klusener	Completeness in Real Time Process Algebra.	CONCUR	1991	DBLP DOI BibTeX RDF	& Phrases Real Time, Integration, Process Algebra, SOS, ACP
21	Jos C. M. Baeten, Jan A. Bergstra	Process Algebra with a Zero Object.	CONCUR	1990	DBLP DOI BibTeX RDF	inaction, deadlock, failure, zero, & Phrases process algebra
21	T. H. Merrett, Normand Laliberte	Including Scalars in a Programming Language Based on the Relational Algebra.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	relational programming system, relix, QT-selectors, l-expressions, systematic interpretations, array access, tuned access method, Z-order, data structures, relational databases, programming language, projections, database theory, relational algebra, relations, high level languages, syntax, B-trees, data types, records, scalars
21	J. Bradley	A Group-Select Operation for Relational Algebra and Implications for Database Machine Design.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	database machine design, group-select operation, nonprocedural relational languages, natural quantifiers, relational databases, relational algebra, associative memory, tuples
21	Rakesh Agrawal 0001	Alpha: An Extension of Relational Algebra to Express a Class of Recursive Queries.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	Codd, alpha operator, transitive relationships, project management network, relational databases, query languages, database theory, deductive databases, relational algebra, critical path, recursive functions, recursive queries
21	Rob J. van Glabbeek	Bounded Nondeterminism and the Approximation Induction Principle in Process Algebra.	STACS	1987	DBLP DOI BibTeX RDF	& Phrases Concurrency, Approximation Induction Principle, Bounded Nondeterminism, Fairness, Abstraction, Consistency, Process algebra, Recursion, Bisimulation, Liveness, ACP
21	Ronald N. Goldman	Illicit Expressions in Vector Algebra.	ACM Trans. Graph.	1985	DBLP DOI BibTeX RDF	vector algebra, vector geometry
21	István Németi, András Simon	Weakly higher order cylindric algebras and finite axiomatization of the representables.	Stud Logica	2009	DBLP DOI BibTeX RDF	quasi-projective relation algebra, non-well-founded set theory, finitization problem, algebraic logic, cylindric algebra
21	François Boulier, François Lemaire, Alexandre Sedoglavic, Asli Ürgüplü	Towards an Automated Reduction Method for Polynomial ODE Models of Biochemical Reaction Systems.	Math. Comput. Sci.	2009	DBLP DOI BibTeX RDF	cellular biology, system modeling, Computer algebra, differential algebra
21	Lianzhen Liu, Xiangyang Zhang	States on R0 algebras.	Soft Comput.	2008	DBLP DOI BibTeX RDF	R 0 algebra, MV algebra, State
21	Esko Turunen, Janne Mertanen	States on semi-divisible residuated lattices.	Soft Comput.	2008	DBLP DOI BibTeX RDF	Wajsberg algebra, MV-algebra, Residuated lattice, Probability theory
21	Hongbo Li 0012, Lei Huang	Complex brackets, balanced complex differences, and applications in symbolic geometric computing.	ISSAC	2008	DBLP DOI BibTeX RDF	bracket algebra, complex numbers method, graph theory, theorem proving, geometric algebra
21	Ján Herchl, Danica Jakubíková-Studenovská	Globals of unary algebras.	Soft Comput.	2007	DBLP DOI BibTeX RDF	Unary algebra, Monounary algebra, Global
21	Sylvia Pulmannová	Commutator-Finite D-Lattices.	Order	2004	DBLP DOI BibTeX RDF	D-lattice, Riesz ideal, block-finite, commutator-finite, block, MV-algebra, congruence, commutator, ideal, effect algebra
21	Irina Perfilieva	Normal forms in BL and L-sqcup algebras of functions.	Soft Comput.	2004	DBLP DOI BibTeX RDF	Conjunctive and additive normal forms, Extensional functions, algebra, BL-algebra, Universal approximation, Disjunctive
21	Anatolij Dvurecenskij	On pseudo MV-algebras.	Soft Comput.	2001	DBLP DOI BibTeX RDF	?-group, Partial addition, Normal ideal, Archimedean property, MV-algebra, State, Commutativity, Ideal, Pseudo MV-algebra
21	Wilfred Ng	Querying Databases with Knowledge Domains.	IDEAS	2000	DBLP DOI BibTeX RDF	knowledge domains, data domains, user-defined predicates, Knowledge Relational Algebra, knowledge domain classes, query language classes, computable queries, query, relational algebra
21	Jesús Manuel Almendros-Jiménez, Luis González-Jiménez	The LAST project: development of a formal method for IS-specification and of a CASE-tool for IS-design.	APSEC	2000	DBLP DOI BibTeX RDF	LAST project, information system specification, LAST-UML, user interfaces, user interface, formal method, information systems, specification languages, linear algebra, linear algebra, algebraic specification, set theory, set theory, computer aided software engineering, CASE tool, information system design
21	Jifeng He 0001, C. A. R. Hoare	Unifying theories of healthiness condition.	APSEC	2000	DBLP DOI BibTeX RDF	healthiness condition theory, programming notations, nondeterministic programming, probabilistic program, formal specifications, parallel programming, logic programming, programming languages, algebraic specification, programming theory, programming theory, Boolean algebra, Boolean algebra, sequential programming, design optimisation, algebraic laws
21	Ahmed Salam	Formal vector orthogonal polynomials.	Adv. Comput. Math.	1998	DBLP DOI BibTeX RDF	Clifford group and algebra, formal orthogonal polynomials in a non-commutative algebra, qd-algorithm, designants
21	Antonio Di Nola	Non-Archimedean Models of Lukasiewicz Logic.	ISMVL	1996	DBLP DOI BibTeX RDF	Lukasiewicz logic, nonarchimedean algebraic models, infinite-valued sentential calculus, Boolean functions, multivalued logic, Boolean algebra, MV-algebra
21	Long Quan	Invariant of a Pair of Non-Coplanar Conies in Space: Definition, Geometric Interpretation and Computation.	ICCV	1995	DBLP DOI BibTeX RDF	noncoplanar conics, joint invariants, coplanar conics, algebraic invariant, invariant algebra, quaternary quadratic forms, computer vision, computational geometry, image reconstruction, image recognition, calibration, algebra, cross-ratios, geometric interpretation, uncalibrated images, geometric computation
21	Riccardo Focardi, Roberto Gorrieri, V. Panini	The security checker: a semantics-based tool for the verification of security properties.	CSFW	1995	DBLP DOI BibTeX RDF	security checker, semantics-based tool, security properties verification, security process algebra, concurrency workbench, formal specification, formal verification, specifications, process algebra, confidentiality, security of data, automatic verification
21	Tim Collins, James C. Browne	MaTRiX++: an object-oriented environment for parallel high-performance matrix computations.	HICSS (2)	1995	DBLP DOI BibTeX RDF	MaTRiX+/sup +/, object-oriented environment, parallel high-performance matrix computations, hierarchical matrix algebra, recursive implementations, compilation model, distributed-memory parallel supercomputers, computation distribution, data-driven single-program, multiple-data processor programs, parallel programming, object-oriented programming, programming environments, rapid prototyping, object-oriented languages, matrix algebra, software prototyping, efficient implementations, language extensions, abstraction level, mathematics computing, parallelising compilers, hierarchical data, language interface
21	Garth Baulch, David Hemmendinger, Cherrice Traver	Analyzing and verifying locally clocked circuits with the concurrency workbench.	Great Lakes Symposium on VLSI	1995	DBLP DOI BibTeX RDF	locally clocked circuits, concurrency workbench, synchronous computational elements, concurrent system modelling, CCS process algebra, formal verification, timing, logic design, process algebra, logic CAD, asynchronous circuits, asynchronous circuits, circuit analysis computing, asynchronous communication
21	Milica Barjaktarovic, Shiu-Kai Chin, Kamal Jabbour	Formal specification and verification of communication protocols using automated tools .	ICECCS	1995	DBLP DOI BibTeX RDF	OSI protocol, large models, simulation, modelling, formal specification, formal specification, testing, protocols, formal verification, software tools, validation, theorem proving, process algebra, communication protocols, open systems, algebra, formal logic, automated tools, model checker, model testing, complex models, automated theorem prover
21	Roderic Guigó, Temple F. Smith	Inferring Correlation Between Database Queries: Analysis of Protein Sequence Patterns.	IEEE Trans. Pattern Anal. Mach. Intell.	1993	DBLP DOI BibTeX RDF	correlation inference, annotation query, protein sequence pattern analysis, stochastic dependence measurement, set similarity measure, protein sequence database, first-order language, query space, set algebra, query processing, query language, database theory, set theory, algebra, biology computing, proteins, database queries, correlation coefficient, asymptotic approximation
21	David R. O'Hallaron	Uniform Approach for Solving some Classical Problems on a Linear Array.	IEEE Trans. Parallel Distributed Syst.	1991	DBLP DOI BibTeX RDF	matrixtriangularization, unidirectional linear array, linearalgebra, parallel algorithms, graph theory, graph theory, matrix multiplication, linear algebra, matrix algebra, matrix transpose, algebraic path problem
21	Vijay Balasubramanian, Prithviraj Banerjee	Tradeoffs in the Design of Efficient Algorithm-Based Error Detection Schemes for Hypercube Multiprocessors.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	algorithm-based error detection, 16-processor Intel iPSC-2/D4/MX, software engineering, multiprocessing systems, error detection, encoding, encoding, linear algebra, QR factorization, numerical linear algebra, hypercube multiprocessors, sum-of-squares, checksum
18	Werner M. Seiler	A combinatorial approach to involution and delta-regularity II: structure analysis of polynomial modules with pommaret bases.	Appl. Algebra Eng. Commun. Comput.	2009	DBLP DOI BibTeX RDF
18	Markus Püschel, Martin Rötteler	Algebraic signal processing theory: Cooley-Tukey type algorithms on the 2-D hexagonal spatial lattice.	Appl. Algebra Eng. Commun. Comput.	2008	DBLP DOI BibTeX RDF
18	John Little, Ryan Schwarz	On toric codes and multivariate Vandermonde matrices.	Appl. Algebra Eng. Commun. Comput.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) Primary 94B27, Secondary 52B20, 14M25
18	Timothy F. Havel, S. S. Somaroo, C.-H. Tseng, David G. Cory	Principles and Demonstrations of Quantum Information Processing by NMR Spectroscopy.	Appl. Algebra Eng. Commun. Comput.	2000	DBLP DOI BibTeX RDF	Nuclear magnetic resonance, Pseudo-pure states, Product operator formalism, Quantum computation, Quantum error correcting codes
18	Franz Pauer, Andreas Unterkircher	Gröbner Bases for Ideals in Laurent Polynomial Rings and their Application to Systems of Difference Equations.	Appl. Algebra Eng. Commun. Comput.	1999	DBLP DOI BibTeX RDF	Laurent polynomial ring, generalized term order, partial difference equation, groebner basis
18	Carlos A. M. André, Ana L. Branco Correia, João Dias	Shintani descent for standard supercharacters of algebra groups.	Int. J. Algebra Comput.	2024	DBLP DOI BibTeX RDF
18	Mariarosa Mazza, Stefano Serra Capizzano, Rosita Luisa Sormani	Algebra preconditionings for 2D Riesz distributed-order space-fractional diffusion equations on convex domains.	Numer. Linear Algebra Appl.	2024	DBLP DOI BibTeX RDF
18	Bertalan Bodor, Kende Kalina, Csaba Szabó	Functional reducts of the countable atomless Boolean algebra.	Int. J. Algebra Comput.	2023	DBLP DOI BibTeX RDF
18	Jun Qiu, Yu Wang	A B-infinity algebra structure of singular Hochschild complex.	Int. J. Algebra Comput.	2023	DBLP DOI BibTeX RDF
18	Claudemir Fidelis, Alan De Araújo Guimarães	ℤ-gradings on the Grassmann algebra over infinite fields: Graded identities and central polynomials.	Int. J. Algebra Comput.	2023	DBLP DOI BibTeX RDF
18	Sergei A. Abramov, Alexander B. Batkhin, Anna A. Ryabenko, Leonid A. Sevastianov, Yvette Zonn, Min Wu 0003	The Fifth Conference "Computer Algebra" in Moscow.	ACM Commun. Comput. Algebra	2023	DBLP DOI BibTeX RDF
18	Iwan M. Duursma, Hsin-Po Wang 0001	Multilinear algebra for minimum storage regenerating codes: a generalization of the product-matrix construction.	Appl. Algebra Eng. Commun. Comput.	2023	DBLP DOI BibTeX RDF
18	Dietrich Burde, Karel Dekimpe, Mina Monadjem	Rigidity results for Lie algebras admitting a post-Lie algebra structure.	Int. J. Algebra Comput.	2022	DBLP DOI BibTeX RDF
18	Vsevolod Gubarev	Universal enveloping algebra of a pair of compatible Lie brackets.	Int. J. Algebra Comput.	2022	DBLP DOI BibTeX RDF
18	Jorge García Fontán, Alessandro Colotti, Sébastien Briot, Alexandre Goldsztejn, Mohab Safey El Din	Computer algebra methods for polynomial system solving at the service of image-based visual servoing.	ACM Commun. Comput. Algebra	2022	DBLP DOI BibTeX RDF
18	Nils Jansen 0001, Mariëlle Stoelinga, Petra van den Bos (eds.)	A Journey from Process Algebra via Timed Automata to Model Learning - Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday	A Journey from Process Algebra via Timed Automata to Model Learning	2022	DBLP DOI BibTeX RDF
18	David N. Jansen, Xinxin Liu	Rooted Divergence-Preserving Branching Bisimilarity is a Congruence: A Simpler Proof.	A Journey from Process Algebra via Timed Automata to Model Learning	2022	DBLP DOI BibTeX RDF
18	Herman Geuvers	Apartness and Distinguishing Formulas in Hennessy-Milner Logic.	A Journey from Process Algebra via Timed Automata to Model Learning	2022	DBLP DOI BibTeX RDF
18	Luca Aceto, Elli Anastasiadi, Valentina Castiglioni, Anna Ingólfsdóttir	Non-finite Axiomatisability Results via Reductions: CSP Parallel Composition and CCS Restriction.	A Journey from Process Algebra via Timed Automata to Model Learning	2022	DBLP DOI BibTeX RDF
18	Petra van den Bos, Marieke Huisman	The Integration of Testing and Program Verification - A Position Paper.	A Journey from Process Algebra via Timed Automata to Model Learning	2022	DBLP DOI BibTeX RDF
18	Falk Howar, Bernhard Steffen	Active Automata Learning as Black-Box Search and Lazy Partition Refinement.	A Journey from Process Algebra via Timed Automata to Model Learning	2022	DBLP DOI BibTeX RDF
18	Joshua Moerman, Thorsten Wißmann	State Identification and Verification with Satisfaction.	A Journey from Process Algebra via Timed Automata to Model Learning	2022	DBLP DOI BibTeX RDF
18	Alex Thieme, Twan Basten	Minesweeper is Difficult Indeed! - Technology Scaling for Minesweeper Circuits.	A Journey from Process Algebra via Timed Automata to Model Learning	2022	DBLP DOI BibTeX RDF
18	Benedikt Bollig, Martin Leucker, Daniel Neider	A Survey of Model Learning Techniques for Recurrent Neural Networks.	A Journey from Process Algebra via Timed Automata to Model Learning	2022	DBLP DOI BibTeX RDF
18	Markus Frohme, Bernhard Steffen	From Languages to Behaviors and Back.	A Journey from Process Algebra via Timed Automata to Model Learning	2022	DBLP DOI BibTeX RDF
18	Jan Friso Groote, Kevin H. J. Jilissen, Maurice Laveaux, P. H. M. van Spaendonck, Tim A. C. Willemse	Using the Parallel ATerm Library for Parallel Model Checking and State Space Generation.	A Journey from Process Algebra via Timed Automata to Model Learning	2022	DBLP DOI BibTeX RDF
18	Carlos Diego Nascimento Damasceno, Daniel Strüber 0001	Family-Based Fingerprint Analysis: A Position Paper.	A Journey from Process Algebra via Timed Automata to Model Learning	2022	DBLP DOI BibTeX RDF
18	Bart Jacobs 0001	A Reconstruction of Ewens' Sampling Formula via Lists of Coins.	A Journey from Process Algebra via Timed Automata to Model Learning	2022	DBLP DOI BibTeX RDF
18	Ivan Kurtev, Jozef Hooman	Runtime Verification of Compound Components with ComMA.	A Journey from Process Algebra via Timed Automata to Model Learning	2022	DBLP DOI BibTeX RDF
18	Hans Zantema	Passive Automata Learning: DFAs and NFAs.	A Journey from Process Algebra via Timed Automata to Model Learning	2022	DBLP DOI BibTeX RDF
18	Tiago Ferreira 0001, Gerco van Heerdt, Alexandra Silva 0001	Tree-Based Adaptive Model Learning.	A Journey from Process Algebra via Timed Automata to Model Learning	2022	DBLP DOI BibTeX RDF
18	Vincenzo Ciancia, Diego Latella, Mieke Massink, Erik P. de Vink	Back-and-Forth in Space: On Logics and Bisimilarity in Closure Spaces.	A Journey from Process Algebra via Timed Automata to Model Learning	2022	DBLP DOI BibTeX RDF
18	Rob van Glabbeek	Fair Must Testing for I/O Automata.	A Journey from Process Algebra via Timed Automata to Model Learning	2022	DBLP DOI BibTeX RDF
18	Wil M. P. van der Aalst	Discovering Directly-Follows Complete Petri Nets from Event Data.	A Journey from Process Algebra via Timed Automata to Model Learning	2022	DBLP DOI BibTeX RDF
18	Henk Barendregt, Antonino Raffone	Axiomatizing Consciousness with Applications.	A Journey from Process Algebra via Timed Automata to Model Learning	2022	DBLP DOI BibTeX RDF
18	Hubert Garavel, Frédéric Lang	Equivalence Checking 40 Years After: A Review of Bisimulation Tools.	A Journey from Process Algebra via Timed Automata to Model Learning	2022	DBLP DOI BibTeX RDF
18	Jan Tretmans, Ramon Janssen	Goodbye ioco.	A Journey from Process Algebra via Timed Automata to Model Learning	2022	DBLP DOI BibTeX RDF
18	Christel Baier, Clemens Dubslaff, Florian Funke 0002, Simon Jantsch, Jakob Piribauer, Robin Ziemek	Operational Causality - Necessarily Sufficient and Sufficiently Necessary.	A Journey from Process Algebra via Timed Automata to Model Learning	2022	DBLP DOI BibTeX RDF
18	Martin Fränzle	The Quest for an Adequate Semantic Basis of Dense-Time Metric Temporal Logic.	A Journey from Process Algebra via Timed Automata to Model Learning	2022	DBLP DOI BibTeX RDF
18	Jan A. Bergstra, John V. Tucker	Symmetric Transrationals: The Data Type and the Algorithmic Degree of its Equational Theory.	A Journey from Process Algebra via Timed Automata to Model Learning	2022	DBLP DOI BibTeX RDF