|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 4003 occurrences of 2151 keywords
|
|
|
Results
Found 9496 publication records. Showing 9496 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
16 | Xiaoqing Wen, Hideo Tamamoto, Kozo Kinoshita |
Transistor leakage fault location with ZDDQ measurement. |
Asian Test Symposium |
1995 |
DBLP DOI BibTeX RDF |
field effect transistor circuits, transistor leakage fault location, I/sub DDQ/ measurement, equivalence fault collapsing, diagnosed faults, gate-array circuit, fault diagnosis, logic testing, random tests, fault location, CMOS logic circuits, leakage currents, logic arrays, CMOS circuit, deterministic tests, electric current measurement, diagnostic resolution |
16 | Z. P. Tao, Gregor von Bochmann, Rachida Dssouli |
An efficient method for protocol conversion. |
ICCCN |
1995 |
DBLP DOI BibTeX RDF |
optimized protocol converters, heterogeneous computer networks, message sequences, deterministic service specification, modified channel specifications, internetworking system, protocols, interoperability, efficient algorithm, protocol specifications, observation equivalence, protocol conversion |
16 | Naoshi Uchihira, Shinichi Honiden |
Compositional adjustment of concurrent programs to satisfy temporal logic constraints in MENDELS ZONE. |
HICSS (2) |
1995 |
DBLP DOI BibTeX RDF |
fifth generation systems, compositional adjustment, correct concurrent program development, temporal logic constraints, MENDELS ZONE, program adjustment, finite-state process, arbiter process, partial serialization, imperfect processes, harmful nondeterministic behaviors, large-scale compound target processes, process equivalence theory, Multi-PSI, MENDEL concurrent programming language, kernel language, KL1, parallel computer, temporal logic, programming environments, programming environment, program debugging, high-level Petri net, constraint handling, multiprocessing programs, formal approach |
16 | Tamás D. Gedeon |
Indicators of hidden neuron functionality: the weight matrix versus neuron behaviour. |
ANNES |
1995 |
DBLP DOI BibTeX RDF |
hidden neuron functionality, weight matrix, neuron behaviour, hidden neuron pruning, backpropagation trained neural networks, generalisation performance, pruning process, quality driven compression, least different hidden neurons, trained weight matrix, compression process, functional equivalence problem, data compression, image coding, backpropagation, rule extraction, feedforward neural nets, image processing application |
16 | Wael M. Elseaidy, Rance Cleaveland |
A tool for modeling and verifying real-time systems. |
ICECCS |
1995 |
DBLP DOI BibTeX RDF |
real-time systems verification, verification environment, graphical design la, Modechart, textually based language, Temporal CCS, system minimization, active structural control systems, real-time systems, formal verification, software tools, visual languages, equivalence checking, modeling tool |
16 | Gregory Butler, Peter Grogono, Rajjan Shinghal, Indra A. Tjandra |
Analyzing the logical structure of data flow diagrams in software documents. |
ICDAR |
1995 |
DBLP DOI BibTeX RDF |
logical structure analysis, Calculus of Communicating Systems, Edinburgh Concurrency Workbench, CWB, deep understanding, equivalence, CCS, document understanding, software documents, flowcharting, formal description, data flow diagrams, data flow diagram |
16 | Gang Luo, Gregor von Bochmann, Alexandre Petrenko |
Test Selection Based on Communicating Nondeterministic Finite-State Machines Using a Generalized WP-Method. |
IEEE Trans. Software Eng. |
1994 |
DBLP DOI BibTeX RDF |
communicating nondeterministic finite-state machines, generalized Wp-method, conformance relation, trace-equivalence, deterministic finite-state machines, software engineering, software engineering, protocols, software testing, finite state machines, specification languages, program testing, concurrent programs, communication protocols, fault coverage, conformance testing, programming theory, SDL, reachability analysis, test suites, multiprocessing programs, test selection, protocol engineering, test sequence generation, protocol conformance testing |
16 | Abdullah Uz Tansel, Lucy Garnett |
On Roth, Korth, and Silberschatz's Extended Algebra and Calculus for Nested Relational Databases. |
ACM Trans. Database Syst. |
1992 |
DBLP DOI BibTeX RDF |
equivalence of algebra and calculus, relational algebra, relational calculus, nested relations |
16 | Flemming Nielson, Hanne Riis Nielson |
Layered Predicates. |
REX Workshop |
1992 |
DBLP DOI BibTeX RDF |
partial equivalence relations, Kripke-logical relations, layered predicates, Kripke-layered predicates, substitution properties, well-structured proofs, correctness of code generation, proof principles, denotational semantics, logical relations |
16 | Michael Lindenbaum, Jack Koplowitz |
A New Parameterization of Digital Straight Lines. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1991 |
DBLP DOI BibTeX RDF |
digital straight lines, 1:1 correspondence, point pairs, linear dichotomies, computational complexity, computational complexity, computational geometry, computational geometry, parameterization, equivalence |
16 | Mohammad A. Ketabchi, Valdis Berzins |
Mathematical Model of Composite Objects and Its Application for Organizing Engineering Databases. |
IEEE Trans. Software Eng. |
1988 |
DBLP DOI BibTeX RDF |
database partitioning, clustering concept, component aggregation, equivalent objects, minterms, stored views, design data, frequent access patterns, data structures, relational database, relational databases, CAD, database theory, Boolean algebra, assemblies, equivalence classes, composite objects, engineering databases |
14 | Michael Benedikt, Gabriele Puppis, Huy Vu |
Positive higher-order queries. |
PODS |
2010 |
DBLP DOI BibTeX RDF |
higher-order queries |
14 | Fedor V. Fomin, Pierre Fraigniaud, Nicolas Nisse |
Nondeterministic Graph Searching: From Pathwidth to Treewidth. |
Algorithmica |
2009 |
DBLP DOI BibTeX RDF |
Treewidth, Graph searching, Pathwidth |
14 | Luca de Alfaro, Marco Faella, Mariëlle Stoelinga |
Linear and Branching System Metrics. |
IEEE Trans. Software Eng. |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Dorel Lucanu, Grigore Rosu |
Circular Coinduction with Special Contexts. |
ICFEM |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Michel de Rougemont, Mathieu Tracol |
Statistic Analysis for Probabilistic Processes. |
LICS |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Chao Wang 0001, Swarat Chaudhuri, Aarti Gupta, Yu Yang 0013 |
Symbolic pruning of concurrent program executions. |
ESEC/SIGSOFT FSE |
2009 |
DBLP DOI BibTeX RDF |
concurrency, sat, pruning, partial order reduction |
14 | Pietro Cenciarelli, Daniele Gorla, Ivano Salvo |
Depletable Channels: Dynamics and Behaviour. |
FCT |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Sébastien Combéfis, Charles Pecheur |
A bisimulation-based approach to the analysis of human-computer interaction. |
EICS |
2009 |
DBLP DOI BibTeX RDF |
human-computer interaction (HCI) modelling, mode confusion, formal methods, bisimulation |
14 | Luca Padovani |
Contract-Based Discovery and Adaptation of Web Services. |
SFM |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Yukio-Pegio Gunji, Taichi Haruna, Eugene Schneider Kitamura |
Lattice Derived by Double Indiscernibility and Computational Complementarity. |
RSKT |
2009 |
DBLP DOI BibTeX RDF |
computational complementarity, automata, lattice theory, Indiscernibility |
14 | Syed Suhaib, Deepak Mathaikutty, Sandeep K. Shukla |
A Trace-Based Framework for Verifiable GALS Composition of IPs. |
IEEE Trans. Very Large Scale Integr. Syst. |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Matthew Spinks, Robert Veroff |
Constructive Logic with Strong Negation is a Substructural Logic. II. |
Stud Logica |
2008 |
DBLP DOI BibTeX RDF |
Nelson algebra, algebra, residuated lattice, substructural logic, strong negation, Constructive logic |
14 | Ran El-Yaniv, Dmitry Pechyony, Vladimir Vapnik |
Large Margin vs. Large Volume in Transductive Learning. |
ECML/PKDD (1) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Cindy Eisner, Amir Nahir, Karen Yorav |
Functional Verification of Power Gated Designs by Compositional Reasoning. |
CAV |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Anna Zaks, Amir Pnueli |
CoVaC: Compiler Validation by Program Analysis of the Cross-Product. |
FM |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Luca Trevisan |
Average-case Complexity. |
FOCS |
2008 |
DBLP DOI BibTeX RDF |
|
14 | David Herman, Mitchell Wand |
A Theory of Hygienic Macros. |
ESOP |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Anirban Dasgupta 0001, Ravi Kumar 0001, Amit Sasturkar |
De-duping URLs via rewrite rules. |
KDD |
2008 |
DBLP DOI BibTeX RDF |
URL normalization, de-duping, rewrite rules |
14 | Ramkishore Bhattacharyya, Balaram Bhattacharyya |
Gene Expression Mining for Cohesive Pattern Discovery. |
BIRD |
2008 |
DBLP DOI BibTeX RDF |
microarray mining, Association rule, cohesion, gene cluster, direct interaction |
14 | David de Frutos-Escrig, Carlos Gregorio-Rodríguez |
Universal Coinductive Characterisations of Process Semantics. |
IFIP TCS |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Taolue Chen, Tingting Han 0001, Joost-Pieter Katoen |
Time-Abstracting Bisimulation for Probabilistic Timed Automata. |
TASE |
2008 |
DBLP DOI BibTeX RDF |
time-abstracting bisimulation, probabilistic timed automata |
14 | Shih-Chiang Tsao, Yuan-Cheng Lai, Ying-Dar Lin |
Taxonomy and Evaluation of TCP-Friendly Congestion-Control Schemes on Fairness, Aggressiveness, and Responsiveness. |
IEEE Netw. |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Martine De Cock, Chris Cornelis, Etienne E. Kerre |
Fuzzy Rough Sets: The Forgotten Step. |
IEEE Trans. Fuzzy Syst. |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Ninghui Li, Tiancheng Li, Suresh Venkatasubramanian |
t-Closeness: Privacy Beyond k-Anonymity and l-Diversity. |
ICDE |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Andrew M. Pitts, Mark R. Shinwell |
Generative unbinding of names. |
POPL |
2007 |
DBLP DOI BibTeX RDF |
alpha-conversion, meta-programming, abstract syntax, binders |
14 | Hong-bin Fang |
Integrating Probability and Quotient Space Theory: Quotient Probability. |
ICFIE |
2007 |
DBLP DOI BibTeX RDF |
Quotient Space Theory, Granular Computing, Probability Theory |
14 | Gaurav Aggarwal, Soma Biswas, Rama Chellappa |
Symmetric Objects are Hardly Ambiguous. |
CVPR |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Quanbao Sun, Minxuan Zhang, Liquan Xiao |
Hardware-Based Multicast with Global Load Balance on k-ary n-trees. |
ICPP |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Luca Aceto, Wan J. Fokkink, Anna Ingólfsdóttir |
Ready to Preorder: Get Your BCCSP Axiomatization for Free! |
CALCO |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Søren B. Lassen, Paul Blain Levy |
Typed Normal Form Bisimulation. |
CSL |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Jacob A. Abraham, Daniel G. Saab |
Tutorial T4A: Formal Verification Techniques and Tools for Complex Designs. |
VLSI Design |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Alberto Trombetta, Danilo Montesi |
Equivalences and optimizations in an expressive XSLT subset. |
Acta Informatica |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Sem C. Borst, Rudesindo Núñez-Queija, Bert Zwart |
Sojourn time asymptotics in processor-sharing queues. |
Queueing Syst. Theory Appl. |
2006 |
DBLP DOI BibTeX RDF |
Bandwidth-sharing networks, Reduced service rate approximation, Light-tailed distributions, Large deviations, Processor sharing, Heavy-tailed distributions, Tail asymptotics |
14 | Andrew M. Pitts |
Alpha-structural recursion and induction. |
J. ACM |
2006 |
DBLP DOI BibTeX RDF |
recursion, induction, names, Abstract syntax, binders |
14 | Radu Mateescu 0001 |
CAESAR_SOLVE: A generic library for on-the-fly resolution of alternation-free Boolean equation systems. |
Int. J. Softw. Tools Technol. Transf. |
2006 |
DBLP DOI BibTeX RDF |
Boolean equation system, Verification, Temporal logic, Bisimulation, Partial-order reduction |
14 | Jeremy Sproston, Susanna Donatelli |
Backward Bisimulation in Markov Chain Model Checking. |
IEEE Trans. Software Eng. |
2006 |
DBLP DOI BibTeX RDF |
model checking, verification, temporal logic, Markov processes |
14 | Kirill Bogdanov 0002, Mike Holcombe, Florentin Ipate, L. Seed, Salim K. Vanak |
Testing methods for X-machines: a review. |
Formal Aspects Comput. |
2006 |
DBLP DOI BibTeX RDF |
Software testing, Finite state machines, Test set generation, X-machines |
14 | Germain Faure |
Matching Modulo Superdevelopments Application to Second-Order Matching. |
LPAR |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Patricia Bouyer, Thomas Brihaye, Fabrice Chevalier |
Control in o-minimal Hybrid Systems. |
LICS |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Søren B. Lassen |
Head Normal Form Bisimulation for Pairs and the \lambda\mu-Calculus. |
LICS |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Daniele Micciancio, Saurabh Panjwani |
Corrupting One vs. Corrupting Many: The Case of Broadcast and Multicast Encryption. |
ICALP (2) |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Zhi-jun Xie, Hong Chen 0001, Cuiping Li 0001 |
An Efficient Algorithm for Frequent Itemset Mining on Data Streams. |
ICDM |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Taolue Chen, Wan J. Fokkink |
On Finite Alphabets and Infinite Bases III: Simulation. |
CONCUR |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Rob J. van Glabbeek, Marc Voorhoeve |
Liveness, Fairness and Impossible Futures. |
CONCUR |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Eugene W. Stark, Rance Cleaveland, Scott A. Smolka |
Probabilistic I/O Automata: Theories of Two Equivalences. |
CONCUR |
2006 |
DBLP DOI BibTeX RDF |
process equivalences, continuous-time Markov chains, equational theories, stochastic process algebras, complete axiomatizations |
14 | Michinori Nakata, Hiroshi Sakai |
Applying Rough Sets to Data Tables Containing Imprecise Information Under Probabilistic Interpretation. |
RSCTC |
2006 |
DBLP DOI BibTeX RDF |
Rough sets, Lower and upper approximations, Imprecise information |
14 | Therese Berg, Bengt Jonsson 0001, Harald Raffelt |
Regular Inference for State Machines with Parameters. |
FASE |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Guang-Ping Qin, Jin-Zhao Wu |
Action Refinement for Real-Time Concurrent Processes with Urgency. |
J. Comput. Sci. Technol. |
2005 |
DBLP DOI BibTeX RDF |
timed event, real-time process algebra, structure, action refinement, urgency |
14 | Mingsheng Ying |
pi-calculus with noisy channels. |
Acta Informatica |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Silvia Acid, Luis M. de Campos, Francisco Javier García Castellano |
Learning Bayesian Network Classifiers: Searching in a Space of Partially Directed Acyclic Graphs. |
Mach. Learn. |
2005 |
DBLP DOI BibTeX RDF |
partially directed acyclic graphs, classification, Bayesian networks, directed acyclic graphs, learning algorithms, scoring functions |
14 | Peter V. Homeier |
A Design Structure for Higher Order Quotients. |
TPHOLs |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Pierre Salverda, Grigore Rosu, Craig B. Zilles |
Formally Defining and Verifying Master/Slave Speculative Parallelization. |
FM |
2005 |
DBLP DOI BibTeX RDF |
|
14 | James Laird |
Decidability in Syntactic Control of Interference. |
ICALP |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Martín Abadi, Bogdan Warinschi |
Password-Based Encryption Analyzed. |
ICALP |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Andrzej S. Murawski, Igor Walukiewicz |
Third-Order Idealized Algol with Iteration Is Decidable. |
FoSSaCS |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Fedor V. Fomin, Pierre Fraigniaud, Nicolas Nisse |
Nondeterministic Graph Searching: From Pathwidth to Treewidth. |
MFCS |
2005 |
DBLP DOI BibTeX RDF |
treewidth, graph searching, pathwidth |
14 | Hong Tian, Zhao Pixi, Xiukun Wang |
CRST: A Generalization of Rough Set Theory. |
RSFDGrC (1) |
2005 |
DBLP DOI BibTeX RDF |
Compatibility Rough Set Theory (CRST), Compatibility Relation, Fuzzy Compatibility Relation, Rough Set Theory (RST) |
14 | Sebastian Hunt, Isabella Mastroeni |
The PER Model of Abstract Non-interference. |
SAS |
2005 |
DBLP DOI BibTeX RDF |
abstract interpretation, Information flow, language-based security, non-interference |
14 | Jan Hidders, Stefania Marrara, Jan Paredaens, Roel Vercammen |
On the Expressive Power of XQuery Fragments. |
DBPL |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Yaqin Zhao, Xianzhong Zhou, Guizhong Tang |
A Rough Set-Based Fuzzy Clustering. |
AIRS |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Churn-Jung Liau, T. Y. Lin |
Reasoning about relational granulation in modal logics. |
GrC |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Ying-Tsai Chang, Kwang-Ting Cheng |
Self-referential verification for gate-level implementations of arithmetic circuits. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Alberto Trombetta, Danilo Montesi |
Equivalences and Optimizations in an Expressive XSLT Fragment. |
IDEAS |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Jeremy Sproston, Susanna Donatelli |
Backward Stochastic Bisimulation in CSL Model Checking. |
QEST |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Dan R. Ghica, Andrzej S. Murawski, C.-H. Luke Ong |
Syntactic Control of Concurrency. |
ICALP |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Luca de Alfaro, Marco Faella, Mariëlle Stoelinga |
Linear and Branching Metrics for Quantitative Transition Systems. |
ICALP |
2004 |
DBLP DOI BibTeX RDF |
|
14 | James Laird |
A Calculus of Coroutines. |
ICALP |
2004 |
DBLP DOI BibTeX RDF |
|
14 | A. J. van der Schaft |
Bisimulation of Dynamical Systems. |
HSCC |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Wan J. Fokkink, Sumit Nain |
On Finite Alphabets and Infinite Bases: From Ready Pairs to Possible Worlds. |
FoSSaCS |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Wim Martens, Frank Neven, Thomas Schwentick |
Complexity of Decision Problems for Simple Regular Expressions. |
MFCS |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Claudio Sacerdoti Coen |
A Semi-reflexive Tactic for (Sub-)Equational Reasoning. |
TYPES |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Youngsik Kim, Shekhar Kopuri, Nazanin Mansouri |
Automated Formal Verification of Scheduling Process Using Finite State Machines with Datapath (FSMD). |
ISQED |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Witold R. Rudnicki, Henryk Jan Komorowski |
Feature Synthesis and Extraction for the Construction of Generalized Properties of Amino Acids. |
Rough Sets and Current Trends in Computing |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Herman Geuvers, Rob Nederpelt |
Rewriting for Fitch Style Natural Deductions. |
RTA |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Jean Goubault-Larrecq, Slawomir Lasota 0001, David Nowak, Yu Zhang |
Complete Lax Logical Relations for Cryptographic Lambda-Calculi. |
CSL |
2004 |
DBLP DOI BibTeX RDF |
Cryptographic lambda-calculus, Subscone, Monads, Logical relations |
14 | Mila E. Majster-Cederbaum, Jinzhao Wu |
Adding Action Refinement to Stochastic True Concurrency Models. |
ICFEM |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Jérôme Maloberti, Einoshin Suzuki |
Improving Efficiency of Frequent Query Discovery by Eliminating Non-relevant Candidates. |
Discovery Science |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Matthew Hennessy, Massimo Merro, Julian Rathke |
Towards a Behavioural Theory of Access and Mobility Control in Distributed Systems. |
FoSSaCS |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Bala Ravikumar |
Weak Minimization of DFA - An Algorithm and Applications. |
CIAA |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Martin Kutrib |
Dimension- and Time-Hierarchies for Small Time Bounds. |
FCT |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Sara Cohen, Werner Nutt, Yehoshua Sagiv |
Containment of Aggregate Queries. |
ICDT |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Aleksander Malnic, Dragan Marusic, Norbert Seifter, Boris Zgrablic |
Highly Arc-Transitive Digraphs With No Homomorphism Onto Z. |
Comb. |
2002 |
DBLP DOI BibTeX RDF |
AMS Subject Classification (2000) Classes: 05C25, 05C20 |
14 | Harald Fecher, Mila E. Majster-Cederbaum, Jinzhao Wu |
Action Refinement for Probabilistic Processes with True Concurrency Models. |
PAPM-PROBMIV |
2002 |
DBLP DOI BibTeX RDF |
|
14 | Antonín Kucera 0001, Richard Mayr |
On the Complexity of Semantic Equivalences for Pushdown Automata and BPA. |
MFCS |
2002 |
DBLP DOI BibTeX RDF |
|
14 | Bernhard Gramlich, Reinhard Pichler |
Algorithmic Aspects of Herbrand Models Represented by Ground Atoms with Ground Equations. |
CADE |
2002 |
DBLP DOI BibTeX RDF |
|
14 | Ronald W. Brower, Kenneth S. Stevens |
Congruent Weak Conformance, a Partial Order among Processes. |
FORTE |
2002 |
DBLP DOI BibTeX RDF |
|
14 | Federico Crazzolara, Glynn Winskel |
Composing Strand Spaces. |
FSTTCS |
2002 |
DBLP DOI BibTeX RDF |
|
14 | Vladimir Lifschitz, David Pearce 0001, Agustín Valverde |
Strongly equivalent logic programs. |
ACM Trans. Comput. Log. |
2001 |
DBLP DOI BibTeX RDF |
logic programming, stable models, answer sets |
14 | Flavio Corradini, Marco Pistore |
'Closed Interval Process Algebra' versus 'Interval Process Algebra'. |
Acta Informatica |
2001 |
DBLP DOI BibTeX RDF |
|
|
|