| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Anthony Karel Seda, Menouer Boubekeur, Ted Hurley, Mícheál Mac an Airchinnigh, Michel P. Schellekens, Glenn Strong (eds.) |
Proceedings of the Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, MFCSIT 2006, Cork, Ireland, August 1-5, 2006  |
MFCSIT  |
2009 |
DBLP BibTeX RDF |
|
| 1 | Kazuyuki Matsumoto, Tetsuya Tanioka, Kyoko Osaka, Ai Kawamura, Syu-ichi Ueno, Fuji Ren, Yoichiro Takasaka, Alan Barnard, Rozzano C. Locsin, Mitsuko Omori |
Developing the Method of Server Controlled Outcomes Management and Variance Analysis. |
MFCSIT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Olga Tveretina, Wieger Wesselink |
EufDpll - A Tool to Check Satisfiability of Equality Logic Formulas. |
MFCSIT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Anthony Karel Seda, Menouer Boubekeur, Ted Hurley, Mícheál Mac an Airchinnigh, Michel P. Schellekens, Glenn Strong |
Preface. |
MFCSIT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Colm Ó'Dúnlaing |
A Simple Criterion for Nodal 3-connectivity in Planar Graphs. |
MFCSIT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Máire Lane, Anthony Karel Seda |
Properties of General Semantic Operators Determined by Logic-Based Systems. |
MFCSIT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacinta Townley, Joseph Manning, Michel P. Schellekens |
Sorting Algorithms in MOQA. |
MFCSIT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Salvador Romaguera, Pedro Tirado |
Contraction Maps on Ifqm-spaces with Application to Recurrence Equations of Quicksort. |
MFCSIT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Fuji Ren |
Affective Information Processing and Recognizing Human Emotion. |
MFCSIT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | John Power, Miki Tanaka |
Axiomatics for Data Refinement in Call by Value Programming Languages. |
MFCSIT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Thierry Vallée, Joseph Manning |
Reconstruction of Partial Orders and List Representation as Random Structures. |
MFCSIT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Michaela Heyer |
Randomness Preserving Deletions on Special Binary Search Trees. |
MFCSIT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Agustin Riscos-Núñez |
A Framework for Complexity Classes in Membrane Computing. |
MFCSIT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Hiroyuki Takizawa, Tatsuya Chida, Hiroaki Kobayashi |
Evaluating Computational Performance of Backpropagation Learning on Graphics Hardware. |
MFCSIT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrik Eklund, Maria A. Galán, Werner Gähler |
Partially Ordered Monads for Monadic Topologies, Rough Sets and Kleene Algebras. |
MFCSIT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Fuji Ren, David B. Bracewell |
Advanced Information Retrieval. |
MFCSIT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiajun Yan, David B. Bracewell, Fuji Ren, Shingo Kuroiwa |
Integration of Multiple Classifiers for Chinese Semantic Dependency Analysis. |
MFCSIT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Maurice Margenstern |
Surprising Areas in the Quest for Small Universal Devices. |
MFCSIT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Hugh Gibbons |
Definite Descriptions and Dijkstra's Odd Powers of Odd Integers Problem. |
MFCSIT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Adam Antonik, Nathaniel Charlton, Michael Huth 0001 |
Polynomial-Time Under-Approximation of Winning Regions in Parity Games. |
MFCSIT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimir Komendantsky |
Denotational Semantics of Call-by-name Normalization in Lambda-mu Calculus. |
MFCSIT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | David B. Bracewell, Jiajun Yan, Fuji Ren, Shingo Kuroiwa |
Category Classification and Topic Discovery of Japanese and English News Articles. |
MFCSIT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Lei Li, Koya Hattori |
An Asymptotic Approach for Testing P0-Matrices. |
MFCSIT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Cillian Ó Tuama, James P. Gleeson |
Combined Effects of Frequency Quantization and Additive Input Noise in a First-order Digital PLL. |
MFCSIT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Johnson, David A. Naumann, John Power |
Category Theoretic Models of Data Refinement. |
MFCSIT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Michel P. Schellekens |
A Random Bag Preserving Product Operation. |
MFCSIT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Grant Malcolm |
Sheaves, Objects, and Distributed Systems. |
MFCSIT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Manabu Sasayama, Fuji Ren, Shingo Kuroiwa |
Automatic Extraction of Super-Function From Bilingual Corpus. |
MFCSIT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ekaterina Komendantskaya, Anthony Karel Seda |
Sound and Complete SLD-Resolution for Bilattice-Based Annotated Logic Programs. |
MFCSIT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Shane Ó Conchúir |
Kind Bigraphs. |
MFCSIT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Tsuyako Miyakoda |
Discretized Fractional Calculus with a Series of Chebyshev Polynomial. |
MFCSIT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Thierry Vallée |
Functionally-Generalised MOQA Operations. |
MFCSIT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Anthony Karel Seda, Ted Hurley, Michel P. Schellekens, Mícheál Mac an Airchinnigh, Glenn Strong (eds.) |
Proceedings of the Third Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, MFCSIT 2004, Dublin, Ireland, July 22-23, 2004 |
MFCSIT |
2006 |
DBLP BibTeX RDF |
|
| 1 | Martin Hyland, Misao Nagayama, John Power, Giuseppe Rosolini |
A Category Theoretic Formulation for Engeler-style Models of the Untyped lambda. |
MFCSIT |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Anthony Karel Seda, Ted Hurley, Michel P. Schellekens, Mícheál Mac an Airchinnigh, Glenn Strong |
Preface. |
MFCSIT |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew Butterfield, Jim Woodcock 0001 |
A "Hardware Compiler" Semantics for Handel-C. |
MFCSIT |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Maria O'Keeffe, Homeira Pajoohesh, Michel P. Schellekens |
Decision Trees of Algorithms and a Semivaluation to Measure Their Distance. |
MFCSIT |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | John Power |
Countable Lawvere Theories and Computational Effects. |
MFCSIT |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Anthony Karel Seda |
On the Integration of Connectionist and Logic-Based Systems. |
MFCSIT |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Huth 0001 |
Topological Analysis of Refinement. |
MFCSIT |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Georg Essl |
Computation of Wave Fronts on a Disk I: Numerical Experiments. |
MFCSIT |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Sharon Flynn, Dick Hamlet |
On Formal Specification of Software Components and Systems. |
MFCSIT |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Salvador Romaguera, Enrique Alfonso Sánchez-Pérez, Óscar Valero |
The Dual Complexity Space as the Dual of a Normed Cone. |
MFCSIT |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Rueiher Tsaur, Michael B. Smyth |
Convexity in Helly Graphs: Selection and Almost Fixed Point Properties for Multifunctions. |
MFCSIT |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandra Di Pierro, Herbert Wiklicky |
Operator Algebras and the Operational Semantics of Probabilistic Languages. |
MFCSIT |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Sharon Flynn, Ted Hurley, Mícheál Mac an Airchinnigh, Niall Madden, Michael McGettrick, Michel P. Schellekens, Anthony Karel Seda (eds.) |
Second Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, MFCSIT 2002, Galway, Ireland, July 18-19, 2002 |
MFCSIT |
2003 |
DBLP BibTeX RDF |
|
| 1 | David J. C. MacKay, Christopher P. Hesketh |
Performance of low density parity check codes as a function of actual and assumed noise levels. |
MFCSIT |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Ted Hurley |
Preface. |
MFCSIT |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | C. M. W. Little |
Parametrized quotation and self-reference. |
MFCSIT |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael B. Smyth |
The constructive maximal point space. |
MFCSIT |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Roland Heinze |
Topological investigations of the operators of the well-founded, and alternating fixed-point semantics of normal logic programs. |
MFCSIT |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Maria O'Keeffe, Michel P. Schellekens |
Average merge time: an intuitive interpretation. |
MFCSIT |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Sofroniou, Giulia Spaletta |
On the construction of a new generalization of Runge-Kutta methods. |
MFCSIT |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Colm Ó'Dúnlaing |
Inorder traversal of splay trees. |
MFCSIT |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew Butterfield, Jim Woodcock 0001 |
Semantic domains for Handel-C. |
MFCSIT |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Lluís Miquel Garcia-Raffi, Salvador Romaguera, Enrique Alfonso Sánchez-Pérez |
The supremum asymmetric norm on sequence algebras: a general framework to measure complexity distances. |
MFCSIT |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Salvador Romaguera, Enrique Alfonso Sánchez-Pérez, Óscar Valero |
The complexity space of a valued linearly ordered set. |
MFCSIT |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Nils Anders Danielsson, Michael B. Smyth |
Matroids from modules. |
MFCSIT |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Rueiher Tsaur, Michael B. Smyth |
Fixed points in digital topology (via Helly posets). |
MFCSIT |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Maria O'Keeffe, Salvador Romaguera, Michel P. Schellekens |
Norm-weightable Riesz spaces and the dual complexity space. |
MFCSIT |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | David J. C. MacKay, Michael S. Postol |
Weaknesses of Margulis and Ramanujan-Margulis low-density parity-check cCodes. |
MFCSIT |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Dana S. Scott |
Powersets, Fixed Points, and Lambda Calculus. |
MFCSIT |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Reinhold Heckmann |
A Non-Topological View of Dcpos as Convergence Spaces (Extended Abstract). |
MFCSIT |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Bruce S. Burdick |
Iterated Duals of Certain Topological Spaces. |
MFCSIT |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Milan Vojvoda |
Enhancements of a clock-controlled running key generator. |
MFCSIT |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | George M. Reed |
Measurements on domains and topology. |
MFCSIT |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Salvador Romaguera, Michel P. Schellekens |
Weightable quasi-metric semigroups and semilattices. |
MFCSIT |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | J. W. de Bakker |
Fixed Points in Metric Semantics. |
MFCSIT |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Jerry den Hartog, Erik P. de Vink, J. W. de Bakker |
Metric Semantics and Full Abstractness for Action Refinement and Probabilistic Choice. |
MFCSIT |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Joy N. Reed, Jane E. Sinclair |
Refinement-Preserving Plug-In Components. |
MFCSIT |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Klemens Hägele, Colm Ó'Dúnlaing, Søren Riis |
The complexity of scheduling TV commercials. |
MFCSIT |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Jimmie Lawson |
Presentation. |
MFCSIT |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Y. A. Ryan |
Process Algebra and Information Flow. |
MFCSIT |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Anthony Karel Seda |
Preface. |
MFCSIT |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Giorgio Levi |
Abstract Interpretation Based Verification of Logic Programs. |
MFCSIT |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Martín Hötzel Escardó |
Hausdorff compactifications of topological function spaces via the theory of continuous lattices. |
MFCSIT |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Windels |
Solve[order/topology == quasi-metric/x, x]. |
MFCSIT |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen G. Matthews 0002 |
Pixel Geometry. |
MFCSIT |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Claus Pahl |
A Superposition Operator for the Refinement of Algebraic Models. |
MFCSIT |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Reinhard Kahle |
Proof-theoretic notions for software maintenance. |
MFCSIT |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrik Eklund, Maria A. Galán, Jesús Medina 0001, Manuel Ojeda-Aciego, Agustín Valverde |
A graphical approach to monad compositions. |
MFCSIT |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas T. Hildebrandt |
Categorical Models for Fairness: Completion vs Delay. |
MFCSIT |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael D. Rice, Michael Siff |
Clusters, Concepts, and Pseudometrics. |
MFCSIT |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael B. Smyth, Rueiher Tsaur |
A Digital Version of the Kakutani Fixed Point Theorem for Convex-valued Multifunctions. |
MFCSIT |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Comini, Roberta Gori, Giorgio Levi |
Assertion based Inductive Verification Methods for Logic Programs. |
MFCSIT |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc R. C. van Dongen |
Polynomial Ideals, Gröbner Bases and Constraints. |
MFCSIT |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Vasco Brattka |
Recursion and Computability over Topological Structures. |
MFCSIT |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralph Kummetz |
Uniform Completion versus Ideal Completion of Posets with Projections. |
MFCSIT |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve A. Schneider |
May Testing, Non-interference, and Compositionality. |
MFCSIT |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | John Power |
Models for the computational lambda-calculus. |
MFCSIT |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Steven D. Prestwich |
Parallel Software Performance Metrics as Continuous Functions of Event Times. |
MFCSIT |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandra Di Pierro, Herbert Wiklicky |
Linear Structures for Concurrency in Probabilistic Programming Languages. |
MFCSIT |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Howard A. Blair |
The Differential Scheme for Models of Computation. |
MFCSIT |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Cardelli, Andy Gordon 0001, Giorgio Ghelli |
Secrecy, Group Creation. |
MFCSIT |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralph Kopperman |
The other topology. |
MFCSIT |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Dick Hamlet |
Mathematics, Computer Science, Software Engineering. |
MFCSIT |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | A. W. Roscoe 0001, Philippa J. Broadfoot, Gavin Lowe |
Data independent verification of crypto-protocols. |
MFCSIT |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Pascal Hitzler, Anthony Karel Seda |
On the Coincidence of Semantics for Uniquely Determined Programs. |
MFCSIT |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Iliano Cervesato |
Typed Multiset Rewriting Specifications of Security Protocols. |
MFCSIT |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Abbas Edalat |
The domain of differentiable functions. |
MFCSIT |
2000 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license