|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Comput. Math. ![In: Adv. Comput. Math. 22(4), pp. 301-323, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Southeast Regional Conference (1) ![In: Proceedings of the 43nd Annual Southeast Regional Conference, 2005, Kennesaw, Georgia, USA, March 18-20, 2005, Volume 1, pp. 157-158, 2005, ACM, 1-59593-059-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPoPP ![In: Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2005, June 15-17, 2005, Chicago, IL, USA, pp. 153-163, 2005, ACM, 1-59593-080-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2004, First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers, pp. 447-462, 2004, Springer, 3-540-25304-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DOLAP ![In: DOLAP 2004, ACM Seventh International Workshop on Data Warehousing and OLAP, Washington, DC, USA, November 12-13, 2004, Proceedings, pp. 73-82, 2004, ACM, 1-58113-977-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2004, Venice, Italy, January 14-16, 2004, pp. 330-341, 2004, ACM, 1-58113-729-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings, pp. 343-362, 2004, Springer, 3-540-21377-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 75(2), pp. 221-238, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 31(1), pp. 1-9, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Sheffer stroke, Boolean algebra |
21 | Makoto Hamana |
Term rewriting with variable binding: an initial algebra approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 5th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 27-29 August 2003, Uppsala, Sweden, pp. 148-159, 2003, ACM, 1-58113-705-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Symbolic and Algebraic Computation, International Symposium ISSAC 2003, Drexel University, Philadelphia, Pennsylvania, USA, August 3-6, 2003, Proceedings, pp. 50-57, 2003, ACM, 1-58113-641-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 3(4), pp. 465-520, 2002. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mobile Data Management ![In: Proceedings of the Third International Conference on Mobile Data Management (MDM 2002), Singapore, January 8-11, 2002, pp. 159-160, 2002, IEEE Computer Society, 0-7695-1500-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 39th Design Automation Conference, DAC 2002, New Orleans, LA, USA, June 10-14, 2002, pp. 325-330, 2002, ACM, 1-58113-461-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 5(5), pp. 372-375, 2001. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 40(2), pp. 125-129, 2001. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 8th Asia-Pacific Software Engineering Conference (APSEC 2001), 4-7 December 2001, Macau, China, pp. 299-, 2001, IEEE Computer Society, 0-7695-1408-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADC ![In: Twelfth Australasian Database Conference, ADC2001, Bond University, Queensland, Australia, January 29 - February 1, 2001, pp. 115-122, 2001, IEEE Computer Society, 0-7695-0966-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
multimedia join operator, similarity-based algebra, multimedia, query optimization, image database |
21 | Raya Khanin |
Dimensional analysis in computer algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2001 International Symposium on Symbolic and Algebraic Computation, ISSAC 2001, ORCCA & University of Western Ontario, London, Ontario, Canada, July 22-25, 2001, pp. 201-208, 2001, ACM, 1-58113-417-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Math. Softw. ![In: ACM Trans. Math. Softw. 26(4), pp. 527-550, 2000. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSFW ![In: Proceedings of the 13th IEEE Computer Security Foundations Workshop, CSFW '00, Cambridge, England, UK, July 3-5, 2000, pp. 170-184, 2000, IEEE Computer Society, 0-7695-0671-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSMR ![In: 4th European Conference on Software Maintenance and Reengineering, CSMR 2000, Zurich, Switzerland, February 29 - March 3, 2000., pp. 33-44, 2000, IEEE Computer Society, 0-7695-0546-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 3(1), pp. 7-19, 1999. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 14th Annual IEEE Symposium on Logic in Computer Science, Trento, Italy, July 2-5, 1999, pp. 167-172, 1999, IEEE Computer Society, 0-7695-0158-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA Workshops ![In: 10th International Workshop on Database & Expert Systems Applications, Florence, Italy, September 1-3, 1999, Proceedings., pp. 494-500, 1999, IEEE Computer Society, 0-7695-0281-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPP ![In: Proceedings of the International Conference on Parallel Processing 1999, ICPP 1999, Wakamatsu, Japan, September 21-24, 1999, pp. 480-489, 1999, IEEE Computer Society, 0-7695-0350-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 1st International Conference on Application of Concurrency to System Design (ACSD '98), 23-26 March 1998, Fukushima, Japan, pp. 239-249, 1998, IEEE Computer Society, 0-8186-8350-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP (2) ![In: Proceedings 1997 International Conference on Image Processing, ICIP '97, Santa Barbara, California, USA, October 26-29, 1997, pp. 219-222, 1997, IEEE Computer Society, 0-8186-8183-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 22(3), pp. 202-217, 1996. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTDCS ![In: 5th IEEE Workshop on Future Trends of Distributed Computing Systems (FTDCS 1995), August 28-30, 1995, Chenju, Korea, Proceedings, pp. 170-177, 1995, IEEE Computer Society, 0-8186-7125-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REX Workshop ![In: Real-Time: Theory in Practice, REX Workshop, Mook, The Netherlands, June 3-7, 1991, Proceedings, pp. 325-352, 1991, Springer, 3-540-55564-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
& Phrases Real Time, Abstraction, Process Algebra, Protocol Verification, ACP |
21 | Steven Klusener |
Completeness in Real Time Process Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '91, 2nd International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 26-29, 1991, Proceedings, pp. 376-392, 1991, Springer, 3-540-54430-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '90, Theories of Concurrency: Unification and Extension, Amsterdam, The Netherlands, August 27-30, 1990, Proceedings, pp. 83-98, 1990, Springer, 3-540-53048-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 15(11), pp. 1437-1443, 1989. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 14(1), pp. 126-129, 1988. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 14(7), pp. 879-885, 1988. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 87, 4th Annual Symposium on Theoretical Aspects of Computer Science, Passau, Germany, February 19-21, 1987, Proceedings, pp. 336-347, 1987, Springer, 3-540-17219-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Graph. ![In: ACM Trans. Graph. 4(3), pp. 223-243, 1985. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 91(1), pp. 53-62, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Comput. Sci. ![In: Math. Comput. Sci. 2(3), pp. 443-464, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
cellular biology, system modeling, Computer algebra, differential algebra |
21 | Lianzhen Liu, Xiangyang Zhang |
States on R0 algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 12(11), pp. 1099-1104, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
R 0 algebra, MV algebra, State |
21 | Esko Turunen, Janne Mertanen |
States on semi-divisible residuated lattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 12(4), pp. 353-357, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Symbolic and Algebraic Computation, International Symposium, ISSAC 2008, Linz/Hagenberg, Austria, July 20-23, 2008, Proceedings, pp. 181-188, 2008, ACM, 978-1-59593-904-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 11(11), pp. 1107-1112, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Unary algebra, Monounary algebra, Global |
21 | Sylvia Pulmannová |
Commutator-Finite D-Lattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 21(2), pp. 91-105, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 8(4), pp. 291-298, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 5(5), pp. 347-354, 2001. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDEAS ![In: 2000 International Database Engineering and Applications Symposium, IDEAS 2000, September 18-20, 2000, Yokohoma, Japan, Proccedings, pp. 65-74, 2000, IEEE Computer Society, 0-7695-0789-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 7th Asia-Pacific Software Engineering Conference (APSEC 2000), 5-8 December 2000, Singapore, pp. 54-61, 2000, IEEE Computer Society, 0-7695-0915-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 7th Asia-Pacific Software Engineering Conference (APSEC 2000), 5-8 December 2000, Singapore, pp. 70-, 2000, IEEE Computer Society, 0-7695-0915-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Comput. Math. ![In: Adv. Comput. Math. 8(3), pp. 267-289, 1998. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 26th IEEE International Symposium on Multiple-Valued Logic, ISMVL 1996, Santiago de Compostela, Spain, May 29-31, 1996, Proceedings, pp. 32-36, 1996, IEEE Computer Society, 0-8186-7392-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCV ![In: Procedings of the Fifth International Conference on Computer Vision (ICCV 95), Massachusetts Institute of Technology, Cambridge, Massachusetts, USA, June 20-23, 1995, pp. 926-931, 1995, IEEE Computer Society, 0-8186-7042-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSFW ![In: The Eighth IEEE Computer Security Foundations Workshop (CSFW '95), March 13-15, 1995, Kenmare, County Kerry, Ireland, pp. 60-69, 1995, IEEE Computer Society, 0-8186-7033-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (2) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 202-211, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Great Lakes Symposium on VLSI ![In: 5th Great Lakes Symposium on VLSI (GLS-VLSI '95), March 16-18, 1995, The State University of New York at Buffalo, USA, pp. 144-147, 1995, IEEE Computer Society, 0-8186-7035-5. The full citation details ...](Pics/full.jpeg) |
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 . ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 1st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '95), November 6-10, 1995, Fort Lauderdale, Florida, USA, pp. 246-253, 1995, IEEE Computer Society, 0-8186-7123-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 15(10), pp. 1030-1041, 1993. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 2(2), pp. 236-241, 1991. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 16(2), pp. 183-196, 1990. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Algebra Eng. Commun. Comput. ![In: Appl. Algebra Eng. Commun. Comput. 20(3-4), pp. 261-338, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Algebra Eng. Commun. Comput. ![In: Appl. Algebra Eng. Commun. Comput. 19(3), pp. 259-292, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
18 | John Little, Ryan Schwarz |
On toric codes and multivariate Vandermonde matrices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Algebra Eng. Commun. Comput. ![In: Appl. Algebra Eng. Commun. Comput. 18(4), pp. 349-367, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Algebra Eng. Commun. Comput. ![In: Appl. Algebra Eng. Commun. Comput. 10(4/5), pp. 339-374, 2000. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Algebra Eng. Commun. Comput. ![In: Appl. Algebra Eng. Commun. Comput. 9(4), pp. 271-291, 1999. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Algebra Comput. ![In: Int. J. Algebra Comput. 34(2), pp. 207-226, March 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Numer. Linear Algebra Appl. ![In: Numer. Linear Algebra Appl. 31(3), May 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
18 | Bertalan Bodor, Kende Kalina, Csaba Szabó |
Functional reducts of the countable atomless Boolean algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Algebra Comput. ![In: Int. J. Algebra Comput. 33(1), pp. 87-103, February 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Jun Qiu, Yu Wang |
A B-infinity algebra structure of singular Hochschild complex. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Algebra Comput. ![In: Int. J. Algebra Comput. 33(6), pp. 1083-1098, September 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Algebra Comput. ![In: Int. J. Algebra Comput. 33(8), pp. 1713-1735, December 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Commun. Comput. Algebra ![In: ACM Commun. Comput. Algebra 57(2), pp. 72-84, June 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Algebra Eng. Commun. Comput. ![In: Appl. Algebra Eng. Commun. Comput. 34(4), pp. 717-743, July 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Dietrich Burde, Karel Dekimpe, Mina Monadjem |
Rigidity results for Lie algebras admitting a post-Lie algebra structure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Algebra Comput. ![In: Int. J. Algebra Comput. 32(8), pp. 1495-1511, December 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Vsevolod Gubarev |
Universal enveloping algebra of a pair of compatible Lie brackets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Algebra Comput. ![In: Int. J. Algebra Comput. 32(7), pp. 1335-1344, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Commun. Comput. Algebra ![In: ACM Commun. Comput. Algebra 56(2), pp. 36-40, 2022. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
A Journey from Process Algebra via Timed Automata to Model Learning ![Springer, 978-3-031-15628-1 The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | David N. Jansen, Xinxin Liu |
Rooted Divergence-Preserving Branching Bisimilarity is a Congruence: A Simpler Proof. ![Search on Bibsonomy](Pics/bibsonomy.png) |
A Journey from Process Algebra via Timed Automata to Model Learning ![In: A Journey from Process Algebra via Timed Automata to Model Learning - Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday, pp. 358-370, 2022, Springer, 978-3-031-15628-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Herman Geuvers |
Apartness and Distinguishing Formulas in Hennessy-Milner Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
A Journey from Process Algebra via Timed Automata to Model Learning ![In: A Journey from Process Algebra via Timed Automata to Model Learning - Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday, pp. 266-282, 2022, Springer, 978-3-031-15628-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
A Journey from Process Algebra via Timed Automata to Model Learning ![In: A Journey from Process Algebra via Timed Automata to Model Learning - Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday, pp. 1-26, 2022, Springer, 978-3-031-15628-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Petra van den Bos, Marieke Huisman |
The Integration of Testing and Program Verification - A Position Paper. ![Search on Bibsonomy](Pics/bibsonomy.png) |
A Journey from Process Algebra via Timed Automata to Model Learning ![In: A Journey from Process Algebra via Timed Automata to Model Learning - Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday, pp. 524-538, 2022, Springer, 978-3-031-15628-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Falk Howar, Bernhard Steffen |
Active Automata Learning as Black-Box Search and Lazy Partition Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
A Journey from Process Algebra via Timed Automata to Model Learning ![In: A Journey from Process Algebra via Timed Automata to Model Learning - Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday, pp. 321-338, 2022, Springer, 978-3-031-15628-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Joshua Moerman, Thorsten Wißmann |
State Identification and Verification with Satisfaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
A Journey from Process Algebra via Timed Automata to Model Learning ![In: A Journey from Process Algebra via Timed Automata to Model Learning - Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday, pp. 450-466, 2022, Springer, 978-3-031-15628-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Alex Thieme, Twan Basten |
Minesweeper is Difficult Indeed! - Technology Scaling for Minesweeper Circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
A Journey from Process Algebra via Timed Automata to Model Learning ![In: A Journey from Process Algebra via Timed Automata to Model Learning - Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday, pp. 472-490, 2022, Springer, 978-3-031-15628-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Benedikt Bollig, Martin Leucker, Daniel Neider |
A Survey of Model Learning Techniques for Recurrent Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
A Journey from Process Algebra via Timed Automata to Model Learning ![In: A Journey from Process Algebra via Timed Automata to Model Learning - Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday, pp. 81-97, 2022, Springer, 978-3-031-15628-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Markus Frohme, Bernhard Steffen |
From Languages to Behaviors and Back. ![Search on Bibsonomy](Pics/bibsonomy.png) |
A Journey from Process Algebra via Timed Automata to Model Learning ![In: A Journey from Process Algebra via Timed Automata to Model Learning - Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday, pp. 180-200, 2022, Springer, 978-3-031-15628-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
A Journey from Process Algebra via Timed Automata to Model Learning ![In: A Journey from Process Algebra via Timed Automata to Model Learning - Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday, pp. 306-320, 2022, Springer, 978-3-031-15628-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Carlos Diego Nascimento Damasceno, Daniel Strüber 0001 |
Family-Based Fingerprint Analysis: A Position Paper. ![Search on Bibsonomy](Pics/bibsonomy.png) |
A Journey from Process Algebra via Timed Automata to Model Learning ![In: A Journey from Process Algebra via Timed Automata to Model Learning - Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday, pp. 137-150, 2022, Springer, 978-3-031-15628-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Bart Jacobs 0001 |
A Reconstruction of Ewens' Sampling Formula via Lists of Coins. ![Search on Bibsonomy](Pics/bibsonomy.png) |
A Journey from Process Algebra via Timed Automata to Model Learning ![In: A Journey from Process Algebra via Timed Automata to Model Learning - Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday, pp. 339-357, 2022, Springer, 978-3-031-15628-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Ivan Kurtev, Jozef Hooman |
Runtime Verification of Compound Components with ComMA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
A Journey from Process Algebra via Timed Automata to Model Learning ![In: A Journey from Process Algebra via Timed Automata to Model Learning - Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday, pp. 382-402, 2022, Springer, 978-3-031-15628-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Hans Zantema |
Passive Automata Learning: DFAs and NFAs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
A Journey from Process Algebra via Timed Automata to Model Learning ![In: A Journey from Process Algebra via Timed Automata to Model Learning - Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday, pp. 575-580, 2022, Springer, 978-3-031-15628-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Tiago Ferreira 0001, Gerco van Heerdt, Alexandra Silva 0001 |
Tree-Based Adaptive Model Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
A Journey from Process Algebra via Timed Automata to Model Learning ![In: A Journey from Process Algebra via Timed Automata to Model Learning - Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday, pp. 164-179, 2022, Springer, 978-3-031-15628-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
A Journey from Process Algebra via Timed Automata to Model Learning ![In: A Journey from Process Algebra via Timed Automata to Model Learning - Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday, pp. 98-115, 2022, Springer, 978-3-031-15628-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Rob van Glabbeek |
Fair Must Testing for I/O Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
A Journey from Process Algebra via Timed Automata to Model Learning ![In: A Journey from Process Algebra via Timed Automata to Model Learning - Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday, pp. 559-574, 2022, Springer, 978-3-031-15628-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Wil M. P. van der Aalst |
Discovering Directly-Follows Complete Petri Nets from Event Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
A Journey from Process Algebra via Timed Automata to Model Learning ![In: A Journey from Process Algebra via Timed Automata to Model Learning - Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday, pp. 539-558, 2022, Springer, 978-3-031-15628-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Henk Barendregt, Antonino Raffone |
Axiomatizing Consciousness with Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
A Journey from Process Algebra via Timed Automata to Model Learning ![In: A Journey from Process Algebra via Timed Automata to Model Learning - Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday, pp. 46-62, 2022, Springer, 978-3-031-15628-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Hubert Garavel, Frédéric Lang |
Equivalence Checking 40 Years After: A Review of Bisimulation Tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
A Journey from Process Algebra via Timed Automata to Model Learning ![In: A Journey from Process Algebra via Timed Automata to Model Learning - Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday, pp. 213-265, 2022, Springer, 978-3-031-15628-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Jan Tretmans, Ramon Janssen |
Goodbye ioco. ![Search on Bibsonomy](Pics/bibsonomy.png) |
A Journey from Process Algebra via Timed Automata to Model Learning ![In: A Journey from Process Algebra via Timed Automata to Model Learning - Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday, pp. 491-511, 2022, Springer, 978-3-031-15628-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
A Journey from Process Algebra via Timed Automata to Model Learning ![In: A Journey from Process Algebra via Timed Automata to Model Learning - Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday, pp. 27-45, 2022, Springer, 978-3-031-15628-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Martin Fränzle |
The Quest for an Adequate Semantic Basis of Dense-Time Metric Temporal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
A Journey from Process Algebra via Timed Automata to Model Learning ![In: A Journey from Process Algebra via Timed Automata to Model Learning - Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday, pp. 201-212, 2022, Springer, 978-3-031-15628-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
A Journey from Process Algebra via Timed Automata to Model Learning ![In: A Journey from Process Algebra via Timed Automata to Model Learning - Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday, pp. 63-80, 2022, Springer, 978-3-031-15628-1. The full citation details ...](Pics/full.jpeg) |
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][ >>] |
|