|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 7798 occurrences of 3322 keywords
|
|
|
Results
Found 19249 publication records. Showing 19248 according to the selection in the facets
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 |
|
Displaying result #601 - #700 of 19248 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ 16][ >>] |
|